Pseudorandom binary sequences: quality measures and number-theoretic constructions

Arne Winterhof
DOI: https://doi.org/10.48550/arXiv.2305.11486
2023-05-19
Abstract:In this survey we summarize properties of pseudorandomness and non-randomness of some number-theoretic sequences and present results on their behaviour under the following measures of pseudorandomness: balance, linear complexity, correlation measure of order $k$, expansion complexity and $2$-adic complexity. The number-theoretic sequences are the Legendre sequence and the two-prime generator, the Thue-Morse sequence and its sub-sequence along squares, and the prime omega sequences for integers and polynomials.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to evaluate and analyze the quality of pseudo - random binary sequences, especially starting from specific sequences constructed from number theory. Specifically, the author summarizes the behavior of some number - theory sequences (such as Legendre sequences, two - prime generators, Thue - Morse sequences and their squared subsequences, and prime Omega sequences of integers and polynomials) under the following pseudo - randomness measures: 1. **Balance**: It measures whether the distribution of 0s and 1s in the sequence is uniform. 2. **Linear Complexity**: It measures the length of the shortest linear feedback shift register required to generate the sequence. 3. **Correlation Measure of Order \(k\)**: It measures the independence between different parts of the sequence and their shifts. 4. **Expansion Complexity**: It measures the difficulty of predicting the sequence by algebraic methods. 5. **2 - adic Complexity**: It is related to the length of the shortest carry - feedback shift register that generates the sequence. These measures are helpful for evaluating the applicability of these sequences in applications such as cryptography. For example, a sequence with high linear complexity and good balance may be more suitable for use in stream ciphers. However, some sequences (such as the Thue - Morse sequence) perform well under some measures but show weaknesses under other measures, so they are not suitable for encryption. ### Main Findings - **Legendre Sequence**: If the period is long enough, there are no obvious defects and it shows good pseudo - randomness. - **Two - Prime Generator**: It performs poorly on the fourth - order correlation measure, so it is not pseudo - random. - **Thue - Morse Sequences and Their Squared Subsequences**: - The Thue - Morse sequence itself has a large deviation in linear complexity, has a large value in the second - order correlation measure, and has a small expansion complexity, so it is not suitable for encryption. - The subsequence of the Thue - Morse sequence along the square seems to be an attractive encryption candidate. - **Prime Omega Sequences**: - For integers, the linear complexity seems too regular. - For polynomials, there are no obvious defects. Through these analyses, the paper aims to provide a theoretical basis for selecting and designing pseudo - random sequences suitable for cryptography and other applications.