A Neighbouring-Denominator Case of the Erdős--Mahler Conjecture

Source abstract

In 1939, Erdős and Mahler conjectured that an irrational real number $ξ$ must be a Liouville number whenever $P(p_nq_n)$ is bounded for infinitely many convergents $p_n/q_n$, where $P(N)$ denotes the largest prime factor of a nonzero integer $N$. In this note, we prove a neighbouring-denominator case of their conjecture: if $P(p_nq_nq_{n+1})$ is bounded for infinitely many $n$, then $ξ$ is a Liouville number. The proof combines the determinant identity for consecutive convergents with a fixed-base estimate for linear forms in $p$-adic logarithms.