Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1901.06200 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914521949405184 |
|---|---|
| author | Alves, Carina Moro, Eliton Mendonça Benedito, Cintya Wink de Oliveira de Andrade, Antonio Aparecido |
| author_facet | Alves, Carina Moro, Eliton Mendonça Benedito, Cintya Wink de Oliveira de Andrade, Antonio Aparecido |
| contents | Codes arising from algebraic structures over number fields lead naturally to determinant optimization problems governed by arithmetic invariants. In this paper, we investigate $2\times 2$ space-time block codes defined over rings of integers of imaginary quadratic fields, combining tools from algebraic number theory, cyclic algebras, and lattice theory. We prove that the Eisenstein construction over $\mathbb{Z}[ζ_3]$ is optimal within the family considered here: it attains the largest normalized density among the $2\times 2$ space-time block codes arising from rings of integers of imaginary quadratic fields. As a first step, we show that any code that could improve upon the Eisenstein construction must be defined over the ring of integers of $\mathbb{Q}(\sqrt{-d})$ with $d\in\{2,7,11\}$, apart from the classical Gaussian and Eisenstein cases. We then analyze these remaining fields by explicit arithmetic arguments, determine the optimal constructions over them, and show that none of them improves upon the Eisenstein code. A key ingredient in our approach is the derivation of effective non-norm criteria for quadratic extensions of imaginary quadratic fields. These criteria are obtained by local methods involving $2$-adic and $3$-adic valuations together with Hensel's lemma, and they ensure the division algebra property required for full diversity. They may also be of independent interest in the study of division algebras and their applications to coding theory and lattice-based communication. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1901_06200 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Non-norm criteria and optimal $2\times 2$ space-time block codes over rings of integers of imaginary quadratic fields Alves, Carina Moro, Eliton Mendonça Benedito, Cintya Wink de Oliveira de Andrade, Antonio Aparecido Information Theory 11R52, 11R04, 94B05 Codes arising from algebraic structures over number fields lead naturally to determinant optimization problems governed by arithmetic invariants. In this paper, we investigate $2\times 2$ space-time block codes defined over rings of integers of imaginary quadratic fields, combining tools from algebraic number theory, cyclic algebras, and lattice theory. We prove that the Eisenstein construction over $\mathbb{Z}[ζ_3]$ is optimal within the family considered here: it attains the largest normalized density among the $2\times 2$ space-time block codes arising from rings of integers of imaginary quadratic fields. As a first step, we show that any code that could improve upon the Eisenstein construction must be defined over the ring of integers of $\mathbb{Q}(\sqrt{-d})$ with $d\in\{2,7,11\}$, apart from the classical Gaussian and Eisenstein cases. We then analyze these remaining fields by explicit arithmetic arguments, determine the optimal constructions over them, and show that none of them improves upon the Eisenstein code. A key ingredient in our approach is the derivation of effective non-norm criteria for quadratic extensions of imaginary quadratic fields. These criteria are obtained by local methods involving $2$-adic and $3$-adic valuations together with Hensel's lemma, and they ensure the division algebra property required for full diversity. They may also be of independent interest in the study of division algebras and their applications to coding theory and lattice-based communication. |
| title | Non-norm criteria and optimal $2\times 2$ space-time block codes over rings of integers of imaginary quadratic fields |
| topic | Information Theory 11R52, 11R04, 94B05 |
| url | https://arxiv.org/abs/1901.06200 |