Correlations of Farey fractions with square-free denominators

This paper concerns the pair correlation of Farey fractions within an interval ${\bf I}\subset [0,1]$, specifically focusing on the fractions whose denominators are square-free numbers in an arithmetic sequence. We prove that the limiting pair correlation function of the sequence of such Farey fractions exists and is independent of the interval ${\bf I}$.