A characterization of balanced episturmian sequences

From MaRDI portal
Publication:2372877



Abstract: It is well known that Sturmian sequences are the aperiodic sequences that are balanced over a 2-letter alphabet. They are also characterized by their complexity: they have exactly (n+1) factors of length n. One possible generalization of Sturmian sequences is the set of infinite sequences over a k-letter alphabet, kgeq3, which are closed under reversal and have at most one right special factor for each length. This is the set of episturmian sequences. These are not necessarily balanced over a k-letter alphabet, nor are they necessarily aperiodic. In this paper, we characterize balanced episturmian sequences, periodic or not, and prove Fraenkel's conjecture for the class of episturmian sequences. This conjecture was first introduced in number theory and has remained unsolved for more than 30 years. It states that for a fixed k>2, there is only one way to cover by k Beatty sequences. The problem can be translated to combinatorics on words: for a k-letter alphabet, there exists only one balanced sequence up to letter permutation that has different letter frequencies.


Summary: It is well-known that Sturmian sequences are the non ultimately periodic sequences that are balanced over a 2-letter alphabet. They are also characterized by their complexity: they have exactly \((n+1)\) distinct factors of length \(n\). A natural generalization of Sturmian sequences is the set of infinite episturmian sequences. These sequences are not necessarily balanced over a \(k\)-letter alphabet, nor are they necessarily aperiodic. In this paper, we characterize balanced episturmian sequences, periodic or not, and prove Fraenkel's conjecture for the special case of episturmian sequences. It appears that balanced episturmian sequences are all ultimately periodic and they can be classified in 3 families.











This page was built for publication: A characterization of balanced episturmian sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2372877)