Difference Sets and the Metric Theory of Small Gaps

Let (a_n) n ≥ 1 be a sequence of distinct positive integers. In a recent paper, Rudnick established asymptotic upper bounds for the minimal gaps of an α 1, ∼1 ≤ n ≤ N as N to ∞ , valid for Lebesgue-almost all α and formulated in terms of the additive energy of a 1, a N. In the present paper, we argue that the metric theory of minimal gaps of such sequences is not controlled by the additive energy, but rather by the cardinality of the difference set of a1, a N. We establish a (complicated) sharp convergence/divergence test for the typical asymptotic order of the minimal gap and prove (slightly weaker) general upper and lower bounds that allow for a direct application. A major input for these results comes from the recent proof of the Duffin-Schaeffer conjecture by Koukoulopoulos and Maynard. We show that our methods give very precise results for slowly growing sequences whose difference set has relatively high density, such as the primes or the squares. Furthermore, we improve a metric result of Blomer, Bourgain, Rudnick, and Radziwiłł on the order of the minimal gap in the eigenvalue spectrum of a rectangular billiard.