Abstract
We discuss a well-known binary sequence called the Thue-Morse sequence, or the Prouhet-Thue-Morse sequence. This sequence was introduced by Thue in 1906 and rediscovered by Morse in 1921. However, it was already implicit in an 1851 paper of Prouhet. The Prouhet-Thue-Morse sequence appears to be somewhat ubiquitous, and we describe many of its apparently unrelated occurrences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. I. Adian, “The Burnside problem and identities in groups,” Ergebnisse der Mathematik und ihrer Grenzgebiete 95 Springer Verlag, 1979.
A. Adler and S.-Y. R. Li, Magic cubes and Prouhet sequences, Amer. Math. Monthly 84 (1977), 618–627.
J.-P. Allouche, “Théorie des Nombres et Automates,” Thèse d’État, Université Bordeaux I, 1983.
J.-P. Allouche, Automates finis en théorie des nombres, Exposition. Math. 5 (1987), 239–266.
J.-P. Allouche, A. Arnold, J. Berstel, S. Brlek, W. Jockusch, S. Plouffe, and B. E. Sagan, A relative of the Thue-Morse sequence, Discrete Math. 139 (1995), 455–461.
J.-P. Allouche and H. Cohen, Dirichlet series and curious infinite products, Bull. Lond. Math. Soc. 17 (1985), 531–538.
J.-P. Allouche, H. Cohen, J. Shallit, and M. Mendès France, De nouveaux curieux produits infinis, Acta Arith. 49 (1987), 141–153.
J.-P. Allouche and M. Cosnard, Itérations de fonctions unimodales et suites engendrées par automates, C. R. Acad. Sci. Paris Sér. 1296 (1983), 159–162.
J.-P. Allouche and M. Cosnard, Non-integer bases, iteration of continuous real maps, and an arithmetic self-similar set, Preprint (submitted), 1998.
J.-P. Allouche, J. Currie, and J. Shallit, Extremal infinite overlap-free binary words, Electronic J. Combinatorics 5 (1) (1998), #R27.
J.-P. Allouche and T. Johnson, Finite automata and morphisms in assisted musical composition, Journal of New Music Research 24 (1995), 97–108.
J.-P. Allouche and M. Mendès France, Automata and automatic sequences, in “Beyond quasicrystals,” F. Axel and D. Gratias, eds., Springer/Les Éditions de Physique, 1995, pp. 293–367.
J.-P. Allouche and J. Shallit, Infinite products associated with counting blocks in binary strings, J. London Math. Soc. 39 (1989), 193–204.
J.-P. Allouche and J. Shallit, Sums of digits and overlap-free words, in preparation.
C. E. Arshon, Proof of the existence of asymmetric infinite sequences, Mat. Sb. 44 (1937), 769–779.
E. Artin, Quadratische Körper im Gebiet der höheren Kongruenzen I, II, Math. Zeitschrift 19 (1924), 163–187. Reprinted in “Collected papers,” pp. 1–104.
F. Axel, J.-P. Allouche, M. Kleman, M. Mendès France, and J. Peyrière, Vibrational modes in a one dimensional “quasi-alloy”, J. Physique, Colloque C3, Supplement to No. 7 47 (1986), C3–181-C3–186.
F. Axel and J. Peyrière, Spectrum and extended states in a harmonic chain with controlled disorder: effects of the Thue-Morse symmetry, J. Statist. Phys. 57 (1989), 1013–1047.
J. Berstel, Some recent results on squarefree words, in: “STACS84”, M. Fontet and K. Mehlhorn, eds., Lecture Notes in Computer Science 166 Springer Verlag, 1984, pp. 14–25.
J. Berstel, “Axel Thue’s Papers on Repetitions in Words: a Translation,” Publications du Laboratoire de Combinatoire et d’Informatique Mathématique 20 Université du Québec à Montréal, 1995.
J. Berstel and P. Séébold, A characterization of overlap-free morphisms, Disc. Appl. Math. 46 (1993), 275–281.
M. Boffa and F. Point, Identités de Thue-Morse dans les groupes, C. R. Acad. Sci. Paris Sér. 1312 (1991), 667–670.
M. Boffa and F. Point, m.-Identities, C. R. Acad. Sci. Paris Sér. 1314 (1991), 879–880.
P. Borwein and C. Ingalls, The Prouhet-Tarry-Escott problem revisited, Ens eign. Math. 40 (1994), 3–27.
J. A. Brzozowski, K. Culik II, and A. Gabrielian, Classification of noncounting events, J. Comput. System Sci. 5 (1971), 41–53.
L. Carlitz, R. Scorville, and V. E. Hoggatt jr., Representations for a special sequenceFibonacci Quart. 10 (1972), 499–518, 550.
G. Christol, Ensembles presque périodiques k -reconnaissables, Theoret. Comput. Sci. 9 (1979), 141–145.
G. Christol, T. Kamae, M. Mendès France, and G. Rauzy, Suites algébriques, automates et substitutions, Bull. Soc. Math. France 108 (1980), 401–419.
A. Cobham, Uniform tag sequences, Math. Systems Theory 6 (1972), 164–192.
P. Collet, J.-P. Eckmann, “Iterated maps on the interval as dynamical systems,” Progress in Physics, Birkhäuser, 1980.
M. Cosnard, Étude de la classification topologique des fonctions unimodales, Ann. Inst. Fourier 35 (1985) 59–77.
M. Dekking, Transcendance du nombre de Thue-Morse, C. R. Acad. Sci. Paris Sér. 1285 (1977), 157–160.
F. M. Dekking, M. Mendès France, and A. van der Poorten, Folds!, Math. Intelligencer 4 (1982), 130–138, 173–181, 190–195.
S. Dubuc, A. Elqortobi, Le maximum de la fonction de Knopp, Information Systems and Operational Research 28 (1990), 311–323.
M. Euwe, Mengentheoretische Betrachtungen über das Schachspiel. Proc. Konin. Akad. Wetenschappen, Amsterdam 32 (1929), 633–642.
P. Flajolet and G. Nigel Martin, Probabilistic counting algorithms for data base applications, J. Comput. Syst. Sci. 31 (1985), 182–209.
H. Fredricksen, Gray codes and the Thue-Morse-Hedlund sequence, J. Combin. Math. Combin. Comput. 11 (1992), 3–11.
G. A. Hedlund, Remarks on the work of Axel Thue on sequences, Nordisk Mat. Tidskrift 15 (1967), 148–150.
L. Jonker, Periodic orbits and kneading invariants, Proc. London Math. Soc. 3 (1979), 428–450.
M. Keane, Generalized Morse sequences, Z. Wahrscheinlichkeitstheorie Verw. Geb. 10 (1968), 335–353.
V. Komornik and P. Loreti, Unique developments in non-integer bases, Amer. Math. Monthly 105 (1998), 636–639.
D. H. Lehmer, The Tarry-Escott problem, Scripta Math. 13 (1947), 37–41.
M. Lothaire, “Combinatorics on words,” 2nd ed., Encyclopedia of Mathematics and its Applications 17, 1997.
K. Mahler, Arithmetische Eigenschaften der Lösungen einer Klasse von Funktionalgleichungen, Math. Annalen 101 (1929), 342–266. Corrigendum, 103 (1930), 532.
J. C. Martin, Generalized Morse sequences on n symbols, Proc. Amer. Math. Soc. 54 (1976), 379–383.
J. C. Martin, The structure of generalized Morse minimal sets on n symbols, Trans. Amer. Math. Soc. 232 (1977), 343–355.
B. de Mathan, Approximations diophantiennes dans un corps local, Bull. Soc. Math. France, Suppl. Mém. 21 (1970).
M. Morse, Recurrent geodesics on a surface of negative curvature, Trans. Amer. Math. Soc. 22 (1921), 84–100.
M. Morse, Abstract 360: a solution of the problem of infinite play in chess, Bull. Amer. Math. Soc. 44 (1938), 632.
M. Morse and G. A. Hedlund, Symbolic dynamics, Amer. J. Math. 60 (1938), 815–866.
M. Morse and G. A. Hedlund, Unending chess, symbolic dynamics, and a problem in semigroups, Duke Math. J. 11 (1944), 1–7.
P. S. Novikov and S. I. Adian, Infinite periodic groups, I, II, III Izv. Akad. Nauk. SSSR Ser. Mat. 32 (1968), 212–244, 251–524, 709–731.
R. Nürnberg, All generalized Morse-sequences are loosely Bernoulli, Math. Zeitschrift 182 (1983), 403–407.
W. Parry, On the β-expansions of real numbers, Acta Math. Acad. Sci. Hung. 11 (1960), 401–416.
E. Prouhet, Mémoire sur quelques relations entre les puissances des nombres, C. R. Acad. Sci. Paris Sér. 133 (1851), 225.
A. Rényi, Representations for real numbers and their ergodic properties, Acta Math. Acad. Sci. Hung. 8 (1957), 477--493.
A. Restivo and C. Reutenauer, Rational languages and the Burside problem, Theoret. Comput. Sci. 40 (1985), 13–30.
D. Robbins, Solution to problem E 2692, Amer. Math. Monthly 86 (1979), 394–395.
J. B. Roberts, A curious sequence of signs, Amer. Math. Monthly 64 (1957), 317–322.
O. Salon, Le problème de Prouhet-Tarry-Escott, Prétirage du LMD, Marseille 94 23 (1994).
W. M. Schmidt, On continued fractions and Diophantine approximation in power series fields, Preprint, 1998.
P. Séébold, Sequences generated by infinitely iterated morphisms, Disc. Appl. Math. 11 (1985), 255–264.
J. Shallit, On infinite products associated with sums of digits, J. Number Theory 21 (1985), 128–134.
J.-i. Tamura, Partitions of the set of positive integers, nonperiodic sequences, and transcendence, in: “Analytic Number Theory,” Kyoto, 1995, Sñrikaisekikenkyñsho Kökyñroku, No. 961 (1996), pp. 161–182.
A. Thue, Über unendliche Zeichenreihen, Norske vid. Selsk. Skr. Mat. Nat. Kl. 7 (1906), 1–22. Reprinted in “Selected mathematical papers of Axel Thue,” T. Nagell, ed., Universitetsforlaget, Oslo, 1977, pp. 139–158.
A. Thue, Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen, Norske vid. Selsk. Skr. Mat. Nat. Kl. 1 (1912), 1–67. Reprinted in “Selected mathematical papers of Axel Thue,” T. Nagell, ed., Universitetsforlaget, Oslo, 1977, pp. 413–478.
J. Tromp and J. Shallit, Subword complexity of a generalized Thue-Morse word, Info. Proc. Letters 54 (1995), 313–316.
D. R. Woods, Elementary problem proposal E 2692, Amer. Math. Monthly 85 (1978), 48.
J.-Y. Yao, Généralisations de la suite de Thue-Morse, Ann. Sci. Math. Québec 21 (1997), 177–189.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this paper
Cite this paper
Allouche, JP., Shallit, J. (1999). The Ubiquitous Prouhet-Thue-Morse Sequence. In: Ding, C., Helleseth, T., Niederreiter, H. (eds) Sequences and their Applications. Discrete Mathematics and Theoretical Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-0551-0_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0551-0_1
Publisher Name: Springer, London
Print ISBN: 978-1-85233-196-2
Online ISBN: 978-1-4471-0551-0
eBook Packages: Springer Book Archive