Boyd's conjecture on the closedness of Mahler measures

For each non-zero polynomial PZ[z1,,zn]P\in\mathbb{Z}[z_1,\ldots,z_n] with n1n\geq 1, let M(P)M(P) denote its Mahler measure, and define

L{M(P)PZ[z1,,zn]{0}, n1}.L^\sharp\coloneqq\{M(P)\mid P\in\mathbb{Z}[z_1,\ldots,z_n]\setminus\{0\},\ n\geq 1\}.

Boyd's conjecture. The set LL^\sharp is closed with respect to the Euclidean topology.

This conjecture concerns the topological structure of the set of Mahler measures of non-zero integral multivariate polynomials. The source attributes it to Boyd and does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Marie-José Bertin and Mahya Mehrabdollahei, “An exact family of bivariate polynomials and Variants of Chinburg's Conjectures”, arXiv:2407.20634 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.