-
Sequences with identical autocorrelation spectra
Authors:
Daniel J. Katz,
Adeebur Rahman,
Michael J Ward
Abstract:
Aperiodic autocorrelation measures the similarity between a finite-length sequence of complex numbers and translates of itself. Autocorrelation is important in communications, remote sensing, and scientific instrumentation. The autocorrelation function reports the aperiodic autocorrelation at every possible translation. Knowing the autocorrelation function of a sequence is equivalent to knowing th…
▽ More
Aperiodic autocorrelation measures the similarity between a finite-length sequence of complex numbers and translates of itself. Autocorrelation is important in communications, remote sensing, and scientific instrumentation. The autocorrelation function reports the aperiodic autocorrelation at every possible translation. Knowing the autocorrelation function of a sequence is equivalent to knowing the magnitude of its Fourier transform. Resolving the lack of phase information is called the phase problem. We say that two sequences are isospectral to mean that they have the same aperiodic autocorrelation function. Sequences used in technological applications often have restrictions on their terms: they are not arbitrary complex numbers, but come from an alphabet that may reside in a proper subring of the complex field or may come from a finite set of values. For example, binary sequences involve terms equal to only $+1$ and $-1$. In this paper, we investigate the necessary and sufficient conditions for two sequences to be isospectral, where we take their alphabet into consideration. There are trivial forms of isospectrality arising from modifications that predictably preserve the autocorrelation, for example, negating sequences or both conjugating their terms and writing them in reverse order. By an exhaustive search of binary sequences up to length $34$, we find that nontrivial isospectrality among binary sequences does occur, but is rare. We say that a positive integer $n$ is barren to mean that there are no nontrivially isospectral binary sequences of length $n$. For integers $n \leq 34$, we found that the barren ones are $1$--$8$, $10$, $11$, $13$, $14$, $19$, $22$, $23$, $26$, and $29$. We prove that any multiple of a non-barren number is also not barren, and pose an open question as to whether there are finitely or infinitely many barren numbers.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Almost perfect nonlinear power functions with exponents expressed as fractions
Authors:
Daniel J. Katz,
Kathleen R. O'Connor,
Kyle Pacheco,
Yakov Sapozhnikov
Abstract:
Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. The function $f$ is almost perfect nonlinear (…
▽ More
Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. The function $f$ is almost perfect nonlinear (APN) if the largest cardinality in the differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us to give the differential spectrum and, even more, to determine the sizes of individual fibers of derivatives.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Limiting Moments of Autocorrelation Demerit Factors of Binary Sequences
Authors:
Daniel J. Katz,
Miriam E. Ramirez
Abstract:
An aperiodic binary sequence of length $\ell$ is a doubly infinite sequence $f=\ldots,f_{-1},f_0,f_1,\ldots$ with $f_j \in \{-1,1\}$ when $0 \leq j < \ell$ and and $f_j=0$ otherwise. Various problems in engineering and natural science demand binary sequences that do not resemble translates of themselves. The autocorrelation of $f$ at shift $s$ is the dot product of $f$ with the sequence obtained b…
▽ More
An aperiodic binary sequence of length $\ell$ is a doubly infinite sequence $f=\ldots,f_{-1},f_0,f_1,\ldots$ with $f_j \in \{-1,1\}$ when $0 \leq j < \ell$ and and $f_j=0$ otherwise. Various problems in engineering and natural science demand binary sequences that do not resemble translates of themselves. The autocorrelation of $f$ at shift $s$ is the dot product of $f$ with the sequence obtained by translating $f$ by $s$ places. The demerit factor of $f$ is the sum of the squares of the autocorrelations at all nonzero shifts for the sequence obtained by normalizing $f$ to unit Euclidean norm. Low demerit factor therefore indicates low self-similarity under translation. We endow the $2^\ell$ binary sequences of length $\ell$ with uniform probability measure and consider the distribution of their demerit factors. Earlier works used combinatorial techniques to find exact formulas for the mean, variance, skewness, and kurtosis of the distribution as a function of $\ell$. These revealed that for $\ell \geq 4$, the $p$th central moment of this distribution is strictly positive for every $p \geq 2$. This article shows that every $p$th central moment is a quasi-polynomial function of $\ell$ with rational coefficients divided by $\ell^{2 p}$. It also shows that, in the limit as $\ell$ tends to infinity, the $p$th standardized moment is the same as that of the standard normal distribution.
△ Less
Submitted 11 June, 2024; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Moments of Autocorrelation Demerit Factors of Binary Sequences
Authors:
Daniel J. Katz,
Miriam E. Ramirez
Abstract:
Sequences with low aperiodic autocorrelation are used in communications and remote sensing for synchronization and ranging. The autocorrelation demerit factor of a sequence is the sum of the squared magnitudes of its autocorrelation values at every nonzero shift when we normalize the sequence to have unit Euclidean length. The merit factor, introduced by Golay, is the reciprocal of the demerit fac…
▽ More
Sequences with low aperiodic autocorrelation are used in communications and remote sensing for synchronization and ranging. The autocorrelation demerit factor of a sequence is the sum of the squared magnitudes of its autocorrelation values at every nonzero shift when we normalize the sequence to have unit Euclidean length. The merit factor, introduced by Golay, is the reciprocal of the demerit factor. We consider the uniform probability measure on the $2^\ell$ binary sequences of length $\ell$ and investigate the distribution of the demerit factors of these sequences. Sarwate and Jedwab have respectively calculated the mean and variance of this distribution. We develop new combinatorial techniques to calculate the $p$th central moment of the demerit factor for binary sequences of length $\ell$. These techniques prove that for $p\geq 2$ and $\ell \geq 4$, all the central moments are strictly positive. For any given $p$, one may use the technique to obtain an exact formula for the $p$th central moment of the demerit factor as a function of the length $\ell$. Jedwab's formula for variance is confirmed by our technique with a short calculation, and we go beyond previous results by also deriving an exact formula for the skewness. A computer-assisted application of our method also obtains exact formulas for the kurtosis, which we report here, as well as the fifth central moment.
△ Less
Submitted 7 June, 2024; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Rationality of Four-Valued Families of Weil Sums of Binomials
Authors:
Daniel J. Katz,
Allison E. Wong
Abstract:
We investigate the rationality of Weil sums of binomials of the form $W^{K,s}_u=\sum_{x \in K} ψ(x^s - u x)$, where $K$ is a finite field whose canonical additive character is $ψ$, and where $u$ is an element of $K^{\times}$ and $s$ is a positive integer relatively prime to $|K^\times|$, so that $x \mapsto x^s$ is a permutation of $K$. The Weil spectrum for $K$ and $s$, which is the family of valu…
▽ More
We investigate the rationality of Weil sums of binomials of the form $W^{K,s}_u=\sum_{x \in K} ψ(x^s - u x)$, where $K$ is a finite field whose canonical additive character is $ψ$, and where $u$ is an element of $K^{\times}$ and $s$ is a positive integer relatively prime to $|K^\times|$, so that $x \mapsto x^s$ is a permutation of $K$. The Weil spectrum for $K$ and $s$, which is the family of values $W^{K,s}_u$ as $u$ runs through $K^\times$, is of interest in arithmetic geometry and in several information-theoretic applications. The Weil spectrum always contains at least three distinct values if $s$ is nondegenerate (i.e., if $s$ is not a power of $p$ modulo $|K^\times|$, where $p$ is the characteristic of $K$). It is already known that if the Weil spectrum contains precisely three distinct values, then they must all be rational integers. We show that if the Weil spectrum contains precisely four distinct values, then they must all be rational integers, with the sole exception of the case where $|K|=5$ and $s \equiv 3 \pmod{4}$.
△ Less
Submitted 6 April, 2024; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Sets of Low Correlation Sequences from Cyclotomy
Authors:
Jonathan M. Castello,
Daniel J. Katz,
Jacob M. King,
Alain Olavarrieta
Abstract:
Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean…
▽ More
Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean norm, sums the squared magnitudes of all the correlations between every pair of sequences in the codebook (including sequences with themselves to cover autocorrelations), and divides by the square of the number of sequences in the codebook. This demerit factor is expected to be $1+1/N-1/(\ell N)$ for a codebook of $N$ randomly selected binary sequences of length $\ell$, but we want demerit factors much closer to the absolute minimum value of $1$. For each $N$ such that there is an $N\times N$ Hadamard matrix, we use cyclotomy to construct an infinite family of codebooks of binary sequences, in which each codebook has $N-1$ sequences of length $p$, where $p$ runs through the primes with $N\mid p-1$. As $p$ tends to infinity, the demerit factor of the codebooks tends to $1+1/(6(N-1))$, and the maximum magnitude of the undesirable correlations (crosscorrelations between distinct sequences and off-peak autocorrelations) is less than a small constant times $\sqrt{p}\log(p)$. This construction also generalizes to nonbinary sequences.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Peak Sidelobe Level and Peak Crosscorrelation of Golay-Rudin-Shapiro Sequences
Authors:
Daniel J. Katz,
Courtney M. van der Linden
Abstract:
Sequences with low aperiodic autocorrelation and crosscorrelation are used in communications and remote sensing. Golay and Shapiro independently devised a recursive construction that produces families of complementary pairs of binary sequences. In the simplest case, the construction produces the Rudin-Shapiro sequences, and in general it produces what we call Golay-Rudin-Shapiro sequences. Calcula…
▽ More
Sequences with low aperiodic autocorrelation and crosscorrelation are used in communications and remote sensing. Golay and Shapiro independently devised a recursive construction that produces families of complementary pairs of binary sequences. In the simplest case, the construction produces the Rudin-Shapiro sequences, and in general it produces what we call Golay-Rudin-Shapiro sequences. Calculations by Littlewood show that the Rudin-Shapiro sequences have low mean square autocorrelation. A sequence's peak sidelobe level is its largest magnitude of autocorrelation over all nonzero shifts. Høholdt, Jensen, and Justesen showed that there is some undetermined positive constant $A$ such that the peak sidelobe level of a Rudin-Shapiro sequence of length $2^n$ is bounded above by $A(1.842626\ldots)^n$, where $1.842626\ldots$ is the positive real root of $X^4-3 X-6$. We show that the peak sidelobe level is bounded above by $5(1.658967\ldots)^{n-4}$, where $1.658967\ldots$ is the real root of $X^3+X^2-2 X-4$. Any exponential bound with lower base will fail to be true for almost all $n$, and any bound with the same base but a lower constant prefactor will fail to be true for at least one $n$. We provide a similar bound on the peak crosscorrelation (largest magnitude of crosscorrelation over all shifts) between the sequences in each Rudin-Shapiro pair. The methods that we use generalize to all families of complementary pairs produced by the Golay-Rudin-Shapiro recursion, for which we obtain bounds on the peak sidelobe level and peak crosscorrelation with the same exponential growth rate as we obtain for the original Rudin-Shapiro sequences.
△ Less
Submitted 13 November, 2021; v1 submitted 16 August, 2021;
originally announced August 2021.
-
The resolution of Niho's last conjecture concerning sequences, codes, and Boolean functions
Authors:
Tor Helleseth,
Daniel J. Katz,
Chunlei Li
Abstract:
A new method is used to resolve a long-standing conjecture of Niho concerning the crosscorrelation spectrum of a pair of maximum length linear recursive sequences of length $2^{2 m}-1$ with relative decimation $d=2^{m+2}-3$, where $m$ is even. The result indicates that there are at most five distinct crosscorrelation values. Equivalently, the result indicates that there are at most five distinct v…
▽ More
A new method is used to resolve a long-standing conjecture of Niho concerning the crosscorrelation spectrum of a pair of maximum length linear recursive sequences of length $2^{2 m}-1$ with relative decimation $d=2^{m+2}-3$, where $m$ is even. The result indicates that there are at most five distinct crosscorrelation values. Equivalently, the result indicates that there are at most five distinct values in the Walsh spectrum of the power permutation $f(x)=x^d$ over a finite field of order $2^{2 m}$ and at most five distinct nonzero weights in the cyclic code of length $2^{2 m}-1$ with two primitive nonzeros $α$ and $α^d$. The method used to obtain this result proves constraints on the number of roots that certain seventh degree polynomials can have on the unit circle of a finite field. The method also works when $m$ is odd, in which case the associated crosscorrelation and Walsh spectra have at most six distinct values.
△ Less
Submitted 8 July, 2021; v1 submitted 22 June, 2020;
originally announced June 2020.
-
An improved uncertainty principle for functions with symmetry
Authors:
Stephan Ramon Garcia,
Gizem Karaali,
Daniel J. Katz
Abstract:
Chebotarëv proved that every minor of a discrete Fourier matrix of prime order is nonzero. We prove a generalization of this result that includes analogues for discrete cosine and discrete sine matrices as special cases. We establish these results via a generalization of the Biró-Meshulam-Tao uncertainty principle to functions with symmetries that arise from certain group actions, with some of the…
▽ More
Chebotarëv proved that every minor of a discrete Fourier matrix of prime order is nonzero. We prove a generalization of this result that includes analogues for discrete cosine and discrete sine matrices as special cases. We establish these results via a generalization of the Biró-Meshulam-Tao uncertainty principle to functions with symmetries that arise from certain group actions, with some of the simplest examples being even and odd functions. We show that our result is best possible and in some cases is stronger than that of Biró-Meshulam-Tao. Some of these results hold in certain circumstances for non-prime fields; Gauss sums play a central role in such investigations.
△ Less
Submitted 21 May, 2021; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Sequences with Low Correlation
Authors:
Daniel J. Katz
Abstract:
Pseudorandom sequences are used extensively in communications and remote sensing. Correlation provides one measure of pseudorandomness, and low correlation is an important factor determining the performance of digital sequences in applications. We consider the problem of constructing pairs $(f,g)$ of sequences such that both $f$ and $g$ have low mean square autocorrelation and $f$ and $g$ have low…
▽ More
Pseudorandom sequences are used extensively in communications and remote sensing. Correlation provides one measure of pseudorandomness, and low correlation is an important factor determining the performance of digital sequences in applications. We consider the problem of constructing pairs $(f,g)$ of sequences such that both $f$ and $g$ have low mean square autocorrelation and $f$ and $g$ have low mean square mutual crosscorrelation. We focus on aperiodic correlation of binary sequences, and review recent contributions along with some historical context.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Weil sums of binomials: properties, applications, and open problems
Authors:
Daniel J. Katz
Abstract:
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fi…
▽ More
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and then give a survey of current topics of research: Archimedean and non-Archimedean bounds on the sums, the number of values in the spectrum, and the presence or absence of zero in the spectrum. We indicate some important open problems and discuss progress that has been made on them.
△ Less
Submitted 19 November, 2018; v1 submitted 26 May, 2018;
originally announced May 2018.
-
Rudin-Shapiro-Like Sequences with Maximum Asymptotic Merit Factor
Authors:
Daniel J. Katz,
Sangman Lee,
Stanislav A. Trunov
Abstract:
Borwein and Mossinghoff investigated the Rudin-Shapiro-like sequences, which are infinite families of binary sequences, usually represented as polynomials. Each family of Rudin-Shapiro-like sequences is obtained from a starting sequence (which we call the seed) by a recursive construction that doubles the length of the sequence at each step, and many sequences produced in this manner have exceptio…
▽ More
Borwein and Mossinghoff investigated the Rudin-Shapiro-like sequences, which are infinite families of binary sequences, usually represented as polynomials. Each family of Rudin-Shapiro-like sequences is obtained from a starting sequence (which we call the seed) by a recursive construction that doubles the length of the sequence at each step, and many sequences produced in this manner have exceptionally low aperiodic autocorrelation. Borwein and Mossinghoff showed that the asymptotic autocorrelation merit factor for any such family is at most $3$, and found the seeds of length $40$ or less that produce the maximum asymptotic merit factor of $3$. The definition of Rudin-Shapiro-like sequences was generalized by Katz, Lee, and Trunov to include sequences with arbitrary complex coefficients, among which are families of low autocorrelation polyphase sequences. Katz, Lee, and Trunov proved that the maximum asymptotic merit factor is also $3$ for this larger class. Here we show that a family of such Rudin-Shapiro-like sequences achieves asymptotic merit factor $3$ if and only if the seed is either of length $1$ or is the interleaving of a pair of Golay complementary sequences. For small seed lengths where this is not possible, the optimal seeds are interleavings of pairs that are as close as possible to being complementary pairs, and the idea of an almost-complementary pair makes sense of remarkable patterns in previously unexplained data on optimal seeds for binary Rudin-Shapiro-like sequences.
△ Less
Submitted 15 July, 2020; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Sequence Pairs with Lowest Combined Autocorrelation and Crosscorrelation
Authors:
Daniel J. Katz,
Eli Moore
Abstract:
Pursley and Sarwate established a lower bound on a combined measure of autocorrelation and crosscorrelation for a pair $(f,g)$ of binary sequences (i.e., sequences with terms in $\{-1,1\}$). If $f$ is a nonzero sequence, then its autocorrelation demerit factor, $\text{ADF}(f)$, is the sum of the squared magnitudes of the aperiodic autocorrelation values over all nonzero shifts for the sequence obt…
▽ More
Pursley and Sarwate established a lower bound on a combined measure of autocorrelation and crosscorrelation for a pair $(f,g)$ of binary sequences (i.e., sequences with terms in $\{-1,1\}$). If $f$ is a nonzero sequence, then its autocorrelation demerit factor, $\text{ADF}(f)$, is the sum of the squared magnitudes of the aperiodic autocorrelation values over all nonzero shifts for the sequence obtained by normalizing $f$ to have unit Euclidean norm. If $(f,g)$ is a pair of nonzero sequences, then their crosscorrelation demerit factor, $\text{CDF}(f,g)$, is the sum of the squared magnitudes of the aperiodic crosscorrelation values over all shifts for the sequences obtained by normalizing both $f$ and $g$ to have unit Euclidean norm. Pursley and Sarwate showed that for binary sequences, the sum of $\text{CDF}(f,g)$ and the geometric mean of $\text{ADF}(f)$ and $\text{ADF}{(g)}$ must be at least $1$. For randomly selected pairs of long binary sequences, this quantity is typically around $2$. In this paper, we show that Pursley and Sarwate's bound is met for binary sequences precisely when $(f,g)$ is a Golay complementary pair. We also prove a generalization of this result for sequences whose terms are arbitrary complex numbers. We investigate constructions that produce infinite families of Golay complementary pairs, and compute the asymptotic values of autocorrelation and crosscorrelation demerit factors for such families.
△ Less
Submitted 4 March, 2022; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Crosscorrelation of Rudin-Shapiro-Like Polynomials
Authors:
Daniel J. Katz,
Sangman Lee,
Stanislav A. Trunov
Abstract:
We consider the class of Rudin-Shapiro-like polynomials, whose $L^4$ norms on the complex unit circle were studied by Borwein and Mossinghoff. The polynomial $f(z)=f_0+f_1 z + \cdots + f_d z^d$ is identified with the sequence $(f_0,f_1,\ldots,f_d)$ of its coefficients. From the $L^4$ norm of a polynomial, one can easily calculate the autocorrelation merit factor of its associated sequence, and con…
▽ More
We consider the class of Rudin-Shapiro-like polynomials, whose $L^4$ norms on the complex unit circle were studied by Borwein and Mossinghoff. The polynomial $f(z)=f_0+f_1 z + \cdots + f_d z^d$ is identified with the sequence $(f_0,f_1,\ldots,f_d)$ of its coefficients. From the $L^4$ norm of a polynomial, one can easily calculate the autocorrelation merit factor of its associated sequence, and conversely. In this paper, we study the crosscorrelation properties of pairs of sequences associated to Rudin-Shapiro-like polynomials. We find an explicit formula for the crosscorrelation merit factor. A computer search is then used to find pairs of Rudin-Shapiro-like polynomials whose autocorrelation and crosscorrelation merit factors are simultaneously high. Pursley and Sarwate proved a bound that limits how good this combined autocorrelation and crosscorrelation performance can be. We find infinite families of polynomials whose performance approaches quite close to this fundamental limit.
△ Less
Submitted 13 July, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Low Correlation Sequences from Linear Combinations of Characters
Authors:
Kelly T. R. Boothby,
Daniel J. Katz
Abstract:
Pairs of binary sequences formed using linear combinations of multiplicative characters of finite fields are exhibited that, when compared to random sequence pairs, simultaneously achieve significantly lower mean square autocorrelation values (for each sequence in the pair) and significantly lower mean square crosscorrelation values. If we define crosscorrelation merit factor analogously to the us…
▽ More
Pairs of binary sequences formed using linear combinations of multiplicative characters of finite fields are exhibited that, when compared to random sequence pairs, simultaneously achieve significantly lower mean square autocorrelation values (for each sequence in the pair) and significantly lower mean square crosscorrelation values. If we define crosscorrelation merit factor analogously to the usual merit factor for autocorrelation, and if we define demerit factor as the reciprocal of merit factor, then randomly selected binary sequence pairs are known to have an average crosscorrelation demerit factor of $1$. Our constructions provide sequence pairs with crosscorrelation demerit factor significantly less than $1$, and at the same time, the autocorrelation demerit factors of the individual sequences can also be made significantly less than $1$ (which also indicates better than average performance). The sequence pairs studied here provide combinations of autocorrelation and crosscorrelation performance that are not achievable using sequences formed from single characters, such as maximal linear recursive sequences (m-sequences) and Legendre sequences. In this study, exact asymptotic formulae are proved for the autocorrelation and crosscorrelation merit factors of sequence pairs formed using linear combinations of multiplicative characters. Data is presented that shows that the asymptotic behavior is closely approximated by sequences of modest length.
△ Less
Submitted 25 March, 2017; v1 submitted 14 February, 2016;
originally announced February 2016.
-
Aperiodic Crosscorrelation of Sequences Derived from Characters
Authors:
Daniel J. Katz
Abstract:
It is shown that pairs of maximal linear recursive sequences (m-sequences) typically have mean square aperiodic crosscorrelation on par with that of random sequences, but that if one takes a pair of m-sequences where one is the reverse of the other, and shifts them appropriately, one can get significantly lower mean square aperiodic crosscorrelation. Sequence pairs with even lower mean square aper…
▽ More
It is shown that pairs of maximal linear recursive sequences (m-sequences) typically have mean square aperiodic crosscorrelation on par with that of random sequences, but that if one takes a pair of m-sequences where one is the reverse of the other, and shifts them appropriately, one can get significantly lower mean square aperiodic crosscorrelation. Sequence pairs with even lower mean square aperiodic crosscorrelation are constructed by taking a Legendre sequence, cyclically shifting it, and then cutting it (approximately) in half and using the halves as the sequences of the pair. In some of these constructions, the mean square aperiodic crosscorrelation can be lowered further if one truncates or periodically extends (appends) the sequences. Exact asymptotic formulae for mean squared aperiodic crosscorrelation are proved for sequences derived from additive characters (including m-sequences and modified versions thereof) and multiplicative characters (including Legendre sequences and their relatives). Data is presented that shows that sequences of modest length have performance that closely approximates the asymptotic formulae.
△ Less
Submitted 5 July, 2016; v1 submitted 14 February, 2016;
originally announced February 2016.
-
On The Number of Similar Instances of a Pattern in a Finite Set
Authors:
Bernardo Abrego,
Silvia Fernandez-Merchant,
Daniel J. Katz,
Levon Kolesnikov
Abstract:
New bounds on the number of similar or directly similar copies of a pattern within a finite subset of the line or the plane are proved. The number of equilateral triangles whose vertices all lie within an $n$-point subset of the plane is shown to be no more than $\lfloor{(4 n-1)(n-1)/18}\rfloor$. The number of $k$-term arithmetic progressions that lie within an $n$-point subset of the line is show…
▽ More
New bounds on the number of similar or directly similar copies of a pattern within a finite subset of the line or the plane are proved. The number of equilateral triangles whose vertices all lie within an $n$-point subset of the plane is shown to be no more than $\lfloor{(4 n-1)(n-1)/18}\rfloor$. The number of $k$-term arithmetic progressions that lie within an $n$-point subset of the line is shown to be at most $(n-r)(n+r-k+1)/(2 k-2)$, where $r$ is the remainder when $n$ is divided by $k-1$. This upper bound is achieved when the $n$ points themselves form an arithmetic progression, but for some values of $k$ and $n$, it can also be achieved for other configurations of the $n$ points, and a full classification of such optimal configurations is given. These results are achieved using a new general method based on ordering relations.
△ Less
Submitted 20 November, 2016; v1 submitted 30 December, 2014;
originally announced January 2015.
-
New Open Problems Related to Old Conjectures by Helleseth
Authors:
Daniel J. Katz,
Philippe Langevin
Abstract:
Recently, very interesting results have been obtained concerning the Fourier spectra of power permutations over a finite field. In this note we survey the recent ideas of Aubry, Feng, Katz, and Langevin, and we pose new open problems related to old conjectures proposed by Helleseth in the middle of the seventies.
Recently, very interesting results have been obtained concerning the Fourier spectra of power permutations over a finite field. In this note we survey the recent ideas of Aubry, Feng, Katz, and Langevin, and we pose new open problems related to old conjectures proposed by Helleseth in the middle of the seventies.
△ Less
Submitted 23 April, 2015; v1 submitted 29 December, 2014;
originally announced December 2014.
-
Proof of a Conjectured Three-Valued Family of Weil Sums of Binomials
Authors:
Daniel J. Katz,
Philippe Langevin
Abstract:
We consider Weil sums of binomials of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d-a x)$, where $F$ is a finite field, $ψ\colon F\to {\mathbb C}$ is the canonical additive character, $\gcd(d,|F^\times|)=1$, and $a \in F^\times$. If we fix $F$ and $d$ and examine the values of $W_{F,d}(a)$ as $a$ runs through $F^\times$, we always obtain at least three distinct values unless $d$ is degenerate (a power…
▽ More
We consider Weil sums of binomials of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d-a x)$, where $F$ is a finite field, $ψ\colon F\to {\mathbb C}$ is the canonical additive character, $\gcd(d,|F^\times|)=1$, and $a \in F^\times$. If we fix $F$ and $d$ and examine the values of $W_{F,d}(a)$ as $a$ runs through $F^\times$, we always obtain at least three distinct values unless $d$ is degenerate (a power of the characteristic of $F$ modulo $|F^\times|$). Choices of $F$ and $d$ for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if $F$ is a field of order $3^n$ with $n$ odd, and $d=3^r+2$ with $4 r \equiv 1 \pmod{n}$, then $W_{F,d}(a)$ assumes only the three values $0$ and $\pm 3^{(n+1)/2}$. This proves the 2001 conjecture of Dobbertin, Helleseth, Kumar, and Martinsen. The proof employs diverse methods involving trilinear forms, counting points on curves via multiplicative character sums, divisibility properties of Gauss sums, and graph theory.
△ Less
Submitted 17 March, 2015; v1 submitted 8 September, 2014;
originally announced September 2014.
-
Divisibility of Weil Sums of Binomials
Authors:
Daniel J. Katz
Abstract:
Consider the Weil sum $W_{F,d}(u)=\sum_{x \in F} ψ(x^d+u x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, $d$ is coprime to $|F^*|$, and $u \in F^*$. We say that $W_{F,d}(u)$ is three-valued when it assumes precisely three distinct values as $u$ runs through $F^*$: this is the minimum number of distinct values in the nondegenerate case, and th…
▽ More
Consider the Weil sum $W_{F,d}(u)=\sum_{x \in F} ψ(x^d+u x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, $d$ is coprime to $|F^*|$, and $u \in F^*$. We say that $W_{F,d}(u)$ is three-valued when it assumes precisely three distinct values as $u$ runs through $F^*$: this is the minimum number of distinct values in the nondegenerate case, and three-valued $W_{F,d}$ are rare and desirable. When $W_{F,d}$ is three-valued, we give a lower bound on the $p$-adic valuation of the values. This enables us to prove the characteristic $3$ case of a 1976 conjecture of Helleseth: when $p=3$ and $[F:{\mathbb F}_3]$ is a power of $2$, we show that $W_{F,d}$ cannot be three-valued.
△ Less
Submitted 17 March, 2015; v1 submitted 29 July, 2014;
originally announced July 2014.
-
Cyclotomy of Weil Sums of Binomials
Authors:
Yves Aubry,
Daniel J. Katz,
Philippe Langevin
Abstract:
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three…
▽ More
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three distinct values as $a$ runs through $K^\times$. A Galois-theoretic approach, combined with $p$-divisibility results on Gauss sums, is used here to prove a variety of new results that constrain which fields $K$ and exponents $d$ support three-valued Weil sums, and restrict the values that such Weil sums may assume.
△ Less
Submitted 2 April, 2015; v1 submitted 13 December, 2013;
originally announced December 2013.
-
Asymptotic $L^4$ norm of polynomials derived from characters
Authors:
Daniel J. Katz
Abstract:
Littlewood investigated polynomials with coefficients in $\{-1,1\}$ (Littlewood polynomials), to see how small their ratio of norms $||f||_4/||f||_2$ on the unit circle can become as $deg(f)\to\infty$. A small limit is equivalent to slow growth in the mean square autocorrelation of the associated binary sequences of coefficients of the polynomials. The autocorrelation problem for arrays and higher…
▽ More
Littlewood investigated polynomials with coefficients in $\{-1,1\}$ (Littlewood polynomials), to see how small their ratio of norms $||f||_4/||f||_2$ on the unit circle can become as $deg(f)\to\infty$. A small limit is equivalent to slow growth in the mean square autocorrelation of the associated binary sequences of coefficients of the polynomials. The autocorrelation problem for arrays and higher dimensional objects has also been studied; it is the natural generalization to multivariable polynomials. Here we find, for each $n > 1$, a family of $n$-variable Littlewood polynomials with lower asymptotic $||f||_4/||f||_2$ than any known hitherto. We discover these through a wide survey, infeasible with previous methods, of polynomials whose coefficients come from finite field characters. This is the first time that the lowest known asymptotic ratio of norms $||f||_4/||f||_2$ for multivariable polynomials $f(z_1,...,z_n)$ is strictly less than what could be obtained by using products $f_1(z_1)... f_n(z_n)$ of the best known univariate polynomials.
△ Less
Submitted 19 October, 2012; v1 submitted 4 May, 2012;
originally announced May 2012.
-
Advances in the merit factor problem for binary sequences
Authors:
Jonathan Jedwab,
Daniel J. Katz,
Kai-Uwe Schmidt
Abstract:
The identification of binary sequences with large merit factor (small mean-squared aperiodic autocorrelation) is an old problem of complex analysis and combinatorial optimization, with practical importance in digital communications engineering and condensed matter physics. We establish the asymptotic merit factor of several families of binary sequences and thereby prove various conjectures, explai…
▽ More
The identification of binary sequences with large merit factor (small mean-squared aperiodic autocorrelation) is an old problem of complex analysis and combinatorial optimization, with practical importance in digital communications engineering and condensed matter physics. We establish the asymptotic merit factor of several families of binary sequences and thereby prove various conjectures, explain numerical evidence presented by other authors, and bring together within a single framework results previously appearing in scattered form. We exhibit, for the first time, families of skew-symmetric sequences whose asymptotic merit factor is as large as the best known value (an algebraic number greater than 6.34) for all binary sequences; this is interesting in light of Golay's conjecture that the subclass of skew-symmetric sequences has asymptotically optimal merit factor. Our methods combine Fourier analysis, estimation of character sums, and estimation of the number of lattice points in polyhedra.
△ Less
Submitted 24 January, 2013; v1 submitted 3 May, 2012;
originally announced May 2012.
-
Littlewood Polynomials with Small $L^4$ Norm
Authors:
Jonathan Jedwab,
Daniel J. Katz,
Kai-Uwe Schmidt
Abstract:
Littlewood asked how small the ratio $||f||_4/||f||_2$ (where $||.||_α$ denotes the $L^α$ norm on the unit circle) can be for polynomials $f$ having all coefficients in $\{1,-1\}$, as the degree tends to infinity. Since 1988, the least known asymptotic value of this ratio has been $\sqrt[4]{7/6}$, which was conjectured to be minimum. We disprove this conjecture by showing that there is a sequence…
▽ More
Littlewood asked how small the ratio $||f||_4/||f||_2$ (where $||.||_α$ denotes the $L^α$ norm on the unit circle) can be for polynomials $f$ having all coefficients in $\{1,-1\}$, as the degree tends to infinity. Since 1988, the least known asymptotic value of this ratio has been $\sqrt[4]{7/6}$, which was conjectured to be minimum. We disprove this conjecture by showing that there is a sequence of such polynomials, derived from the Fekete polynomials, for which the limit of this ratio is less than $\sqrt[4]{22/19}$.
△ Less
Submitted 18 September, 2013; v1 submitted 1 May, 2012;
originally announced May 2012.
-
Proof of a Conjecture of Helleseth: Maximal Linear Recursive Sequences of Period $2^{2^n}-1$ Never Have Three-Valued Cross-Correlation
Authors:
Daniel J. Katz
Abstract:
We prove a conjecture of Helleseth that claims that for any $n \geq 0$, a pair of binary maximal linear sequences of period $2^{2^n}-1$ can not have a three-valued cross-correlation function.
We prove a conjecture of Helleseth that claims that for any $n \geq 0$, a pair of binary maximal linear sequences of period $2^{2^n}-1$ can not have a three-valued cross-correlation function.
△ Less
Submitted 28 October, 2011; v1 submitted 11 May, 2011;
originally announced May 2011.