References & Citations
Computer Science > Discrete Mathematics
Title: On the rigidity of Arnoux-Rauzy words
(Submitted on 16 May 2022 (v1), last revised 6 Feb 2024 (this version, v3))
Abstract: An infinite word generated by a substitution is rigid if all the substitutions which fix this word are powers of a same substitution. Sturmian words as well as characteristic Arnoux-Rauzy words are known to be rigid. In the present paper, we prove that all Arnoux-Rauzy words are rigid. The proof relies on two main ingredients: firstly, the fact that the primitive substitutions that fix an Arnoux-Rauzy word share a common power, and secondly, the notion of normal form of an episturmian substitution (i.e., a substitution that fixes an Arnoux-Rauzy word). The main difficulty is then of a combinatorial nature and relies on the normalization process when taking powers of episturmian substitutions: the normal form of a square is not necessarily equal to the square of the normal forms.
Submission history
From: Svetlana Puzynina [view email][v1] Mon, 16 May 2022 14:19:55 GMT (48kb)
[v2] Tue, 12 Jul 2022 16:07:39 GMT (48kb)
[v3] Tue, 6 Feb 2024 10:13:41 GMT (55kb)
Link back to: arXiv, form interface, contact.