Maximum length sequence

From Wikipedia, the free encyclopedia

A maximum length sequence (MLS) is a type of pseudorandom binary sequence.

They are polynomial rings generated using maximal linear feedback shift registers and are so called because they are periodic and reproduce every binary sequence that can be reproduced by the shift registers (i.e., for length-m registers they produce a sequence of length 2m − 1). They are also sometimes called n-sequences or m-sequences. Maximum length sequences are spectrally flat, with the exception of a near-zero DC term.

Practical applications for MLS include measuring impulse responses (e.g., of room reverberation). They are also used as a basis for deriving pseudo-random sequences in digital communication systems that employ direct-sequence spread spectrum and frequency-hopping spread spectrum transmission systems.

Contents

[edit] Generation of maximum length sequences

Figure 1: The next value of register a3 in a feedback shift register of length 4 is determined by the modulo-2 sum of a0 and a1.
Figure 1: The next value of register a3 in a feedback shift register of length 4 is determined by the modulo-2 sum of a0 and a1.

MLS are generated using maximal linear feedback shift registers. An MLS-generating system with a shift register of length 4 is shown in Fig. 1. It can be expressed using the following recursive relation:

a_k[n+1] = \begin{cases} a_0[n] + a_1[n], & k = 3 \\ a_{k+1}[n], & \mbox{otherwise} \end{cases}

where n is the time index, k is the bit register position, and + represents modulo-2 addition.

As MLS are periodic and shift registers cycle through every possible binary value (with the exception of the zero vector), registers can be initialized to any state, with the exception of the zero vector.

[edit] Polynomial interpretation

A polynomial over GF(2) can be associated with the linear feedback shift register. It has degree one less than the length of the shift register, and has coefficients that are either 0 or 1, corresponding to the taps of the register that feed the xor gate. For example, the polynomial corresponding to Fig. 1 is x3 + x2 + 1.

A necessary and sufficient condition for the sequence generated by a LFSR to be maximal length is that its corresponding polynomial be primitive.

[edit] Implementation

MLS are inexpensive to implement in hardware or software, and relatively low-order feedback shift registers can generate long sequences; a sequence generated using a shift register of length 20 is 220 − 1 samples long, which is equivalent to approximately 23.8 seconds if played back as audio with a sampling rate of 44.1 kHz.

[edit] Properties of maximum length sequences

MLS have the following properties, as formulated by Solomon Golomb (1967).

[edit] Balance property

The number of "1"s in the sequence is one greater than the number of "0"s.

[edit] Run property

Of all the "runs" in the sequence of each type (i.e. runs consisting of "1"s and runs consisting of "0"s):

  • One half of the runs are of length 1.
  • One quarter of the runs are of length 2.
  • One eighth of the runs are of length 3.
  • ... etc. ...

A "run" is a sub-sequence of "1"s or "0"s within the MLS concerned. The number of runs is the number of such sub-sequences.

[edit] Correlation property

The autocorrelation function of an MLS is a very close approximation to a train of Kronecker delta function.

[edit] Extraction of impulse responses

If a linear time invariant (LTI) system's impulse response is to be measured using a MLS, the response can be extracted from the measured system output y[n] by taking its circular cross-correlation with the MLS sequence. This is because the autocorrelation of a MLS is 1 for zero-lag, and nearly zero (−1/N where N is the sequence length) for all other lags; in other words, the autocorrelation of the MLS can be said to approach unit impulse function as MLS sequence length increases.

If the impulse response of a system is h[n] and the MLS is s[n], then

y[n] = (h*s)[n].\,

Taking the cross-correlation with respect to s[n] of both sides,

{\phi}_{sy} = h[n]*{\phi}_{ss}\,

and assuming that φss is an impulse (valid for long sequences)

h[n] = {\phi}_{sy}.\,

[edit] Relationship to Hadamard transform

Cohn and Lempel (1977) showed the relationship of the maximum length sequence to the Hadamard transform. This relationship allows the correlation of a maximum length sequence to be computed in a fast algorithm similar to the FFT.

[edit] References

  • Golomb, S. Shift Register Sequences, San Francisco, Holden-Day, 1967. ISBN 0894120484
  • Cohn, M. and Lempel, A. On Fast M-Sequence Transforms,IEEE Trans. Information Theory, vol. IT-23, pp. 135-137, January, 1977.
  • Solomon W. Golomb and Guang Gong Signal Design for Good Correlation: For Wireless Communication, Cryptography, and Radar, 2005. ISBN 0521821045

[edit] See also

[edit] Links

Guide to Creation of M-Sequences

LFSR Reference Properties of maximal length sequences, and comprehensive feedback tables for maximal lengths from 7 to 16,777,215 (3 to 24 stages), and partial tables for lengths up to 4,294,967,295 (25 to 32 stages).