{"id":"arxiv/2609.14202","url":"https://arxiv.org/abs/2609.14202","tags":["math.NT"],"score":0,"title":"Arithmetic Rigidity of Analytic Functions and Mahler's Problem on Liouville Numbers","domain":"math.NT","source":"arxiv","authors":["Diego Marques"],"reviews":0,"subject":"math.NT","summary":"Let $\\mathscr L$ denote the set of Liouville numbers. We prove a local arithmetic rigidity theorem for real-analytic functions. If $U\\subset\\mathbb R$ is an open interval and $f:U\\to\\mathbb R$ is real-analytic with $f(\\mathscr L\\cap U)\\subseteq\\mathscr L$, then $f$ is the restriction to $U$ of a rational function in $\\mathbb R(x)$. Quantitatively, there exists an absolute constant $τ>2$ such that, for every nonrational real-analytic function $f$ and every nonempty open subinterval $V\\subset U$, the set of $ξ\\in V\\cap\\mathscr L$ satisfying $μ(f(ξ))\\leqτ$ contains a Cantor set. As a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}