In this post I’ll be exploring non-integer bases and the “natural numbers” they represent. I say “natural numbers” because the resulting sums won’t necessarily be integers if the base is not an integer. I’ll use and for I’ll use . I’ll denote the base under consideration by and throughout I’ll be assuming . Given a base I’ll have some digit set with being the largest digit. It will always be the case that . When it’ll always be the case that .
The term “base- representation” of a number will denote a finite sequence with such that
Result 1: when then each element of has a unique base- representation.
Pf: let and suppose can be represented with either digit sequence or , i.e.
First I’ll show that , i.e. and have the same length.
Suppose . Since (by definition) the smallest that can be is if and for . This means . On the other hand, the largest that can be is if for all , which means so the largest that could be is , but because of the term there’s no way to get large enough to catch up to if is allowed even one extra digit. The exact same argument shows also leads to a contradiction, therefore .
Now I’ll suppose , where means these are each the largest digits. By a similar argument, the largest that can be with fixed at less than is
But the smallest that can be is and so again the term makes it so that there’s no way that can catch up if . This means that , and applying this downward shows that , so has a unique base- representation.
I’ll now show that this does not apply to non-integer bases.
Result 2: a base exists such that the same number has two different representations.
Pf: let (so is the golden ratio) and consider vs . I know that is the positive root of the equation , or equivalently it satisfies , so
so these two distinct digit sequences lead to the same number.
Now I want to see how unique this property is. If then is the unique base that makes , but what about for longer digit sequences?
Finding bases for non-unique integers
I’ll now look at the following problem: for any is there a base such that
i.e. the number with digits formed by a followed by zeros (the smallest number with digits) equals the number formed by of the largest digit (the largest number with digits). I’m using to make the notation clearer. I’ll require but I’ll think of it as otherwise unconstrained. For example, it’d be legal to choose but restrict myself to just the digits . This turns out to be a problem of polynomials: assuming , I’m looking for Thus I’ll consider the polynomial and I’ll look for roots greater than . This restriction encodes the fact that valid bases are all greater than the maximal digit , which itself is at least , so that also handles the requirement. I want roots because this means the two digit sequences under consideration are equal.
First I’ll note that
for any and , and
For is positive which means is increasing and therefore has no roots in . This makes sense because when the base is that much larger than the largest digit then the smaller digit sequences can’t get big enough to equal a longer digit sequence.
Next, for I have
so if then while if I have . By the Intermediate Value Theorem (IVT) this establishes that has a root in for every as long as .
I’ll prove the following lemma which will finish the case.
Lemma: Let be differentiable. If for some I have and then there is some such that .
Pf: by the definition of the derivative I have
for some . Formally, this means for all there is some such that implies
This also means that for any there is a such that implies this same result (this just means that the two-sided limit existing and equaling implies the same for both one sided limits). so the sign of is just the sign of . I can make arbitrarily close to , which is negative, so it must be that for sufficiently small, is negative on .
This result establishes that even though , I have so for a sufficiently small . Then applying the IVT again tells me there is a root in .
I’ve determined that no matter the maximal digit I’ll allowed to use, and the digit string in question (so long as it is at least length ).
I can also show that this base is unique, given and . I know at (except for when , but becomes negative immediately after). Because I know there’s a critical point at and that decreases to this point so it’s a minimum. This means there can’t be any roots in . I already know there is one root in but because for this means that is monotonically increasing past so that one root is the only one.
A few examples: first, if then I want the root to
so I do still have as the unique positive root larger than .
Next, suppose I take to be my largest allowed digit. I know for there is a base that makes
and I can find it explicitly: this equation tells me so
where I’ve dropped the negative root as it’s not meaningful here.
If instead I try
I need to solve
which has as its unique real root
(I just used Wolfram|Alpha for this).