English

On prefix palindromic length of automatic words

Formal Languages and Automata Theory 2021-06-10 v2 Discrete Mathematics Combinatorics

Abstract

The prefix palindromic length PPLu(n)\mathrm{PPL}_{\mathbf{u}}(n) of an infinite word u\mathbf{u} is the minimal number of concatenated palindromes needed to express the prefix of length nn of u\mathbf{u}. Since 2013, it is still unknown if PPLu(n)\mathrm{PPL}_{\mathbf{u}}(n) is unbounded for every aperiodic infinite word u\mathbf{u}, even though this has been proven for almost all aperiodic words. At the same time, the only well-known nontrivial infinite word for which the function PPLu(n)\mathrm{PPL}_{\mathbf{u}}(n) has been precisely computed is the Thue-Morse word t\mathbf{t}. This word is 22-automatic and, predictably, its function PPLt(n)\mathrm{PPL}_{\mathbf{t}}(n) is 22-regular, but is this the case for all automatic words? In this paper, we prove that this function is kk-regular for every kk-automatic word containing only a finite number of palindromes. For two such words, namely the paperfolding word and the Rudin-Shapiro word, we derive a formula for this function. Our computational experiments suggest that generally this is not true: for the period-doubling word, the prefix palindromic length does not look 22-regular, and for the Fibonacci word, it does not look Fibonacci-regular. If proven, these results would give rare (if not first) examples of a natural function of an automatic word which is not regular.

Keywords

Cite

@article{arxiv.2009.02934,
  title  = {On prefix palindromic length of automatic words},
  author = {Anna E. Frid and Enzo Laborde and Jarkko Peltomäki},
  journal= {arXiv preprint arXiv:2009.02934},
  year   = {2021}
}

Comments

revised version, to appear in Theoret. Comput. Sci