Abstract
In this paper we study the set of digit frequencies that are realised by elements of the set of \(\beta \)-expansions. The main result of this paper demonstrates that as \(\beta \) approaches 1, the set of digit frequencies that occur amongst the set of \(\beta \)-expansions fills out the simplex. As an application of our main result, we obtain upper bounds for the local dimension of certain biased Bernoulli convolutions.
Similar content being viewed by others
1 Introduction
Let \(M\in \mathbb {N}\) and \(\beta \in (1,M+1].\) For any \(x\in I_{\beta ,M}:=[0,\frac{M}{\beta -1}]\) there exists a sequence \((a_i)\in \{0,\ldots ,M\}^{\mathbb {N}}\) such that
We call such a sequence a \(\beta \)-expansion of x. Note that x has a \(\beta \)-expansion if and only if \(x\in I_{\beta ,M}.\) Expansions of this type were pioneered in the papers of Parry [19] and Rényi [20]. When \(\beta =M+1\) then we are in the familiar setting of integer base expansions, where every \(x\in [0,1]\) has a unique \((M+1)\)-expansion, apart from a countable set of points that have precisely two. However, when \(\beta \in (1,M+1)\) the set of \(\beta \)-expansions can exhibit far more exotic behaviour.
Given \(M\in \mathbb {N}\), \(\beta \in (1,M+1],\) and \(x\in I_{\beta ,M},\) we let
In [2] the author proved that for any \(M\in \mathbb {N}\) there exists a critical constant \(\mathcal {G}(M)\) satisfying
such that if \(\beta \in (1,\mathcal {G}(M))\) then \(\text {card}(\Sigma _{\beta ,M}(x))=2^{\aleph _0}\) for every \(x\in (0,\frac{M}{\beta -1})\). Moreover \(\mathcal {G}(M)\) is optimal in the sense that if \(\beta \in [\mathcal {G}(M),M+1],\) then there exists \(x\in (0,\frac{M}{\beta -1})\) such that \(\Sigma _{\beta ,M}(x)\) is at most countable. Note that if x is an endpoint of \(I_{\beta ,M}\) then \(\Sigma _{\beta ,M}(x)\) is always either \(\{(0)^{\infty }\}\) or \(\{(M)^{\infty }\}\). As such, all of the interesting behaviour occurs within the interior of \(I_{\beta ,M}.\) For \(\beta \in [\mathcal {G}(M),M+1)\) the cardinality of \(\Sigma _{\beta ,M}(x)\) for a generic x is best described by a result of Sidorov, see [21, 22]. This result implies that for any \(\beta \in [\mathcal {G}(M),M+1),\) we have \(\text {card}(\Sigma _{\beta ,M}(x))=2^{\aleph _0}\) for Lebesgue almost every \(x\in I_{\beta ,M}\). We remark that all other possible values of \(\text {card}(\Sigma _{\beta ,M}(x))\) are achievable. That is, for any \(k\in \mathbb {N}\cup \{\aleph _0\},\) there exists \(\beta \in (1,2)\) and \(x\in (0,\frac{1}{\beta -1})\) such that \(\text {card}(\Sigma _{\beta ,1}(x)) =k,\) see [3, 6, 23] and the references therein.
This paper is motivated by the following general question. Suppose we are interested in some property of a sequence \((a_i)\in \{0,\ldots ,M\}^{\mathbb {N}}\). Properties we might be interested in could be combinatorial, number theoretic, or statistical. Can we put conditions on \(\beta ,\) such that every \(x\in (0,\frac{M}{\beta -1})\) admits a sequence \((a_i)\in \Sigma _{\beta ,M}(x)\) that satisfies this property? Alternatively, can we put conditions on \(\beta ,\) such that Lebesgue almost every \(x\in (0,\frac{M}{\beta -1})\) admits a sequence \((a_i)\in \Sigma _{\beta ,M}(x)\) that satisfies this property? Since an x may well have infinitely many \(\beta \)-expansions, answering these questions is non-trivial. The general problem put forward here has been studied previously in different guises by several authors, see [1, 5, 10, 14, 15, 18]. In this paper we are interested in those sequences which exhibit exceptional digit frequencies. What exactly we mean by exceptional will become clear.
The digit frequencies of a representation of a real number is a classical subject going back to the pioneering work of Borel [8], and later Besicovitch [7] and Eggleston [12]. Despite being a subject that has its origins in the early 20th century, representations of real numbers and their digit frequencies is still motivating researchers. For some recent contributions in this area see [9, 13, 16] and the references therein. Most of the existing work in this area was done in a setting where the representation is unique. What distinguishes this work is that we are in a setting where the representations are almost certainly not unique.
1.1 Statement of results
Given \((a_i)\in \{0,\ldots ,M\}^{\mathbb {N}}\) and \(k\in \{0,\ldots ,M\},\) we define the k-frequency of \((a_i)\) to be
Assuming the limit exists. We say that \((a_i)\) is simply normal if for each \(k\in \{0,\ldots ,M\}\) the k-frequency exists and \(\text {freq}_{k}(a_i)=\frac{1}{M+1}\). Borel’s normal number theorem tells us that Lebesgue almost every x has a simply normal \((M+1)\)-expansion, see [8].
Combining the results of [1, 5] the following theorem is known to hold in the case where \(M=1\).
Theorem 1.1
The following statements hold.
-
1.
Let \(\beta \in (1,1.80194\ldots ]\). Then for every \(x\in (0,\frac{1}{\beta -1})\) there exists \((a_i)\in \Sigma _{\beta ,1}(x)\) such that \((a_i)\) is simply normal.
-
2.
Let \(\beta \in (1,\frac{1+\sqrt{5}}{2})\). Then for every \(x\in (0,\frac{1}{\beta -1})\) there exists \((a_i)\in \Sigma _{\beta ,1}(x)\) such that the 0-frequency of \((a_i)\) and the 1-frequency of \((a_i)\) both don’t exist.
-
3.
Let \(\beta \in (1,\frac{1+\sqrt{5}}{2})\). Then there exists \(c=c(\beta )>0\) such that for every \(x\in (0,\frac{1}{\beta -1})\) and \(p\in [1/2-c,1/2+c],\) there exists \((a_i)\in \Sigma _{\beta ,1}(x)\) such that \(\text {freq}_{0}(a_i)=p\) and \(\text {freq}_{1}(a_i)=1-p.\)
In the above the number \(1.80194\ldots \) is the unique root of \(x^3-x^2-2x+1=0\) that lies within the interval (1, 2). Note that the intervals appearing in the three statements of Theorem 1.1 are optimal. If \(\beta \in (1.80194\ldots ,2)\) then there exists an \(x\in (0,\frac{1}{\beta -1})\) with no simply normal \(\beta \)-expansions. Similar statements hold for parts (2) and (3) of Theorem 1.1.
Theorem 1.1 provides no information as to what frequencies are realised as \(\beta \) approaches 1, or what happens for larger alphabets. Examining the techniques used in the proof of statement (3) from Theorem 1.1, we see that they cannot improve upon the estimate \(0<c(\beta )\le 1/6\) for all \(\beta \in (1,\frac{1+\sqrt{5}}{2})\). One might expect that as \(\beta \) approaches 1, the set of realisable frequencies fills out the relevant simplex. In this paper we show this to be the case. We now express this formally.
Let
We refer to an element of \(\Delta _{M}\) as a frequency vector. Given an \(\epsilon >0\) we define
Given \(M\in \mathbb {N}\), \(\beta \in (1,M+1]\), and \(x\in I_{\beta ,M},\) we let
We now introduce an important class of algebraic integers. To each \(n\in \mathbb {N}\) we let \(\beta _n\in (1,2)\) be the unique zero of
that is contained within the interval (1, 2). The fact that \(\beta _n\) exists and is unique follows from the observations \(f_{n}(1)=-1\), \(f_{n}'(x)\ge 1\) for all \(x\ge 1,\) and \(f_{n}(2)>0.\)
In this paper we prove the following result.
Theorem 1.2
For any \(M\in \mathbb {N}\) and \(\beta \in (1,\beta _n),\) we have
for all \(x\in (0,\frac{M}{\beta -1})\).
Theorem 1.2 demonstrates that as \(\beta \) approaches 1, the set \(\Delta _{M,\beta }(x)\) fills out the simplex \(\Delta _{M}\) for any \(x\in (0,\frac{M}{\beta -1})\). The following corollary of Theorem 1.2 follows immediately.
Corollary 1.3
Let \(M\in \mathbb {N}\) and \(\beta \in (1,\frac{1+\sqrt{5}}{2}).\) Then every \(x\in (0,\frac{M}{\beta -1})\) admits a simply normal \(\beta \)-expansion.
One might also ask whether one can construct \(\beta \)-expansions for which the digit frequencies do not exist. Theorem 1.1 tells us that when \(M=1\) and \(\beta \in (1,\frac{1+\sqrt{5}}{2})\) every \(x\in (0,\frac{1}{\beta -1})\) has a \(\beta \)-expansion for which the digit frequencies do not exist. The following theorem shows that the same phenomenon persists for larger alphabets.
Theorem 1.4
Let \(M\ge 2\) and \(\beta \in (1,\beta _n)\). Let \(D\subseteq \{0,\ldots ,M\}\) be such that \(\#D\ge 2,\) and \((p_{k})_{k\in D^c}\) be such that \(0\le p_k\le \frac{n}{n+1}\) for all \(k\in D^c\) and \(\sum _{k\in D^c}p_k<1\). Then for any \(x\in (0,\frac{M}{\beta -1})\) there exists \((a_i)\in \Sigma _{\beta ,M}(x)\) such that
Note that in Theorem 1.4 we cannot remove the condition \(\#D\ge 2\), or the condition \(\sum _{k\in D^c}p_k<1\). Removal of either of these conditions forces all of the digit frequencies to exist. Note that in Theorem 1.4 we could simply take \(D=\{0,\ldots ,M\}.\) As such we have the following corollary.
Corollary 1.5
Let \(M\ge 2\) and \(\beta \in (1,\frac{1+\sqrt{5}}{2}).\) Then every \(x\in (0,\frac{M}{\beta -1})\) admits a \(\beta \)-expansion such that \(\text {freq}_k(a_i)\) does not exist for all \(0\le k\le M\).
It is natural to wonder how optimal the constant \(\beta _n\) in Theorem 1.2 is. With this in mind we introduce the following. Given \(M\in \mathbb {N}\) and \(n\in \mathbb {N}\) let
By Theorem 1.2 we know that \(\beta _n\le \beta _{M,n}^*\) for all \(n\in \mathbb {N}\) and \(M\in \mathbb {N}\). The following result describes the asymptotics of \(\beta _n\) and \(\beta _{M,n}^*\).
Theorem 1.6
For any \(M\in \mathbb {N}\) we have
In the above and throughout we make use of the standard big \(\mathcal {O}\) notation. Theorem 1.6 demonstrates that as n tends to infinity, \(\beta _n\) becomes a better approximation to the optimal value \(\beta _{M,n}^*\). It is possible to obtain upper bounds for the quantity \(\beta _{M,n}^*\) via existing results in [2], and by carefully examining the proof of Theorem 1.6. Omitting the relevant calculations we include in Table 1 a table of values detailing some upper bounds for \(\beta _{2,n}^*\) along with some values for \(\beta _n\).
The following corollary is an immediate consequence of Theorem 1.6.
Corollary 1.7
For any \(M\in \mathbb {N}\) we have
It is a surprising consequence of Corollary 1.7 that the leading order term for the rate at which \(\beta _{M,n}^*\) accumulates to 1 has no dependence of M.
The rest of this paper is structured as follows. In Sect. 2 we recall some useful dynamical preliminaries and prove some technical results that will be required later. In Sect. 3 we prove Theorems 1.2 and 1.4. In Sect. 4 we prove Theorem 1.6. We conclude in Sect. 5 where we apply our results to obtain bounds on the local dimension of certain biased Bernoulli convolutions.
2 Preliminaries
We start by detailing a useful dynamical interpretation of \(\Sigma _{\beta ,M}(x)\). Given \(\beta \in (1,M+1]\) and \(k\in \{0,\ldots ,M\},\) we introduce the map \(T_{k}(x)=\beta x - k.\) Given an \(x\in I_{\beta ,M}\) we let
The following lemma was proved in [3].
Lemma 2.1
For any \(x\in I_{\beta ,M}\) we have \(\mathrm {card}(\Sigma _{\beta ,M}(x))=\mathrm {card}(\Omega _{\beta ,M}(x)).\) Moreover, the map sending \((a_i)\) to \((T_{a_i})\) is a bijection between \(\Sigma _{\beta ,M}(x)\) and \(\Omega _{\beta ,M}(x).\)
Lemma 2.1 allows us to reinterpret Theorems 1.2 and 1.4 in terms of the existence of an element of \(\Omega _{\beta ,M}(x)\) exhibiting certain asymptotics. With this in mind we introduce the following notation. Given \(\alpha =(\alpha _i)\in \cup _{j=1}^{\infty }\{T_0,\ldots ,T_M\}^j\) we let \(|\alpha |\) denote its length, and for any \(k\in \{0,\ldots ,M\}\) we let
Given \(\alpha =(\alpha _i)_{i=1}^j\) and \(x\in I_{\beta ,M},\) we let \(\alpha (x):=(\alpha _j{\circ } \cdots \circ \alpha _1)(x)\). For notational convenience we let \(\{T_0,\ldots ,T_M\}^{0}\) denote the set consisting of the identity map. Given a finite sequence \(\alpha \in \{T_0,\ldots ,T_M\}^j,\) we let \(\alpha ^k\) denote its k-fold concatenation with itself, and let \(\alpha ^{\infty }\) denote the infinite concatenation of \(\alpha \) with itself. We make use of analogous notational conventions for concatenations of finite sequences of digits.
It is straightforward to show that the unique fixed point of \(T_{k}\) is \(\frac{k}{\beta -1}\). It is also straightforward to show that the following equality holds for any \(x\in \mathbb {R}\) and \(l\in \mathbb {N}\)
Despite being a simple observation, Eq. (2.1) will be extremely useful. We point out here three immediate consequences of it without proof.
Lemma 2.2
The following properties hold.
-
1.
Let \(\epsilon >0.\) There exists \(L\in \mathbb {N}\) depending only upon M, \(\beta \) and \(\epsilon ,\) such that for any \(x>\frac{k}{\beta -1}+\epsilon \) and \(y\in [x,\frac{M}{\beta -1}]\) we have
$$\begin{aligned} T_{k}^{l}(x)\in [y,T_{k}(y)] \end{aligned}$$for some \(1\le l\le L\).
-
2.
Let \(\epsilon >0.\) There exists \(L\in \mathbb {N}\) depending only upon M, \(\beta \) and \(\epsilon ,\) such that for any \(x<\frac{k}{\beta -1}-\epsilon \) and \(y\in [0, x]\) we have
$$\begin{aligned} T_{k}^{l}(x)\in [T_{k}(y),y] \end{aligned}$$for some \(1\le l\le L\).
-
3.
Let \(\epsilon >0\). There exists \(L\in \mathbb {N}\) depending only upon M, \(\beta \) and \(\epsilon \) such that if \(k_1,k_2\in \{0,\ldots ,M\}\) satisfy \(k_1<k_2\) and \(x\in [\frac{k_1}{\beta -1}+\epsilon ,\Pi _{\beta }((k_1,k_2)^{\infty })],\) then
$$\begin{aligned} T_{k_1}^l(x)\in [\Pi _{\beta }((k_1,k_2)^{\infty }),\Pi _{\beta }((k_2,k_1)^{\infty })] \end{aligned}$$for some \(1\le l\le L.\) Similarly, if \(x\in [\Pi _{\beta }((k_2,k_1)^{\infty }),\frac{k_2}{\beta -1}-\epsilon ]\) then
$$\begin{aligned} T_{k_2}^l(x)\in [\Pi _{\beta }((k_1,k_2)^{\infty }),\Pi _{\beta }((k_2,k_1)^{\infty })] \end{aligned}$$for some \(1\le l\le L.\)
Statement (3) in Lemma 2.2 follows from the previous two statements and the observations
In our applications the \(\epsilon \) appearing in Lemma 2.2 will often be a function of \(\beta .\) Therefore the relevant L will often only depend upon M and \(\beta \). Despite being a fairly trivial observation, Lemma 2.2 will be useful throughout. In particular statement (3).
When constructing \(\beta \)-expansions that satisfy certain asymptotics, it is useful to partition the interval \(I_{\beta ,M}\) into subintervals for which we have a lot of control over how the different \(T_{k}\) behave. This technique was originally used in [2, 4] to study the size of \(\Sigma _{\beta ,M}(x)\).
For any \(\beta \in (1,M+1]\) and \(k_1,k_2\in \{0,\ldots ,M\}\) such that \(k_1<k_2,\) we let
Importantly, if \(\beta \in (1,2]\) then every \(x\in I_{\beta ,k_1,k_2}\) admits a \(\beta \)-expansion whose digits are restricted to the set \(\{k_1,k_2\}\). We also associate the following subinterval of \(I_{\beta ,k_1,k_2}\), let
For any \(\beta \in (1,2)\) the interval \(S_{\beta ,k_1,k_2}\) is well defined and has non-empty interior. Note that \(S_{\beta ,k_1,k_2}\) is precisely the set of x such that \(T_{k_1}(x)\in I_{\beta ,k_1,k_2}\) and \(T_{k_2}(x)\in I_{\beta ,k_1,k_2}.\) In the literature \(S_{\beta ,k_1,k_2}\) is commonly referred to as the switch region corresponding to \(k_1\) and \(k_2\). We refer the reader to Fig. 1 for a diagram detailing the above.
The following lemma proves that a useful class of subintervals depending on \(n, k_1,\) and \(k_2\), will always be contained in the switch region corresponding to \(k_1\) and \(k_2\) for \(\beta \in (1,\beta _n).\)
Lemma 2.3
For any \(\beta \in (1,\beta _n)\) and \(k_1,k_2\in \{0,\ldots ,M\}\) such that \(k_1<k_2\) we have
and
Proof
Fix \(n\in \mathbb {N}\). We will only show that (2.2) holds. The proof that (2.3) holds follows similarly.
It suffices to show that for any \(\beta \in (1,\beta _n)\) we have
and
Rewriting the right hand side of (2.4) using the geometric series formula we see that (2.4) is equivalent to
Comparing coefficients, we see that this inequality is equivalent to
Cancelling coefficients and using the geometric series formula, we can rewrite this expression as
If \(\beta \in (1,\beta _n)\) then (2.6) is satisfied, and consequently (2.4) is also satisfied.
We now turn our attention to (2.5). Expressing the left hand side of (2.5) using the geometric series formula, we see that it is equivalent to
Comparing coefficients, we see that this is equivalent to
Cancelling coefficients and using the geometric series formula, we can then rewrite this expression as
When \(n=1\) we can verify that (2.7) holds whenever \(\beta \in (1,\frac{1+\sqrt{5}}{2}).\) For \(n\ge 2\) it is clear that (2.7) is implied by
This is true for any \(\beta \in (1,\frac{1+\sqrt{5}}{2})\). Therefore (2.5) holds for \(\beta \in (1,\frac{1+\sqrt{5}}{2}).\) To complete the proof of our lemma one has to verify that \(\beta _n\le \frac{1+\sqrt{5}}{2}\) for any \(n\ge 1\). However, this is a straightforward consequence of the definition of \(\beta _n\). \(\square \)
In what follows it is useful to define the following intervals, let
It follows from Lemma 2.3 that for any \(\beta \in (1,\beta _n)\) we have \(D_{\beta ,M,n}\subseteq (0,\frac{M}{\beta -1}).\) Similarly, given \(k_1,k_2\in \{0,\ldots ,M\}\) such that \(k_1<k_2,\) let
It follows from Lemma 2.3 that for any \(\beta \in (1,\beta _n)\) we have \(D_{\beta ,k_1,k_2,n}\subseteq (\frac{k_1}{\beta -1},\frac{k_2}{\beta -1}).\) One can check that we also have \(D_{\beta ,k_1,k_2,n}\subseteq D_{\beta ,M,n}\) for any \(k_1,k_2\in \{0,\ldots ,M\}\) such that \(k_1<k_2\) and \(\beta \in (1,\beta _n).\) Clearly \(D_{\beta ,0,M,n}= D_{\beta ,M,n}\) so our notation may at first seem redundant. However it will be useful to adopt both conventions. As we will see, within the interval \(D_{\beta ,M,n}\) we shall apply many different \(T_k\)’s to construct a \(\beta \)-expansion with certain asymptotics. Importantly these \(T_k\)’s will never map the point in question out of \(D_{\beta ,M,n},\) so this interval can be thought of as the state space of our construction. When we want to emphasise the state space interpretation we will use the notation \(D_{\beta ,M,n}\). Within an interval \(D_{\beta ,k_1,k_2,n}\) we will be able to build an element of \(\cup _{j=1}^{\infty }\{T_{k_1},T_{k_2}\}^j\) which exhibits certain asymptotics. When we want to emphasise the fact we are building a sequence consisting of \(T_0\)’s and \(T_M\)’s with certain asymptotics we will use the notation \(D_{\beta ,0,M,n}.\)
The following lemma establishes the existence of an upper bound for the number of maps required to map a point from the interior of \(I_{\beta ,M}\) into the interior of an \(I_{\beta ,k_1,k_2}.\)
Lemma 2.4
Let \(M\in \mathbb {N}\), \(\beta \in (1,2),\) and \(\delta >0\). There exists \(L\in \mathbb {N}\) and \(\epsilon >0\), such that for any \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\) and \(k_1<k_2,\) there exists \(\eta \in \cup _{j=0}^{L}\{T_0,\ldots , T_M\}^j\) satisfying
Proof
We show that for each \(k_1<k_2\) there exists \(L_{k_1,k_2}\in \mathbb {N}\) and \(\epsilon _{k_1,k_2}>0,\) such that for any \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\) there exists \(\eta \in \cup _{j=0}^{L_{k_1,k_2}}\{T_0,\ldots , T_M\}^j\) satisfying
Taking \(L=\max _{k_1,k_2}L_{k_1,k_2}\) and \(\epsilon =\min _{k_1,k_2}\epsilon _{k_1,k_2}\) completes the proof. We now proceed via a case analysis.
Case 1\((k_1=0,\, k_2=M)\). If \(k_1=0\) and \(k_2=M\) then let \(\epsilon _{0,M}=\delta .\) We then have \(x\in [\epsilon _{0,M},\frac{M}{\beta -1}-\epsilon _{0,M}]\) automatically by our hypothesis. So we can take \(L_{0,M}=0\).
Case 2\((k_1>0,\, k_2<M)\). It is a straightforward calculation to prove that for any \(\beta \in (1,2)\) and \(k_1<k_2\) we have
It therefore suffices to show that there exists \(L_{k_1,k_2}\in \mathbb {N},\) such that for any \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\) there exists \(\eta \in \cup _{j=0}^{L_{k_1,k_2}}\{T_0,\ldots , T_M\}^j\) satisfying
The existence of the desired \(\epsilon _{k_1,k_2}\) will then follow by (2.8).
Let us now fix \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\) and \(k_1,k_2\) such that \(0<k_1<k_2<M.\) If
then there is nothing to prove. Suppose this is not the case and \(x<\Pi _{\beta }((k_1-1,k_2+1)^{\infty }),\) the case when \(x>\Pi _{\beta }((k_2+1,k_1-1)^{\infty })\) is handled similarly. If \(x<\Pi _{\beta }((k_1-1,k_2+1)^{\infty })\) then
If \(x\in [\delta ,\frac{1}{\beta -1}),\) then by Lemma 2.2 there exists \(L_1\in \mathbb {N}\) such that \(T_0^{l_1}(x)\in [\frac{1}{\beta -1},\frac{2}{\beta -1}]\) for some \(l_1\le L_1.\) Consequently, it suffices to consider the case where
If \(x\in \Big [\frac{j}{\beta -1},\frac{j+1}{\beta -1}\Big )\) for some \(1\le j \le k_1-1,\) then by Lemma 2.2 and (2.8), there exists \(L_2\in \mathbb {N}\) such that
for some \(l_2\le L_2.\) Lemma 2.2, (2.8), and (2.9), when combined then imply that there exists \(L_3\in \mathbb {N}\), such that for some \(l_3\le L_3\) we have
We observe from equation (2.10) that x has been mapped from \(I_{\beta ,j,j+1}\) into \([\Pi _{\beta }((j,j+3)^{\infty }),\Pi _{\beta }((j+3,j)^{\infty })]\). If \(j=k_1-1\) then our proof is complete. If \(j<k_1-1,\) then we can repeat the steps used to derive (2.10) from (2.9) and map the orbit of x into the interval \([\Pi _{\beta }((j+1,j+4)^{\infty }),\Pi _{\beta }((j+4,j+1)^{\infty })]\) using only a bounded number of maps. Repeatedly applying this procedure we see that the orbit of x must eventually be mapped into \([ \Pi _{\beta }((k_1-1,k_2+1)^{\infty }),\Pi _{\beta }((k_2+1,k_1-1)^{\infty })]\) by some \(\eta \) as required. Moreover, since the number of maps needed to map a point from \([\Pi _{\beta }((j-1,j+2)^{\infty }),\Pi _{\beta }((j+2,j-1)^{\infty })]\) into \([\Pi _{\beta }((j,j+3)^{\infty }),\Pi _{\beta }((j+3,j)^{\infty })]\) can always be bounded above by some constant, it follows that length of \(\eta \) can always be bounded above by some \(L_{k_1,k_2}\). If
then x is mapped into \([ \Pi _{\beta }((k_1-1,k_2+1)^{\infty }),\Pi _{\beta }((k_2+1,k_1-1)^{\infty })]\) by repeatedly applying \(T_{k_1-1}.\) We can bound the number of maps required to do this by Lemma 2.2.
Case 3\((k_1>0,\, k_2=M)\). For any \(\beta >1\) we always have the inclusion
Therefore it suffices to show that there exists \(L_{k_1,M}\in \mathbb {N},\) such that for any \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\) there exists \(\eta \in \cup _{j=0}^{L_{k_1,M}}\{T_0,\ldots , T_M\}^j\) satisfying
Fix \(x\in [\delta ,\frac{M}{\beta -1}-\delta ]\). If \(x\in [\Pi _{\beta }((k_1,M)^{\infty }),\Pi _{\beta }((M,k_1)^{\infty })]\) then there is nothing to prove. If \(x\in (\Pi _{\beta }((M,k_1)^{\infty }),\frac{M}{\beta -1}-\delta ],\) then by Lemma 2.2 it follows that there exists \(L_1\in \mathbb {N},\) such that
for some \(l_1\le L_1\). Alternatively, if \(x<\Pi _{\beta }((k_1,M)^{\infty })\) then one can replicate the argument used in Case 2 to deduce that x can be mapped using only a bounded number of maps into the interval
for some \(\epsilon _{k_1-1,k_1}>0.\) Consequently, without loss of generality we may assume that
At this point we make a simple observation. For any \(\beta \in (1,2)\) and \(0<k_1<M\) we have
Therefore, by continuity there exists parameters \(\gamma >0\) and \(\kappa >0\) such that if
For \(x\in [\frac{k_1-1}{\beta -1}+\epsilon _{k_1-1,k_1},\Pi _{\beta }((k_1,M)^{\infty })]\) it follows from Lemma 2.2 that there exists \(L_2\in \mathbb {N},\) such that the unique minimal \(l_2\ge 0\) such that \(T_{k_1-1}^{l_2}(x)\in [\frac{k_1}{\beta -1},\frac{M}{\beta -1}]\) is bounded above by \(L_2\).
If \(l_2=0\) and \(x\in [\frac{k_1}{\beta -1}+\gamma ,\Pi _{\beta }((k_1,M)^{\infty })],\) then x is a uniformly bounded distance away from the fixed point \(\frac{k_1}{\beta -1}\). Therefore, by Lemma 2.2 our point x can be mapped into \([\Pi _{\beta }((k_1,M)^{\infty }),\Pi _{\beta }((M,k_1-1)^{\infty })]\) by a bounded number of maps. If \(x\in [\frac{k_1}{\beta -1},\frac{k_1}{\beta -1}+\gamma ]\) then we apply \(T_{k_1-1}\) to x. By (2.11) the point \(T_{k_1-1}(x)\) is a uniformly bounded distance away from the endpoints of \(I_{\beta ,k_1,M}.\) Therefore by Lemma 2.2 we can bound the number of maps required to map \(T_{k_1-1}(x)\) into \([\Pi _{\beta }((k_1,M)^{\infty }),\Pi _{\beta }((M,k_1)^{\infty })].\)
If \(l_2\ge 1\) then either
In the first case we proceed as in the case where \(l_2=0\) and apply \(T_{k_1-1}\) once more to ensure \(T_{k_1-1}^{l_2+1}(x)\) is a bounded distance from the endpoints of \(I_{\beta ,k_1,M}.\) In the second case we are already a uniformly bounded distance away from the endpoints of \(I_{\beta ,k_1,M}.\) It follows from Lemma 2.2 that \(T_{k_1-1}^{l_2}(x)\) can be mapped into \([\Pi _{\beta }((k_1,M)^{\infty }),\Pi _{\beta }((M,k_1)^{\infty })]\) using a bounded number of maps.
Case 4\((k_1=0,k_2<M)\). The proof of Case 4 is analogous to the the proof of Case 3. \(\square \)
The following lemma tells us that if x is in the interior of an \(I_{\beta ,k_1,k_2}\) and a bounded distance from its endpoints, then we can map x into the intervals appearing in Lemma 2.3 using a bounded number of maps.
Lemma 2.5
Let \(M\in \mathbb {N}\), \(\beta \in (1,\beta _n)\) and \(\epsilon >0\). There exists \(L\in \mathbb {N},\) such that for any \(k_1<k_2\) and \(x\in [\frac{k_1}{\beta -1}+\epsilon ,\frac{k_2}{\beta -1}-\epsilon ],\) there exists \(\eta ^1\in \cup _{j=0}^{L}\{T_{k_1},T_{k_2}\}^j\) satisfying
Similarly, there exists \(\eta ^2\in \cup _{j=0}^{L}\{T_{k_1}, T_{k_2}\}^j\) satisfying
Proof
Let us start by fixing \(k_1< k_2\) and \(x\in [\frac{k_1}{\beta -1}+\epsilon ,\frac{k_2}{\beta -1}-\epsilon ].\) We will only show that there exists \(L_{k_1,k_2}\in \mathbb {N}\) and \(\eta ^1\in \cup _{j=0}^{L_{k_1,k_2}}\{T_{k_1},T_{k_2}\}^{j}\) such that (2.12) holds. The existence of an \(L_{k_1,k_2}\) and an \(\eta ^2\in \cup _{j=0}^{L}\{T_{k_1}, T_{k_2}\}^{L}\) such that (2.13) holds follows by a similar argument. To finish the proof of the lemma we take \(L=\max _{k_1,k_2} L_{k_1,k_2}.\)
If
there is nothing to prove. Suppose \(x>\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty }),\) then repeated iteration of \(T_{k_2}\) eventually maps x into \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty })]\) by Lemma 2.2. The fact the number of iterations of \(T_{k_2}\) required to do this is bounded also follows from Lemma 2.2 and the fact \(x<\frac{k_2}{\beta -1}-\epsilon \). If \(x<\Pi _{\beta }((k_1,k_2^n)^{\infty })\) then repeated iteration of \(T_{k_1}\) maps x into \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),T_{k_1}(\Pi _{\beta }((k_1,k_2^n)^{\infty }))].\) Lemma 2.2 and the fact \(x>\frac{k_1}{\beta -1}+\epsilon \) implies that the number of maps required to map x into \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),T_{k_1}(\Pi _{\beta }((k_1,k_2^n)^{\infty }))]\) can be bounded above. If x has been mapped into \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty })]\) then we are done. If not then x has been mapped into \((\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty }),T_{k_1}(\Pi _{\beta }((k_1,k_2^n)^{\infty }))].\) Since \(\beta \in (1,\beta _n)\) we know by Lemma 2.3 that
Therefore \(T_{k_1}(\Pi _{\beta }((k_1,k_2^n)^{\infty }))\) is some uniformly bounded distance away from \(\frac{k_2}{\beta -1}\). Consequently, the image of x within \((\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty }),T_{k_1}(\Pi _{\beta }((k_1,k_2^n)^{\infty }))]\) is some uniformly bounded distance away from \(\frac{k_2}{\beta -1}.\) We now repeat our initial argument in the case where \(x>\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty })\) to complete our proof. \(\square \)
The following lemma follows from the proof of Lemma 2.5. It poses greater restrictions on the orbit of x under \(\eta \).
Lemma 2.6
Let \(M\in \mathbb {N}\) and \(\beta \in (1,\beta _n)\). Then there exists \(L\in \mathbb {N}\), such that for any \(k_1<k_2\) and \(x\in D_{\beta ,k_1,k_2,n}\), there exists \(\eta ^1\in \cup _{j=0}^L\{T_{k_1},T_{k_2}\}\) satisfying
and
Similarly, there exists \(\eta ^2\in \cup _{j=0}^{L}\{T_{k_1}, T_{k_2}\}^j\) satisfying
and
Lemma 2.6 gives conditions ensuring that the orbit of x under \(\eta \) stays within the interval \(D_{\beta ,k_1,k_2,n}\). This property will be useful when we want our orbit to be mapped into yet another \(D_{\beta ,k_1',k_2',n}.\)
The following lemma shows that if x is contained in \(D_{\beta ,M,n},\) then x can be mapped into the intervals appearing in Lemma 2.3 using a bounded number of maps.
Lemma 2.7
Let \(M\in \mathbb {N}\) and \(\beta \in (1,\beta _n).\) Then there exists \(L\in \mathbb {N}\), such that for any \(x\in D_{\beta ,M,n}\) and \(k_1,k_2\in \{0,\ldots ,M\}\) satisfying \(k_1<k_2\), there exists \(\eta ^1\in \cup _{j=0}^{L}\{T_0,\ldots , T_M\}^j\) satisfying
Similarly, there exists \(\eta ^2\in \cup _{j=0}^{L}\{T_0,\ldots , T_M\}^j\) satisfying
Proof
Lemma 2.7 follows almost immediately from Lemmas 2.4 and 2.5. We include the proof for completion. Let us start by emphasising \(D_{\beta ,M,n}\subseteq (0,\frac{M}{\beta -1})\) for \(\beta \in (1,\beta _n)\) and so is contained in \([\delta ,\frac{M}{\beta -1}-\delta ]\) for some \(\delta \) depending on M and \(\beta \). Now fix \(x\in D_{\beta ,M,n}.\) By Lemma 2.4 there exists a bounded number of transformations that map x into \([\frac{k_1}{\beta -1}+\epsilon ,\frac{k_2}{\beta -1}-\epsilon ]\) for some \(\epsilon >0\). Applying Lemma 2.5 to the image of x within \([\frac{k_1}{\beta -1}+\epsilon ,\frac{k_2}{\beta -1}-\epsilon ]\) allows us to assert that there exists a bounded number of maps that map this image of x into \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty })]\). Hence our \(\eta ^1\) exists. The existence of \(\eta ^2\) follows from an analogous argument. \(\square \)
3 Proofs of Theorems 1.2 and 1.4
We now proceed with our proof of Theorem 1.2. Our proof relies on the following two propositions.
Proposition 3.1
Let \(M\in \mathbb {N}\) and \(\beta \in (1,\beta _n).\) There exists \(C>0\) such that, for any \(k_1<k_2\), \(x\in D_{\beta ,k_1,k_2,n},\) and \(\mathbf p =(p_{k_1},p_{k_2})\in \Delta _{1,\frac{1}{n+1}},\) there exists \(\tau \in \{T_{k_1},T_{k_2}\}^{\infty }\) satisfying
-
1.
\((\tau _N\circ \cdots \circ \tau _1)(x)\in D_{\beta ,k_1,k_2,n}\) for all \(N\in \mathbb {N},\)
-
2.
\(\Big | |(\tau _i)_{i=1}^N|_{k_1}-p_{k_1}N\Big |\le C \quad \text {for all}\quad N\in \mathbb {N},\)
-
3.
\( \Big | |(\tau _i)_{i=1}^N|_{k_2}-p_{k_2}N\Big |\le C \quad \text {for all}\quad N\in \mathbb {N}.\)
Proof
The proof of Proposition 3.1 relies on devising an algorithm that yields the desired \(\tau \). At each step in the algorithm we should check rigorously that properties (1), (2), and (3) hold. However, for the sake of brevity we simply state here that property (1) will hold since \(\tau \) will be constructed by concatenating maps of the form guaranteed by Lemma 2.6, maps from \([\Pi _{\beta }((k_1,k_2^n)^{\infty }),\Pi _{\beta }((k_2,k_1,k_2^{n-1})^{\infty })]\) to itself of the form \(T_{k_2}^l\circ T_{k_1}\), and maps from \([\Pi _{\beta }((k_1,k_2,k_1^{n-1})^{\infty }),\Pi _{\beta }((k_2,k_1^n)^{\infty })]\) to itself of the form \(T_{k_1}^l\circ T_{k_2}\). Also, note that since \(\tau \) will be an element of \(\{T_{k_1},T_{k_2}\}^{\mathbb {N}},\) property (2) is equivalent to property (3). So it suffices to prove property (2).
By Lemma 2.6 we can assume without loss of generality that
Step 1 For \(x\in [\Pi _{\beta }((k_1,k_2,k_1^{n-1})^{\infty }),\Pi _{\beta }((k_2,k_1^n)^{\infty })]\) we have
for some \(n\le l_1\le n'\) by Lemmas 2.2 and 2.3. Importantly \(n'\) depends solely upon M and \(\beta \). Let \(\tau ^1=(T_{k_2},T_{k_1}^{l_1})\). Note that
Step 2 At this point we remark that
This is because \(p_{k_1}\le \frac{n}{n+1}\) and \(l_1\ge n\). We now apply Lemma 2.6 to \(\tau ^1(x)\). There exists \(L\in \mathbb {N}\) and \(\eta ^1\in \cup _{j=0}^L\{T_{k_1},T_{k_2}\}^j,\) such that
We let \(\kappa ^1=(\tau ^1,\eta ^1)\) and observe
At this point we examine the sign of
If (3.4) is negative we stop and let \(\tau ^2=\kappa ^1\). Note that if this is the case then by (3.1) we have
Suppose (3.4) is positive, we then use (3.2) to assert that there exists \(n\le l_2\le n'\) such that
where \(n'\) is as above and depends only upon M and \(\beta \). Letting \(\kappa ^2=(\kappa ^1,T_{k_1},T_{k_2}^{l_2})\) we see that (3.3) implies
We trivially have
Since \(p_{k_1}\ge \frac{1}{n+1}\) and \(l_2\ge n\) we have
Equation (3.6) when combined with (3.3) and the assumption (3.4) is positive implies
At this point we examine the sign of
If (3.8) is negative we stop and let \(\tau ^2=\kappa ^2.\) In which case
If (3.8) is positive then we repeat our previous step with \(\kappa ^1(x)\) replaced with \(\kappa ^2(x)\). So there exists \(n\le l_3\le n'\) such that
Let \(\kappa ^3=(\kappa ^2,T_{k_1},T_{k_2}^{l_3}).\) Then by (3.5) and (3.7) we have
Moreover, we also have
If \(|\kappa ^3|_{k_1}-p_{k_1}|\kappa ^3|\le 0\) we stop and let \(\tau ^2=\kappa ^3\). If \(|\kappa ^3|_{k_1}-p_{k_1}|\kappa ^3|\) is positive we can repeat this process. We iteratively define \(\kappa ^4,\kappa ^5,\ldots ,\) etc. We stop if
for some j. Assume \(j^*\) is the smallest such j such that (3.11) occurs. We then let \(\tau ^2=\kappa ^{j^*}\). Importantly, analogues of (3.9) and (3.10) hold for each intermediate \(\kappa \) term. Consequently
and
We also remark that at this point
If there does not exist a j such that (3.11) occurs, then we let \(\tau \in \{T_{k_1},T_{k_2}\}^{\mathbb {N}}\) be the infinite sequence we attain as the limit of the \(\kappa ^j\). Since each \(\kappa ^{j}\) is a prefix of \(\kappa ^{j'}\) for any \(j'>j\) the infinite sequence \(\tau \) is well defined. In this case the following holds for each \(j\in \mathbb {N}\)
Consequently,
So in this case \(\tau \) would satisfy property (2).
Step\(j+1\) Suppose we have constructed \(\tau ^j\) such that
Moreover, assume \(\tau ^j\) satisfies
or
Note that at the end of Step 2 the sequence \(\tau ^2\) we’ve constructed satisfies the first condition and (3.13).
Assume (3.13) holds, the case where (3.12) holds is handled similarly. We now essentially repeat the argument given in Step 2. By Lemma 2.6 we can map \(\tau ^j(x)\) into \([\Pi _{\beta }((k_1,k_2,k_1^{n-1})^{\infty }),\Pi _{\beta }((k_2,k_1^n)^{\infty })]\) using at most L maps. We then repeatedly map this image of \(\tau ^j(x)\) back into \([\Pi _{\beta }((k_1,k_2,k_1^{n-1})^{\infty }),\Pi _{\beta }((k_2,k_1^n)^{\infty })]\) using maps of the form \(T_{k_1}^{l}\circ T_{k_2}\) where \(n\le l\le n'\). We stop if we observe a change of sign. If we observe a change of sign the sequence we will have constructed is our \(\tau ^{j+1}\). It can be shown that this \(\tau ^{j+1}\) will then satisfy
and
as required. If we never observe a sign change, then the infinite sequence we attain is our desired \(\tau \). It satisfies
Clearly we can either repeat step \(j+1\) indefinitely, in which case the infinite limit of the \(\tau ^j\)’s will satisfy property (2) by (3.14), or at some point \(\tau ^j\) does not give rise to an \(\tau ^{j+1}\). This is the case where we do not observe a sign change. In this case, the infinite sequence we would obtain by repeatedly applying either \(T_{k_2}^l\circ T_{k_1}\) or \(T_{k_1}^l\circ T_{k_2}\) satisfies property (2). In either case the desired \(\tau \) exists and we can take \(C=2n'+L+2.\)\(\square \)
Proposition 3.1 has the useful consequence that for any \(N\in \mathbb {N},\) the sequence \((\tau _1,\ldots ,\tau _N)\) has \(k_1\) frequency approximately \(p_{k_1}\) and \(k_2\) frequency approximately \(p_{k_2}\). We will use this fact in the proof of Theorem 1.2.
Given \(\epsilon >0\) recall that
Clearly \(\Delta _{M,\epsilon }\) is a compact, convex subset of \(\mathbb {R}^{M+1}\). It is a simple exercise to check that it’s extremal points are all the vectors of the form \(\mathbf q _{\epsilon ,k_1,k_2}=(q_{\epsilon ,0},\ldots ,q_{\epsilon ,M})\) where all entries are zero apart from \(q_{\epsilon ,k_1}=1-\epsilon \), \(q_{\epsilon ,k_2}=\epsilon .\)
Given \(k_1,k_2\in \{0,\ldots ,M\}\) such that \(k_1\ne k_2,\) not necessarily \(k_1<k_2\), let \(\mathbf v _{n,k_1,k_2}=(v_0,\ldots ,v_M)\) where all entries are zero apart from \(v_{k_1}=\frac{n}{n+1}\) and \(v_{k_2}=\frac{1}{n+1}.\) In the following we denote the convex hull of a finite set of vectors by \(\text {Conv}(\cdot ).\)
Proposition 3.2
For any \(n\in \mathbb {N}\) such that \(\frac{1}{n+1}\le \epsilon \) we have
Proof
By the Krein–Milman theorem (see [11]) it suffices to check that the extremal points of \(\Delta _{M,\epsilon }\) are in the convex hull of \(\{\mathbf{v }_{n,k_1,k_2}\}_{k_1,k_2}\). However, for any \(\frac{1}{n+1}\le \epsilon \) we clearly have that \(\mathbf q _{\epsilon ,k_1,k_2}\) is a convex combination of \(\mathbf v _{n,k_1,k_2}\) and \(\mathbf v _{n,k_2,k_1}.\)\(\square \)
Equipped with Propositions 3.1 and 3.2 we are now in a position to prove Theorem 1.2. Before giving our proof we give an outline of our argument. Suppose \(\beta \in (1,\beta _n)\) and \(\mathbf p \in \Delta _{M,\frac{1}{n+1}}\). By Proposition 3.1 we know that for each \(k_1\ne k_2\) we can construct finite sequences of maps \(\tau _{k_1,k_2}\) of an arbitrary length with frequencies equal to \(\frac{n}{n+1}\) and \(\frac{1}{n+1}\) up to a bounded error term. By Proposition 3.2 we know that \(\mathbf{p }\in \text {Conv}(\{\mathbf{v }_{n,k_1,k_2}\}_{k_1,k_2})\). This proposition guarantees the existence of weights that may be used to construct \(\mathbf p \) from the frequencies of the different \(\tau _{k_1,k_2}\). The problem is that we cannot freely concatenate the \(\tau _{k_1,k_2}.\) We have to travel between the \(D_{\beta ,k_1,k_2,n}\) which introduces an error. However, by Lemma 2.7 this error can always be bounded. Consequently by taking repeatedly larger \(\tau _{k_1,k_2}\) this error becomes progressively more negligible, meaning the limiting sequence we construct will achieve the desired frequency \(\mathbf p \).
Proof of Theorem 1.2
Fix \(n\in \mathbb {N}\) and \(\mathbf p =(p_0,\ldots ,p_M)\in \Delta _{M,\frac{1}{n+1}}.\) To prove Theorem 1.2 it suffices to show that for any \(\beta \in (1,\beta _n)\) and \(x\in (0,\frac{M}{\beta -1})\) we have \(\mathbf p \in \Delta _{M,\beta }(x)\).
By Proposition 3.2 there exists \(r_{k_1,k_2}\) for all \(k_1\ne k_2\) such that \(r_{k_1,k_2}\ge 0,\)
and
Evaluating (3.15) and using the definition of \(\mathbf v _{n,k_1,k_2}\) we have the following componentwise formula,
for any \(k\in \{0,\ldots ,M\}.\) Labelling terms we can write \(\{(k_1,k_2):k_1\ne k_2\}=\{(k_1^p,k_2^p)\}_{p=1}^{M(M+1)}.\) Let us now fix a sequence of natural numbers \((N_i)\) such that \(N_i\rightarrow \infty ,\)
and
For example one could take \(N_i=i^2\). To each \((k_1^p,k_2^p)\) and \(i\in \mathbb {N}\) we associate
where \(\lfloor \cdot \rfloor \) denotes the integer part. We now devise an algorithm to construct the desired \(\alpha \).
Step 1 Without loss of generality we may assume that \(x\in D_{\beta ,k_1^1,k_2^1,n}.\) By Proposition 3.1 we can construct \(\tau ^{1,1}\) such that \(\tau ^{1,1}(x) \in D_{\beta ,k_1^1,k_2^1,n}\), \(\tau ^{1,1}\in \{T_{k_1^1},T_{k_2^1}\}^{N_{1,k_1^1,k_2^1}},\)
and
Since \(\tau ^{1,1}(x) \in D_{\beta ,k_1^1,k_2^1,n}\) we can apply Lemma 2.7 to \(\tau ^{1,1}(x)\) to obtain \(\eta ^{1,1}\) such that \(|\eta ^{1,1}|\le L\) and
Let \(\psi ^{1,1}:=(\tau ^{1,1},\eta ^{1,1}).\)
Since \(\psi ^{1,1}(x) \in D_{\beta ,k_1^2,k_2^2,n},\) we know by Proposition 3.1 that there exists \(\tau ^{1,2}\) such that \((\tau ^{1,2}\circ \psi ^{1,1})(x)\in D_{\beta ,k_1^2,k_2^2,n}\), \(\tau ^{1,2}\in \{T_{k_1^2},T_{k_2^2}\}^{N_{1,k_1^2,k_2^2}},\)
and
Since \((\tau ^{1,2}\circ \psi ^{1,1})(x)\in D_{\beta ,k_1^2,k_2^2,n}\) we can apply Lemma 2.7 to \((\tau ^{1,2}\circ \psi ^{1,1})(x)\) to obtain \(\eta ^{1,2}\) such that \(|\eta ^{1,2}|\le L\) and \((\eta ^{1,2}\circ \tau ^{1,2}\circ \psi ^{1,1})(x)\in D_{\beta ,k_1^3,k_2^3,n}.\) Let \(\psi ^{1,2}:=(\psi ^{1,1},\tau ^{1,2},\eta ^{1,2}).\)
We repeat this argument until eventually we obtain a sequence \(\psi ^{1}\) of the form
such that \(|\eta ^{1,p}|\le L\) for all \(1\le p\le M(M+1)\), \(\tau ^{1,p}\in \{T_{k_1^p},T_{k_2^p}\}^{N_{1,k_1^p,k_2^p}}\) for all \(1\le p\le M(M+1)\), \(\psi ^{1}(x)\in D_{\beta ,k_1^1,k_2^1,n},\)
and
for all \(1\le p\le M(M+1)\). Let \(\alpha ^1=\psi ^1.\)
Step\(j+1\) Suppose we have constructed \((\psi ^{i})_{i=1}^j\) and \((\alpha ^{i})_{i=1}^j\) which satisfy
-
1.
For each \(1\le i\le j\)
$$\begin{aligned} \alpha ^i=(\psi ^1,\ldots ,\psi ^i) \end{aligned}$$and \(\alpha ^{i}(x)\in D_{\beta ,k_1^1,k_2^1,n}.\)
-
2.
For each \(1\le i \le j\)
$$\begin{aligned} \psi ^i=\left( \tau ^{i,1},\eta ^{i,1},\ldots , \tau ^{i,M(M+1)},\eta ^{i,M(M+1)}\right) . \end{aligned}$$ -
3.
For each \(1\le i\le j\) and \(1\le p\le M(M+1)\) we have \(|\eta ^{i,p}|\le L.\)
-
4.
For each \(1\le i\le j\) and \(1\le p\le M(M+1)\) we have \(\tau ^{i,p}\in \{T_{k_1^p},T_{k_2^p}\}^{N_{i,k_1^p,k_2^p}}.\)
-
5.
For each \(1\le i\le j\) and \(1\le p\le M(M+1)\) we have
$$\begin{aligned} \Big | |(\tau ^{i,p})|_{k_1^p}-\frac{n\cdot N_{i,k_1^p,k_2^p}}{n+1}\Big |\le C \end{aligned}$$(3.20)and
$$\begin{aligned} \Big ||(\tau ^{i,p})|_{k_2^p}-\frac{N_{i,k_1^p,k_2^p}}{n+1}\Big |\le C. \end{aligned}$$(3.21)
Repeating the argument given in Step 1 with x replaced by \(\alpha ^j(x)\) we obtain a sequence
such that \(\psi ^{j+1,N}(\alpha ^{j}(x))\in D_{\beta ,k_1^1,k_2^1,n}\), \(|\eta ^{j+1,p}|\le L\) for all \(1\le p\le M(M+1)\), \(\tau ^{j+1,p}\in \{T_{k_1^p},T_{k_2^p}\}^{N_{j+1,k_1^p,k_2^p}}\) for all \(1\le p\le M(M+1),\)
and
for all \(1\le p\le M(M+1)\). We then let
Clearly \(\psi ^{j+1}\) and \(\alpha ^{j+1}\) satisfy properties \((1)-(5)\). This completes our inductive step.
By property (1) above it follows that \(\alpha ^{j}\) is prefix of \(\alpha ^{j'}\) for any \(j'>j\), so the limiting infinite sequence \(\alpha \) is well defined. Clearly \(\alpha \in \Omega _{\beta ,M}(x)\) by property (1). By Lemma 2.1 to prove our theorem it remains to show that \(\alpha \) satisfies the required digit frequency properties.
Observe that for any \(i\in \mathbb {N}\) we have
Equation (3.22) follows from properties (2), (3), and (4). It follows from (3.19), (3.22), and the fact \(\sum _{p=1}^{M(M+1)} r_{k_1^p,k_2^p}=1\) that
for all \(i\in \mathbb {N}\). What is more, for any \(i\in \mathbb {N}\) and \(k\in \{0,\ldots ,M\},\) it follows from properties (2) and (4), and equations (3.20) and (3.21) that
Using (3.19) we obtain
Applying (3.16) we see that
For any \(n\in \mathbb {N}\) there exists \(j\in \mathbb {N}\) such that \(|\alpha ^{j}| \le n<|\alpha ^{j+1}|.\) Therefore for any \(k\in \{0,\ldots ,M\}\) we have
It follows from the above, (3.17), and (3.18) that
Similarly, one can show that
Consequently
Since k was arbitrary this completes our proof. \(\square \)
Proof of Theorem 1.4
The proof of Theorem 1.4 is an adaptation of the proof of Theorem 1.2. As such we just provide an outline and leave the details to the interested reader. Let D and \((p_k)_{k\in D^c}\) be as in the statement of Theorem 1.4. Under the assumptions of this theorem there exists \(\mathbf q \in \Delta _{M,\frac{1}{n+1}}\) and \(\mathbf q '\in \Delta _{M,\frac{1}{n+1}}\) such that \(q_k\ne q_k'\) for all \(k\in D\), and \(q_k=q_k'=p_k\) for all \(k\in D^c\).
Given an \(x\in (0,\frac{M}{\beta -1})\) we can carefully go through the argument given in the proof of Theorem 1.2 to construct an \(\alpha \in \Omega _{\beta ,M}(x)\) satisfying the following three properties:
-
1.
There exists a sequence \((N_p)\) such that
$$\begin{aligned} \lim _{p\rightarrow \infty }\frac{|(\alpha _l)_{l=1}^{N_p}|_k}{N_p}=q_k \end{aligned}$$for all \(k\in D.\)
-
2.
There exists a sequence \((N_j')\) such that
$$\begin{aligned} \lim _{j\rightarrow \infty }\frac{|(\alpha _l)_{l=1}^{N_j'}|_k}{N_j'}=q_k' \end{aligned}$$for all \(k\in D.\)
-
3.
For all \(k\in D^c\) we have
$$\begin{aligned} \lim _{n\rightarrow \infty }\frac{|(\alpha _l)_{l=1}^{n}|_k}{n}=p_k. \end{aligned}$$
Since \(q_k\ne q_k'\) for all \(k\in D\) it follows that \(\alpha \) satisfies the required digit frequency properties.
To construct the \(\alpha \in \Omega _{\beta ,M}(x)\) described above one proceeds initially as in the proof of Theorem 1.2 as if we were trying to build an expansion with digit frequencies described by the vector \(\mathbf q \). Once we have a sufficiently good approximation to \(\mathbf q \) we change our algorithm to construct an expansion with digit frequencies described by \(\mathbf q ',\) then once we have a sufficiently good approximation to \(\mathbf q '\) we switch back to \(\mathbf q \) and so on. \(\square \)
4 Proof of Theorem 1.6
In this section we prove Theorem 1.6. We split the proof into the following two propositions.
Proposition 4.1
For all \(n\in \mathbb {N}\) we have
Proof
Recall that \(\beta _n\) is the unique solution in (1, 2) of the polynomial
Evaluating \(f_n\) at \(1+\frac{\log n -\log \log n}{n}\) we obtain
To obtain the third line above we used the fact that \((1+\frac{x}{n})^n\le e^x\) for all \(x\ge 0\). Since \(f_n(1)<0\) and \(f_n'(x)>1\) for all \(x\ge 1\) it follows from the above that \(1+\frac{\log n -\log \log n}{n}< \beta _n.\)\(\square \)
Proposition 4.2
For any \(M\in \mathbb {N}\) we have
Proof
Fix \(n\in \mathbb {N}\) and \(M\in \mathbb {N}\). For any \(\epsilon \in (0,\frac{n}{n+1})\), \(N\in \mathbb {N}\) and \(k\in \{0,\ldots ,M\},\) let
Using a large deviation result of Hoeffding, in particular by Theorem 1 from [17] applied with respect to the uniform measure, one can show that
Suppose now that
We will show that
has Lebesgue measure zero for all \(\beta \) satisfying (4.2). We start by remarking that
for any \(k \in \{0,\ldots ,M\}\) and \(\epsilon >0\). We show that the right hand side of (4.3) has zero Lebesgue measure. Denoting by \(\mathcal {L}\) the Lebesgue measure, it suffices to show by the Borel–Cantelli lemma that
Which at once follows from
where the final inequality holds by (4.1) and (4.2). It follows that
has Lebesgue measure zero. So we may conclude that
Since \(\epsilon \) is arbitrary it follows that
Observe that
for all \(n\in \mathbb {N}\). Substituting this bound into (4.4) we obtain
Using the expansion of \(e^x=1+x+\mathcal {O}(x^2)\) we obtain
\(\square \)
5 Applications to biased Bernoulli convolutions
Given \(M\in \mathbb {N}\) and \(\mathbf q =(q_0,\ldots , q_M)\in \Delta _M,\) one can define a product measure \(\mathbb {P}_\mathbf{q }:=\prod _{1}^{\infty }\{q_0,\ldots ,q_M\}\) on \(\{0,\ldots ,M\}^{\mathbb {N}}.\) Given a \(\beta >1\), one then defines the Bernoulli convolution associated to \(\mathbf q \) via the equation
where E is an arbitrary Borel subset of \(\mathbb {R}\). Bernoulli convolutions have been studied since the 1930’s. They’ve connections with algebraic numbers, dynamical systems, and fractal geometry. The fundamental question surrounding Bernoulli convolutions is to determine those \(\beta \in (1,M+1]\) and \(\mathbf q \in \Delta _M\) such that \(\mu _\mathbf{q }\) is absolutely continuous with respect to the Lebesgue measure. For more on this class of measures we refer the reader to the surveys of Peres et al. [24], and Varju [25].
Given \(x\in I_{\beta ,M}\) one defines the lower and upper local dimensions of \(\mu _\mathbf{q }\) at x to be
respectively. These quantities describe how the measure \(\mu _\mathbf{q }\) scales locally around a point x. We remark that when it comes to calculating \(\underline{d}_{\mu _\mathbf{q }}\) and \(\overline{d}_{\mu _\mathbf{q }}\) it suffices to consider sequences of the form \(r_N:=\frac{M}{\beta ^N(\beta -1)}\).
Proposition 5.1
Let \(x\in I_{\beta ,M}\) and \(\mathbf p \in \Delta _{M}\). Suppose there exists \((a_i)\in \Sigma _{\beta ,M}(x)\) satisfying \(\text {freq}_{k}(a_i)=p_k\) for all \(0\le k\le M.\) Then
Proof
For any \(x\in I_{\beta ,M}\) and \((a_i)\in \Sigma _{\beta ,M}(x)\) we have
In which case it follows from the definition of \(\mu _\mathbf{q }\) that
Consequently,
\(\square \)
Given q as above we let
The following result follows immediately from Theorem 1.2 and Proposition 5.1.
Corollary 5.2
Let \(M\in \mathbb {N}\) and \(\beta \in (1,\beta _n).\) Then for any \(\mathbf q \) as above and \(x\in (0,\frac{M}{\beta -1})\) we have
As an example, choosing \(M=2\), \(\beta =1.28,\) and \(\mathbf q =(0.8,0.15,0.05),\) Corollary 5.2 can be applied with \(n=5\) to show that
for all \(x\in (0,\frac{M}{\beta -1}).\)
Similarly, combining Theorem 1.1 and Proposition 5.1 we conclude the following statement.
Corollary 5.3
Let \(M=1\) and \(\beta \in (1,\beta _T].\) Then for any \(\mathbf q =(q_1,q_2)\) and \(x\in (0,\frac{1}{\beta -1})\) we have
References
Baker, S.: Digit frequencies and self-affine sets with non-empty interior. Ergod. Theory Dyn. Syst. https://doi.org/10.1017/etds.2018.127
Baker, S.: Generalised golden ratios over integer alphabets. Integers 14, Paper No. A15 (2014)
Baker, S.: On small bases which admit countably many expansions. J. Number Theory 147, 515–532 (2015)
Baker, S.: The growth rate and dimension theory of beta-expansions. Fund. Math. 219(3), 271–285 (2012)
Baker, S., Kong, D.: Numbers with simply normal \(\beta \)-expansions. Math. Proc. Camb. Philos. Soc. https://doi.org/10.1017/S0305004118000270
Baker, S., Sidorov, N.: Expansions in non-integer bases: lower order revisited. Integers 14, Paper No. A57 (2014)
Besicovitch, A.S.: On the sum of digits of real numbers represented in the dyadic system. Math. Ann. 110(1), 321–330 (1935)
Borel, E.: Les probabilités dénombrables et leurs applications arithmétiques. Rend. Circ. Mat. Palermo 27, 247–271 (1909)
Boyland, P., de Carvalho, A., Hall, T.: On digit frequencies in \(\beta \)-expansions. Trans. Am. Math. Soc. 368(12), 8633–8674 (2016)
Dajani, K., Jiang, K., Kempton, T.: Self-affine sets with positive Lebesgue measure. Indag. Math. 25, 774–784 (2014)
Dunford, N., Schwartz, J.: Linear Operators, Part 1. Interscience, New York (1958)
Eggleston, H.: The fractional dimension of a set defined by decimal properties. Q. J. Math. Oxf. Ser. 20, 31–36 (1949)
Fan, A., Liao, L., Ma, J., Wang, B.: Dimension of Besicovitch–Eggleston sets in countable symbolic space. Nonlinearity 23(5), 1185–1197 (2010)
Güntürk, C.S.: Simultaneous and hybrid beta-encodings. In: CISS 2008. 42nd Annual Conference on Information Sciences and Systems, pp. 743–748 (2008)
Hare, K., Sidorov, N.: On a family of self-affine sets: topology, uniqueness, simultaneous expansions. Ergod. Theory Dyn. Syst. 37(1), 193–227 (2017)
Hochman, M., Shmerkin, P.: Equidistribution from fractal measures. Invent. Math. 202(1), 427–479 (2015)
Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58, 13–30 (1963)
Jordan, T., Shmerkin, P., Solomyak, B.: Multifractal structure of Bernoulli convolutions. Math. Proc. Camb. Philos. Soc. 151(3), 521–539 (2011)
Parry, W.: On the \(\beta \)-expansions of real numbers. Acta Math. Acad. Sci. Hung. 11, 401–416 (1960)
Rényi, A.: Representations for real numbers and their ergodic properties. Acta Math. Acad. Sci. Hung. 8, 477–493 (1957)
Sidorov, N.: Almost every number has a continuum of \(\beta \)-expansions. Am. Math. Monthly 110, 838–842 (2003)
Sidorov, N.: Combinatorics of linear iterated function systems with overlaps. Nonlinearity 20(5), 1299–1312 (2007)
Sidorov, N.: Expansions in non-integer bases: lower, middle and top orders. J. Number Theory 129, 741–754 (2009)
Peres, Y., Schlag, W., Solomyak, B.: Sixty years of Bernoulli convolutions. In: Fractal Geometry and Stochastics, II (Greifswald/Koserow, 1998), pp. 39–65, Progr. Probab., vol. 46. Birkhäuser, Basel (2000)
Varju, P.: Recent progress on Bernoulli convolutions. arXiv:1608.04210 [math.CA]
Acknowledgements
This research was supported by the EPSRC Grant EP/M001903/1. The author would like to thank Wolfgang Steiner for posing the question that led to this work, and Thomas Jordan for pointing out the applications to biased Bernoulli convolutions. Part of this work was completed whilst the author was visiting the Mittag-Leffler institute as part of the program “Fractal geometry and Dynamics”. The author thanks the organisers and staff for their support. The author would also like to thank the referees for their comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Bruin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Baker, S. Exceptional digit frequencies and expansions in non-integer bases. Monatsh Math 190, 1–31 (2019). https://doi.org/10.1007/s00605-019-01311-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-019-01311-8