Minimum complexity conjecture for square-free ternary words

Let T{\mathbf T} be the ternary Thue word, the fixed point of the morphism 00120\mapsto012, 1021\mapsto02, and 212\mapsto1. A ternary infinite word is square-free if it contains no factor of the form uuuu with uu nonempty. Minimum complexity conjecture. The ternary Thue word T{\mathbf T} has the minimum subword complexity among all square-free ternary infinite words. This concerns the extremal factor complexity of square-free ternary words; the source presents the assertion as a conjecture and gives no resolution.

Sources & referencesView supporting material

Primary source

Jeffrey Shallit and Arseny M. Shur, “Subword complexity and power avoidance”, arXiv:1801.05376 (2018).

Progress summary

Never refreshed

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.