Fibonacci coding

In mathematics, Fibonacci coding is a universal code which encodes positive integers into binary code words. All tokens end with "11" and have no "11" before the end.

The formula used to generate Fibonacci codes is:
#$$N = sum_{i=0}^k d(i) F(i)
#$$d(i) = 1 Rightarrow d(i+1) = 0,!

where "F"("i") is the "i"th Fibonacci number. No two adjacent coefficients "d"("i") can be 1.

The code begins as follows:

The Fibonacci code is closely related to "Fibonacci representation", a positional numeral system sometimes used by mathematicians. The Fibonacci code for a particular integer is exactly that of the integer's Fibonacci representation, except with the order of its digits reversed and an additional "1" appended to the end.

To encode an integer "X":
# Find the largest Fibonacci number equal to or less than "X"; subtract this number from "X", keeping track of the remainder.
# If the number we subtracted was the "N"th unique Fibonacci number, put a one in the "N"th digit of our output.
# Repeat the previous steps, substituting our remainder for "X", until we reach a remainder of 0.
# Place a one after the last naturally-occurring one in our output.

To decode a token in the code, remove the last "1", assign the remaining bits the values 1,2,3,5,8,13... (the Fibonacci numbers), and add the "1" bits.

Comparison with other universal codes

Fibonacci coding has a useful property that sometimes makes it attractive in comparison to other universal codes: it is easier to recover data from a damaged stream. With most other universal codes, if a single bit is altered, none of the data that comes after it will be correctly read. With Fibonacci coding, on the other hand, a changed bit may cause one token to be read as two, or cause two tokens to be read incorrectly as one, but reading a "0" from the stream will stop the errors from propagating further. Since the only stream that has no "0" in it is a stream of "11" tokens, the total edit distance between a stream damaged by a single bit error and the original stream is at most three.

This approach - encoding using sequence of symbols, in which some patterns (like "11") are forbidden, can be freely generalized [http://aps.arxiv.org/pdf/0710.3861] .

ee also

*Golden ratio base
*Zeckendorf's theorem
*Universal code