Periodic representations in algebraic bases (Q1757401)

The authors prove that if \(\beta\) is an algebraic number with \(|\beta|\geq 1\) and no conjugate on the unit circle, then there exists a finite \(\mathcal{A}\subset\mathbb{Z}\) such that every element of \(\mathbb{Q}(\beta)\) can be represented using an eventually periodic \(\beta\)-expansion with digits in \(\mathcal{A}\). This result essentially extends upon a previous work by [\textit{S. Baker} et al., Monatsh. Math. 184, No. 1, 1--19 (2017; Zbl 1396.11010)] by one new key fact: that for every \(n\in\mathbb{N}\) there exist integers \(i,j\) such that \(\beta^i-\beta^j\in n\mathbb{Z}[\beta]\) (Theorem 3.4). To complement the non-constructive proof, the last section gives some computational insight into finding such \(i,j\) and the steps to constructing the sought representation of an arbitrary element of \(\mathbb{Q}(\beta)\).