Pair correlation of sums of rationals with bounded height

Abstract

For each positive integer Q, let F(Q) denote the Farey sequence of order Q. We prove the existence of the pair correlation measure associated to the sum F(Q) + F(Q) modulo 1, as Q tends to infinity, and compute the corresponding limiting pair correlation function.