Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers
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$, \[…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.00376
curl -X POST /api/v1/records/arxiv/2609.00376/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.00376/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'