English

The repetition threshold for binary rich words

Combinatorics 2023-06-22 v4 Formal Languages and Automata Theory

Abstract

A word of length nn is rich if it contains nn nonempty palindromic factors. An infinite word is rich if all of its finite factors are rich. Baranwal and Shallit produced an infinite binary rich word with critical exponent 2+2/22+\sqrt{2}/2 (2.707\approx 2.707) and conjectured that this was the least possible critical exponent for infinite binary rich words (i.e., that the repetition threshold for binary rich words is 2+2/22+\sqrt{2}/2). In this article, we give a structure theorem for infinite binary rich words that avoid 14/514/5-powers (i.e., repetitions with exponent at least 2.8). As a consequence, we deduce that the repetition threshold for binary rich words is 2+2/22+\sqrt{2}/2, as conjectured by Baranwal and Shallit. This resolves an open problem of Vesti for the binary alphabet; the problem remains open for larger alphabets.

Keywords

Cite

@article{arxiv.1908.03169,
  title  = {The repetition threshold for binary rich words},
  author = {James D. Currie and Lucas Mol and Narad Rampersad},
  journal= {arXiv preprint arXiv:1908.03169},
  year   = {2023}
}

Comments

16 pages

R2 v1 2026-06-23T10:43:11.092Z