Quadratic subword-complexity conjecture for the Thue–Morse two-block fixed point

Let x(00)x^{(00)} be the fixed point of the Thue–Morse two-block substitution, and let p(00)(n)p^{(00)}(n) denote its subword complexity, namely the number of distinct factors of length nn. Quadratic subword-complexity conjecture. There is a constant c>0c>0 such that

p(00)(n)cn2p^{(00)}(n)\geq cn^2

for all n=1,2,n=1,2,\dots. The displayed initial values of the complexity function support quadratic growth, but no proof is supplied in the source.

Sources & referencesView supporting material

Primary source

Michel Dekking and Mike Keane, “Two-block substitutions and morphic words”, arXiv:2202.13548 (2023).

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.