Correlation measure, linear complexity and maximum order complexity for families of binary sequences

On the Maximum Order Complexity of the Thue-Morse and Rudin-Shapiro Sequence

Uniform distribution theory ◽

10.2478/udt-2019-0012 ◽

2019 ◽

Vol 14 (2) ◽

pp. 33-42

Author(s):

Zhimin Sun ◽

Arne Winterhof

Keyword(s):

Linear Complexity ◽

Expected Value ◽

Quality Measure ◽

Explicit Formulas ◽

Maximum Order ◽

Order Of Magnitude ◽

Large Maximum ◽

Maximum Order Complexity

AbstractExpansion complexity and maximum order complexity are both finer measures of pseudorandomness than the linear complexity which is the most prominent quality measure for cryptographic sequences. The expected value of the Nth maximum order complexity is of order of magnitude log N whereas it is easy to find families of sequences with Nth expansion complexity exponential in log N. This might lead to the conjecture that the maximum order complexity is a finer measure than the expansion complexity. However, in this paper we provide two examples, the Thue-Morse sequence and the Rudin-Shapiro sequence with very small expansion complexity but very large maximum order complexity. More precisely, we prove explicit formulas for their N th maximum order complexity which are both of the largest possible order of magnitude N. We present the result on the Rudin-Shapiro sequence in a more general form as a formula for the maximum order complexity of certain pattern sequences.

Download Full-text

Linear complexity profile of binary sequences with small correlation measure

Periodica Mathematica Hungarica ◽

10.1007/s10998-006-0008-1 ◽

2006 ◽

Vol 52 (2) ◽

pp. 1-8 ◽

Cited By ~ 27

Author(s):

Nina Brandstätter ◽

Arne Winterhof

Keyword(s):

Linear Complexity ◽

Binary Sequences ◽

Correlation Measure ◽

Linear Complexity Profile

Download Full-text

On the Maximum Order Complexity of Thue–Morse and Rudin–Shapiro Sequences along Polynomial Values

Uniform distribution theory ◽

10.2478/udt-2020-0008 ◽

2020 ◽

Vol 15 (2) ◽

pp. 9-22

Author(s):

Pierre Popoli

Keyword(s):

Open Problem ◽

General Pattern ◽

Correlation Measure ◽

Open Problems ◽

Maximum Order ◽

Large Maximum ◽

Maximum Order Complexity

AbstractBoth the Thue–Morse and Rudin–Shapiro sequences are not suitable sequences for cryptography since their expansion complexity is small and their correlation measure of order 2 is large. These facts imply that these sequences are highly predictable despite the fact that they have a large maximum order complexity. Sun and Winterhof (2019) showed that the Thue–Morse sequence along squares keeps a large maximum order complexity. Since, by Christol’s theorem, the expansion complexity of this rarefied sequence is no longer bounded, this provides a potentially better candidate for cryptographic applications. Similar results are known for the Rudin–Shapiro sequence and more general pattern sequences. In this paper we generalize these results to any polynomial subsequence (instead of squares) and thereby answer an open problem of Sun and Winterhof. We conclude this paper by some open problems.

Download Full-text

Maximum order complexity of the sum of digits function in Zeckendorf base and polynomial subsequences

Cryptography and Communications ◽

10.1007/s12095-021-00507-w ◽

2021 ◽

Author(s):

Damien Jamet ◽

Pierre Popoli ◽

Thomas Stoll

Keyword(s):

Natural Generalization ◽

Correlation Measure ◽

Pseudorandom Sequences ◽

Maximum Order ◽

Automatic Sequences ◽

Sum Of Digits ◽

Sum Of Digits Function ◽

Large Maximum ◽

Maximum Order Complexity ◽

Subword Complexity

AbstractAutomatic sequences are not suitable sequences for cryptographic applications since both their subword complexity and their expansion complexity are small, and their correlation measure of order 2 is large. These sequences are highly predictable despite having a large maximum order complexity. However, recent results show that polynomial subsequences of automatic sequences, such as the Thue–Morse sequence, are better candidates for pseudorandom sequences. A natural generalization of automatic sequences are morphic sequences, given by a fixed point of a prolongeable morphism that is not necessarily uniform. In this paper we prove a lower bound for the maximum order complexity of the sum of digits function in Zeckendorf base which is an example of a morphic sequence. We also prove that the polynomial subsequences of this sequence keep large maximum order complexity, such as the Thue–Morse sequence.

Download Full-text