Core Concepts
The paper analyzes the distribution of autocorrelation demerit factors of binary sequences, showing that the central moments are quasi-polynomial functions of the sequence length and that the standardized moments converge to those of the standard normal distribution as the sequence length tends to infinity.
Abstract
The paper focuses on the autocorrelation properties of binary sequences, which are doubly infinite and finitely supported. The autocorrelation demerit factor is a measure of the lowness of autocorrelation, defined as the sum of the squares of the autocorrelation values at all nonzero shifts, normalized by the squared Euclidean norm of the sequence.
The authors investigate the distribution of demerit factors of the set of 2^ℓ binary sequences of length ℓ, endowed with a uniform probability measure. Previous work had determined the mean, variance, skewness, and kurtosis of this distribution as a function of ℓ.
This paper extends those results in two ways:
- It shows that every pth central moment of the demerit factor distribution is a quasi-polynomial function of ℓ with rational coefficients.
- It determines the asymptotic behavior of the standardized moments as ℓ tends to infinity, showing that they converge to the same values as those of the standard normal distribution.
The key techniques used include:
- Combinatorial analysis of partitions and assignments associated with binary sequences
- Mobius inversion on the poset of partitions
- Identification of special "separable" and "principal" partitions that dominate the asymptotic behavior
The paper provides a comprehensive understanding of the statistical properties of autocorrelation demerit factors of binary sequences.
Stats
The mean demerit factor is 1 - 1/ℓ.
The variance of the demerit factor is (16ℓ^3 - 60ℓ^2 + 56ℓ) / (3ℓ^4) for even ℓ, and (16ℓ^3 - 60ℓ^2 + 56ℓ - 12) / (3ℓ^4) for odd ℓ.
The skewness of the demerit factor is a quasi-polynomial function of ℓ with rational coefficients.
Quotes
"An aperiodic binary sequence of length ℓ is a doubly infinite sequence f = . . . , f−1, f0, f1, . . . with fj ∈{−1, 1} when 0 ≤j < ℓ and and fj = 0 otherwise."
"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."
"We endow the 2^ℓ binary sequences of length ℓ with uniform probability measure and consider the distribution of their demerit factors."