[Paper Review] The distribution of rationals in residue classes

Cristian Cobeli, Alexandru Zaharescu|ArXiv.org|Nov 14, 2005

Analytic Number Theory Research22 references3 citations

TL;DR

This paper investigates the limiting distribution of r-tuples of consecutive Farey fractions modulo d, showing that the proportion of such tuples with specified denominators in fixed arithmetic progressions converges to a universal limit independent of the interval. The limit is derived explicitly using geometric probability on Farey triangle configurations, with closed-form expressions provided for specific cases like parity patterns and mod 3 progressions.

ABSTRACT

Our purpose is to give an account of the $r$-tuple problem on the increasing sequence of reduced fractions having denominators bounded by a certain size and belonging to a fixed real interval. We show that when the size grows to infinity, the proportion of the $r$-tuples of consecutive denominators with components in certain apriori fixed arithmetic progressions with the same ratio approaches a limit, which is independent on the interval. The limit is given explicitly and it is completely described in a few particular instances.

Motivation & Objective

• To determine whether the proportion of r-tuples of consecutive Farey fractions with denominators in specified arithmetic progressions converges to a limit as Q → ∞.
• To establish that this limiting proportion is independent of the choice of real interval I, depending only on r, the arithmetic progression vector c, and modulus d.
• To derive explicit formulas for the limiting density ρ(c,d) in special cases, particularly for parity patterns and mod 3 progressions.
• To connect the distribution problem to geometric probability via Farey triangle configurations and their areas.

Proposed method

• The authors model the distribution of consecutive Farey fraction tuples using geometric probability on Farey triangles T[k], which are convex hulls of three special points derived from continued fraction expansions.
• They use the correspondence between arithmetic progressions of denominators and integer vectors k to classify valid configurations and compute the area of associated Farey triangles.
• The limiting proportion ρ(c,d) is computed as a weighted sum of triangle areas, normalized by the total measure of the space of consecutive denominator pairs.
• The method relies on the fact that consecutive Farey fractions satisfy |a''q' - a'q''| = 1, ensuring coprimality and constraining possible parity combinations.
• For specific patterns like alternating 1,2 mod 3 or symmetric parity vectors, the authors derive closed-form expressions using symmetry and area formulas.
• Corollaries are derived by combining geometric area computations with the general formula from Theorem 1, yielding exact rational probabilities for specific r and d.

Experimental results

Research questions

• RQ1 Does the proportion of r-tuples of consecutive Farey fractions with denominators in fixed arithmetic progressions converge to a limit as Q → ∞?
• RQ2 Is this limiting proportion independent of the choice of real interval I containing the fractions?
• RQ3 Can an explicit formula be derived for the limiting density ρ(c,d) for arbitrary r, c, and d?
• RQ4 What are the exact values of ρ(c,d) for special cases such as alternating parities or mod 3 progressions?
• RQ5 How do geometric properties of Farey triangle configurations relate to the distribution of denominator parities?

Key findings

• For r = 1, the limiting proportion of even-denominator Farey fractions is 1/3, meaning odd denominators are asymptotically twice as common.
• For r ≥ 2, consecutive fractions cannot both have even denominators due to the coprimality condition |a''q' - a'q''| = 1.
• The limiting proportion ρ(r, c, d) is independent of the interval I and depends only on r, c, and d.
• For the pattern (1,1,…,1,0) mod 2 with r ≥ 6, the limiting proportion is 2/(3(2r−5)(2r−3)).
• For alternating mod 3 patterns (1,2,…,1,2) with even length 2r, the proportion is (r−1)/(72(r−1)²−2) for r ≥ 4.
• For the pattern (1,2,…,2,1) mod 3 with odd length 2r+1, the proportion is (9r+4)/(8(9r+1)(9r+7)) for r ≥ 4.