Lehmer's conjecture

Consider Mahler measure for one variable and Jensen's formula shows that if ${\displaystyle P(x)=a_{0}(x-\alpha _{1})(x-\alpha _{2})\cdots (x-\alpha _{D})}$ then

${\displaystyle {\mathcal {M}}(P(x))=|a_{0}|\prod _{i=1}^{D}\max(1,|\alpha _{i}|).}$

In this paragraph denote　${\displaystyle m(P)=\log({\mathcal {M}}(P(x))}$ , which is also called Mahler measure.

If ${\displaystyle P}$ has integer coefficients, this shows that ${\displaystyle {\mathcal {M}}(P)}$ is an algebraic number so ${\displaystyle m(P)}$ is the logarithm of an algebraic integer. It also shows that ${\displaystyle m(P)\geq 0}$ and that if ${\displaystyle m(P)=0}$ then ${\displaystyle P}$ is a product of cyclotomic polynomials i.e. monic polynomials whose all roots are roots of unity, or a monomial polynomial of ${\displaystyle x}$ i.e. a power ${\displaystyle x^{n}}$ for some ${\displaystyle n}$ .

Lehmer noticed[1][5] that ${\displaystyle m(P)=0}$ is an important value in the study of the integer sequences ${\displaystyle \Delta _{n}={\text{Res}}(P(x),x^{n}-1)=\prod _{i=1}^{D}(\alpha _{i}^{n}-1)}$ for monic ${\displaystyle P}$ . If ${\displaystyle P}$ does not vanish on the circle then ${\displaystyle \lim |\Delta _{n}|^{1/n}={\mathcal {M}}(P)}$ and this statement might be true even if ${\displaystyle P}$ does vanish on the circle. By this he was led to ask

whether there is a constant ${\displaystyle c>0}$ such that ${\displaystyle m(P)>c}$ provided ${\displaystyle P}$ is not cyclotomic?,

or

given ${\displaystyle c>0}$, are there ${\displaystyle P}$ with integer coefficients for which ${\displaystyle 0<m(P)<c}$?

Some positive answers have been provided as follows, but Lehmer's conjecture is not yet completely proved and is still a question of much interest.

Let ${\displaystyle P(x)\in \mathbb {Z} [x]}$ be an irreducible monic polynomial of degree ${\displaystyle D}$.

Smyth [6] proved that Lehmer's conjecture is true for all polynomials that are not reciprocal, i.e., all polynomials satisfying ${\displaystyle x^{D}P(x^{-1})\neq P(x)}$.

Blanksby and Montgomery[7] and Stewart[8] independently proved that there is an absolute constant ${\displaystyle C>1}$ such that either ${\displaystyle {\mathcal {M}}(P(x))=1}$ or[9]

${\displaystyle \log {\mathcal {M}}(P(x))\geq {\frac {C}{D\log D}}.}$

Dobrowolski [10] improved this to

${\displaystyle \log {\mathcal {M}}(P(x))\geq C\left({\frac {\log \log D}{\log D}}\right)^{3}.}$

Dobrowolski obtained the value C ≥ 1/1200 and asymptotically C > 1-ε for all sufficiently large D. Voutier in 1996 obtained C ≥ 1/4 for D ≥ 2.[11]

Let ${\displaystyle E/K}$ be an elliptic curve defined over a number field ${\displaystyle K}$, and let ${\displaystyle {\hat {h}}_{E}:E({\bar {K}})\to \mathbb {R} }$ be the canonical height function. The canonical height is the analogue for elliptic curves of the function ${\displaystyle (\deg P)^{-1}\log {\mathcal {M}}(P(x))}$. It has the property that ${\displaystyle {\hat {h}}_{E}(Q)=0}$ if and only if ${\displaystyle Q}$ is a torsion point in ${\displaystyle E({\bar {K}})}$. The elliptic Lehmer conjecture asserts that there is a constant ${\displaystyle C(E/K)>0}$ such that

${\displaystyle {\hat {h}}_{E}(Q)\geq {\frac {C(E/K)}{D}}}$ for all non-torsion points ${\displaystyle Q\in E({\bar {K}})}$,

where ${\displaystyle D=[K(Q):K]}$. If the elliptic curve E has complex multiplication, then the analogue of Dobrowolski's result holds:

${\displaystyle {\hat {h}}_{E}(Q)\geq {\frac {C(E/K)}{D}}\left({\frac {\log \log D}{\log D}}\right)^{3},}$

due to Laurent.[12] For arbitrary elliptic curves, the best known result is

${\displaystyle {\hat {h}}_{E}(Q)\geq {\frac {C(E/K)}{D^{3}(\log D)^{2}}},}$

due to Masser.[13] For elliptic curves with non-integral j-invariant, this has been improved to

${\displaystyle {\hat {h}}_{E}(Q)\geq {\frac {C(E/K)}{D^{2}(\log D)^{2}}},}$

by Hindry and Silverman.[14]

Stronger results are known for restricted classes of polynomials or algebraic numbers.

If P(x) is not reciprocal then

${\displaystyle M(P)\geq M(x^{3}-x-1)\approx 1.3247}$

and this is clearly best possible.[15] If further all the coefficients of P are odd then[16]

${\displaystyle M(P)\geq M(x^{2}-x-1)\approx 1.618.}$

For any algebraic number α, let ${\displaystyle M(\alpha )}$ be the Mahler measure of the minimal polynomial ${\displaystyle P_{\alpha }}$ of α. If the field Q(α) is a Galois extension of Q, then Lehmer's conjecture holds for ${\displaystyle P_{\alpha }}$.[16]

• Smyth, Chris (2008). "The Mahler measure of algebraic numbers: a survey". In McKee, James; Smyth, Chris (eds.). Number Theory and Polynomials. London Mathematical Society Lecture Note Series. 352. Cambridge University Press. pp. 322–349. ISBN 978-0-521-71467-9.

• http://www.cecm.sfu.ca/~mjm/Lehmer/ is a nice reference about the problem.
• Weisstein, Eric W. "Lehmer's Mahler Measure Problem". MathWorld.