ABSTRACT
A lattice construction using ℤ-submodules of rings of integers of number fields is presented. The construction yields rotated versions of the laminated lattices , which are the densest lattices in their respective dimensions. The sphere packing density of a lattice is a function of its packing radius, which in turn can be directly calculated from the minimum squared Euclidean norm of the lattice. Norms in a lattice that is realized by a totally real number field can be calculated by the trace form of the field restricted to its ring of integers. Thus, in the present work, we also present the trace form of the maximal real subfield of a cyclotomic field. Our focus is on totally real number fields since their associated lattices have full diversity. Along with high packing density, the full diversity feature is desirable in lattices that are used for signal transmission over both Gaussian and Rayleigh fading channels.
Keywords:
sphere packings; algebraic lattices; number fields; cyclotomic fields
RESUMO
Uma construção de reticulados usando ℤ submódulos de anéis de inteiros de corpos de números é apresentada. A construção produz versões rotacionadas dos reticulados laminados , que são os reticulados mais densos nessas dimensões. A densidade de empacotamento esférico de um reticulado é uma função do seu raio de empacotamento, o qual por sua vez pode ser diretamente calculado a partir da norma quadrada mínima do reticulado. Normas em um reticulado realizado por um corpo de números totalmente real podem ser calculadas pela forma traço do corpo restrita ao seu anel de inteiros. Portanto, no presente trabalho, apresentamos também a forma traço do subcorpo real maximal de um corpo ciclotômico. Nosso foco é em corpos de números totalmente reais pois os reticulados associados a eles possuem diversidade máxima. Juntamente com a densidade de empacotamento, a característica de diversidade máxima é desejável em reticulados que são usados para transmissão de sinais que percorrem os canais gaussiano e de desvanecimento Rayleigh.
Palavras-chave:
empacotamento de esferas; reticulados algébricos; corpos de números; corpos ciclotômicos
1 INTRODUCTION
Lattices are discrete subgroups of Euclidean n-space, ℝn , and they have been considered in different applied areas, especially in coding/modulation theory and more recently in cryptography. Algebraic lattices are those obtained via number fields and they have been studied in several papers and from different points of view, see 11 A. A. Andrade & R. Palazzo Jr. Linear codes over finite rings, TEMA - Trends in Applied and Computational Mathematics, 6(2) (2005), 207-217.),(22 A. S. Ansari, R. Shah, Zia Ur-Rahman & A. A. Andrade. Sequences of primitive and non-primitive BCH codes, TEMA - Trends in Applied and Computational Mathematics , 19(2) (2018), 369-389.),(33 R. R. de Araujo, A. C. M. M. Chagas, A. A. Andrade & T. P. Nóbrega Neto . Trace form associated to cyclic number fields of ramified odd prime degree, accepted by J. Algebra App., June, 2019.),(55 E. Bayer-Fluckige. Lattices and number fields, In: Contemp. Math., Amer. Math. Soc., Providence (1999), 69-84.),(66 E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714.),(1010 J. H. Conway & N. J. A. Sloane. “Sphere Packings, Lattices and Groups”, 3rd Edition, Springer Verlag, New York (1999).. These algebraic lattices are constructed through the canonical homomorphism via ℤ -modules of the ring of algebraic integers of a number field. Having the construction of algebraic lattices as our goal, in this paper, we focus on the construction of algebraic lattices with special features, known in the literature, via maximal real subfieds of cyclotomic fields. In digital communications, the lattice parameters of interest are its sphere packing density and minimum product distance. The performance in terms of minimum product distance is given by number field discriminant, i.e., minimizing the discriminant. The question of find totally real number fields with minimal discriminant is a hard problem. Those parameters can be obtained in certain cases of lattices associated to number fields through algebraic properties 66 E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714.. From [44 V. Baustista-Ancora & J. Uc-Kuk. The discriminant of abelian number fields, Journal of Mathematics, 47(1) (2017), 39-52.Thorem 4.1], we can to give a lower (and upper) bound on the minimum product distance. The higher those two parameters are the more attractive the lattice becomes to be used for data transmission over Gaussian and fading channels.
We can find, in literature, several constructions of full diversity rotated ℤn -lattices 55 E. Bayer-Fluckige. Lattices and number fields, In: Contemp. Math., Amer. Math. Soc., Providence (1999), 69-84.) (66 E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714.) (77 E. Bayer-Fluckiger & G. Nebe. On the Euclidian minimum of some real number fields. Journal de Théorie des Nombres de Bordeaux, 17(2) (2005), 437-454.) (88 E. Bayer-Fluckiger & I. S. Atias. Ideal lattices over totally real number fields and Euclidian minima, Archiv der Mathematik, 86(3) (2006), 217-225.. In 66 E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714. it was shown that algebraic lattices obtained via totally real number fields have full diversity. In 88 E. Bayer-Fluckiger & I. S. Atias. Ideal lattices over totally real number fields and Euclidian minima, Archiv der Mathematik, 86(3) (2006), 217-225.the authors presented constructions of algebraic lattices over totally real fields and in 77 E. Bayer-Fluckiger & G. Nebe. On the Euclidian minimum of some real number fields. Journal de Théorie des Nombres de Bordeaux, 17(2) (2005), 437-454.the authors presented constructions of lattices and the trace form for . In this work, we focus our construction on totally real number fields and we present the trace form for , where we present constructions of algebraic lattices of full diversity and optimal packing density. In full diversity algebraic lattices, the minimum product distance depends on the minimum of the algebraic norm of nonzero elements in the lattice. This gives an advantage provided by the algebraic tools, once to calcule the minimum product distance in a general lattice is a hard problem.
In this paper, we present constructions of algebraic lattices of optimal center density and full diversity, that is, we present constructions of algebraic lattices on totally real number fields. In the first construction, the fields are the maximal real subfields of cyclotomic fields, and in the second construction, the fields 𝕂 are extensions of ℚ of degree p where p is an odd ramified prime in 𝒪𝕂, the ring of integers of 𝕂. In Section 2, we review necessary concepts from number fields and lattices. In Section 3, we present explicit trace forms over the maximal totally real subfield of cyclotomic fields. In Section 4, we present constructions of laminated algebraic lattices in dimensions 2 up to 6 with optimal center density. In Section 5 we give our conclusions.
2 BASIC RESULTS OVER ALGEBRAIC LATTICES AND NUMBER FIELDS
In this section, we briefly review the definitions and results that will be needed subsequently. Many of them will be assumed known to the reader; those interested in further details are referred to 1010 J. H. Conway & N. J. A. Sloane. “Sphere Packings, Lattices and Groups”, 3rd Edition, Springer Verlag, New York (1999).), (1414 L. Washington. “Introduction to cyclotomic fields”, Springer-Verlag, New York (1995)..
Let Λ be a full lattice in ℝn , that is, Λ is the set of all integral linear combinations of some basis of the vector space ℝn . Let t denote half the minimal distance between (distinct) lattice points. We can then immediately construct a sphere packing from Λ by centering an n-dimensional sphere with radius t at each lattice point. The obtained arrangement is called the sphere packing associated to Λ. The proportion of the space that is occupied by the spheres is called the sphere packing density of Λ, denoted by ∆(Λ). For comparison purposes, a more used parameter is the center density of the packing, denoted by δ (Λ), which in turn equals ∆(Λ) divided by V n , the volume of an n-dimensional sphere of radius 1.
The minimum product distance of Λ is defined as
Lattice Λ is said to be of full diversity if . In the present work, we will only be concerned with constructing lattices with a high sphere packing density and full diversity.
A number field 𝕂 is said to be Abelian (cyclic) if the extension 𝕂/ℚ is Galois and
its Galois group, Gal(𝕂/ℚ), is Abelian (cyclic). Let 𝕂 be a number field of degree n . and signature [r 1 , r 2]. The ℚ-monomorphisms of 𝕂 into ℂ whose images are contained in ℝ are denoted by σ 1 , · · · , σ r1 , and those whose images are not contained in ℝ are denoted by The set is called the ring of algebraic integers of 𝕂. If {α 1 , α 2 ,. . . α n } is a ℤ-basis of 𝒪 𝕂, the integer is an invariant over change of basis and is called the discriminant of 𝕂. The trace of any element .
If 𝔎 (x) and ℑ(x) denote, respectively, the real and imaginary parts of , then the canonical homomorphism is defined by
for every . If ℳ is a ℤ-module of 𝕂 of rank n, the set is an n-dimensional lattice in ℝn . If either , then the center density of Λ is given by
where denotes the index of ℳ in 𝒪𝕂, and
with according to whether , respectively. The quantity is equal to the volume of σ (ℳ ). Lattices constructed from totally real number fields, i.e., those with , always have full diversity, a desirable property for practical applications as already observed.
3 TRACE FORMS OVER SUBFIELDS OF CYCLOTOMIC FIELDS
In this section, we present an explicit trace form over maximal real subfield of Q(ζ n ) that allow us to find the packing radius of algebraic lattices. In Subsection 3.1, we present explicit trace forms over the maximal totally real subfield of cyclotomic field Q(ζ n ). Thus, in Theorem 2, we present the trace form for any n, in the Corollaries 1, 2 and 3, for , respectively, where p and q are prime numbers and r an integer such that . We present it again in the Subsection 3.2, since it will be used in the next section for the constructions of laminated lattices.
3.1 Trace form over maximal real subfield of ℚ(ζ n )
A number field 𝕃 is said to be cyclotomic if , where ζ n is a primitive n-th root of unity. Furthermore, , where φ is Euler’s phi function, the ring of algebraic integers of 𝕃 is given by is an integral basis for 𝕃. If is the maximal real subfield of the cyclotomic field is an integral basis of 𝒪 𝕂1414 L. Washington. “Introduction to cyclotomic fields”, Springer-Verlag, New York (1995)..
Let , where the p i are distinct prime numbers, . Observe that . On the other hand, since . Thus,
and is an Abelian extension, it follows that , are Abelian extensions. Finally, the mapping
is an isomorphism. Furthermore, if , then
Lemma 1. 11 11 J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045. Let j and n be integers. If , then
Lemma 2. 11 11 J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045. If i, j and p are integers with , p prime and , then
Lemma 3.1111 J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045. Let . If j is prime and , then
where µ is the Möbius function.
Lemma 4.1111 J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045.Let. If i is an integer such that, then
where
Theorem 5.1111 J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045.Letis an element of ℤ[ζ n ], then
where. In the next result, we present an explicit trace form over the ring of algebraic integers of .
Theorem 6.Letis an element of, then
whereis the greatest integer less than or equal to y, ⌈y⌉ is the smallest integer greater than or equal to, then
where . Therefore,
where . So,
where . Since
it follows that
Thus,
From Lemmas 3 and 4, it follows that
where u, s, and v are as in the theorem statement. Therefore,
as desired.
Corollary 7.Let, with p an odd prime number and r a positive integer. Ifis an element of, then
whereProof. Since , it follows that . Thus, from Theorem 6, it follows that . The result now follows from Theorem 6. ◻
Corollary 8.Let, where p is an odd prime number and r is a positive integer. Ifis an element of, then
whereProof. Since , it follows that . From Theorem 6, it follows that . Also,
Therefore,
Since p is odd, it follows that odd. So, i is even if and only if i is even. The result now follows from Theorem 6. ◻
Corollary 9. Let , where p and q are distinct primes. If is an element of , then
where
Proof. From Theorem 5, . Thus,
and
Furthermore, . Thus, if is an element of ℤ [ζn ]. The result now follows from Theorem 6.
3.2. Trace form over cyclic number fields of degree p
In 1313 E. L. Oliveira, J. C. Interlando , T. P. da Nóbrega Neto & J. O. D. Lopes. The integral trace form of cyclic extensions of odd prime degree, Rocky Mountain J. Math., 47 (2017), 1075-1088., a lattice construction using cyclic number fields of degree p, where p is unramified, was presented. Lattices whose center densities are arbitrarily close to optimal values were obtained. Below we present a similar construction, in this case using cyclic number fields of degree p, where p is ramified. Let 𝕂 be a cyclic number field of prime degree . From KroneckerWeber Theorem 1414 L. Washington. “Introduction to cyclotomic fields”, Springer-Verlag, New York (1995)., it follows that there exists such that . The least integer n with the property is called the conductor of 𝕂. In this case, the discriminant of 𝕂 is given by [9, p. 186]. If n is the conductor of a cyclic number field 𝕂 of odd prime degree p, then
-
p is ramified in 𝕂 if and only if ;
-
p is unramified in 𝕂 if and only if ,
where and the pi are distinct prime numbers such that .
Let 𝕂 be a cyclic number field of degree p and conductor , where the p i are distinct prime numbers such that . From 1212 G. Lettl. The ring of integers of an Abelian number field, J. Reine Angew. Math., 404 (1990), 162-170. , if , then
-
.
-
is a ℤ-basis for 𝒪𝕂.
Theorem 10.33 R. R. de Araujo, A. C. M. M. Chagas, A. A. Andrade & T. P. Nóbrega Neto . Trace form associated to cyclic number fields of ramified odd prime degree, accepted by J. Algebra App., June, 2019.)Let 𝕂 be a cyclic number field of prime degreeand the p i distinct prime numbers such that, then
4 CONSTRUCTIONS OF LAMINATED ALGEBRAIC LATTICES OVER NUMBER FIELDS
In this section, we explicit constructions of algebraic densest lattices in dimensions 2 up to 6. The strategy used is to search for submodules contained in the ring of algebraic integers that perform the laminated lattices via canonical homomorphism. In this sense, we use center density as a parameter, so the trace forms (Theorem 6 and Theorem 10) are important for calculating the packing radius.
4.1 The Λ2-laminated lattice
If is an integral basis for 𝕂 and . If
then ℳ is a ℤ-submodule of 𝒪 𝕂 of rank 2 and index 2. From Theorem 6, the trace form of is given by
Thus, , which is attained at . Since the volume of lattice , it follows that
i.e., the center density of σ (ℳ) is the same as that of lattice Λ2.
4.2 The Λ3-laminated lattice
If is an integral basis for . If
then ℳ is a ℤ-submodule of 𝒪 𝕂 of rank 3 and index 6. From Theorem 6, the trace form of is given by
Thus, , which is attained at . Since the volume of lattice , it follows that
i.e., the center density of σ (ℳ ) is the same as that of lattice Λ3.
4.3 The Λ4-laminated lattice
If is an integral basis for . If
then ℳ is a submodule of 𝒪 𝕂 of rank 4 and index 6. From Theorem 6, the trace form of is given by
Thus, , which is attained at . Since the volume of lattice , it follows that
i.e., the center density of σ (ℳ ) is the same as that of the lattice Λ4.
4.4 The Λ5-laminated lattice
Let K be a number field of degree and conductor . In this case, the Galois group is cyclic of order 5, . Let ℳ be the submodule of 𝒪 𝕂 of rank 5 and index 10 given by
From Theorem 10, it follows the trace form of K restricted to ℳ is given by
where x 0 , . . . , x 4 are any integers. It follows that is attained at . Since the volume of lattice , one has
i.e., the center density of σ (ℳ) equals that of lattice Λ5.
4.5 The Λ6-laminated lattice
If is a basis of . In this case, ℳ is a submodule of 𝒪 𝕂 of rank 6 and index 72. From Theorem 6, the trace form of is given by
Thus, which is attained at . Since volume of the lattice it follows that
i.e., the center density of σ (ℳ) is the same of the lattice Λ6.
5 CONCLUSION
A construction of algebraic lattices with special features, namely, high center density and full diversity, was presented. Each lattice was obtained as the image of the canonical homomorphism from a suitably chosen ℤ -submodule of the ring of integers of the maximal real subfield of a cyclotomic field into ℝn (n-dimensional Euclidean space). The trace form of the maximal real subfield of the cyclotomic field ℚ(ζ n ) was derived explicitly so that the minimum of the associated lattice could be determined. As a result, rotated versions of full diversity of laminated lattices in dimensions 2 to 6 have been obtained. Although the constructed lattices are well known, this work helps answer the question of which lattices can be realized by a given number field, as posed in 55 E. Bayer-Fluckige. Lattices and number fields, In: Contemp. Math., Amer. Math. Soc., Providence (1999), 69-84.. Whether the presented technique can be used to yield higher dimensional lattices with the desired features (full diversity and high packing density) is left as a research problem. Calculating or providing a good lower bound for the minimum product distance66 E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714. of the lattices obtained by the construction technique of this work is also left as a research problem.
ACKNOWLEDGMENT
The authors thank the reviewer for carefully reading the manuscript and for all the suggestions that improved the presentation of this work. The authors also thank FAPESP 2013/25977-7 and CNPq 429346/2018-2 for its financial support.
REFERENCES
-
1A. A. Andrade & R. Palazzo Jr. Linear codes over finite rings, TEMA - Trends in Applied and Computational Mathematics, 6(2) (2005), 207-217.
-
2A. S. Ansari, R. Shah, Zia Ur-Rahman & A. A. Andrade. Sequences of primitive and non-primitive BCH codes, TEMA - Trends in Applied and Computational Mathematics , 19(2) (2018), 369-389.
-
3R. R. de Araujo, A. C. M. M. Chagas, A. A. Andrade & T. P. Nóbrega Neto . Trace form associated to cyclic number fields of ramified odd prime degree, accepted by J. Algebra App., June, 2019.
-
4V. Baustista-Ancora & J. Uc-Kuk. The discriminant of abelian number fields, Journal of Mathematics, 47(1) (2017), 39-52.
-
5E. Bayer-Fluckige. Lattices and number fields, In: Contemp. Math., Amer. Math. Soc., Providence (1999), 69-84.
-
6E. Bayer-Fluckiger . F. Oggier& E. Viterbo. New algebraic constructions of rotated Zn-lattice constellations for the Rayleigh fading channel. IEEE Trans. Inform. Theory, 50(4) (2004) 702-714.
-
7E. Bayer-Fluckiger & G. Nebe. On the Euclidian minimum of some real number fields. Journal de Théorie des Nombres de Bordeaux, 17(2) (2005), 437-454.
-
8E. Bayer-Fluckiger & I. S. Atias. Ideal lattices over totally real number fields and Euclidian minima, Archiv der Mathematik, 86(3) (2006), 217-225.
-
9P. E. Conner & R. Perlis. “A Survey of Trace Forms of Algebraic Number Fields”, World Scientific Publishing Co Pte Ltd., Singapore (1984).
-
10J. H. Conway & N. J. A. Sloane. “Sphere Packings, Lattices and Groups”, 3rd Edition, Springer Verlag, New York (1999).
-
11J. C. Interlando, T. P. Nóbrega Neto , T. M. Rodrigues & J. O. D. Lopes. A note on the integral trace form in cyclotomic fields, J. Algebra App., 14 (2015), 1550045.
-
12G. Lettl. The ring of integers of an Abelian number field, J. Reine Angew. Math., 404 (1990), 162-170.
-
13E. L. Oliveira, J. C. Interlando , T. P. da Nóbrega Neto & J. O. D. Lopes. The integral trace form of cyclic extensions of odd prime degree, Rocky Mountain J. Math., 47 (2017), 1075-1088.
-
14L. Washington. “Introduction to cyclotomic fields”, Springer-Verlag, New York (1995).
Publication Dates
-
Publication in this collection
03 Aug 2020 -
Date of issue
May-Aug 2020
History
-
Received
13 June 2019 -
Accepted
19 Mar 2020