A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Abstract

The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha )}(z)$ associated with the dynamical zeta functions ${\zeta }_{house(\alpha )}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha )$" greater than 1, (ii) the discovery of lenticuli of poles of ${\zeta }_{house(\alpha )}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha )$ tends to $1^{+}$, giving rise to a continuous lenticular minorant ${\mathrm{M}}_r(house(\alpha ))$ of the Mahler measure $\mathrm{M}(\alpha )$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\mathrm{M}}_r(house(\alpha ))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number ${\theta }_{31}^{-1}=1.08545\dots$, dominant root of the trinomial $-1-z^{30}+z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\ne \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

arXiv comment164 pages

References in corpus (28)

• A family of pseudo-Anosov braids with small dilatation
• The asymptotic behavior of least pseudo-Anosov dilatations
• Pseudo-Anosov stretch factors and homology of mapping tori
• Zeroes of the Jones polynomial
• Towards a Polya-Carlson dichotomy for algebraic dynamics
• On the number of roots of self-inversive polynomials on the complex unit circle
• Les noeuds de Lorenz
• Automorphisms of surfaces: Kummer rigidity and measure of maximal entropy
• On the zeroes of the Alexander polynomial of a Lorenz knot
• On the non-Archimedean metric Mahler measure
• Mahler measures and computations with regulators
• Salem numbers in dynamics of Kähler threefolds and complex tori
• Growth rates of cocompact hyperbolic Coxeter groups and 2-Salem numbers
• Mapping classes associated to mixed-sign Coxeter graphs
• On zeros of self-reciprocal polynomials
• Elliptic fibrations on K3 surfaces and Salem numbers of maximal degree
• Quotient families of mapping classes
• Algebraic degrees of stretch factors in mapping class groups
• Beta-conjugates of real algebraic numbers as Puiseux expansions
• Pseudo-Anosov homeomorphisms on translation surfaces in hyperelliptic components have large entropy
• Linear Mahler Measures and Double L-values of Modular Forms
• Small dilatation homeomorphisms as monodromies of Lorenz knots
• Integrality Properties of Variations of Mahler Measures
• Distribution of reducible polynomials with a given coefficient set
• Computation of Topological Entropy via $\varphi$-expansion, an Inverse Problem for the Dynamical Systems $\beta x+\alpha \mathrm{mod}1$
• Orthogonal decomposition of the space of algebraic numbers and Lehmer's problem
• Mahler measures, K-theory and values of L-functions
• On Salem numbers, expansive polynomials and Stieltjes continued fractions

Cited by in corpus (2)

• On the Reducibility and the Lenticular Sets of Zeroes of Almost Newman Lacunary Polynomials
• A remark on a recent proof of Lehmer's Conjecture [arXiv:1709.03771]