Let S 0 {\displaystyle S_{0}} be "0" and S 1 {\displaystyle S_{1}} be "01". Now S n = S n − 1 S n − 2 {\displaystyle S_{n}=S_{n-1}S_{n-2}} (the concatenation of the previous sequence and the one before that).
The infinite Fibonacci word is the limit S ∞ {\displaystyle S_{\infty }} , that is, the (unique) infinite sequence that contains each S n {\displaystyle S_{n}} , for finite n {\displaystyle n} , as a prefix.
Enumerating items from the above definition produces:
The first few elements of the infinite Fibonacci word are:
0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, ... (sequence A003849 in the OEIS)
The nth digit of the word is 2 + ⌊ n φ ⌋ − ⌊ ( n + 1 ) φ ⌋ {\displaystyle 2+\lfloor n\varphi \rfloor -\lfloor (n+1)\varphi \rfloor } where φ {\displaystyle \varphi } is the golden ratio and ⌊ ⌋ {\displaystyle \lfloor \,\ \rfloor } is the floor function (sequence A003849 in the OEIS). As a consequence, the infinite Fibonacci word can be characterized by a cutting sequence of a line of slope 1 / φ {\displaystyle 1/\varphi } or φ − 1 {\displaystyle \varphi -1} . See the figure above.
Another way of going from Sn to Sn +1 is to replace each symbol 0 in Sn with the pair of consecutive symbols 0, 1 in Sn +1, and to replace each symbol 1 in Sn with the single symbol 0 in Sn +1.
Alternatively, one can imagine directly generating the entire infinite Fibonacci word by the following process: start with a cursor pointing to the single digit 0. Then, at each step, if the cursor is pointing to a 0, append 1, 0 to the end of the word, and if the cursor is pointing to a 1, append 0 to the end of the word. In either case, complete the step by moving the cursor one position to the right.
A similar infinite word, sometimes called the rabbit sequence, is generated by a similar infinite process with a different replacement rule: whenever the cursor is pointing to a 0, append 1, and whenever the cursor is pointing to a 1, append 0, 1. The resulting sequence begins
However this sequence differs from the Fibonacci word only trivially, by swapping 0s for 1s and shifting the positions by one.
A closed form expression for the so-called rabbit sequence:
The nth digit of the word is ⌊ n φ ⌋ − ⌊ ( n − 1 ) φ ⌋ − 1. {\displaystyle \lfloor n\varphi \rfloor -\lfloor (n-1)\varphi \rfloor -1.}
The word is related to the famous sequence of the same name (the Fibonacci sequence) in the sense that addition of integers in the inductive definition is replaced with string concatenation. This causes the length of Sn to be Fn +2, the (n +2)nd Fibonacci number. Also the number of 1s in Sn is Fn and the number of 0s in Sn is Fn +1.
Fibonacci based constructions are currently used to model physical systems with aperiodic order such as quasicrystals, and in this context the Fibonacci word is also called the Fibonacci quasicrystal.11 Crystal growth techniques have been used to grow Fibonacci layered crystals and study their light scattering properties.12
Berstel (1986), p. 13. - Berstel, Jean (1986), "Fibonacci Words – A Survey" (PDF), in Rozenberg, G.; Salomaa, A. (eds.), The Book of L, Springer, pp. 13–27, doi:10.1007/978-3-642-95486-3_2, ISBN 9783642954863 https://www-igm.univ-mlv.fr/~berstel/Articles/1985BookOfL.pdf ↩
Adamczewski & Bugeaud (2010). - Adamczewski, Boris; Bugeaud, Yann (2010), "8. Transcendence and diophantine approximation", in Berthé, Valérie; Rigo, Michael (eds.), Combinatorics, automata, and number theory, Encyclopedia of Mathematics and its Applications, vol. 135, Cambridge: Cambridge University Press, p. 443, ISBN 978-0-521-51597-9, Zbl 1271.11073 https://zbmath.org/?format=complete&q=an:1271.11073 ↩
Sloane, N. J. A. (ed.), "Sequence A003849", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation /wiki/Neil_Sloane ↩
Lothaire (2011), p. 47. - Lothaire, M. (2011), Algebraic Combinatorics on Words, Encyclopedia of Mathematics and Its Applications, vol. 90, Cambridge University Press, ISBN 978-0-521-18071-9 ↩
For the subwords that do occur, see Berstel (1986), pp. 14 and 18 (using the letters a and b in place of the digits 0 and 1) - Berstel, Jean (1986), "Fibonacci Words – A Survey" (PDF), in Rozenberg, G.; Salomaa, A. (eds.), The Book of L, Springer, pp. 13–27, doi:10.1007/978-3-642-95486-3_2, ISBN 9783642954863 https://www-igm.univ-mlv.fr/~berstel/Articles/1985BookOfL.pdf ↩
de Luca (1995). - de Luca, Aldo (1995), "A division property of the Fibonacci word", Information Processing Letters, 54 (6): 307–312, doi:10.1016/0020-0190(95)00067-M https://doi.org/10.1016%2F0020-0190%2895%2900067-M ↩
Allouche & Shallit (2003), p. 37. - Allouche, Jean-Paul; Shallit, Jeffrey (2003), Automatic Sequences: Theory, Applications, Generalizations, Cambridge University Press, ISBN 978-0-521-82332-6 ↩
Lothaire (2011), p. 11. - Lothaire, M. (2011), Algebraic Combinatorics on Words, Encyclopedia of Mathematics and Its Applications, vol. 90, Cambridge University Press, ISBN 978-0-521-18071-9 ↩
Kimberling (2004). - Kimberling, Clark (2004), "Ordering words and sets of numbers: the Fibonacci case", in Howard, Frederic T. (ed.), Applications of Fibonacci Numbers, Volume 9: Proceedings of The Tenth International Research Conference on Fibonacci Numbers and Their Applications, Dordrecht: Kluwer Academic Publishers, pp. 137–144, doi:10.1007/978-0-306-48517-6_14, ISBN 978-90-481-6545-2, MR 2076798 https://doi.org/10.1007%2F978-0-306-48517-6_14 ↩
Bombieri & Taylor (1986). - Bombieri, E.; Taylor, J. E. (1986), "Which distributions of matter diffract? An initial investigation" (PDF), Le Journal de Physique, 47 (C3): 19–28, doi:10.1051/jphyscol:1986303, MR 0866320, S2CID 54194304 https://hal.archives-ouvertes.fr/jpa-00225713/file/ajp-jphyscol198647C303.pdf ↩
Dharma-wardana et al. (1987). - Dharma-wardana, M. W. C.; MacDonald, A. H.; Lockwood, D. J.; Baribeau, J.-M.; Houghton, D. C. (1987), "Raman scattering in Fibonacci superlattices", Physical Review Letters, 58 (17): 1761–1765, Bibcode:1987PhRvL..58.1761D, doi:10.1103/physrevlett.58.1761, PMID 10034529 https://ui.adsabs.harvard.edu/abs/1987PhRvL..58.1761D ↩