{"id":"arxiv:1911.10590","kind":"preprint","title":"A proof of the Conjecture of Lehmer","authors":["Jean-Louis Verger-Gaugry"],"author_count":1,"year":2019,"published":"2019-11-24","venue":null,"cited_by":null,"doi":null,"arxiv_id":"1911.10590","nct_id":null,"source_url":"https://arxiv.org/abs/1911.10590","archive_url":"https://space-kitty.com/papers/arxiv:1911.10590","updated":"2021-10-29","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/1911.10590","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_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.NT","math.DS"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}