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 ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm 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\ldots$, 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, $\neq \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).

Toy Models for D. H. Lehmer's Conjecture

An Elementary Approach To Toy Models For D. H. Lehmer'S Conjecture

Modeling Convolutions of $L$-Functions

Elementary Proof of Lehmer's Conjecture on Non-vanishing of Tau Function

Nahm's Conjecture: Asymptotic Computations and Counterexamples

Non-vanishing Fourier Coefficients of Modular Forms

Minimal models, modular linear differential equations and modular forms of fractional weights

A Note on High-dimensional D. H. Lehmer Problem

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

On some values which do not belong to the image of Ramanujan's tau-function

Spherical designs and modular forms of the $D_4$ lattice

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Taylor expansions of Jacobi forms and linear relations among theta series

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

Mahler Measures and Beilinson's Conjecture for Elliptic Curves over Real Quadratic Fields

On Almost Universal Mixed Sums of Squares and Triangular Numbers

On Bosch-Lütkebohmert-Raynaud's Conjecture I

Sums of squares and sequences of modular forms

Modular forms with non-vanishing central values and linear independence of Fourier coefficients

The Ramanujan and Sato-Tate Conjectures for Bianchi modular forms

Proof of a conjecture of Dahmen and Beukers on counting integral Lam\'{e} equations with finite monodromy