[论文解读] On the Farey fractions with denominators in arithmetic progression

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

Analytic Number Theory Research参考文献 12被引用 9

一句话总结

本论文研究了分母位于模 d 固定等差数列中的法里分数中连续分母的极限分布。通过几何与数论框架，证明了 [0,1]^{s+1} 中极限集 𝒟ₛ(𝑐,𝑑) 的存在性，并推导出控制这些缩放分母元组在 Q→∞ 时分布的局部密度函数 gₛ(𝐱) 的显式公式。

ABSTRACT

Let $F_Q$ be the set of Farey fractions of order $Q$. Given the integers $\d\ge 2$ and $0\le \c \le \d-1$, let $F_Q(c,d)$ be the subset of $F_Q$ of those fractions whose denominators are $\equiv c \pmod d$, arranged in ascending order. The problem we address here is to show that as $Q o\infty$, there exists a limit probability measuring the distribution of $s$-tuples of consecutive denominators of fractions in $F_Q(c,d)$. This shows that the clusters of points $(q_0/Q,q_1/Q,...,q_s/Q)\in[0,1]^{s+1}$, where $q_0,q_1,...,q_s$ are consecutive denominators of members of $F_Q$ produce a limit set, denoted by $D(c,d)$. The shape and the structure of this set are presented in several particular cases.

研究动机与目标

• 建立法里分数中分母 ≡𝑐 mod 𝑑 的连续分母元组的极限集 𝒟ₛ(𝑐,𝑑) 的存在性。
• 分析该极限集在单位立方体 [0,1]^{s+1} 中的几何结构及其局部密度。
• 推导出描述缩放分母元组集中程度的局部密度函数 gₛ(𝐱) 的显式公式。
• 揭示极限集分解为常密度多边形区域的马赛克状结构，特别是当 s=1 时的情况。
• 探讨法里序列、连分数以及基于核的铺砌在构造极限集及其密度中的作用。

提出的方法

• 将 𝒟ₛ^Q(𝑐,𝑑) 定义为法里分数 𝔽^Q(𝑐,𝑑) 中连续分母的 (s+1)-元组集合，其中 𝔽^Q(𝑐,𝑑) 是分母 ≡𝑐 mod 𝑑 的 Q 阶法里分数子集。
• 将集合缩放 Q 倍，得到 𝒟ₛ^Q(𝑐,𝑑)/Q ⊂ [0,1]^{s+1}，并研究当 Q→∞ 时的极限，以定义极限集 𝒟ₛ(𝑐,𝑑)。
• 通过在点 𝐱 周围收缩立方体中点的相对频率，并对立方体面积 (2η)^2 进行归一化，引入局部密度函数 gₛ(𝐱)。
• 利用连续分母元组由其前两个元素决定的事实，将极限集建模为 ℝ^{s+1} 中的二维曲面的并集。
• 应用欧拉函数 φ(𝑑)、等差数列以及连分数展开等数论工具，将极限集分解为瓷砖与马赛克。
• 通过将内部、边界和顶点区域的贡献相加，并以逆核 p_{r−1}(𝐤) 加权，推导出 gₛ(𝐱) 的显式公式。

实验结果

研究问题

• RQ1 当 Q→∞ 时，分母 ≡𝑐 mod 𝑑 的法里分数中缩放后的连续分母元组 (q₀/Q, ..., qₛ/Q) 是否收敛于一个极限集？
• RQ2 极限集 𝒟ₛ(𝑐,𝑑) 在 [0,1]^{s+1} 中的几何结构是什么？其随 𝑐 和 𝑑 如何变化？
• RQ3 点在极限集中的局部密度如何分布？是否可以由一个闭式函数表达？
• RQ4 连分数与核值在将极限集组织为多边形瓷砖与马赛克结构中起什么作用？
• RQ5 为何分解中的最大马赛克始终包含点 (1,1)，且是否等于整个极限集？

主要发现

• 极限集 𝒟ₛ(𝑐,𝑑) 作为 [0,1]^{s+1} 中缩放分母元组在 Q→∞ 时的极限存在。
• 当 s=1 时，极限集 𝒟₁(𝑐,𝑑) 是一个由马赛克（常局部密度的多边形区域）组成的多边形，每个马赛克均以 (1,1) 为顶点。
• 局部密度函数 g₁(𝐱) 由对瓷砖的求和给出，贡献项以逆核 p_{r−1}(𝐤) 加权，边界点贡献减半，顶点贡献按比例减少。
• 马赛克要么关于对角线 x=y 对称，要么成对出现对称，且其数量随 𝑑 增加而增加。
• 最大马赛克始终包含 (1,1)，并猜想其等于整个极限集 𝒟₁(𝑐,𝑑)，该猜想在 𝑑 较小或 𝑑 为素数时已得到证实。
• 极限集由涉及等差数列、法里三角形以及瓷砖内部、边界和顶点区域面积贡献的求和公式完全描述。