OFFSET
1,2
COMMENTS
A "factor" is a contiguous block. An "abelian square" is a word of the form x x' where x' is a permutation of x.
REFERENCES
Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey Shallit, Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties. See just below Theorem 11.
LINKS
Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey Shallit, Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance, arXiv:1406.0670 [cs.FL], 2014.
Gabriele Fici, Filippo Mignosi, Words with the Maximum Number of Abelian Squares, arXiv:1506.03562 [cs.DM], 2015.
Gabriele Fici, Filippo Mignosi, Jeffrey Shallit, Abelian-Square-Rich Words, arXiv:1701.00948 [cs.DM], 2016. See Table 2 p. 14.
FORMULA
a(F(n)) = 2*F(n) - 1 for n >= 2, where F(n) is the n-th Fibonacci number.
a(n) = #{x such that x = {-i*alpha} for some 1<=i<=n and x <= {-n*alpha} if the integer part of n*alpha is even, or x >= {-n*alpha} if the integer part of n*alpha is odd}, where alpha=(sqrt(5)-1)/2. - Gabriele Fici, Sep 17 2015
EXAMPLE
a(3) = 5 because the length-6 words {010010, 001010, 010100, 100100, 001001} all occur in the Fibonacci word and are abelian squares (and no others).
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, Jul 10 2014
STATUS
approved