Machine learning the arithmetic of Boyd's Mahler measure conjectures

Abstract

Boyd conjectured that the Mahler measure of $P_k(x,y)=x+y+\frac{1}{x}+\frac{1}{y}+k$ for $k$ an integer, is given by $r_kL'(E_k,0)$, where $E_k$ is the elliptic curve associated to the zero locus of $P_k$ and $r_k$ is a rational number. We study various arithmetic properties of $r_k$ using a dataset containing the first $250{,}000$ values of $k$, combining large-scale statistical analysis assisted by Claude with transformer-based experiments carried out using Axolver. We recover Boyd's observation that, apart from a few exceptions, $r_k$ is the reciprocal of an integer. The size of this integer is governed by the conductor of the elliptic curve. Moreover, its $p$-adic valuations display markedly different behavior according to the prime. For $p\geq 5$, the probability of $v_p(r_k)=-m$ for $m\geq 1$ appears to be $p^{-m}$. For the primes $2$ and $3$, however, we find additional arithmetic structure involving congruence conditions on $k$ and the primes of bad reduction of $E_k$. Although the neural networks do not predict $r_k$ exactly, they recover significant information about its magnitude and valuations. In particular, the experiments at the prime $2$ suggest arithmetic structure beyond the explicit predictor obtained from our statistical analysis.

Disclosure

“Machine Learning: Axiom’s Axolver framework was used to train sequence-to-sequence neural networks and execute mathematical/symbolic reasoning tasks within the study’s machine learning pipeline. • Writing and Editing: OpenAI’s ChatGPT was used to improve the readability, grammar, and style of the author-drafted text. The original research framework, data collection, and final interpretations were entirely con- ceptualized and directed by the human authors. Aft”

PDF page 4

Classification

Rewriting existing author-written text

Multiplier

4

Verified

2026-08-23T19:18:43.980341Z

Structural counts