The two-point correlation function of the fractional parts of n is Poisson - Daniel El-Baz; Jens Marklof; Ilya Vinogradov (2013)