Let
![$ {\mathfrak{F}^{Q}}$](abs/img1.gif)
be the set of Farey fractions of order
![$ Q$](abs/img2.gif)
.
Given the integers
![$ \mathfrak{d}\ge 2$](abs/img3.gif)
and
![$ 0\le \mathfrak{c}\le \mathfrak{d}-1$](abs/img4.gif)
, let
![$ {\mathfrak{F}^{Q}}(\mathfrak{c},\mathfrak{d})$](abs/img5.gif)
be
the subset of
![$ {\mathfrak{F}^{Q}}$](abs/img1.gif)
of those fractions whose denominators are
![$ \equiv \mathfrak{c}$](abs/img6.gif)
(mod
![$ \mathfrak{d})$](abs/img7.gif)
, arranged in ascending order. The problem we
address here is to show that as
![$ Q\to\infty$](abs/img8.gif)
,
there exists a limit probability measuring the distribution of
![$ s$](abs/img9.gif)
-tuples
of consecutive denominators of fractions in
![$ {\mathfrak{F}^{Q}}(\mathfrak{c},\mathfrak{d})$](abs/img5.gif)
.
This shows that the clusters of points
![$ (q_0/Q,q_1/Q,\dots,q_s/Q)\in[0,1]^{s+1}$](abs/img10.gif)
, where
![$ q_0,q_1,\dots,q_s$](abs/img11.gif)
are consecutive denominators of members of
![$ {\mathfrak{F}^{Q}}$](abs/img1.gif)
produce a limit set,
denoted by
![$ \mathcal{D}(\mathfrak{c},\mathfrak{d})$](abs/img12.gif)
.
The shape and the structure of this set are presented in several
particular cases.
Received September 15 2004;
revised version received May 20 2005; July 20 2006.
Published in Journal of Integer Sequences July 20 2006.