Finite beta-expansions with negative bases (Q1677610)

In the theory of \(\beta\) expansions (in sense of Rényi) of particular interest are bases \(\beta\) for which each element of \({\mathbb Z}[\beta^{-1}]\cap[0,\infty)\) has a finite (greedy) \(\beta\)-expansion. It is said in this case that the base \(\beta\) has property (F). A base \(\beta\) has Property (\(-\)F) (or that it has a negative finiteness property) if each element of \({\mathbb Z}[\beta^{-1}]\) has finite \((-\beta)\)-expansion. In both cases \(\beta\) must be a Pisot number. The authors prove several conditions for classes of Pisot numbers not possessing property (\(-\)F) and possessing it. The first case occurs e.g. if \(\beta\) is the root of a polynomial \(p(x) \in {\mathbb Z}[x]\) with \(| p(-1)| =1\), and the second one e.g. if \(\beta>1\) is a root of \(x^d-mx^{d-1}-\dots-mx-m\) for some positive integers \(d,m\) and \(d\in\{1,3,5\}\). For quadratic Pisot numbers the problem is solved in \textit{Z. Masáková} et al. [Theor. Comput. Sci. 412, No. 8-10, 835--845 (2011; Zbl 1226.11015)]. In the final section of the paper the authors prove a precise bound for the lengths of fractional parts arising in the addition and subtraction of \(-\beta\)-integers, where \(\beta>1\) is a root of \(x^3-m\beta^2-m\beta-m\), \(m\geq1\).