2010/04/12 by Geneviève Paquin, Paquin, Geneviève, Christophe Reutenauer +1
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Coding theory and cryptography #Combinatorics (math.CO) #DNA and Biological Computing #FOS: Mathematics #math.CO #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1004.1890
arxiv created 2010/04/12 · openalex publication_date 2010/04/12 · arxiv updated 2010/04/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Initially stated in terms of Beatty sequences, the Fraenkel conjecture can be reformulated as follows: for a k-letter alphabet A, with a fixed k ≥ 3, there exists a unique balanced infinite word, up to letter permutations and shifts, that has mutually distinct letter frequencies. Motivated by the Fraenkel conjecture, we study in this paper whether two Christoffel words can be superimposed. Following from previous works on this conjecture using Beatty sequences, we give a necessary and sufficient condition for the superimposition of two Christoffel words having same length, and more generally, of two arbitrary Christoffel words. Moreover, for any two superimposable Christoffel words, we give the number of different possible superimpositions and we prove that there exists a superimposition that works for any two superimposable Christoffel words. Finally, some new properties of Christoffel words are obtained as well as a geometric proof of a classic result concerning the money problem, using Christoffel words.