On the metric theory of approximations by reduced fractions: A quantitative Koukoulopoulos-Maynard theorem

Let ψ:N→[0,1/2] be given. The Duffin-Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals α there are infinitely many coprime solutions (p,q) to the inequality |α - p/q|<ψ(q)/q, provided that the series Σ_q=1^Q φ(q)ψ(q)/q is divergent. In the present paper, we establish a quantitative version of this result, by showing that for almost all α the number of coprime solutions (p,q), subject to q≤Q, is of asymptotic order Σ_q=1^Q 2φ(q)ψ(q)/q. The proof relies on the method of GCD graphs as invented by Koukoulopoulos and Maynard, together with a refined overlap estimate from sieve theory, and number-theoretic input on the 'anatomy of integers'. The key phenomenon is that the system of approximation sets exhibits 'asymptotic independence on average' as the total mass of the set system increases.