Year: 2026
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Marques, Diego
Institution: Universidade de Brasília
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7204573347