Complementary sequences

For complementary sequences in biology, see complementarity (molecular biology).

In applied mathematics, complementary sequences (CS) are pairs of sequences with the useful property that their out-of-phase aperiodic autocorrelation coefficients sum to zero. Binary complementary sequences were first introduced by Marcel J. E. Golay in 1949. In 1961–1962 Golay gave several methods for constructing sequences of length 2N and gave examples of complementary sequences of lengths 10 and 26. In 1974 R. J. Turyn gave a method for constructing sequences of length mn from sequences of lengths m and n which allows the construction of sequences of any length of the form 2N10K26M.

Later the theory of complementary sequences was generalized by other authors to polyphase complementary sequences, multilevel complementary sequences, and arbitrary complex complementary sequences. Complementary sets have also been considered; these can contain more than two sequences.

Definition

Let (a0, a1, ..., aN  1) and (b0, b1, ..., bN  1) be a pair of bipolar sequences, meaning that a(k) and b(k) have values +1 or 1. Let the aperiodic autocorrelation function of the sequence x be defined by

R_x(k)=\sum_{j=0}^{N-k-1} x_jx_{j+k}.\,

Then the pair of sequences a and b is complementary if:

R_a(k) + R_b(k) = 0,\,

for k = 1, ..., N  1.

Or using Kronecker delta we can write:

R_a(k) + R_b(k) = C\delta(k),\,

where C is a constant.

So we can say that the sum of autocorrelation functions of complementary sequences is a delta function, which is an ideal autocorrelation for many applications like radar pulse compression and spread spectrum telecommunications.

Examples

Properties of complementary pairs of sequences

S_a + S_b = C_S,
where CS is a constant.
Sa and Sb are defined as a squared magnitude of the Fourier transform of the sequences. The Fourier transform can be a direct DFT of the sequences, it can be a DFT of zero padded sequences or it can be a continuous Fourier transform of the sequences which is equivalent to the Z transform for Z = ejω.
S_a = C_S - S_b < C_S,
also
S_b < C_S.

Golay pair

A complementary pair a, b may be encoded as polynomials A(z) = a(0) + a(1)z + ... + a(N  1)zN1 and similarly for B(z). The complementarity property of the sequences is equivalent to the condition

\vert A(z) \vert^2 + \vert B(z) \vert^2 = 2N \,

for all z on the unit circle, that is, |z| = 1. If so, A and B form a Golay pair of polynomials. Examples include the Shapiro polynomials, which give rise to complementary sequences of length a power of 2.

Applications of complementary sequences

See also

References

  1. Donato, P.G.; Ureña, J.; Mazo, M.; Alvarez, F. "Train wheel detection without electronic equipment near the rail line". 2004. doi: 10.1109/IVS.2004.1336500
  2. J.J. Garcia; A. Hernandez; J. Ureña; J.C. Garcia; M. Mazo; J.L. Lazaro; M.C. Perez; F. Alvarez. "Low cost obstacle detection for smart railway infrastructures". 2004.