A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
On abelian closures of infinite non-binary words
Tekijät: Karhumäki Juhani, Puzynina Svetlana, Whiteland Markus A.
Kustantaja: Elsevier
Julkaisuvuosi: 2024
Journal: Discrete Mathematics
Tietokannassa oleva lehden nimi: Discrete Mathematics
Artikkelin numero: 114069
Vuosikerta: 347
Numero: 9
ISSN: 0012-365X
eISSN: 1872-681X
DOI: https://doi.org/10.1016/j.disc.2024.114069
Verkko-osoite: https://doi.org/10.1016/j.disc.2024.114069
Preprintin osoite: https://arxiv.org/abs/2012.14701
Tiivistelmä
Two finite words u and v are called abelian equivalent if each letter occurs equally many times in both u and v. The abelian closure A(x) of an infinite word x is the set of infinite words y such that, for each factor u of y, there exists a factor v of x which is abelian equivalent to u. The notion of an abelian closure gives a characterization of Sturmian words: among uniformly recurrent binary words, periodic and aperiodic Sturmian words are exactly those words for which A(x) equals the shift orbit closure Ω(x). In this paper, we investigate how this property extends to non-binary words. We consider the abelian closures of most natural generalizations of Sturmian words to non-binary alphabets, such as balanced words and minimal complexity words. We characterize the abelian closures of words in these families and show that in both families, there exist both words which satisfy the property A(x)=Ω(x) and which do not. We observe that for Arnoux-Rauzy words, we always have a strict inclusion Ω(x)⊂A(x). We also consider abelian closures of general subshifts and make some initial observations of their abelian closures and pose some related open questions.
Two finite words u and v are called abelian equivalent if each letter occurs equally many times in both u and v. The abelian closure A(x) of an infinite word x is the set of infinite words y such that, for each factor u of y, there exists a factor v of x which is abelian equivalent to u. The notion of an abelian closure gives a characterization of Sturmian words: among uniformly recurrent binary words, periodic and aperiodic Sturmian words are exactly those words for which A(x) equals the shift orbit closure Ω(x). In this paper, we investigate how this property extends to non-binary words. We consider the abelian closures of most natural generalizations of Sturmian words to non-binary alphabets, such as balanced words and minimal complexity words. We characterize the abelian closures of words in these families and show that in both families, there exist both words which satisfy the property A(x)=Ω(x) and which do not. We observe that for Arnoux-Rauzy words, we always have a strict inclusion Ω(x)⊂A(x). We also consider abelian closures of general subshifts and make some initial observations of their abelian closures and pose some related open questions.