Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Sequences with identical autocorrelation functions

Daniel J. Katz, Adeebur Rahman, Michael J Ward

Abstract

Aperiodic autocorrelation is an important indicator of performance of sequences used in communications, remote sensing, and scientific instrumentation. Knowing a sequence's autocorrelation function, which reports the autocorrelation at every possible translation, is equivalent to knowing the magnitude of the sequence's Fourier transform. The phase problem is the difficulty in resolving this lack of phase information. We say that two sequences are equicorrelational 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 a more restricted alphabet. For example, binary sequences involve terms equal to only $+1$ and $-1$. We investigate the necessary and sufficient conditions for two sequences to be equicorrelational, where we take their alphabet into consideration. There are trivial forms of equicorrelationality arising from modifications that predictably preserve the autocorrelation, for example, negating a binary sequence or reversing the order of its terms. By a search of binary sequences up to length $44$, we find that nontrivial equicorrelationality among binary sequences does occur, but is rare. An integer $n$ is said to be equivocal when there are binary sequences of length $n$ that are nontrivially equicorrelational; otherwise $n$ is unequivocal. For $n \leq 44$, we found that the unequivocal lengths are $1$--$8$, $10$, $11$, $13$, $14$, $19$, $22$, $23$, $26$, $29$, $37$, and $38$. We pose open questions about the finitude of unequivocal numbers and the probability of nontrivial equicorrelationality occurring among binary sequences.

Sequences with identical autocorrelation functions

Abstract

Aperiodic autocorrelation is an important indicator of performance of sequences used in communications, remote sensing, and scientific instrumentation. Knowing a sequence's autocorrelation function, which reports the autocorrelation at every possible translation, is equivalent to knowing the magnitude of the sequence's Fourier transform. The phase problem is the difficulty in resolving this lack of phase information. We say that two sequences are equicorrelational 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 a more restricted alphabet. For example, binary sequences involve terms equal to only and . We investigate the necessary and sufficient conditions for two sequences to be equicorrelational, where we take their alphabet into consideration. There are trivial forms of equicorrelationality arising from modifications that predictably preserve the autocorrelation, for example, negating a binary sequence or reversing the order of its terms. By a search of binary sequences up to length , we find that nontrivial equicorrelationality among binary sequences does occur, but is rare. An integer is said to be equivocal when there are binary sequences of length that are nontrivially equicorrelational; otherwise is unequivocal. For , we found that the unequivocal lengths are --, , , , , , , , , , , and . We pose open questions about the finitude of unequivocal numbers and the probability of nontrivial equicorrelationality occurring among binary sequences.
Paper Structure (5 sections, 24 theorems, 11 equations, 1 table)

This paper contains 5 sections, 24 theorems, 11 equations, 1 table.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Proof of \ref{['Barbara']}
  4. Equicorrelationality of generalized palindromes
  5. Unequivocal integers

Key Result

Theorem 1.1

Let $F$ be a self-conjugate subfield of ${\mathbb C}$ and $f \in F[z,z^{-1}]$. If $f=0$, then $[ [ [{f}] ] ]_F=[ [{0}] ]_F=[{0}]_F=\{0\}$. If $f\not=0$, then suppose that is a factorization of $f$ into nonassociate $F[z,z^{-1}]$-irreducibles $f_1$, $\ldots$, $f_n$, $g_1$, $\ldots$, $g_n$, $\overline{g_1}$, $\ldots$, $\overline{g_n}$ and unit $u$ of $F[z,z^{-1}]$ where $f_1$, $\ldots$, $f_m$ are g

Theorems & Definitions (47)

  • Theorem 1.1
  • Remark 1.2
  • Remark 1.3
  • Corollary 1.4
  • Corollary 1.5
  • Proposition 1.6
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • ...and 37 more