Minimum distinct abelian squares in circular binary words conjecture

For a circular binary word of length nn, let MDC(n)MDC(n) denote the minimum number of distinct abelian squares it contains. The circular minimum conjecture. The minimum number is

n12\frac{n-1}{2}

if nn is odd, and this bound is attained only by ana^n, an1ba^{n-1}b, and their complements and conjugates; if nn is even, the minimum is

n22,\frac{n-2}{2},

and this bound is attained only by akbnka^kb^{n-k} and its complement and conjugates, where k{1,3,5,,n1}k\in\{1,3,5,\dots,n-1\}. The claim is presented as suggested by computer experiments, and the source gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Jamie Simpson, “Solved and unsolved problems about abelian squares”, arXiv:1802.04481 (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.