Abstract:Abstract Let n ≥ 2 be an integer and denote by θ n the real root in (0, 1) of the trinomial G n ( X ) = −1 + X + X n . The sequence of Perron numbers ( θ n − 1 ) n ≥ 2 $(\theta _n^{ - 1} )_{n \ge 2} $ tends to 1. We prove that the Conjecture of Lehmer is true for { θ n − 1 | n ≥ 2 } $\{ \theta _n^{ - 1} |n \ge 2\} $ by the direct method of Poincaré asymptotic expansions (divergent formal series of functions) of the roots θ n , z j,n , of G n ( X ) lying in |z| < 1, as a function of n, j only. This method, not yet applied to Lehmer’s problem up to the knowledge of the author, is successfully introduced here. It first gives the asymptotic expansion of the Mahler measures M ( G n ) = M ( θ n ) = M ( θ n − 1 ) ${\rm{M}}(G_n ) = {\rm{M}}(\theta _n ) = {\rm{M}}(\theta _n^{ - 1} )$ of the trinomials G n as a function of n only, without invoking Smyth’s Theorem, and their unique limit point above the smallest Pisot number. Comparison is made with Smyth’s, Boyd’s and Flammang’s previous results. By this method we obtain a direct proof that the conjecture of Schinzel-Zassenhaus is true for { θ n − 1 | n ≥ 2 } $\{ \theta _n^{ - 1} |n \ge 2\} $ , with a minoration of the house , and a minoration of the Mahler measure M( G n ) better than Dobrowolski’s one. The angular regularity of the roots of G n , near the unit circle, and limit equidistribution of the conjugates, for n tending to infinity (in the sense of Bilu, Petsche, Pritsker), towards the Haar measure on the unit circle, are described in the context of the Erdős-Turán-Amoroso-Mignotte theory, with uniformly bounded discrepancy functions.

A quantitative converse of Fekete's theorem

An effective version of Fekete's theorem

Quantum-Logics-Valued Measure Convergence Theorem

Limiting distributions of conjugate algebraic integers

On Effective Convergence in Fekete's Lemma and Related Combinatorial Problems in Information Theory

On a Fekete-Szegö theorem

An almost sharp quantitative version of the Duffin-Schaeffer conjecture

A note on infinite versions of $(p,q)$-theorems

New Lower Bounds for the Schur-Siegel-Smyth Trace Problem

Modular invariance of (logarithmic) intertwining operators

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

Limits of Convex Projective Surfaces and Finsler Metrics

On the Conjecture of Lehmer, Limit Mahler Measure of Trinomials and Asymptotic Expansions

On a Conjecture of Feige for Discrete Log-Concave Distributions

Lattices in function fields and applications

The ratios conjecture for real Dirichlet characters and multiple Dirichlet series

A converse theorem in half-integral weight

Stable functions and Følner's Theorem

Quantitative bounds in the nonlinear Roth theorem

A converse theorem for Borcherds products on $X_0(N)$

A Quantized Analogue of the Markov-Krein Correspondence