{"id":"arxiv/2607.14339","url":"https://arxiv.org/abs/2607.14339","tags":["math.DS"],"score":0,"title":"Effective Strassmann Certificates for Local $p$-adic Dynamical Mordell--Lang Interpolants","domain":"math.DS","source":"arxiv","authors":["Farrukh Mukhamedov"],"reviews":0,"subject":"math.DS","summary":"The $p$-adic method for Dynamical Mordell--Lang often reduces a residue class of an orbit to the zero set of a locally analytic interpolating function. This paper assumes the standard interpolation, Strassmann, Mahler, and Weierstrass tools, and studies the effective local zero-bound problem that remains after interpolation: certifying the Strassmann index of the resulting one-variable analytic function. We give finite certificates for this index, including finite-data, finite-precision, refined-tail, adaptive residue-class, one-shot, and first-order escape criteria. Since the Strassmann…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-15","reactions":{}}