On the smallest gap in a sequence with Poisson pair correlations

We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3\mathrm{/}2+{10}^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.