On the topology of polynomials with bounded integer coefficients (Q2633999)

Based on author's abstract: For a real number \(q>1\) and a positive integer \(m\), let \[ Y_m(q)=\left\{ \sum_{i=0}^n \varepsilon_i q^i:\varepsilon_i\in\{ 0,\pm 1,\dots,\pm m\},n=0,1,\dots\right\}. \] Then it is proved that \(Y_m(q)\) is dense in \(\mathbb{R}\) if and only if \(q<m+1\) and \(q\) is not a Pisot number. The proof is based on studying of iterated function system generated by the maps \(\{\phi_i(x)=q^{-1}x+i(1-q^{-1})/m\}_{i=0}^m\). As a corollary, answers to some open questions of \textit{P. Erdős} et al. [Acta Arith. 83, No. 3, 201--210 (1998; Zbl 0896.11006)] and Lau are obtained.