Totally real algebraic integers in small intervals (Q5930984)

The author considers the question of the existence of full sets of conjugates (FCS) of algebraic integers in small intervals. As a corollary of his main result, he shows that for infinitely many integers \(d\) every open interval of length \(4+4(\log\log d)^2/\log d\) contains a FCS of an integer of degree \(d\). This has been known earlier [\textit{A. Dubickas}, Acta Arith. 91, 379-386 (1999; Zbl 0935.11037)] for intervals of length \(4+12(\log\log d)^2/\log d\). Another corollary states that there are infinitely many totally real integers \(\alpha\), not of the form \(2\cos(\pi r)\) with rational \(r\), satisfying \(\house\alpha <2+2(\log\log d)^2/\log d\), with \(d\) being the degree of \(\alpha\). The proof is by explicit construction: it turns out that for every integer \(d\), satisfying a certain divisibility condition, one can find an irreducible polynomial of degree \(d\) which is a linear combination of Chebyshev polynomials with coefficients \(0\pm 1\) and whose roots are all real and lie in an interval of length slightly exceeding \(4\).