Effective Strassmann Certificates for Local $p$-adic Dynamical Mordell--Lang Interpolants
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.14339
curl -X POST /api/v1/records/arxiv/2607.14339/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.14339/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'