Farey Sequences for Thin Groups (1907.01854v1)

Abstract: The classical Farey sequence of height $Q$ is the set of rational numbers in reduced form with denominator less than $Q$. In this paper we introduce the concept of a generalized Farey sequence. While these sequences arise naturally in the study of discrete (and in particular thin) subgroups, they can be used to study interesting number theoretic sequences - for example rationals whose continued fraction partial quotients are subject to congruence conditions. We show that these sequences equidistribute, that the gap distribution converges, and we answer an associated problem in Diophantine approximation with Fuchsian groups. Moreover, for one specific example, we use a sparse Ford configuration construction to write down an explicit formula for the gap distribution. Finally for this example, we construct the analogue of the Gauss measure in this context which we show is ergodic for the Gauss map. This allows us to prove a theorem about the Gauss-Kuzmin statistics of the sequence.