A Neighboring-Denominator Variant of the Erdős--Mahler Conjecture
We prove a quantitative neighboring-denominator variant of the Erdős-Mahler conjecture. Let $p_n/q_n$ be the convergents of an irrational real number $ξ$. If $p_nq_nq_{n+1}$ is $S$-smooth for infinitely many $n$, where $S$ is a fixed finite set of primes, then there exists an effectively computable constant $c=c(S)>0$ such that \[ \log q_{n+1}\gg_{ξ,S} q_n^c \] along those indices. Consequently, $ξ$ is a Liouville number. The proof uses the determinant identity for consecutive convergents and a fixed-base consequence of Yu's theorem on $p$-adic logarithmic forms.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.26455
curl -X POST /api/v1/records/arxiv/2608.26455/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.26455/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'