On the location of roots of non-reciprocal integer polynomials

Let P be a polynomial of degree d with integer coefficients such that P(0) ≠ 0. Assuming that P has no reciprocal factors we obtain a lower bound on the modulus of the smallest root of P in terms of its degree d, its Mahler measure M(P) and the number of roots of P lying outside the unit circle, say, k. We derive from this that all d roots of P must lie in the annulus R0 < |z| < R1, where R0 = R0(d, k, M(P)) and R1 = R1(d, k, M(P)) are given explicitly. As an application, for non-reciprocal conjugate algebraic numbers α, α′ of degree d ≥ 2 and of Mahler’s measure M(α), we prove the inequality $${|\alpha\alpha'-1|\,{ > }\,(12M(\alpha)^2 \log M(\alpha))^{-d}}$$. Some lower bounds on the moduli of the conjugates of a Pisot number are also given. In particular, it is shown that if α is a cubic Pisot number, then the disc |z| ≤ α−1 + 0.1999α−2 contains no conjugates of α. Here the constant 0.1999 cannot be replaced by the constant 0.2. We also show that if α is a Pisot number of degree at least 4 and α′ is its conjugate, then |αα′ − 1| > (19α2)−1.

[1]  Ellis Horowitz,et al.  The minimum root separation of a polynomial , 1974 .

[2]  R. Güting,et al.  Polynomials with multiple zeros , 1967 .

[3]  Maurice Mignotte,et al.  Mathematics for computer algebra , 1991 .

[4]  M. Mignotte,et al.  On Algebraic Numbers of Small Height: Linear Forms in One Logarithm , 1994 .

[5]  A. Dubickas,et al.  Large Integer Polynomials in Several Variables. , 2004 .

[6]  F. L. Varpakhovskii A class of realizable propositional formulas , 1972 .

[7]  S. Rump Ten methods to bound multiple roots of polynomials , 2003 .

[8]  M. Mignotte,et al.  POLYNOMIAL ROOT SEPARATION , 2010 .

[9]  K. Mahler An inequality for the discriminant of a polynomial. , 1964 .

[10]  Arnold Schönhage,et al.  Polynomial root separation examples , 2006, J. Symb. Comput..

[11]  C. Siegel,et al.  Algebraic integers whose conjugates lie in the unit circle , 1944 .

[12]  Michel Waldschmidt,et al.  Diophantine Approximation on Linear Algebraic Groups: Transcendence Properties of the Exponential Function in Several Variables , 2000 .

[13]  R. Salem Algebraic numbers and Fourier analysis , 1963 .

[14]  S. Rump Polynomial minimum root separation , 1979 .

[15]  A. Dubickas On the Measure of a Nonreciprocal Algebraic Number , 2000 .

[16]  P. Batra A property of the nearly optimal root-bound , 2004 .

[17]  M. Mignotte,et al.  ON THE DISTANCE BETWEEN ROOTS OF INTEGER POLYNOMIALS , 2004, Proceedings of the Edinburgh Mathematical Society.

[18]  V. K. Jain On Cauchy's bound for zeros of a polynomial , 1990 .

[19]  A. Bazylewicz,et al.  On the product of the conjugates outside the unit circle of an algebraic integer , 1976 .

[20]  F. Ainger The formation and devitrification of oxides on silicon , 1966 .

[21]  Michel Waldschmidt,et al.  Diophantine Approximation on Linear Algebraic Groups , 2000 .

[22]  C. Smyth On the Product of the Conjugates outside the unit circle of an Algebraic Integer , 1971 .