A Construction of Rotated Lattices via Totally Real Subfields of the Cyclotomic Field $\mathbb{Q}({\zeta }_p)$

ABSTRACT

The theory of lattices have shown to be useful in information theory and rotated lattices with high modulation diversity have been extensively studied as an alternative approach for transmission over a Rayleigh-fading channel, where the performance of this modulation schemes essentially depends on the modulation diversity and on the minimum product distance to achieve substantial coding gains. The maximum diversity of a rotated lattice is guaranteed when we use totally real number fields and the minimum product distance is optimized by considering fields with minimum discriminant. In this paper, we present construction of a full diversity rotated lattice for the Rayleigh fading channel in Euclidean space with full diversity, where this construction is through a totally real subfield $𝕂$ of the cyclotomic field $$\mathbb{Q}(\zeta p)$$, where $p$ is an odd prime, obtained by endowing their ring of integers.

Key words
lattices; cyclotomic fields; algebraic number field; rotated lattice

RESUMO

A teoria de reticulados têm mostrado útil na teoria da informação e reticulados ideais com alta diversidade de modulação têm sido extensamente estudados como uma alternativa de transmissão via o canal de Rayleigh, onde o desempenho destes esquemas de modulação depende essencialmente da diversidade de modulação e da distância produto mínima para obter ganhos substanciais de codificação. A diversidade máxima de um reticulado rotacionado é garantida quando usamos corpos de números totalmente reais e a distância produto mínima é otimizada considerando os corpos com discriminante mínimo. Neste trabalho, apresentamos uma construção de reticulado rotacionado, onde esta construção é através de um subcorpo totalmente real $𝕂$ do $p$-ésimo corpo ciclotômico, onde $p$ é um número primo ímpar, obtido via o seu anel de inteiros.

Palavras-chave
reticulados; corpos ciclotômicos; corpos de números algébricos; reticulado rotacionado.

1 INTRODUCTION

Algebraic number theory has recently raised a great interest for their new role in algebraic lattice theory and for application in coding and modulation. The problem of finding algebraic lattices with maximal minimum product distance has been studied in last years and this has motivated special attention of many researchs in considering ideals of certain rings ^[5], ^[2] and ^[1]. Eva Bayer et al. ^[8] and Andrade et al. ^[1] have presented families of rotated ${\mathbb{Z}}^n$-lattices based on algebraic number theory. We know that totally real algebraic number fields result in the maximum diversity, equal to the dimension of the lattice ^[3]. This motivates the investigation on lattices over totally real number fields.

A lattice $\Lambda$ is a discrete additive subgroup of ${ℝ}^n$, equivalently, $\Lambda \subseteq {ℝ}^n$ is a lattice iff there are linearly independent vectors $v_1,v_2,\cdots ,v_m\in {ℝ}^n$ such that

$$\Lambda =\{\sum _{i=1}^m{a}_i{v}_i:a_i\in \mathbb{Z},\mathrm{\text{for}}i=1,2,\cdots ,m\}.$$

The set $\{v_1,v_2,\cdots ,v_n\}$ is a $\mathbb{Z}$-basis and a matrix $M$ whose rows are these vectors is said to be a generator matrix for $\Lambda$ and the associated Gram matrix is given by $G=M{M}^t=(<v_i,v_j>{)}_{i,j=1}^n$. Lattices have been considered in different areas, especially in coding theory and more recently in cryptography. In this paper, we attempt to construct lattices with full rank, i.e., $m=n$, which may be suitable for signal transmission over both Gaussian and Rayleigh fading channels ^[3]. For this purpose the tattice parameters we consider here are diversity and minimum product distance.

In ^[1], for any integer $r\ge 4$, rotated ${\mathbb{Z}}^n$-lattices, $n=2^{r-2}$ and $n=2^{r-3}$, were constructed from $\mathbb{Q}({\zeta }_{2^r}+{\zeta }_{2^r}^{-1})$, the maximal real subfield of $\mathbb{Q}({\zeta }_{2^r})$, and over $\mathbb{Q}({\zeta }_{2^r}^2+{\zeta }_{2^r}^{-2})$, where ${\zeta }_{2^r}$ is a primitive $2^r$-th root of unity. In this work, having the construction procedure of a rotated lattice over the maximal real subfield of a cyclotomic field as the main motivation, we make use of algebraic number theory for constructing rotated lattices via totally real subfields of the cyclotomic field $\mathbb{Q}({\zeta }_p)$, where $p$ is an odd prime number.

This paper is organized as follows. In Section 2, notions and results from algebraic number theory that are used in the work are reviewed. In Section 3, rotated lattices are constructed from totally real subfields of the cyclotomic field $\mathbb{Q}({\zeta }_p)$, where $p$ is an odd prime number. In Section 4, an algorithm to the construction of rotated lattices is presented and we present examples in terms of center density and minimum product distance.

2 BASIC RESULTS FROM NUMBER THEORY

A number field is a field $𝕃$ that is a finite degree extension $n$ of $\mathbb{Q}$. An element $\alpha \in 𝕃$ is called an algebraic integer if there is a monic polynomial $f(x)$ with integer coefficients such that $f(\alpha )=0$. The set

$${𝒪}_{𝕃}=\{\alpha \in 𝕃:\alpha \mathrm{\text{is an algebraic integer}}\}$$

is a ring called ring of algebraic integers of $𝕃$. The ring ${𝒪}_{𝕃}$ is a $\mathbb{Z}$-module of rank $n$ and a $\mathbb{Z}$-basis $\{{\alpha }_1,\cdots ,{\alpha }_n\}$ of ${𝒪}_{𝕃}$ is called an integral basis of $𝕃$ (or of ${𝒪}_{𝕃}$). Furthermore, $𝕃=\mathbb{Q}(\alpha )$, where $\alpha \in ℂ$ is a root of a monic irreducible polynomial $p(x)\in \mathbb{Q}[x]$. The $n$ distinct roots ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ of $p(x)$ are the conjugates of $\alpha$. If ${\sigma }_i:𝕃\to ℂ$ is a $\mathbb{Q}$-homomorphism, then ${\sigma }_i(\alpha )={\alpha }_i$ for some $i=1,2,\cdots ,n$, and there are exactly $n$ $\mathbb{Q}$-homomorphism ${\sigma }_i:𝕃\to ℂ$, for $i=1,2,\cdots ,n$. A homomorphism ${\sigma }_i$ is said to be real if ${\sigma }_i(𝕃)\subseteq ℝ$ and imaginary otherwise. A number field $𝕃$ is said to be totally real if ${\sigma }_i$ is real for all $i=1,2,\cdots ,n$ and totally imaginary if ${\sigma }_i$ is imaginary for all $i=1,2,\cdots ,n$. The trace of any element $\alpha \in 𝕃$ is defined as the rational number

$$T_{𝕃:\mathbb{Q}}(\alpha )=\sum _{i=1}^n{\sigma }_i(\alpha ),$$

and if $\alpha \in {𝒪}_{𝕃}$, then $T_{𝕃:\mathbb{Q}}(\alpha )\in \mathbb{Z}$. The discriminant of $L$, denoted by ${\Delta }_{𝕃}$, is the rational integer given by $det(T{r}_{𝕃:\mathbb{Q}}({\alpha }_i{\alpha }_j))$.

A cyclotomic field is a number field $𝕃$ such that $𝕃=\mathbb{Q}({\zeta }_n)$, where ${\zeta }_n$ is a primitive $n$-th root of unity. Also, $[𝕃:\mathbb{Q}]=\phi (n)$, where $\phi$ is the Euler function, ${𝒪}_{𝕃}=\mathbb{Z}[{\zeta }_n]$ is the ring of algebraic integers of $\mathbb{Z}[{\zeta }_n]$, and the field $𝕂=\mathbb{Q}({\zeta }_n+{\zeta }_n^{-1})$ is the maximal real subfield of $𝕃$, where $[𝕃:𝕂]=2$ and ${𝒪}_{𝕂}=\mathbb{Z}[{\zeta }_n+{\zeta }_n^{-1}]$ ^[6], ^[9].

3 CONSTRUCTION OF A ROTATED LATTICE

If ${\zeta }_p$ is a primitive $p$-th root of unity, where $p$ is an odd prime number, then is a cyclic extension of degree $p-1$ over $\mathbb{Q}$ that contains the real subfield $\mathbb{Q}({\zeta }_p+{\zeta }_p^{-1})$, which is cyclic of degree $l=(p-1)/2$ over $\mathbb{Q}$. If $G=Gal(𝕃:\mathbb{Q})$ is the Galois group (cyclic) of $𝕃$ over $\mathbb{Q}$ with generator ${\sigma }_r$ (or $\sigma$), then ${\sigma }_r({\zeta }_p)={\zeta }_p^r$, where $r$ is a generator of ${\mathbb{Z}}_p^{*}$, and $r^l\equiv -1(modp)$, that is, $r$ is a primitive element modulo $p$.

Theorem 1. ^[11] (Dirichlet’s theorem) If $a,n$ are integers such that $1\le a\le n$ and $gcd(a,n)=1$, then the arithmetic progression $\{a,a+n,a+2n,\cdots ,a+kn,\cdots \}$ contains infinitely many primes.

If $n$ is a positive integer, from Theorem 1, it follows that there exists a prime $p$ such that $p\equiv 1(modn)$. Since $n$ divides $p-1$, from Galois Correspondence Theorem, it follows that there exists a unique field $𝕂$ contained in $\mathbb{Q}({\zeta }_p)$ which is cyclic of degree $n$ over $\mathbb{Q}$. If $n$ is an even number that divides $(p-1)/2$ or if $n$ is an odd number, then $𝕂$ is contained in the real subfield $\mathbb{Q}({\zeta }_p+{\zeta }_p^{-1})$. In this case, $𝕂=\mathbb{Q}(\theta )$, where $\theta =T{r}_{𝕃:𝕂}({\zeta }_p)$,

$$Gal(\mathbb{Q}({\zeta }_p):𝕂)=⟨{\sigma }^n⟩=\{{\sigma }^n,{\sigma }^{2n},\cdots ,{\sigma }^{nm}\}=\{{\sigma }_{r^n},{\sigma }_{r^{2n}},\cdots ,{\sigma }_{r^{mn}}\},$$

where $m=(p-1)/n$, $Gal(𝕂:\mathbb{Q})=\{{\sigma }^0,\sigma ,\cdots ,{\sigma }^{n-1}\}$ and

$$\{{\sigma }_r(\theta ),{\sigma }_{r^2}(\theta ),\cdots ,{\sigma }_{r^n}(\theta )\}=\{\theta ,\sigma (\theta ),\cdots ,{\sigma }^{n-1}(\theta )\}$$

is an integral basis of $𝕂$, where ${\sigma }^s={\sigma }_{r^s}$, for all $s\in {\mathbb{Z}}^{+}$ ^[6].

If ${\sigma }_{𝕂}$ is the canonical embedding given by

$$\begin{array}{cccc}\hfill {\sigma }_{𝕂}:\hfill & \hfill 𝕂\hfill & \hfill \to \hfill & {ℝ}^n\hfill \\ \hfill \hfill & \hfill x\hfill & \hfill \mapsto \hfill & {\sigma }_{𝕂}(x)=(x,\sigma (x),\cdots ,{\sigma }^{n-1}(x)),\hfill \end{array}$$

then ${\sigma }_{𝕂}({𝒪}_{𝕂})$ is an algebraic lattice in ${ℝ}^n$ with maximum diversity. Since the set $\{\theta ,\sigma (\theta ),\cdots ,{\sigma }^{n-1}(\theta )\}$ is a $\mathbb{Z}$-basis of ${𝒪}_{𝕂}$, it follows that

$$\{{\sigma }_{𝕂}(\theta ),{\sigma }_{𝕂}(\sigma (\theta )),\cdots ,{\sigma }_{𝕂}({\sigma }^{n-1}(\theta ))\}\subset {ℝ}^n$$

is a basis of the lattice ${\sigma }_{𝕂}({𝒪}_{𝕂})$, whose generator matrix is given by

$$M=\left(\begin{array}{cccc}\hfill \theta \hfill & \hfill \sigma (\theta )\hfill & \hfill \cdots \hfill & \hfill {\sigma }^{n-1}(\theta )\hfill \\ \hfill \sigma (\theta )\hfill & \hfill {\sigma }^2(\theta )\hfill & \hfill \cdots \hfill & \hfill \theta \hfill \\ \hfill ⋮\hfill & \hfill ⋮\hfill & \hfill \ddots \hfill & \hfill ⋮\hfill \\ \hfill {\sigma }^{n-1}(\theta )\hfill & \hfill \theta \hfill & \hfill \cdots \hfill & \hfill {\sigma }^{n-2}(\theta )\hfill \end{array}\right).$$

Since $M=M^t$, it follows that the $i$-th row is given by

$${\sigma }_{𝕂}({\sigma }^i(\theta ))=({\sigma }^i(\theta ),{\sigma }^{i+1}(\theta ),\cdots ,{\sigma }^{i+n-1}(\theta )),$$

for $i=0,1,\cdots ,n-1$. The Gram matrix $G=(g_{ij}{)}_{i,j=0}^{n-1}$ of ${\sigma }_{𝕂}({𝒪}_{𝕂})$ is given by $G=M{M}^t$, where

$$\begin{array}{ccc}{g}_{ij}\hfill & =\hfill & ⟨{\sigma }_{𝕂}({\sigma }^i(\theta )),{\sigma }_{𝕂}({\sigma }^j(\theta ))⟩\hfill \\ \hfill & =\hfill & {\sigma }^i(\theta ){\sigma }^j(\theta )+{\sigma }^{i+1}(\theta ){\sigma }^{j+1}(\theta )+\cdots +{\sigma }^{i+n-1}(\theta ){\sigma }^{j+n-1}(\theta )\hfill \\ \hfill & =\hfill & \sum _{a=0}^{n-1}{\sigma }^{i+a}(\theta ){\sigma }^{j+a}(\theta )\hfill \end{array}$$

Since ${\sigma }^n{|}_{𝕂}={\sigma }_{𝕂}^0$ and ${\sigma }^{n-s}{|}_{𝕂}={\sigma }^{-s}{|}_{𝕂}$, for all $s\in {\mathbb{Z}}^{+}$, it follows that

$$\begin{array}{ccc}{g}_{ij}\hfill & =\hfill & \sum _{a=0}^{n-1}{\sigma }^{i+a}(\theta ){\sigma }^{j+a}(\theta )=\sum _{a=0}^{n-1}{\sigma }^a(\theta ){\sigma }^{j+a-i}(\theta )\hfill \\ \hfill & =\hfill & \sum _{a=0}^{n-1}{\sigma }^a(\theta {\sigma }^{j-i}(\theta ))=T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^{j-i}(\theta )),\hfill \end{array}$$

for $i,j=0,1,\cdots ,n-1$. Thus,

$$G={(T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^{j-i}(\theta )))}_{i,j=0}^{n-1}.$$

Since $T{r}_{𝕂:\mathbb{Q}}({\sigma }^i(\theta ){\sigma }^j(\theta ))=T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^{j-i}(\theta ))$, for $i,j=0,1,\cdots ,n-1$, it is sufficient to calculate $T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))$, for $t=0,1,\cdots ,n-1$. Finally,

$$T{r}_{𝕂/:mathbbQ}(\theta )=T{r}_{𝕂:\mathbb{Q}}(T{r}_{\mathbb{Q}({\zeta }_p):𝕂}({\zeta }_p))=T{r}_{\mathbb{Q}({\zeta }_p):\mathbb{Q}}({\zeta }_p)=-1$$

and

$$\begin{array}{ccc}T{r}_{𝕂:\mathbb{Q}}({\sigma }^t(\theta ))\hfill & =\hfill & \sum _{a=0}^{n-1}{\sigma }^a({\sigma }^t(\theta ))=\sum _{a=0}^{n-1}{\sigma }^t({\sigma }^a(\theta ))={\sigma }^t(\sum _{a=0}^{n-1}{\sigma }^a(\theta ))\hfill \\ \hfill & =\hfill & ={\sigma }^t(T{r}_{𝕂:\mathbb{Q}}(\theta ))={\sigma }^t(-1)=-1,\hfill \end{array}$$

for $t=0,1,\cdots ,n-1$.

The following theorem, which is the main result of this work, gives us the key to constructing full diversity rotated lattice bssed on real subfields of the cyclotomic field $\mathbb{Q}({\zeta }_p)$.

Theorem 2. If $\theta =T{r}_{\mathbb{Q}({\zeta }_p):𝕂}({\zeta }_p)$, then

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\{\begin{array}{cc}p-(\frac{p-1}{n})\hfill & \mathrm{\text{if}}t=0;\hfill \\ -(\frac{p-1}{n})\hfill & \mathrm{\text{if}}t=1,2,\cdots ,n-1.\hfill \end{array}$$

Proof. Since $\theta \in 𝕂$, it follows that

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\sum _{a=0}^{n-1}{\sigma }^a(\theta {\sigma }^t(\theta )),$$

for all $t=0,1,\cdots ,n-1$., and

$$\theta {\sigma }^t(\theta )=\sum _{c=1}^{\frac{p-1}{n}}{\sigma }^{cn}({\zeta }_p)\sum _{j=1}^{\frac{p-1}{n}}{\sigma }^{t+jn}({\zeta }_p)=\sum _{c,j=1}^{\frac{p-1}{n}}{\sigma }^{cn}({\zeta }_p){\sigma }^{t+jn}({\zeta }_p),$$

because $Gal(\mathbb{Q}({\zeta }_p):𝕂)=⟨{\sigma }^n⟩$, whose order is $m=(p-1)/n$. Thus,

$$\begin{array}{ccc}T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))\hfill & =\hfill & \sum _{a=0}^{n-1}\sum _{c,j=1}^{\frac{p-1}{n}}{\sigma }^{a+cn}({\zeta }_p){\sigma }^{a+t+jn}({\zeta }_p)\hfill \\ \hfill & =\hfill & \sum _{a=0}^{n-1}\sum _{c,j=1}^{\frac{p-1}{n}}{\zeta }_p^{r^{a+cn}}{\zeta }_p^{r^{a+t+jn}}=\sum _{a=0}^{n-1}\sum _{c,j=1}^{\frac{p-1}{n}}{\zeta }_p^{r^{a+cn}+r^{a+t+jn}}.\hfill \end{array}$$

Since $r$ is a generator of ${\mathbb{Z}}_p^{*}$, it follows that $r^{p-1}\equiv 1(modp)$, and thus, $r^{(p-1)q}=(r^{p-1}{)}^q\equiv 1^q=1(modp)$, for all $q\in \mathbb{Z}$. So,

$$r^{a+(mq+c)n}=r^{a+(\frac{p-1}{n}q+c)n}=r^{a+(p-1)q+cn}=r^{a+cn}{r}^{(p-1)q}\equiv r^{a+cn}(modp).$$

Therefore, ${\zeta }_p^{r^{a+cn}}={\zeta }_p^{r^{a+(mq+c)n}}$, for all $q\in {\mathbb{Z}}^{+}$. Now, if $s\equiv c(modm)$, then $s=mq+c$, for some $q\in \mathbb{Z}$. Thus, ${\zeta }_p^{r^{a+sn}}={\zeta }_p^{r^{a+cn}}$. So,

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\sum _{a=0}^{n-1}\sum _{c,j\in {\mathbb{Z}}_m}{\zeta }_p^{r^{a+cn}+r^{a+t+jn}}=\sum _{c\in {\mathbb{Z}}_m}\sum _{a=0}^{n-1}\sum _{j\in {\mathbb{Z}}_m}{\zeta }_p^{r^{a+cn}+r^{a+t+jn}}.$$

Furthermore, if $d\equiv c-j(modm)$, i.e., $c\equiv d+j(modm)$, then ${\zeta }_p^{r^{a+cn}}={\zeta }_p^{r^{a+(d+j)n}}$, and since $c$ ranges in ${\mathbb{Z}}_m$, it follows that $d$ also ranges in ${\mathbb{Z}}_m$. Thus,

$$\begin{array}{ccc}T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))\hfill & =\hfill & \sum _{d\in {\mathbb{Z}}_m}\sum _{a=0}^{n-1}\sum _{j\in {\mathbb{Z}}_m}{\zeta }_p^{r^{a+(d+j)n}+r^{a+t+jn}}\hfill \\ \hfill & =\hfill & \sum _{d\in {\mathbb{Z}}_m}\sum _{a=0}^{n-1}\sum _{j\in {\mathbb{Z}}_m}{\zeta }_p^{(r^{dn}+r^t)r^{a+jn}}=\sum _{d=1}^{\frac{p-1}{n}}\sum _{a=0}^{n-1}\sum _{j=1}^{\frac{p-1}{n}}{\zeta }_p^{(r^{dn}+r^t)r^{a+jn}}.\hfill \end{array}$$

Since $a\in \{0,1,\cdots ,n-1\}$ and $j\in \{1,\cdots ,\frac{p-1}{n}\}$, it follows that $r^{a+jn}\equiv s(modp)$, where $s=1,\cdots ,p-1$, because $⟨r⟩={\mathbb{Z}}_p^{*}=\{1,\cdots ,p-1\}$, and thus $r^{a+jn}=s$ for some $s=1,\cdots ,p-1$. So, ${\zeta }_p^{r^{a+jn}}={\zeta }_p^s$, for some $s=1,\cdots ,p-1$. Now, since $n(\frac{p-1}{n})=p-1$, it follows that

$$\sum _{a=0}^{n-1}\sum _{j=1}^{\frac{p-1}{n}}{\zeta }_p^{(r^{dn}+r^t)r^{a+jn}}=\sum _{a=0}^{n-1}\sum _{j=1}^{\frac{p-1}{n}}({\zeta }_p^{r^{a+jn}}{)}^{r^{dn}+r^t}=\sum _{s=1}^{p-1}({\zeta }_p^s{)}^{r^{dn}+r^t}=\sum _{s=1}^{p-1}({\zeta }_p^{r^{dn}+r^t}{)}^s.$$

Thus, if ${\omega }_{d,t}={\zeta }_p^{r^{dn}+r^t}$, then

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\sum _{d=1}^{\frac{p-1}{n}}\sum _{s=1}^{p-1}({\omega }_{d,t}{)}^s,$$

where

$$\sum _{s=1}^{p-1}({\omega }_{d,t}{)}^s=\{\begin{array}{cc}p-1\hfill & \mathrm{\text{if}}{\omega }_{d,t}=1\hfill \\ -1\hfill & \mathrm{\text{if}}{\omega }_{d,t}\ne 1,\hfill \end{array}$$

for $t=0,1,\cdots ,n-1$. The first case is trivial. Now, for ${\omega }_{d,t}\ne 1$, is sufficient observe that ${\omega }_{d,t}={\zeta }_p^{r^{dn}+r^t}$ is a root of the polynomial

$$\frac{x^p-1}{x-1}=x^{p-1}+\cdots +x+1,$$

and therefore,

$$\sum _{s=1}^{p-1}({\omega }_{d,t}{)}^s=({\omega }_{d,t}{)}^{p-1}+\cdots +({\omega }_{d,t}{)}^2+{\omega }_{d,t}=-1.$$

Now, to calcule $T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))$, we consider the cases $t=0$ and $t\ne 0$. But,

$${\omega }_{d,t}=1\iff t=0\mathrm{\text{and}}d=\frac{p-1}{2n}.$$(3.1)

In fact, if $t=0$ and $d=(p-1)/2n$, then $r^{p-1}\equiv 1(modp)$. Since $p-1$ is even, it follows that there exists $l\in \mathbb{Z}$ such that $p-1=2l$. So, $(r^l{)}^2=r^{2l}\equiv 1(modp)$, i.e., $p\mid (r^l{)}^2-1=(r^l+1)(r^l-1)$. Thus, $r^l\equiv 1(modp)$ or $r^l\equiv -1(modp)$. But, since the first case is not possible because $p-1$ is the smallet positive integer with this property, it follows that $r^l\equiv -1(modp)$. Thus, $r^{\frac{p-1}{2}}+1\equiv 0(modp)$, and therefore,

$${\omega }_{d,t}={\zeta }_p^{r^{dn}+1}={\zeta }_p^{r^{(\frac{p-1}{2n})n}+1}={\zeta }_p^{r^{\frac{p-1}{2}}+1}=1.$$

Reciprocally, if ${\omega }_{d,t}=1$, i.e., ${\zeta }_p^{r^{dn}+r^t}=1$, then

$$r^{dn}+r^t\equiv 0(modp)\iff r^{dn}\equiv -r^t(modp).$$

Since $r^{l+t}\equiv -r^t(modp)$, it follows that

$$-r^t(modp)\equiv r^{dn}\equiv r^{l+t}(modp).$$

From ^[10], it follows that

$$r^{l+t}(modp)l+t\equiv dn(modp-1).$$

Thus $p-1$ divides $l+t-dn$, i.e., there exists $k_1\in \mathbb{Z}$ such that $t=dn-l+k_1(p-1)$. Now, $n|dn$, $n|k_1(p-1)$ (because $n|p-1$) and $n|l$ (because $n(\frac{p-1}{2n})=l$), and thus, $n|t$. Since $t=0,1,\cdots ,n-1$, it follows that $t=0$. Thus, $dn=l-k_1(p-1)$, and therefore,

$$d=\frac{p-1}{2n}-k_1(\frac{p-1}{n})=\frac{p-1}{2n}(1-2k_1)=k_2(\frac{p-1}{2n}),\mathrm{\text{with}}{k}_2=1-2k_1\mathrm{\text{odd}}.$$

Since $k_2$ is positive, because if $k_2<0$, then $d\le 0$. Thus, $k_2=1$ or $2$, because if $k_2\ge 3$, then $d>(p-1)/n$. But, since $k_2$ is odd, it follows that $k_2=1$. Therefore, $d=(p-1)/2n$, which concludes the proof of the equivalency of the Equation (3.1). Observe that the number $\frac{p-1}{2n}$ is integer because $n\mid (p-1)/2$. Now, for $t\ne 0$, from equivalency of the Equation (3.1), it follows that ${\omega }_{d,t}\ne 1$, and therefore, ${\sum }_{s=1}^{p-1}({\omega }_{d,t}{)}^s=-1$. Thus,

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\sum _{d=1}^{\frac{p-1}{n}}\sum _{s=1}^{p-1}({\omega }_{d,t}{)}^s=\sum _{d=1}^{\frac{p-1}{n}}-1=-\left(\frac{p-1}{n}\right).$$

Now, suppose $t=0$. From equivalency of the Equation (3.1), if $d=(p-1)/2n$, then ${\omega }_{d,t}=1$, and if $d\ne (p-1)/2n$, then ${\omega }_{d,t}\ne 1$. Therefore,

$$\begin{array}{ccc}T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))\hfill & =\hfill & \sum _{d=1}^{\frac{p-1}{n}}\sum _{s=1}^{p-1}({\omega }_{d,t}{)}^s=(p-1)+\sum _{d=1,d\ne \frac{p-1}{2n}}^{\frac{p-1}{n}}-1\hfill \\ \hfill & =\hfill & (p-1)-(\frac{p-1}{n}-1)=p-\left(\frac{p-1}{n}\right).\hfill \end{array}$$

Since ${\sigma }^{j-i}$ ranges in ${\sigma }^t$, with $t=0,1,\cdots ,n-1$, it follows that

$$T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^t(\theta ))=\{\begin{array}{cc}p-(\frac{p-1}{n})\hfill & \mathrm{\text{if}}t=0\hfill \\ -(\frac{p-1}{n})\hfill & \mathrm{\text{if}}t=1,2,\cdots ,n-1,\hfill \end{array}$$

which concludes the proof. ""²$▫$

4 AN ALGORITHM OF CONSTRUCTION OF A ROTATED LATTICE

In this section, we present an algorithm to construct of a rotated lattice and we analyze if these lattices have good performance in terms of center density and minimum product distance. For this, we consider $𝕂$ a field such that $𝕂\subseteq \mathbb{Q}({\zeta }_p+{\zeta }_p^{-1})$, where $p$ is a prime, $[\mathbb{Q}({\zeta }_p):𝕂]=m$ and $[𝕂:\mathbb{Q}]=n$.

4.1 Algorithm

An algorithm to construct of a rotated lattice is given by:

1. Choose a dimension $n$.

2. Compute a prime $p$ such that $p\equiv 1(modn)$, where $n$ is an even number that divides $(p-1)/2$ or if $n$ is an odd number.

3. Compute $r$ such that $r$ is a primitive element modulo $p$, i.e., $r$ is a generator of ${\mathbb{Z}}_p^{*}$.

4. Compute $\theta =T{r}_{\mathbb{Q}({\zeta }_p):𝕂}({\zeta }_p)$ and ${\sigma }^i(\theta )$, for $i=1,\cdots ,n-1$, with $⟨\sigma ⟩=Gal(\mathbb{Q}({\zeta }_p):\mathbb{Q})$.

5. Compute the Gram matrix $G=(g_{ij}{)}_{i,j=1}^n$, where

   $$g_{i,j}=T{r}_{𝕂:\mathbb{Q}}(\theta {\sigma }^{j-i}(\theta ))=\{\begin{array}{cc}p-(\frac{p-1}{n})\hfill & \mathrm{\text{if}}i=j\hfill \\ -(\frac{p-1}{n})\hfill & \mathrm{\text{if}}i\ne j,\hfill \end{array}$$
   for $i,j=1,\cdots ,n$.

4.2 Center density and minimim distance product

If $\alpha \in {𝒪}_{𝕂}$, where $\alpha =a_0{\sigma }^0(\theta )+a_1\sigma (\theta )+\cdots +a_{n-1}{\sigma }^{n-1}(\theta )$, then

$$T{r}_{𝕂:\mathbb{Q}}({\alpha }^2)=\sum _{i=0}^{n-1}{a}_i^2+m\sum _{0\le i<j\le n-1}(a_i-a_j{)}^2.$$

If $ℳ$ is a $\mathbb{Z}$-submodule in $𝕂$ of rank $n$, then the set $\Lambda ={\sigma }_{𝕂}(ℳ)$ is a lattice in ${ℝ}^n$ called an algebraic lattice. The center density of $\Lambda$ is given by

$$\delta (\Lambda )=\frac{t^{n/2}}{2^n[{𝒪}_{𝕂}:ℳ]\sqrt{\mid {\Delta }_{𝕂}\mid }},$$

where $t=min\{T{r}_{𝕂:\mathbb{Q}}({\alpha }^2):\alpha \in ℳ,\alpha \ne 0\}$, $[{𝒪}_{𝕂}:ℳ]$ denotes the index of the submodule $ℳ$ and ${\Delta }_{𝕂}=p^{n-1}$ ^[7]. If $x=(x_1,\dots ,x_n)\in {ℝ}^n$ is an element of $\Lambda$, the product distance of $x$ from the origin is defined as

$$d_p(x)=\prod _{i=1}^n\mid x_i\mid ,$$

and the minimum product distance of $\Lambda$ is defined as

$$d_{p,min}(\Lambda )=\underset{x\in \Lambda ,x\ne 0}{min}{d}_p(x).$$

If $ℳ$ is a principal ideal of ${𝒪}_{𝕂}$, then the minimum product distance of $\Lambda$ is given by

$$d_{p,min}(\Lambda )=\sqrt{\frac{det(\Lambda )}{{\Delta }_{𝕂}}},$$

where $det(\Lambda )=detG$ ^[8]. The normalized minimum product distance of $\Lambda$, $d_{p,norm}(\Lambda )$, is the minimum product distance of the rotated lattice $\frac{1}{\sqrt[2n]{det(G)}}\Lambda$. Thus, the normalized minimum product distance of $\Lambda$ is given by

$$d_{p,norm}(\Lambda )=\frac{1}{(\sqrt{k}{)}^n}\frac{1}{\sqrt{det(G)}}{d}_{p,min}(\Lambda )=\frac{1}{(\sqrt{k}{)}^n}\frac{1}{\sqrt{\Lambda }},$$

where $k=min\{\parallel x{\parallel }^2:0\ne x\in \Lambda \}$. Thus,

$$\sqrt[n]{d_{p,norm}(\Lambda )}=\frac{1}{\sqrt{k}}\frac{1}{\sqrt[2n]{\Lambda }}.$$

4.3 Example

If $𝕃=\mathbb{Q}({\zeta }_5)$ and $𝕂=\mathbb{Q}(\theta )$, where $\theta ={\zeta }_5+{\zeta }_5^{-1}$, then $n=2$, $t=2$, ${\Delta }_{𝕂}=5$,

$$G=\left(\begin{array}{cc}\hfill 3& \hfill -2\\ \hfill -2& \hfill 3\end{array}\right)$$

is the Gram matrix of the algebraic lattice $\sigma ({𝒪}_{𝕂})$, $k=2$ and $det(G)=5$. In this case, the center density is given by $\delta (\Lambda )=1/(2\sqrt{5})$ and the normalized minimum product distance. Since $k=2$, it follows that $\sqrt{d_{p,norm}(\Lambda )}=\frac{1}{\sqrt{2}}\frac{1}{\sqrt[4]{5}}\simeq 0.47287$. In the Table 1, we summarized a comparision of the values of $\delta (ℳ)$, where $ℳ={𝒪}_{𝕂}$, and $\sqrt[n]{d_{p,norm}(\Lambda )}$ for some known constructions of algebraic lattices in some dimensions.

Table 1
Comparison of the values of $\delta (ℳ)$ ^[4] and $\sqrt[n]{d_{p,norm}(\Lambda )}$ ^[8].

p	n	$\delta (ℳ)$	known	$\sqrt[n]{d_{p,norm}(\Lambda )}$	known
$5$	$2$	$0.22360$	$0.28868$	$0.47287$	$0.66874030$
$7$	$3$	$0.09278$	$0.17678$	$0.30181$	$0.52275795$
$11$	$5$	$0.01443$	$0.08839$	$0.17137$	$0.38321537$
$13$	$6$	$0.00553$	$0.07217$	$0.14021$	$0.34344479$
$13$	$3$	$0.02400$	$0.17678$	$0.24554$	$0.28952001$
$13$	$2$	$0.13867$	$0.28868$	$0.372309$	$0.27018738$

5 ACKNOWLEDGMENTS

The authors would like to thank the anonymous reviewers for their intuitive comentary that significantly improved the worth of this work.

REFERENCES

• ^[1]
  A.A. Andrade & J.C. Interlando. Rotated ${\mathbb{Z}}^n$-lattices via real subfields of $\mathbb{Q}({\zeta }_{2^r})$ TEMA - Trends in Applied and Computational Mathematics, 20(3) (2019).
• ^[2]
  A. Ansari, T. Shah, Z.u. Rahman & A.A. Andrade. Sequences of Primitive and Non-primitive BCH Codes. TEMA - Trends in Applied and Computational Mathematics, 19(2) (2018), 369–389.
• ^[3]
  J. Boutros, E. Viterbo, C. Rastello & J.C. Belfiore. Good lattice constellations for both Rayleigh fading and Gaussian channels. IEEE Transactions on Information Theory, 42(2) (1996), 502–518.
• ^[4]
  J.H. Conway & N.J.A. Sloane. “Sphere Packings, Lattices and Groups”. Springer-Verlag (1998).
• ^[5]
  A. de Andrade & R. Palazzo Jr. Linear codes over finite rings. TEMA - Trends in Applied and Computational Mathematics, 6(2) (2005), 207–217.
• ^[6]
  B. Erez. The Galois structure of the trace form in extensions of odd prime degree. Journal of Algebra, 118(2) (1988), 438–446.
• ^[7]
  J.C. Interlando, J.O.D. Lopes & T.P. Nóbrega. The discriminant of abelian number fields. Journal of Algebra and its Applications, 5(01) (2006), 35–41.
• ^[8]
  F. Oggier, E. Bayer-Fluckiger & E. Viterbo. New algebraic constructions of rotated cubic lattice constellations for the Rayleigh fading channel. In “Proceedings 2003 IEEE Information TheoryWorkshop (Cat. No. 03EX674)”. IEEE (2003), pp. 263–266.
• ^[9]
  P. Ribenboim. “Classical theory of algebraic numbers”. Springer Science & Business Media (2013).
• ^[10]
  J.P.O. Santos. “Introduction to numbers theory, Projeto Euclides”. Impa (2006).
• ^[11]
  J.P. Serre. “A course in arithmetic”, volume 7. Springer Science & Business Media (2012).

Publication Dates

• Publication in this collection
  13 Dec 2019
• Date of issue
  Sep-Dec 2019

History

• Received
  14 Mar 2019
• Accepted
  6 Aug 2019