{"id":"arxiv/2609.00376","url":"https://arxiv.org/abs/2609.00376","tags":["math.NT"],"score":0,"title":"Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers","domain":"math.NT","source":"arxiv","authors":["Diego Marques"],"reviews":0,"subject":"math.NT","summary":"A classical theorem of Maillet asserts that every nonconstant rational function over $\\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\\infty$ diffeomorphisms $f:\\mathbb{R}\\to\\mathbb{R}$, arbitrarily close to the identity and transcendental over $\\mathbb{R}(x)$, such that for every real number field $K\\subset\\mathbb{R}$, every $n\\geq 1$, and every $m\\geq 0$, \\[…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}