# A proof of the Conjecture of Lehmer

Preprint · Jean-Louis Verger-Gaugry

- Archive id: arxiv:1911.10590
- Published: 2019-11-24
- arXiv: https://arxiv.org/abs/1911.10590
- Source URL: https://arxiv.org/abs/1911.10590
- PDF: https://arxiv.org/pdf/1911.10590
- Provenance: arxiv

## 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α}(z)$ associated with the dynamical zeta functions $ζ\_{\\houseα}(z)$ of the Rényi--Parry arithmetical dynamical systems ($β$-shift), for $α$ a reciprocal algebraic integer of house $\\houseα$ greater than 1, (ii) the discovery of lenticuli of poles of $ζ\_{\\houseα}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $\\houseα$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\\rm M}\_{r}(\\houseα)$ of the Mahler measure ${\\rm M}(α)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\\rm M}\_{r}(\\houseα)$ as a function of the dynamical degree. The Conjecture of Schinzel-Zassenhaus is proved to be true. A Dobrowolski type minoration of the Mahler measure M$(α)$ is obtained. The universal minorant of M$(α)$ obtained is $θ\_η^{-1} \> 1$, for some integer $η\\geq 259$, where $θ\_η$ is the positive real root of $-1+x+x^η$. The set of Salem numbers is shown to be bounded from below by the Perron number $θ\_{31}^{-1} = 1.08545\\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number $Θ= 1.3247\\ldots$, 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).The dynamical zeta function is used to investigate the domain of very small Mahler measures of algebraic integers in the range (1, 1.176280 . . .\], if any.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.