Pair correlation of sums of rationals with bounded height.

For each positive integer Q, let ℱ Q denote the Farey sequence of order Q. We prove the existence of the pair correlation measure associated to the sum ℱ Q + ℱ Q modulo 1, as Q tends to infinity, and compute the corresponding limiting pair correlation function. [ABSTRACT FROM AUTHOR]