Rudin–Shapiro sequence
In mathematics, the Rudin–Shapiro sequence, also known as the Golay–Rudin–Shapiro sequence, is an infinite automatic sequence named after Marcel Golay, Walter Rudin, and Harold S. Shapiro, who independently investigated its properties.[1]
Definition
Each term of the Rudin–Shapiro sequence is either +1 or −1. The nth term of the sequence, bn, is defined by the rules:
where are the digits in the binary expansion of n. Thus an counts the number of (possibly overlapping) occurrences of the sub-string 11 in the binary expansion of n, and bn is +1 if an is even and −1 if an is odd.[2][3][4]
For example, a6 = 1 and b6 = −1 because the binary representation of 6 is 110, which contains one occurrence of 11; whereas a7 = 2 and b7 = +1 because the binary representation of 7 is 111, which contains two (overlapping) occurrences of 11.
Starting at n = 0, the first few terms of the an sequence are:
and the corresponding terms bn of the Rudin–Shapiro sequence are:
Properties
The Rudin–Shapiro sequence can be generated by a four state automaton.[5]
There is a recursive definition[3]
The values of the terms an and bn in the Rudin–Shapiro sequence can be found recursively as follows. If n = m·2k where m is odd then
Thus a108 = a13 + 1 = a3 + 1 = a1 + 2 = a0 + 2 = 2, which can be verified by observing that the binary representation of 108, which is 1101100, contains two sub-strings 11. And so b108 = (−1)2 = +1.
The Rudin–Shapiro word +1 +1 +1 −1 +1 +1 −1 +1 +1 +1 +1 −1 −1 −1 +1 −1 ..., which is created by concatenating the terms of the Rudin–Shapiro sequence, is a fixed point of the morphism or string substitution rules
- +1 +1 → +1 +1 +1 −1
- +1 −1 → +1 +1 −1 +1
- −1 +1 → −1 −1 +1 −1
- −1 −1 → −1 −1 −1 +1
as follows:
- +1 +1 → +1 +1 +1 −1 → +1 +1 +1 −1 +1 +1 −1 +1 → +1 +1 +1 −1 +1 +1 −1 +1 +1 +1 +1 −1 −1 −1 +1 −1 ...
It can be seen from the morphism rules that the Rudin–Shapiro string contains at most four consecutive +1s and at most four consecutive −1s.
The sequence of partial sums of the Rudin–Shapiro sequence, defined by
with values
can be shown to satisfy the inequality
See also
Notes
- ^ a b John Brillhart and Patrick Morton, winners of a 1997 Lester R. Ford Award (1996). "A Case Study in Mathematical Research: The Golay–Rudin–Shapiro Sequence". Amer. Math. Monthly. 103: 854–869. doi:10.2307/2974610.
{{cite journal}}
: CS1 maint: numeric names: authors list (link) - ^ Weisstein, Eric W. "Rudin–Shapiro Sequence". MathWorld.
- ^ a b Pytheas Fogg (2002) p.42
- ^ Everest et al (2003) p.234
- ^ Finite automata and arithmetic, Jean-Paul Allouche
References
- Allouche, Jean-Paul; Shallit, Jeffrey (2003). Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press. ISBN 978-0-521-82332-6. Zbl 1086.11015.
- Everest, Graham; van der Poorten, Alf; Shparlinski, Igor; Ward, Thomas (2003). Recurrence sequences. Mathematical Surveys and Monographs. Vol. 104. Providence, RI: American Mathematical Society. ISBN 0-8218-3387-1. Zbl 1033.11006.
- Pytheas Fogg, N. (2002). Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, Anne (eds.). Substitutions in dynamics, arithmetics and combinatorics. Lecture Notes in Mathematics. Vol. 1794. Berlin: Springer-Verlag. ISBN 3-540-44141-7. Zbl 1014.11015.
- Mendès France, Michel (1990). "The Rudin-Shapiro sequence, Ising chain, and paperfolding". In Berndt, Bruce C.; Diamond, Harold G.; Halberstam, Heini; et al. (eds.). Analytic number theory. Proceedings of a conference in honor of Paul T. Bateman, held on April 25–27, 1989, at the University of Illinois, Urbana, IL (USA). Progress in Mathematics. Vol. 85. Boston: Birkhäuser. pp. 367–390. ISBN 0-8176-3481-9. Zbl 0724.11010.