Shur's Restivo–Salemi conjecture for power-free languages
Let be a -letter alphabet, and let denote the language of -power-free finite words over . For a language , write for its extendable factors. The language has the Restivo–Salemi property when every pair of words can be joined by a word such that . Shur's Restivo–Salemi conjecture. All power-free languages satisfy the Restivo–Salemi property. The property would imply that each power-free language has an infinite recurrent word whose subword complexity has the same growth rate as the language; the source attributes the conjecture to Shur and reports that it is based on extensive numerical studies, but gives no resolution.
References
Primary source
Jeffrey Shallit and Arseny M. Shur, “Subword complexity and power avoidance”, arXiv:1801.05376 (2018).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.