On the distribution of powers of a Gaussian Pisot number (Q2288230)

A Gaussian Pisot number is an algebraic integer \(\alpha\), with modulus greater than one, whose other conjugates, over the Gaussian field \({\mathbb Q}(i)\), are of modulus less than one. In Theorem 1, the author combining the approach of the reviewer [Arch. Math. 95, No. 2, 151--160 (2010; Zbl 1227.11083)] and his own result [Bull. Aust. Math. Soc. 94, No. 2, 245--253 (2016; Zbl 1418.11142)] proves that if \(\alpha\) is a nonreal algebraic number with modulus greater than \(1\) then there is \(\lambda \in {\mathbb C}^*\) such that the sequence of pairs of fractional parts \((\{\Re(\lambda \alpha^n)\}, \{\Im(\lambda \alpha^n)\})\), \(n=1,2,3,\dots\) has a unique limit point if and only if \(\alpha\) is a Gaussian Pisot number with minimal polynomial \(P\) satisfying \(P(1) \geq 2\) or \(\deg P=2\). In Theorem 2, he gives a corresponding version for Gaussian Pisot numbers of the result of Pisot for usual Pisot numbers: if \(\theta\) is a complex number with modulus greater than \(1\) then it is a Gaussian Pisot number if and only if there is \(\lambda \in {\mathbb C}^*\) such that \(\sum_{n=1}^{\infty} \big(\|\Re(\lambda \theta^n)\|^2+\|\Im(\lambda \theta^n)\|^2\big)< \infty.\)