Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: Robbins and Ardila meet Berstel
(Submitted on 29 Jul 2020 (v1), last revised 31 Jul 2020 (this version, v2))
Abstract: In 1996, Neville Robbins proved the amazing fact that the coefficient of $X^n$ in the Fibonacci infinite product $$ \prod_{n \geq 2} (1-X^{F_n}) = (1-X)(1-X^2)(1-X^3)(1-X^5)(1-X^8) \cdots = 1-X-X^2+X^4 + \cdots$$ is always either $-1$, $0$, or $1$. The same result was proved later by Federico Ardila using a different method.
Meanwhile, in 2001, Jean Berstel gave a simple 4-state transducer that converts an "illegal" Fibonacci representation into a "legal" one. We show how to obtain the Robbins-Ardila result from Berstel's with almost no work at all, using purely computational techniques that can be performed by existing software.
Submission history
From: Jeffrey Shallit [view email][v1] Wed, 29 Jul 2020 16:05:45 GMT (56kb,D)
[v2] Fri, 31 Jul 2020 18:02:16 GMT (57kb,D)
Link back to: arXiv, form interface, contact.