Pair correlation of Farey fractions with square-free denominators
Volume 215 / 2024
Acta Arithmetica 215 (2024), 289-307
MSC: Primary 11B57; Secondary 11J71
DOI: 10.4064/aa230329-6-6
Published online: 6 September 2024
Abstract
We study the pair correlation of Farey fractions by proving that the limiting pair correlation function of the sequence of Farey fractions with square-free denominators exists and provide an explicit formula for the limiting pair correlation function.
