Background
----------


In [a recent question about Fibonacci numbers](https://mathoverflow.net/questions/11885/nontrivial-question-about-fibonacci-numbers), [it was claimed](https://mathoverflow.net/questions/11885/nontrivial-question-about-fibonacci-numbers/11961#11961) that



> 
> every integer can be written in the form $\sum\_{i=1}^6 \epsilon\_i F\_{n\_i}$ with $\epsilon\_i \in \{0,-1,1\}$. The upper limit on the summation isn't a typo: every number is the sum/difference of at most 6 fibonacci's.
> 
> 
> 


I believe this is false, even for larger (but still finite) values of $k$ (not $6$):


First of all, without loss of generality, we may assume that the representations do not repeat any Fibonacci number (i.e., the $n\_i$s are distinct) and moreover, do not contain any two consecutive Fibonacci numbers (i.e., $n\_i \ne n\_j+1$). We may arrive at such a representation by using the following simplifications repeatedly:


* If two consecutive Fibonacci numbers appear with opposite signs, simplify the expansion with the identity $F\_n - F\_{n-1} = F\_{n-2}$.
* If two consecutive Fibonacci numbers appear with the same sign, simplify the expansion with the identity $F\_n + F\_{n-1} = F\_{n+1}$.
* If the same Fibonacci number appears with opposite signs, simply cancel the two terms.
* If the same Fibonacci number appears with the same sign, then use the identity $F\_n + F\_n = F\_{n-2} + F\_{n-1} + F\_n = F\_{n-2} + F\_{n+1}$ to replace them with two non-identical Fibonacci numbers.


The first three operations reduce the number of terms in the expansion and thus strictly simplify the expression (in terms of how many terms there are), but the last may need to be used several times before it "simplifies" the expression (for example, in terms of how many *repeated* terms there are). Nonetheless, this simplification procedure terminates, as it is impossible to get stuck in an infinite loop using the last operation alone. (Proof: we may assume that the $n\_i$ are positive. Then all of the operations either reduce the number of terms, or leaves that unchanged and reduces the sum of the $n\_i$.)


Now, assume we have such a representation (no identical terms, no consecutive terms) and suppose the largest Fibonacci number appearing is $F\_n$. Then the next largest term (in absolute value) that may appear is $F\_{n-2}$, the next largest after that $F\_{n-4}$, and so on. All in all, the sum of the terms excluding $F\_n$ is at most $F\_{n-2} + F\_{n-4} + \cdots \le F\_{n-1}$ (proof by induction: add $F\_n$ to both sides). By the triangle inequality, the sum of *all* the terms must be at *least* $F\_n - F\_{n-1} = F\_{n-2}$. The point of this calculation is that if you want to represent a number that's less than $F\_{n-2}$, you can't use terms that are $F\_n$ or greater.


This leads us to our contradiction. Consider the integers between $0$ and $F\_{n-2}-1$. How many possible representations are there of numbers in this range? Well, we have six terms all of which are 0 or $\pm F\_k$ for $k\lt n$ (from the above discussion), so we have at most $(2n+1)^6$ representations that could possibly fall into the range. (We're over-counting here because it won't matter and this is easier.) However, there are clearly $F\_{n-2}$ different integers in the given range. Assume for contradiction that it were always possible to represent numbers as the sum/difference of at most 6 Fibonacci's. Then we would have


$$ (2n+1)^6 \ge F\_{n-2}. $$


Finally, because the left side grows polynomially while the right side grows exponentially, a large enough value of $n$ will produce a contradiction.


My questions
------------


1. Is the proof above correct? (If not, and the original claim is correct, can you give me a representation of the number 5473?) *Edit*: Please see [Michael Lugo's answer](https://mathoverflow.net/questions/12056/representing-numbers-in-a-non-integer-base-with-few-but-possibly-negative-nonze/12064#12064) for a paper which finds the representation with the fewest nonzero digits in this "signed Fibonacci base". **Please consider the following the actual question here:**
2. Assuming the proof is correct, is the original claim true for *other* non-integer bases? What I mean is the following:



> 
> Does there exist a natural number $k$ and a real number $b>1$ such that every integer has a representation as $\sum\_{i=1}^k \epsilon\_i \lfloor b^{n\_i} + \frac12 \rfloor$? That is, does every number have a representation in "base $b$" (because $b$ is probably irrational, we round $b^n$ to the nearest integer) with at most $k$ non-zero "digits", but where the "digits" may be $\pm 1$?
> 
> 
> 


Note that the original claim is an instance of this: $k=6$ and $b=\varphi = \frac{1+\sqrt 5}{2}$.


I don't think my proof works directly because I used special properties of $\varphi$/the Fibonacci numbers. Is it possible to remove this reliance? In particular, the second step of the proof shows that it's not "useful" to have large Fibonacci numbers in the representation of a small number. Is the same true for every base $b$?


*Note*: if the digits were not allowed be negative, then my proof would go through. The main issue is whether or not $\pm b^n$ for large $n$ can cancel and produce small numbers.


Thanks!



Representing numbers in a non-integer base with few (but possibly negative) nonzero digits
This is an answer to your "actual question" (2), building on some of the ideas in Douglas Zare's answer.


**Lemma 1:** Suppose that $0 < r < 1$. Let $S=\lbrace \epsilon r^i : \epsilon = \pm 1 \text{ and } i \in \mathbb{Z}\_{\ge 0} \rbrace$. Fix $k \ge 1$. Let $S\_k$ be the set of sums of the form $s\_1+\cdots+s\_k$ such that $s\_i \in S$ and $|s\_1|=1$ and there is no nonempty subset $I \subset \lbrace 1,\ldots,k \rbrace$ with $\sum\_{i \in I} s\_i = 0$. Then $0$ is not in the closure of $S\_k$.


**Proof:** Use induction on $k$. The base case is trivial: $S\_1=\lbrace -1,1\rbrace$. Now suppose $k \ge 2$. If a sequence $(x\_i)$ in $S\_k$ converges to $0$, then the smallest summand in the sum giving $x\_i$ must tend to $0$, since a lower bound on the absolute values of the summands rules out all but finitely many elements of $S\_k$, which are all nonzero. Discarding the finitely many $x\_i$ for which the smallest summand is $\pm 1$ and removing the smallest summand from each remaining $x\_i$ yields a sequence $(y\_i)$ in $S\_{k-1}$ tending to $0$, contradicting the inductive hypothesis.


Now fix $b>1$ and $k$. Let $T=\lbrace \epsilon \lfloor b^n + 1/2 \rfloor : \epsilon = \pm 1 \text{ and } n \in \mathbb{Z}\_{\ge 0} \rbrace$. Let $T\_k$ be the set of sums of the form $t\_1+\cdots+t\_k$ with $t\_i \in T$.


**Lemma 2:** Each $t=t\_1+\cdots+t\_k \in T\_k$ equals $u\_1+\cdots+u\_\ell+\delta$ for some $\ell \le k$ and some $u\_i \in T$ with $u\_i = O(t)$ and $\delta = O(1)$.


**Proof:** Examine the powers of $b$ used in the $t\_i$. If any nonempty subsum (with signs) of these powers equals $0$, the corresponding $t\_i$ sum to $O(1)$. If $b^n$ is the largest power that remains after removing all such subsums, divide all the remaining $t\_i$ by $b^n$, and apply Lemma 1 with $r=1/b$ to see that $|t|/b^n$ is bounded away from $0$, so all these remaining $t\_i$, which are $O(b^n)$, are $O(t)$.


**Corollary:** The number of elements of $T\_k$ of absolute value less than $B$ is $O((\log B)^k)$ as $B \to \infty$. 


**Corollary:** $T\_k \ne \mathbb{Z}$.


