[论文解读] The distribution of rationals in residue classes

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

Analytic Number Theory Research参考文献 22被引用 3

一句话总结

本文研究了模 d 下连续 Farey 分数 r 元组的极限分布，表明具有指定分母在固定等差数列中的此类 r 元组的比例收敛到一个与区间无关的普遍极限。该极限通过 Farey 三角形配置上的几何概率显式推导得出，并为特定情况（如奇偶性模式和模 3 等差数列）提供了闭式表达式。

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.

研究动机与目标

• 确定当 Q → ∞ 时，分母位于指定等差数列中的连续 Farey 分数 r 元组的比例是否收敛到极限。
• 确立该极限比例与实区间 I 的选择无关，仅依赖于 r、等差数列向量 c 和模 d。
• 在特殊情况下（尤其是奇偶性模式和模 3 等差数列）推导出极限密度 ρ(c,d) 的显式公式。
• 通过 Farey 三角形配置及其面积，将分布问题与几何概率联系起来。

提出的方法

• 作者通过 Farey 三角形 T[k] 上的几何概率建模连续 Farey 分数元组的分布，其中 Farey 三角形 T[k] 是由连分数展开导出的三个特殊点的凸包。
• 他们利用分母等差数列与整数向量 k 之间的对应关系，对有效配置进行分类，并计算相关 Farey 三角形的面积。
• 极限比例 ρ(c,d) 被计算为三角形面积的加权和，再除以连续分母对的总测度。
• 该方法依赖于连续 Farey 分数满足 |a''q' - a'q''| = 1 的事实，从而保证互素性并限制可能的奇偶性组合。
• 对于如模 3 下交替的 1,2 或对称奇偶性向量等特定模式，作者利用对称性和面积公式推导出闭式表达式。
• 通过将几何面积计算与定理 1 的一般公式结合，推导出推论，从而为特定 r 和 d 获得精确的有理概率。

实验结果

研究问题

• RQ1 当 Q → ∞ 时，分母位于固定等差数列中的连续 Farey 分数 r 元组的比例是否收敛到极限？
• RQ2 该极限比例是否与包含这些分数的实区间 I 的选择无关？
• RQ3 能否为任意 r、c 和 d 推导出极限密度 ρ(c,d) 的显式公式？
• RQ4 对于特殊情形（如交替奇偶性或模 3 等差数列）的 ρ(c,d) 精确值是多少？
• RQ5 Farey 三角形配置的几何性质如何与分母奇偶性的分布相关？

主要发现

• 当 r = 1 时，偶分母 Farey 分数的极限比例为 1/3，意味着奇分母在渐近下出现的频率是偶分母的两倍。
• 当 r ≥ 2 时，由于互素条件 |a''q' - a'q''| = 1，连续分数不可能同时具有偶分母。
• 极限比例 ρ(r, c, d) 与区间 I 无关，仅依赖于 r、c 和 d。
• 对于模 2 下的模式 (1,1,…,1,0) 且 r ≥ 6，极限比例为 2/(3(2r−5)(2r−3))。
• 对于长度为 2r 的交替模 3 模式 (1,2,…,1,2)，当 r ≥ 4 时，比例为 (r−1)/(72(r−1)²−2)。
• 对于长度为 2r+1 的奇数长度模式 (1,2,…,2,1) 模 3，当 r ≥ 4 时，比例为 (9r+4)/(8(9r+1)(9r+7))。