Construction of infinite unimodular sequences with zero autocorrelation (Q849336)

The autocorrelation \(A_x:\mathbb{Z}^d\to\mathbb{C}\) of \(x:\mathbb{Z}^d\to\mathbb{C}\) is defined as \[ \forall k\in\mathbb{Z}^d,\quad A_x[k]=\lim_{N\to\infty}\frac{1}{(2N+1)^d}\sum_{\substack{ -N\leq m_i\leq N\\ i=1,\dots,d}} x[k+m]\overline{x[m]}, \] where \(m=(m_1,\dots,m_d)\) and \(k=(k_1,\dots,k_d)\). The paper under review gives constructions of infinite unimodular sequences with \(A_x=0\), which have some applications in waveform design and radar and communications. Indeed, using Weyl criterion in the theory of distribution modulo one of sequences and Weyl's main result in this area, the authors show that the unimodular sequence with general term \(x[n]=\exp(2\pi i n^\alpha\theta)\) where \(\alpha\geq 2\) is integer and \(\theta\) is irrational, has zero autocorrelation on \(\mathbb{Z}-\{0\}\). Then, they construct polyphase sequences from roots of unity, and also sequences from real Hadamard matrices, which have same property of autocorrelation.