Lehmer's conjecture, also known as the Lehmer's Mahler measure problem, is a problem in number theory raised by Derrick Henry Lehmer. The conjecture asserts that there is an absolute constant
μ
>
1
such that every polynomial with integer coefficients
P
(
x
)
∈
Z
[
x
]
satisfies one of the following properties:
The Mahler measure
M
(
P
(
x
)
)
of
P
(
x
)
is greater than or equal to
μ
.
P
(
x
)
is an integral multiple of a product of cyclotomic polynomials or the monomial
x
, in which case
M
(
P
(
x
)
)
=
1
. (Equivalently, every complex root of
P
(
x
)
is a root of unity or zero.)
There are a number of definitions of the Mahler measure, one of which is to factor
P
(
x
)
over
C
as
P
(
x
)
=
a
0
(
x
−
α
1
)
(
x
−
α
2
)
⋯
(
x
−
α
D
)
,
and then set
M
(
P
(
x
)
)
=
|
a
0
|
∏
i
=
1
D
max
(
1
,
|
α
i
|
)
.
The smallest known Mahler measure (greater than 1) is for "Lehmer's polynomial"
P
(
x
)
=
x
10
+
x
9
−
x
7
−
x
6
−
x
5
−
x
4
−
x
3
+
x
+
1
,
for which the Mahler measure is the Salem number
M
(
P
(
x
)
)
=
1.176280818
…
.
It is widely believed that this example represents the true minimal value: that is,
μ
=
1.176280818
…
in Lehmer's conjecture.
Consider Mahler measure for one variable and Jensen's formula shows that if
P
(
x
)
=
a
0
(
x
−
α
1
)
(
x
−
α
2
)
⋯
(
x
−
α
D
)
then
M
(
P
(
x
)
)
=
|
a
0
|
∏
i
=
1
D
max
(
1
,
|
α
i
|
)
.
In this paragraph denote
m
(
P
)
=
log
(
M
(
P
(
x
)
)
, which is also called Mahler measure.
If
P
has integer coefficients, this shows that
M
(
P
)
is an algebraic number so
m
(
P
)
is the logarithm of an algebraic integer. It also shows that
m
(
P
)
≥
0
and that if
m
(
P
)
=
0
then
P
is a product of cyclotomic polynomials i.e. monic polynomials whose all roots are roots of unity, or a monomial polynomial of
x
i.e. a power
x
n
for some
n
.
Lehmer noticed that
m
(
P
)
=
0
is an important value in the study of the integer sequences
Δ
n
=
Res
(
P
(
x
)
,
x
n
−
1
)
=
∏
i
=
1
D
(
α
i
n
−
1
)
for monic
P
. If
P
does not vanish on the circle then
lim
|
Δ
n
|
1
/
n
=
M
(
P
)
and this statement might be true even if
P
does vanish on the circle. By this he was led to ask
whether there is a constant
c
>
0
such that
m
(
P
)
>
c
provided
P
is not cyclotomic?,
or
given
c
>
0
, are there
P
with integer coefficients for which
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
P
(
x
)
∈
Z
[
x
]
be an irreducible monic polynomial of degree
D
.
Smyth proved that Lehmer's conjecture is true for all polynomials that are not reciprocal, i.e., all polynomials satisfying
x
D
P
(
x
−
1
)
≠
P
(
x
)
.
Blanksby and Montgomery and Stewart independently proved that there is an absolute constant
C
>
1
such that either
M
(
P
(
x
)
)
=
1
or
log
M
(
P
(
x
)
)
≥
C
D
log
D
.
Dobrowolski improved this to
log
M
(
P
(
x
)
)
≥
C
(
log
log
D
log
D
)
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.
Let
E
/
K
be an elliptic curve defined over a number field
K
, and let
h
^
E
:
E
(
K
¯
)
→
R
be the canonical height function. The canonical height is the analogue for elliptic curves of the function
(
deg
P
)
−
1
log
M
(
P
(
x
)
)
. It has the property that
h
^
E
(
Q
)
=
0
if and only if
Q
is a torsion point in
E
(
K
¯
)
. The elliptic Lehmer conjecture asserts that there is a constant
C
(
E
/
K
)
>
0
such that
h
^
E
(
Q
)
≥
C
(
E
/
K
)
D
for all non-torsion points
Q
∈
E
(
K
¯
)
,
where
D
=
[
K
(
Q
)
:
K
]
. If the elliptic curve E has complex multiplication, then the analogue of Dobrowolski's result holds:
h
^
E
(
Q
)
≥
C
(
E
/
K
)
D
(
log
log
D
log
D
)
3
,
due to Laurent. For arbitrary elliptic curves, the best known result is
h
^
E
(
Q
)
≥
C
(
E
/
K
)
D
3
(
log
D
)
2
,
due to Masser. For elliptic curves with non-integral j-invariant, this has been improved to
h
^
E
(
Q
)
≥
C
(
E
/
K
)
D
2
(
log
D
)
2
,
by Hindry and Silverman.
Stronger results are known for restricted classes of polynomials or algebraic numbers.
If P(x) is not reciprocal then
M
(
P
)
≥
M
(
x
3
−
x
−
1
)
≈
1.3247
and this is clearly best possible. If further all the coefficients of P are odd then
M
(
P
)
≥
M
(
x
2
−
x
−
1
)
≈
1.618.
For any algebraic number α, let
M
(
α
)
be the Mahler measure of the minimal polynomial
P
α
of α. If the field Q(α) is a Galois extension of Q, then Lehmer's conjecture holds for
P
α
.