A certified continuation machine for Mahler measure identities at CM points, with twelve new proofs of conjectures of Samart
We axiomatize the differential-comparison continuation method of [Zf] into a general machine for proving Mahler measure identities at CM points: a modular parametrization with rigorous tail bounds, a single-valued holomorphic Mahler differential on the complement of the critical image, a propagation lemma replacing all monodromy and universal-cover arguments, interval-arithmetic path certification, and an exact three-track CM evaluation. Applied to Samart's family $n_4(s)=4\mathrm m(x^4+y^4+z^4+1+s^{1/4}xyz)$, the machine proves twelve further entries of his 2015 table [Sa15, Table 6],…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.26120
curl -X POST /api/v1/records/arxiv/2609.26120/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26120/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'