OFFSET
1,1
COMMENTS
An abelian cube is a word of the form x x' x'', where x' and x'' are permutations of x, like the English word "deeded". The order of an abelian cube is the length of x.
LINKS
Pierre Popoli, Jeffrey Shallit, and Manon Stipulanti, Additive word complexity and Walnut, arXiv:2410.02409 [math.CO], 2024. See p. 17.
FORMULA
There is a deterministic finite automaton of 1169 states that takes n in its tribonacci representation as input and accepts if and only if there is an abelian cube of order n. It can be obtained with the Walnut theorem-prover.
EXAMPLE
Here are the earliest-appearing abelian cubes of the first few orders:
n = 4: 2010.0102.0102
n = 6: 102010.010201.010201
n = 7: 0102010.0102010.1020100
n = 11: 02010010201.01020100102.01020100102
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, Jun 24 2021
STATUS
approved