On the Duffin-Schaeffer conjecture

-
Dimitris Koukoulopoulos, University of Montreal

Given any real number α, Dirichlet proved that there are infinitely many reduced fractions a/q such that |αa/q|1/q2. Can we get closer to α than that? For certain "quadratic irrationals" such as α=2 the answer is no. However, Khinchin proved that if we exclude such thin sets of numbers, then we can do much better. More precisely, let (Δq)q=1 be a sequence of error terms such that q2Δq decreases. Khinchin showed that if the series q=1qΔq diverges, then almost all α (in the Lebesgue sense) admit infinitely many reduced rational approximations a/q such that |αa/q|Δq. Conversely, if the series q=1qΔq converges, then almost no real number is well-approximable with the above constraints. In 1941, Duffin and Schaeffer set out to understand what is the most general Khinchin-type theorem that is true, i.e., what happens if we remove the assumption that q2Δq decreases. In particular, they were interested in choosing sequences (Δq)q=1 supported on sparse sets of integers. They came up with a general and simple criterion for the solubility of the inequality |αa/q|Δq. In this talk, I will explain the conjecture of Duffin-Schaeffer as well as the key ideas in recent joint work with James Maynard that settles it.