{"id":"arxiv/2609.26120","url":"https://arxiv.org/abs/2609.26120","tags":["math.NT"],"score":0,"title":"A certified continuation machine for Mahler measure identities at CM points, with twelve new proofs of conjectures of Samart","domain":"math.NT","source":"arxiv","authors":["Huimin Zheng"],"reviews":0,"subject":"math.NT","summary":"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],…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}