Baum–Sweet sequence

From HandWiki
Short description: Mathematical sequence of 1s and 0s

In mathematics the Baum–Sweet sequence is an infinite automatic sequence of 0s and 1s defined by the rule:

bn = 1 if the binary representation of n contains no block of consecutive 0s of odd length;
bn = 0 otherwise;

for n ≥ 0.[1]

For example, b4 = 1 because the binary representation of 4 is 100, which only contains one block of consecutive 0s of length 2; whereas b5 = 0 because the binary representation of 5 is 101, which contains a block of consecutive 0s of length 1.

Starting at n = 0, the first few terms of the Baum–Sweet sequence are:

1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1 ... (sequence A086747 in the OEIS)

Historical motivation

The properties of the sequence were first studied by Leonard E. Baum and Melvin M. Sweet in 1976.[2] In 1949, Khinchin conjectured that there does not exist a non-quadratic algebraic real number having bounded partial quotients in its continued fraction expansion. A counterexample to this conjecture is still not known.[3][4] Baum and Sweet's paper showed that the same expectation is not met for algebraic power series. They gave an example of cubic power series in [math]\displaystyle{ \mathbb{F}_2((X^{-1})) }[/math] whose partial quotients are bounded. (The degree of the power series in Baum and Sweet's result is analogous to the degree of the field extension associated with the algebraic real in Khinchin's conjecture.)

One of the series considered in Baum and Sweet's paper is a root of

[math]\displaystyle{ f^3 + x^{-1}f + 1 = 0. }[/math][2][5]

The authors show that by Hensel's lemma, there is a unique such root in [math]\displaystyle{ \mathbb{F}_2((X^{-1})) }[/math] because reducing the defining equation of [math]\displaystyle{ f }[/math] modulo [math]\displaystyle{ X^{-1} }[/math] gives [math]\displaystyle{ f^3+1 }[/math], which factors as

[math]\displaystyle{ f^3+1 = (f+1)(f^2+f+1). }[/math]

They go on to prove that this unique root has partial quotients of degree [math]\displaystyle{ \le 2 }[/math]. Before doing so, they state (in the remark following Theorem 2, p 598)[2] that the root can be written in the form

[math]\displaystyle{ f = \sum_{k \ge 0} f_i X^{-k} }[/math]

where [math]\displaystyle{ f_0 = 1 }[/math] and [math]\displaystyle{ f_k = 1 }[/math] for [math]\displaystyle{ k \ge 1 }[/math] if and only if the binary expansion of [math]\displaystyle{ n }[/math] contains only even length blocks of [math]\displaystyle{ 0 }[/math]'s. This is the origin of the Baum–Sweet sequence.

Mkaouar[6] and Yao[7] proved that the partial quotients of the continued fraction for [math]\displaystyle{ f }[/math] above do not form an automatic sequence.[8] However, the sequence of partial quotients can be generated by a non-uniform morphism.[9]

Properties

The Baum–Sweet sequence can be generated by a 3-state automaton.[9]

The value of term bn in the Baum–Sweet sequence can be found recursively as follows. If n = m·4k, where m is not divisible by 4 (or is 0), then

[math]\displaystyle{ b_n = \begin{cases} 1 & \text{if } n = 0 \\ 0 & \text{if } m \text{ is even} \\ b_{(m-1)/2} & \text{if } m \text{ is odd}. \end{cases} }[/math]

Thus b76 = b9 = b4 = b0 = 1, which can be verified by observing that the binary representation of 76, which is 1001100, contains no consecutive blocks of 0s with odd length.

The Baum–Sweet word 1101100101001001..., which is created by concatenating the terms of the Baum–Sweet sequence, is a fixed point of the morphism or string substitution rules

00 0000
01 1001
10 0100
11 1101

as follows:

11 1101 11011001 1101100101001001 11011001010010011001000001001001 ...

From the morphism rules it can be seen that the Baum–Sweet word contains blocks of consecutive 0s of any length (bn = 0 for all 2k integers in the range 5.2kn < 6.2k), but it contains no block of three consecutive 1s.

More succinctly, by Cobham's little theorem the Baum–Sweet word can be expressed as a coding [math]\displaystyle{ \tau }[/math] applied to the fixed point of a uniform morphism [math]\displaystyle{ \varphi }[/math]. Indeed, the morphism

[math]\displaystyle{ \varphi(A) = AB, \varphi(B) = CB, \varphi(C) = BD, \varphi(D) = DD }[/math]

and coding

[math]\displaystyle{ \tau(A) = 1, \tau(B) = 1, \tau(C) = 0, \tau(D) = 0 }[/math]

generate the word in that way.[10]

Notes

  1. Weisstein, Eric W.. "Baum–Sweet Sequence". http://mathworld.wolfram.com/Baum-SweetSequence.html. 
  2. 2.0 2.1 2.2 Baum, Leonard E.; Sweet, Melvin M. (1976). "Continued Fractions of Algebraic Power Series in Characteristic 2". Annals of Mathematics 103 (3): 593–610. doi:10.2307/1970953. 
  3. Waldschmidt, M. (2009). "Words and Transcendence". Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press. Section 31, p. 449–470. https://hal.archives-ouvertes.fr/hal-00407221/file/WordsTranscendence.pdf. 
  4. Khinchin, A.I. (1964). Continued Fractions. University of Chicago Press. 
  5. Graham Everest, Alf van der Poorten, Igor Shparlinski, Thomas Ward Recurrence Sequences AMS 2003, p 236.
  6. Mkaouar, M. (1995). "Sur le développement en fraction continue de la série de Baum et Sweet.". Bull. Soc. Math. France 123 (3): 361–374. doi:10.24033/bsmf.2264. 
  7. Yao, J.-Y. (1997). "Critères de non-automaticité et leurs applications.". Acta Arith. 80 (3): 237–248. doi:10.4064/aa-80-3-237-248. 
  8. Allouche and Shallit (2003) p 210.
  9. 9.0 9.1 Allouche, J.-.P. (1993). "Finite automata and arithmetic.". Séminaire Lotharingien de Combinatoire: 23. 
  10. Allouche and Shallit (2003) p 176.

References