On the sequence of numbers of the form $ε₀ + ε₁q + ... + ε_nq^n$, $ε_i ∈ {0,1}$ (Q4385587)

Let \(k=\varepsilon_0+ 2\varepsilon_1+\dots+2^n\varepsilon_n\) be the dyadic expansion of the nonnegative integer \(k\) and set \(x_k= \varepsilon_0+\varepsilon_1q+\dots+\varepsilon_nq^n\), where \(q\) is a fixed real number with \(1<q<2\). Denote by \(y_0<y_1<y_2<\dots\) the increasing rearrangement of the sequence \((x_k)\) without repetitions. Furthermore, let \(l(q)=\liminf (y_{k+1}-y_k)=\inf (y_{k+1}-y_k)\) and \(L(q)=\limsup (y_{k+1}-y_k)\). Continuing earlier investigations of \textit{P. Erdős}, \textit{I. Jó} and \textit{V. Komornik} [Bull. Soc. Math. Fr. 118, 377--390 (1990; Zbl 0721.11005)] and \textit{P. Erdős, I. Joó} and \textit{M. Joó} [ibid. 120, 507--521 (1992; Zbl 0787.11002)], the authors obtain new estimates of \(l(q)\) and \(L(q)\) for certain special classes of numbers \(1<q<2\). In particular, they prove the following: \(l(q)>0\) for all Pisot numbers and \(L(q)=0\), i.e. \( y_{k+1}-y_k \to 0\) for all transcendental numbers \(1<q<\sqrt 2\).