Pair correlation of Farey fractions with square-free denominators
arXiv:2303.12882
Abstract
In this article, 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.
16 pages, 1 figure