---
title: Multivariable Boyd–Lawton Theorem
url: https://www.emergentmind.com/topics/multivariable-boyd-lawton-theorem
type: topic
---

# Multivariable Boyd–Lawton Theorem

The multivariable Boyd–Lawton theorem is a family of limit formulas asserting that Mahler-type invariants of a polynomial in several variables can be recovered from Mahler-type invariants of lower-dimensional monomial specializations. In its classical form, it expresses the Mahler measure of a nonzero multivariate polynomial as the limit of Mahler measures of univariate polynomials obtained by substitutions of the form \(x_j=t^{r_j}\) under a genericity condition excluding short integer relations among the exponents. Subsequent work extends this principle in two directions: from univariate specializations to arbitrary homomorphisms \(T^m\to T^n\), and from ordinary Mahler measure to generalized, multiple, higher, dynamical, and other related measures [1203.5379] [2203.12259] [2508.05910].

## 1. Classical formulation

For a nonzero \(n\)-variable polynomial \(P(x_1,\dots,x_n)\in\mathbb{C}[x_1,\dots,x_n]\), the Mahler measure is
\[
m(P)=\frac{1}{(2\pi)^n}\int_{\mathbb{T}^n}\log|P(x_1,\dots,x_n)|\,dx_1\cdots dx_n,
\]
where \(\mathbb{T}^n=\{(z_1,\dots,z_n)\in\mathbb{C}^n:|z_1|=\cdots=|z_n|=1\}\). In one variable, if \(P(x)=a\prod_i(x-\alpha_i)\), Jensen’s formula gives
\[
m(P)=\log|a|+\sum_i\max\{0,\log|\alpha_i|\}.
\]

The classical Boyd–Lawton theorem considers, for \(\mathbf r=(r_1,\dots,r_n)\in\mathbb Z_{>0}^n\), the specialization
\[
P_{\mathbf r}(x)=P(x^{r_1},\dots,x^{r_n})\in\mathbb C[x].
\]
Its genericity parameter is
\[
q(\mathbf r)=\min\left\{H(\mathbf t):\mathbf t\in\mathbb Z^n\setminus\{0\},\ \sum_{j=1}^n t_jr_j=0\right\},
\qquad
H(\mathbf t)=\max_j|t_j|.
\]
The theorem states that
\[
\lim_{q(\mathbf r)\to\infty} m(P_{\mathbf r})=m(P).
\]
Thus a genuinely \(n\)-variable torus integral is obtained as a limit of one-variable Mahler measures along increasingly generic monomial curves \(x\mapsto(x^{r_1},\dots,x^{r_n})\) [1203.5379].

## 2. Genericity, torus maps, and homomorphism language

The theorem is naturally interpreted through homomorphisms of compact tori. In the classical one-parameter setting, \(\mathbf r\) defines
\[
q_{\mathbf r}:T\to T^n,\qquad q_{\mathbf r}(z)=(z^{r_1},\dots,z^{r_n}),
\]
and the condition \(q(\mathbf r)\to\infty\) means that \(\mathbf r\) admits no short nontrivial integral relation. This is the Diophantine mechanism behind the approximation.

A higher-dimensional formulation replaces exponent vectors by integer matrices. For \(A\in M_{m\times n}(\mathbb Z)\), one defines
\[
P_A(z_1,\dots,z_m)=P(z^A),
\]
where \(z^A\) is the monomial map determined by \(A\). The relevant lattice invariant is
\[
\Lambda_A=\ker(A)\cap\mathbb Z^n,\qquad
\rho(A)=\min\{\|v\|_\infty:v\in\Lambda_A,\ v\neq0\},
\]
with \(\rho(A)=\infty\) when \(\Lambda_A=\{0\}\). The push-forward of Haar measure on \(\mathbb T^m\) under \(z\mapsto z^A\) is a probability measure \(\mu_A\) on \(\mathbb T^n\), and
\[
m(P_A)=\int_{\mathbb T^n}\log|P|\,d\mu_A.
\]
The Fourier coefficients of \(\mu_A\) are supported on \(\Lambda_A\); when \(\rho(A_d)\to\infty\), \(\mu_{A_d}\) converges weakly to Haar measure on \(\mathbb T^n\) [2203.12259].

A parallel but transposed notation appears in the homomorphism-based framework of Aitken–Ayers–Smith. There every continuous homomorphism \(T^m\to T^n\) is \(q_A\) for a unique integer matrix \(A\in M_{n,m}(\mathbb Z)\), and the associated Boyd height is
\[
\mu(A)=\min\{\|\mathbf v\|_\infty:\mathbf v\in\mathbb Z^n\setminus\{0\},\ \mathbf vA=0\}.
\]
In that language, \(\mu(q_A)=\infty\) exactly when \(A\) has rank \(n\), equivalently when \(q_A\) is surjective [2508.05910].

## 3. Arbitrary multivariable monomial substitutions

The higher-dimensional extension proved by Brunault, Guilloux, Mehrabdollahei, and Pengo allows arbitrary sequences of integer matrices \(A_d\in M_{m_d\times n}(\mathbb Z)\), with the number of rows \(m_d\) varying. If \(P\in\mathbb C[z_1^{\pm1},\dots,z_n^{\pm1}]\setminus\{0\}\) is a Laurent polynomial and \(\rho(A_d)\to\infty\), then
\[
\lim_{d\to\infty} m(P_{A_d})=m(P).
\]
This is a genuine multivariable Boyd–Lawton theorem: the approximants need not be univariate, and the monomial substitutions may come from arbitrary torus homomorphisms rather than a single monomial curve [2203.12259].

The same work gives an explicit error term. If \(P\) has exactly \(k(P)=k\ge2\) nonzero coefficients and Newton polytope diameter \(\operatorname{diam}(P)\), and if \(\rho(A)\ge \rho_0(P)\) with
\[
\rho_0(P)=\max\left\{\operatorname{diam}(P)+1,\ 7\operatorname{diam}(P)^2,\ \exp\bigl(2(k-1)\max(n,5)\bigr)\right\},
\]
then
\[
|m(P_A)-m(P)|
\le
8(36ek)^{\,n-1}\log(\rho(A))^n
\left(\frac{\operatorname{diam}(P)}{\rho(A)}\right)^{\!\frac1{k-1}}.
\]
When \(P\) has no zeros on \(\mathbb T^n\), the convergence becomes exponentially fast: there exist \(r>1\) and \(C>0\) such that
\[
|m(P_A)-m(P)|\le \frac{C}{r^{\rho(A)}}
\]
under the stated lower bound on \(\rho(A)\) in terms of \(\dim\ker(A)\) [2203.12259].

This formulation clarifies that the decisive parameter is not the number of substitution variables but the absence of short integral relations in the exponent lattice. It also places the theorem in a measure-theoretic setting: \(\log|P|\) is singular on the toric zero locus, yet weak convergence of \(\mu_A\) together with uniform \(L^2\)-control still suffices to pass to the limit [2203.12259].

## 4. Generalized, multiple, and higher Mahler measures

Issa and Lalín extended the classical Boyd–Lawton theorem from ordinary Mahler measure to three further torus integrals. For nonzero polynomials \(P_1,\dots,P_s\in\mathbb C[x_1,\dots,x_n]\), they define the generalized Mahler measure
\[
m_{\max}(P_1,\dots,P_s)
=
\frac{1}{(2\pi)^n}\int_{\mathbb T^n}\max\{\log|P_1|,\dots,\log|P_s|\},
\]
the multiple Mahler measure
\[
m(P_1,\dots,P_s)
=
\frac{1}{(2\pi)^n}\int_{\mathbb T^n}\log|P_1|\cdots\log|P_s|,
\]
and, when \(P_1=\cdots=P_s=P\), the higher Mahler measure
\[
m_s(P)
=
\frac{1}{(2\pi)^n}\int_{\mathbb T^n}\log^s|P|.
\]
For the same specialization \(P_{i,\mathbf r}(x)=P_i(x^{r_1},\dots,x^{r_n})\), they proved
\[
\lim_{q(\mathbf r)\to\infty}m_{\max}(P_{1,\mathbf r},\dots,P_{s,\mathbf r})=m_{\max}(P_1,\dots,P_s),
\]
\[
\lim_{q(\mathbf r)\to\infty}m(P_{1,\mathbf r},\dots,P_{s,\mathbf r})=m(P_1,\dots,P_s),
\]
and hence
\[
\lim_{q(\mathbf r)\to\infty}m_s(P_{\mathbf r})=m_s(P).
\]
Their analytic input is control of the singularities of \(\log|P|\) near toric zeros via Lawton’s sublevel-set estimate and bounds for integrals over sets where \(|P|\) is small [1203.5379].

Aitken–Ayers–Smith then formulated an abstract framework of “Boyd–Lawton collections.” A collection \(\mathcal C=\bigcup_{n\ge1}\mathcal C(T^n)\) is required to consist of integrable functions, satisfy the one-variable Boyd–Lawton theorem, and be stable under composition with sufficiently high-height torus homomorphisms. They showed that continuous functions, ordinary Mahler integrands \(g=\log|P|\), generalized Mahler integrands \(g=\max_i\log|P_i|\), and product integrands \(g=\prod_i\log|P_i|\) are all Boyd–Lawton collections. Consequently, if \(g\in\mathcal C(T^n)\), then
\[
\int_{T^n}g\,d\tau_n
=
\lim_{\mu(q_A)\to\infty}\int_{T^m}g\circ q_A\,d\tau_m,
\]
with \(m\) allowed to vary. For surjective \(q_A\), equivalently \(\mu(q_A)=\infty\), the equality is exact rather than asymptotic. In particular, generalized and multiple higher Mahler measures admit full multivariable Boyd–Lawton theorems parallel to the classical one [2508.05910].

## 5. Dynamical and nonclassical analogues

A dynamical analogue replaces the unit torus and Haar measure by the Julia set \(J_f\) of a monic polynomial \(f\in\mathbb Z[z]\) of degree \(d\ge2\) and its equilibrium measure \(\mu_f\). For \(P\in\mathbb C(x_1,\dots,x_n)^\times\), the multivariable dynamical Mahler measure is
\[
m_f(P)=\int_{J_f}\cdots\int_{J_f}\log|P(z_1,\dots,z_n)|\,d\mu_f(z_1)\cdots d\mu_f(z_n).
\]
In two variables, the available Boyd–Lawton-type statement is a weak inequality:
\[
\limsup_{n\to\infty}m_f(P(x,f^n(x)))\le m_f(P(x,y)).
\]
The specialization here is the dynamical graph \(x\mapsto(x,f^n(x))\), not a monomial torus homomorphism. Equality is conjectured but not proved in that setting. The weak result is nevertheless sufficient, together with a dynamical Lehmer conjecture and a dynamical Kronecker lemma, for the classification of irreducible \(P\in\mathbb Z[x,y]\) with \(m_f(P)=0\) under the exclusion of the power-map and Chebyshev cases [2110.06496].

A different analogue arises from the “alternative to Mahler measure.” For a univariate polynomial \(P\) of degree \(d\), \(c(P)\) is the ratio \(Z/d\), where \(Z\) is the number of roots in the open unit disk, and Cauchy’s argument principle yields an integral formula. For a multivariate polynomial \(P(x_1,\dots,x_k)\) with no zeros on \(\mathbb T^k\), one defines directional invariants
\[
c_j(P)=\frac{1}{d_j}\int_{\mathbb T^k}\frac{\partial P/\partial x_j}{P}(z)\,z_j\,d\mu,
\]
where \(d_j\) is the degree in \(x_j\). The resulting Boyd–Lawton-type theorem is
\[
\lim_{n_2\to\infty}\cdots\lim_{n_k\to\infty}
c\bigl(P(x_1,x_1^{n_2},\dots,x_1^{n_k})\bigr)
=
c_2(P)+\cdots+c_k(P).
\]
In this theory the limit is a sum of directional contributions rather than a single symmetric invariant; explicit evaluations include \(c(1+x+y)=\frac13\) and \(c(1+x+y+z)=\frac14\) [2502.02803].

## 6. Arithmetic significance and broader context

The theorem occupies a central position at the interface of analysis, number theory, and, in some variants, dynamics. Classical Mahler measures of multivariate polynomials are known to produce special values of the Riemann zeta function and \(L\)-functions, and the Boyd–Lawton principle allows these multivariable quantities to be approximated by Mahler measures of lower-dimensional specializations. Issa–Lalín explicitly note analogous links for generalized, multiple, and higher Mahler measures, including connections to multiple sine functions, multiple zeta values, and Witten zeta values associated to Lie algebras [1203.5379].

The theorem also interacts with Lehmer-type problems. In the classical case, Boyd–Lawton implies that very small positive Mahler measure in several variables would force the existence of infinitely many univariate polynomials with equally small Mahler measure. The same propagation principle extends to generalized and multiple measures in Issa–Lalín’s setting [1203.5379]. In the dynamical setting, the weak two-variable inequality plays an analogous role by transferring vanishing of a multivariable dynamical measure to vanishing of many one-variable dynamical measures, which can then be analyzed through canonical heights and preperiodic points [2110.06496].

The multivariable matrix formulation broadens the scope further. Brunault–Guilloux–Mehrabdollahei–Pengo connect these limit formulas to limit sets of Mahler measures, to previously studied convergent families such as the polynomials \(P_d(z_1,z_2)=\sum_{0\le i+j\le d}z_1^iz_2^j\), and to operator-algebraic contexts involving entropy and Fuglede–Kadison determinants. Their example
\[
m(P_d)\to m(P_\infty)=-18\,\zeta'(-2)=\frac{9}{2\pi^2}\zeta(3)
\]
is obtained by representing \(P_d\) as a specialization of a four-variable polynomial \(P_\infty\) through matrices \(M_d\) with \(\rho(M_d)=d+2\), and the same family admits a full asymptotic expansion rather than merely a qualitative limit [2203.12259].

Taken together, these results show that “multivariable Boyd–Lawton theorem” now designates a robust approximation principle: torus averages of singular logarithmic-type functions are stable under increasingly generic monomial substitutions, whether the target is ordinary Mahler measure, its higher and generalized variants, or closely related dynamical and zero-counting analogues [2508.05910].

Source: https://www.emergentmind.com/topics/multivariable-boyd-lawton-theorem