Proving the Duffin-Schaeffer conjecture without GCD graphs

Abstract

We present a novel proof of the Duffin-Schaeffer conjecture in metric Diophantine approximation. Our proof is heavily motivated by the ideas of Koukoulopoulos-Maynard's breakthrough first argument, but simplifies and strengthens several technical aspects. In particular, we avoid any direct handling of GCD graphs and their `quality'. We also consider the metric quantitative theory of Diophantine approximations, improving the $(\log \hat{I}¨(N){)}^{-C}$ error-term of Aistleitner-Borda and the first named author to $\exp (-(\log \hat{I}¨(N){)}^{\frac{1}{2}-\epsilon })$.

Minor edits due to referee reports; to appear in Trans. Amer. Math. Soc