Mahler Measure in Number Theory & Dynamics

• Mahler measure is an analytic invariant that quantifies the average logarithmic size of a polynomial’s values on the unit torus.
• It plays a central role in linking transcendental number theory, arithmetic geometry, and dynamical systems through explicit toral integrals and regulator interpretations.
• Recent advances reveal deep connections with L-values, regulator maps, and open problems like Lehmer’s question in Diophantine analysis.

The Mahler measure is a fundamental analytic invariant in transcendental number theory, algebraic geometry, and arithmetic dynamics. It encodes the average size and distribution of polynomials or algebraic numbers on the unit torus, and is tightly connected to special values of $L$-functions, $K$-theory, and arithmetic properties such as Pisot and Salem numbers, Lehmer’s problem, and regulator maps. The classical Mahler measure associates to a polynomial $P$ in $n$ variables a mean value of $\log|P|$ on the $n$-torus, but a wealth of generalizations, conjectural links, and dynamical perspectives have emerged in contemporary research.

1. Definition and Core Properties

Let $P(z_1, ..., z_n)$ be a nonzero Laurent polynomial in $n$ complex variables. Its (logarithmic) Mahler measure is

$$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$

with the multiplicative version $M(P) = \exp(m(P))$ (Mossinghoff, 2024, Dobrowolski et al., 2016). For $K$0, Jensen’s formula shows $K$1, for $K$2.

For polynomials in many variables, including nontrivial cases in two and three variables, Mahler measure cannot generally be expressed in terms of roots; however, it admits deep interpretations via toral integrals, regulators, and motivic symbols (Bornhorn, 2015). Key properties:

• $K$3 is subadditive: $K$4
• For algebraic $K$5, $K$6
• $K$7 iff $K$8 is a root of unity
• $K$9 for $P$0-term polynomials, where $P$1 is the height (Dobrowolski et al., 2016)

Lehmer’s question asks whether there exists $P$2 such that $P$3 for all nonzero non-root-of-unity $P$4; the minimal known such value is $P$5 for the Lehmer polynomial.

2. Mahler Measure in Arithmetic, Dynamics, and Extremal Problems

The Mahler measure is central in:

• Mahler’s problem for Littlewood polynomials: Determining $P$6, where $P$7 is the set of degree-$P$8 polynomials with $P$9 coefficients. Recent work establishes that Turyn polynomials with quarter-degree shift yield $n$0 as degree grows, setting a new record and bounding any global gap $n$1 by $n$2 (Mossinghoff, 2024). Previous extremal examples, such as Rudin–Shapiro polynomials, attained the lower bound $n$3 (Erdelyi, 2014).
• Lower bounds for sparse and “almost reciprocal” polynomials: For any $n$4-term polynomial, $n$5; for $n$6-nonreciprocal polynomials, explicit sharp quadratic bounds in terms of coefficient deviations are proved (Dobrowolski et al., 2016, Saunders, 2017).
• Closure and gaps: The set of Mahler measures for $n$7-term integer polynomials is closed with 0 as an isolated point; only finitely many such polynomials have Mahler measure exactly 1 for fixed $n$8 (Dobrowolski et al., 2016).
• Metric and dynamical Mahler measures: Iteration of $n$9 on algebraic numbers defines a dynamical system exhibiting fixed, preperiodic, and wandering points, with full classification for all abelian number fields and degree $\log|P|$0. Generic unit orbits of degree $\log|P|$1 fall into classes with orbit size $\log|P|$2 or $\log|P|$3; non-units admit algebraic integers of arbitrary finite orbit size (Fili et al., 2019, Fili et al., 2021, Samuels, 2017).

Table: Extremal Normalized Mahler Measures

Family	Limiting $\log|P|$4	Achieved by
Rudin–Shapiro	$\log|P|$5	Known explicit sequence
Turyn (quarter-shift)	$\log|P|$6	Turyn polynomials

3. Analytical, K-Theoretic, and Motivic Interpretations

Mahler measure admits profound connections to regulators and motives:

• Regulator integrals: For curves defined by $\log|P|$7, $\log|P|$8 equals the regulator pairing $\log|P|$9 in $n$0 cohomology; this underlies the appearance of $n$1-derivatives and special values in Mahler measure (Bornhorn, 2015, Brunault, 2015, Trieu, 2023).
• Beilinson’s conjecture: For genus-1/2/3 polynomials, Mahler measure is (conjecturally) a rational multiple of $n$2 for an associated elliptic curve $n$3, or sums of such multiples for higher genus and split Jacobians (Bornhorn, 2015, Liu et al., 2019, Trieu, 2023).

A general exactness theorem in three variables provides Mahler measure formulas in terms of elliptic $n$4-values and Bloch-Wigner dilogarithms, conditional on Beilinson's conjecture (Trieu, 2023).

4. Explicit Calculations, Special Families, and $n$5-Value Identities

• Boyd’s conjectures and modular examples: For many parametric families, e.g. $n$6, Rodriguez Villegas and successors proved that $n$7 can be written as Kronecker–Eisenstein series and linked to $n$8-values of newforms, further extended to 28 new parametric identities for CM points (Tao et al., 2022, Meemark et al., 2019).
• Genus 2 and 3 curves: For reciprocal tempered polynomials, two or three linearly independent $n$9 elements yield rational multiples of $P(z_1, ..., z_n)$0-values of corresponding elliptic factors, with numerical identities between different Mahler measures classified (Liu et al., 2019).
• Multivariable and higher Mahler measures: Closed formulas in terms of polylogarithms and Dirichlet $P(z_1, ..., z_n)$1-values (e.g., $P(z_1, ..., z_n)$2, $P(z_1, ..., z_n)$3) are established for arbitrarily many variables (Nair, 2023, Mehrabdollahei, 2021); limits such as $P(z_1, ..., z_n)$4 obtained for increasing-degree families (Mehrabdollahei, 2021).
• Mahler measure on arbitrary tori: Extension of the integration to circles of radii $P(z_1, ..., z_n)$5 yields new formulas parametrized by geometric deformations, bridging pure Mahler measure and regulator contributions (Lalin et al., 2017).

Table: Sample Mahler Measure–$P(z_1, ..., z_n)$6-Value Identities

Polynomial $P(z_1, ..., z_n)$7	Mahler measure formula	Reference
$P(z_1, ..., z_n)$8	$P(z_1, ..., z_n)$9, $n$0 of newforms over $n$1 or quadratic fields	(Tao et al., 2022)
$n$2	$n$3	(Lalin et al., 2017)
$n$4	$n$5 (conditional)	(Trieu, 2023)

5. Extensions: Generalizations and Higher Mahler Measures

• Multiple and higher Mahler measures: Definitions such as generalized, multiple, and order-$n$6 Mahler measures involve integrals of maxima, products, or powers of $n$7 and possess limit theorems reducing them to one-variable cases (Issa et al., 2012).
• Metric Mahler measures: For number fields $n$8, the $n$9-metric Mahler measure $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$0 considers infima over multiplicative decompositions and is a genuine metric on $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$1; infima are shown to be attained for $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$2 and imaginary quadratic fields of class number 1 (Samuels, 2017).
• Iteration and dynamical classification: Orbits under repeated Mahler measure reflect nontrivial arithmetic dynamics; explicit law for units (infinite orbit or stopping in 1-2 steps) and construction of examples with prescribed orbit size are proven (Fili et al., 2019, Fili et al., 2021).
• Limits and convergence: For polynomials with growing degree or number of variables, Mahler measure limits converge to constants times $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$3 or Dirichlet $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$4-values, with rigorous error bounds (Mehrabdollahei, 2021, Nair, 2023).

6. Research Directions and Open Problems

Current open questions and conjectures include:

• Supremal normalized Mahler measure: Is there a universal gap $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$5 in $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$6 for Littlewood polynomials of large degree? If so, $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$7 (Mossinghoff, 2024).
• Classification of Mahler measures for higher-genus and multivariable families: Systematic computation of exact formulas as motivated by $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$8-theory and Beilinson's conjecture; determinants of Mahler measures for elliptic curves over real quadratic fields (Tao et al., 2022).
• Extension to arbitrary tori and Regulator theory: Relation to deformation of cycles, modular and motivic interpretations, and connections to higher-rank $$m(P) = \frac{1}{(2\pi)^n} \int_0^{2\pi} \cdots \int_0^{2\pi} \log|P(e^{i\theta_1}, ..., e^{i\theta_n})| \, d\theta_1 \cdots d\theta_n,$$9-groups (Lalin et al., 2017, Brunault et al., 2017).
• Arithmetic dynamics: Distribution and statistics of wandering points in Mahler measure iteration, backward orbits, and connection to Lehmer’s problem (Fili et al., 2019, Fili et al., 2021).

7. Significance and Impact

Mahler measure acts as a quantitative bridge between analysis (toral integrals, moments), algebraic number theory (heights, Lehmer’s problem, unit equations), arithmetic geometry (regulators, $M(P) = \exp(m(P))$0-theory, mixed motives), and modular forms ($M(P) = \exp(m(P))$1-values, modular curves). Its explicit computation is a laboratory for testing deep conjectures such as Beilinson’s, and for exploring extremal phenomena in both additive and multiplicative contexts. Recent advances have sharpened bounds, extended the dictionary to arbitrary genus and multivariable cases, illuminated its dynamical landscape, and forged links to special values and period identities, making it a central organizing concept in modern Diophantine analysis and arithmetic geometry.