On generating binary words palindromically

Abstract

We regard a finite word u = u 1 u 2 · · · u n up to word isomorphism as an equivalence relation on {1, 2, . . . , n} where i is equivalent to j if and only if u i = u j . Some finite words (in particular all binary words) are generated by palindromic relations of the form k ∼ j + i − k for some choice of 1 ≤ i ≤ j ≤ n and k ∈ {i, i +1, . . . , j}. That is to say, some finite words u are uniquely determined up to word isomorphism by the position and length of some of its palindromic factors. In this paper we study the function μ(u) defined as the least number of palindromic relations required to generate u. We show that if x is an infinite word such that μ(u) ≤ 2 for each factor u of x, then x is ultimately periodic. On the other hand, we establish the existence of non-ultimately periodic words for which μ(u) ≤ 3 for each factor u of x, and obtain a complete classification of such words on a binary alphabet (which includes the well known class of Sturmian words). In contrast, for the Thue-Morse word, we show that the function μ is unbounded.

On prefixal factorizations of words

“…A direct proof of the equivalence of conditions 1. and 3. in the preceding proposition is in [5,Lemma 3.7]. We also observe that an infinite word having a finite number of unbordered factors is purely periodic [10].…”