Existence of an infinite ternary 64-abelian square-free word

Huova, Mari

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 48 (2014) no. 3, pp. 307-314.

We consider a recently defined notion of k-abelian equivalence of words by concentrating on avoidance problems. The equivalence class of a word depends on the numbers of occurrences of different factors of length k for a fixed natural number k and the prefix of the word. We have shown earlier that over a ternary alphabet k-abelian squares cannot be avoided in pure morphic words for any natural number k. Nevertheless, computational experiments support the conjecture that even 3-abelian squares can be avoided over ternary alphabets. In this paper we establish the first avoidance result showing that by choosing k to be large enough we have an infinite k-abelian square-free word over three letter alphabet. In addition, this word can be obtained as a morphic image of a pure morphic word.

[1] J.-P. Allouche and J. Shallit, Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press (2003). | MR | Zbl

[2] G. Badkobeh and M. Crochemore, Finite-Repetition threshold for infinite ternary words, in 8th International Conference WORDS 2011, edited by P. Ambroz, S. Holub and Z. Masáková. EPTCS 63 (2011) 37-43.

[3] J. Cassaigne, Unavoidable binary patterns. Acta Informatica 30 (1993) 385-395. | MR | Zbl

[4] C. Choffrut and J. Karhumäki, Combinatorics of words, in vol. 1 of Handbook of Formal Languages, edited by G. Rozenberg and A. Salomaa. Springer (1997) 329-438. | MR | Zbl

[5] K. Culik, J. Karhumäki and A. Lepistö, Alternating iteration of morphisms and the Kolakoski sequence, in Lindenmayer Systems, edited by G. Rozenberg and A. Salomaa. Springer (1992) 93-106. | MR | Zbl

[6] J.D. Currie, Open problems in pattern avoidance. Amer. Math. Monthly 100 (1993) 790-793. | MR | Zbl

[7] F.M. Dekking, Strongly non-repetitive sequences and progression-free sets. J. Combin. Theory Ser. A 27 (1979) 181-185. | MR | Zbl

[8] A.A. Evdokimov, Strongly asymmetric sequences generated by a finite number of symbols. Dokl. Akad. Nauk SSSR 179 (1968) 1268-1271; English translation in Soviet Math. Dokl. 9 (1968) 536-539. | MR | Zbl

[9] M. Huova and J. Karhumäki, On Unavoidability of k-abelian Squares in Pure Morphic Words. J. Integer Sequences, being bublished. | Zbl

[10] M. Huova, J. Karhumäki and A. Saarela, Problems in between words and abelian words: k-abelian avoidability, in Formal and Natural Computing Honoring the 80th Birthday of Andrzej Ehrenfeucht, edited by G. Rozenberg and A. Salomaa. Theoret. Comput. Sci. 454 (2012) 172-177. | MR | Zbl

[11] M. Huova, J. Karhumäki, A. Saarela and K. Saari, Local squares, periodicity and finite automata, in Rainbow of Computer Science, edited by C.S. Calude, G. Rozenberg and A. Salomaa. Vol. 6570 of Lect. Notes Comput. Sci. Springer (2011) 90-101. | MR

[12] V. Keränen, Abelian squares are avoidable on 4 letters, in Proc. ICALP 1992, edited by W. Kuich. Vol. 623 of Lect. Notes Comput. Sci. Springer (1992) 41-52. | MR

[13] M. Lothaire, Combinatorics on words, Addison-Wesley (1983). | MR | Zbl

[14] M. Lothaire, Algebraic combinatorics on words. Cambridge University Press (2002). | MR | Zbl

[15] R. Mercas and A. Saarela, 5-abelian cubes are avoidable on binary alphabets, in the conference the 14th Mons Days of Theoretical Computer Science (2012).

[16] P.A.B. Pleasant, Non-repetitive sequences. Proc. Cambridge Philos. Soc. 68 (1970) 267-274. | MR | Zbl

[17] A. Thue, Über unendliche Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 7 (1906) 1-22. | JFM

[18] A. Thue, Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 1 (1912) 1-67. | JFM