Department of Mathematics2024-11-0920101435-534510.1515/CRELLE.2010.0272-s2.0-77952476966https://hdl.handle.net/20.500.14288/3363For 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.pdfMathematicsJournal Article0075-4102https://doi.org/10.1515/CRELLE.2010.027277392400002N/ANOIR01024