TOPICS
Search

Lehmer's Mahler Measure Problem


MahlerMeasureCircles

An unsolved problem in mathematics attributed to Lehmer (1933) that concerns the minimum Mahler measure M_1(P) for a univariate polynomial P(x) that is not a product of cyclotomic polynomials. Lehmer (1933) conjectured that if P(x) is such an integer polynomial, then

M_1(P)>=M_1(1-x+x^3-x^4+x^5-x^6+x^7-x^9+x^(10))
(1)
=m^*,
(2)

where m^* approx 1.1762, denoted Omega by Lehmer (1933) and lambda by Hironaka (2009), is the largest positive root of this polynomial. The roots of this polynomial, plotted in the left figure above, are very special, since 8 of the 10 lie on the unit circle in the complex plane. The roots of the polynomials (represented by half their coefficients) giving the two next smallest known Mahler measures are also illustrated above (Mossinghoff 1998, p. S11).

The best current bound is that of Smyth (1971), who showed that M(F)>theta_1, where F is a nonzero nonreciprocal polynomial that is not a product of cyclotomic polynomials (Everest 1999), and theta_1 approx 1.324 is the real root of x^3-x-1=0. Generalizations of Smyth's result have been constructed by Lloyd-Smith (1985) and Dubickas (1997).

MahlerMeasure

In general, the smallest Mahler measures occur for integer polynomials that are small in absolute value. The histogram above shows the distribution of measures for random (-1,0,1)-polynomials of random orders 1 to 10. Mossinghoff (1998) gives a table of the smallest known Mahler measures for polynomial degrees up to d=24, and subsequently demonstrated that m^* is the smallest Mahler measure greater than 1 for all degrees up to 40 (Mossinghoff, Hironaka 2009).

m^* is a Salem constant.


See also

Lehmer Number, Mahler Measure, Pisot Number, Salem Constants

Portions of this entry contributed by Kevin O'Bryant

Explore with Wolfram|Alpha

References

Bailey, D. H. and Broadhurst, D. J. "A Seventeenth-Order Polylogarithm Ladder." 20 Jun 1999. http://arxiv.org/abs/math.CA/9906134.Boyd, D. W. "Reciprocal Polynomials Having Small Measure." Math. Comput. 35, 1361-1377, 1980.Boyd, D. W. "Reciprocal Polynomials Having Small Measure. II." Math. Comput. 53, 355-357 and S1-S5, 1989.Dubickas, A. "Algebraic Conjugates Outside the Unit Circle." In New Trends in Probability and Statistics, Vol. 4: Analytic and Probabilistic Methods in Number Theory. Proceedings of the 2nd International Conference held in Honor of J. Kubilius on His 75th Birthday in Palanga, September 23-27, 1996 (Ed. A. Laurinčikas, E. Manstavičius, and V. Stakenas). Utrecht, Netherlands: VSP, pp. 11-21, 1997.Everest, G. and Ward, T. Ch. 1 in Heights of Polynomials and Entropy in Algebraic Dynamics. London: Springer-Verlag, 1999.Hironaka, E. "What Is... Lehmer's Number." Not. Amer. Math. Soc. 56, 374-375, 2009.Lehmer, D. H. "Factorization of Certain Cyclotomic Functions." Ann. Math. 34, 461-469, 1933.Lloyd-Smith, C. W. "Algebraic Numbers Near the Unit Circle." Acta Arith. 45, 43-57, 1985.Mossinghoff, M. "Lehmer's Problem." http://oldweb.cecm.sfu.ca/~mjm/Lehmer/.Mossinghoff, M. J. "Polynomials with Small Mahler Measure." Math. Comput. 67, 1697-1705 and S11-S14, 1998.Smyth, C. J. "On the Product of the Conjugates Outside the Unit Circle of an Algebraic Integer." Bull. London Math. Soc. 3, 169-175, 1971.

Referenced on Wolfram|Alpha

Lehmer's Mahler Measure Problem

Cite this as:

O'Bryant, Kevin and Weisstein, Eric W. "Lehmer's Mahler Measure Problem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/LehmersMahlerMeasureProblem.html

Subject classifications