[论文解读] Neighboring Fractions in Farey Subsequences

Andrey O. Matveev|arXiv (Cornell University)|Jan 13, 2008

Mathematical Dynamics and Fractals参考文献 9被引用 7

一句话总结

本文提出了计算法里子序列中相邻分数的显式公式，特别聚焦于对偶子序列 𝒻(ℬ(2m), m)，该子序列对偶于标准法里序列 𝒻ₘ。通过基于莫比乌斯函数的包含-排除原理与上取整函数的模运算，推导出围绕 1/2 的相邻分数的闭式表达式，实现了无需迭代枚举的高效算法构建与分析。

ABSTRACT

We present explicit formulas for the computation of the neighbors of several elements of Farey subsequences.

研究动机与目标

• 推导法里子序列中特定分数的直接邻居的显式、非迭代公式，尤其关注对偶子序列 𝒻(ℬ(2m), m)。
• 通过保持邻居关系的单调双射，建立标准法里序列 𝒻ₘ 与其对偶子序列 𝒻(ℬ(2m), m) 之间的联系。
• 提供一种系统方法，利用数论工具（如莫比乌斯函数和基于最大公约数的包含-排除）计算法里子序列中的相邻分数。
• 刻画对偶子序列中靠近 1/2 的连续分数的结构，实现邻居关系的精确预测。
• 针对子序列 𝒻(ℬ(2m), m) 中形如 j/(2(j−1)) 和 j/(j+2) 的有理分数，根据上取整函数的奇偶性，推广其邻居公式的通用形式。

提出的方法

• 利用莫比乌斯反演表达给定 i 的区间内与之互素的整数个数，实现对分子分母互素的分数的精确计数。
• 应用含形式变量 x 和 y 的生成函数，编码法里子序列中的分子分母对，将邻居查找问题转化为有理函数运算任务。
• 采用单调双射（如 h/k ↦ h/(k−h) 和 h/k ↦ h/(k+h)）在标准法里序列与对偶子序列 𝒻(ℬ(2m), m) 之间映射，保持顺序与邻居结构。
• 利用 2m/j 和 2(m+1)/j 的上取整与下取整函数推导邻居公式，根据 ⌈2m/j⌉ 和 ⌈2(m+1)/j⌉ 的奇偶性进行分情况讨论。
• 应用恒等式 ∑_{d|i} μ(d) (⌊t/d⌋ − ⌊s/d⌋) 计算区间 [s+1, t] 中与 i 互素的整数个数，作为邻居推导中包含-排除法的基础。
• 利用映射 h/k ↦ (k−h)/k 的对称性与反序性质，关联对偶子序列的左右两半，实现对 1/2 临界点的跨域结果扩展。

实验结果

研究问题

• RQ1 如何在不进行迭代搜索的情况下，计算给定分数在法里子序列 𝒻(ℬ(2m), m) 中的直接左、右邻居？
• RQ2 对偶子序列 𝒻(ℬ(2m), m) 中靠近 1/2 的连续分数的精确结构是什么？其与原始法里序列 𝒻ₘ 的关系如何？
• RQ3 对于 𝒻(ℬ(2m), m) 中形如 j/(2(j−1)) 和 j/(j+2) 的分数，其邻居的闭式表达式如何根据 ⌈2m/j⌉ 的奇偶性确定？
• RQ4 基于莫比乌斯函数的包含-排除法与生成函数如何实现法里子序列中邻居关系的精确、非递归计算？
• RQ5 法里子序列中的邻居查找问题能否简化为模运算与上取整函数分析？其结果公式为何？

主要发现

• 在 𝒻(ℬ(2m), m) 中，j/(2(j−1)) 的左邻居由一个分段有理表达式给出，其形式取决于 ⌈2m/j⌉ 的奇偶性。
• 在 𝒻(ℬ(2m), m) 中，j/(2(j−1)) 的右邻居同样使用 ⌈2(m+1)/j⌉ 表达，根据其奇偶性分情况处理，两个邻居均通过莫比乌斯反演与双射映射推导得出。
• 对于 𝒻(ℬ(2m), m) 中的 j/(j+2)，其前驱与后继分数由 j、m 以及 ⌈2(m+1)/j⌉ 和 ⌈2m/j⌉ 奇偶性的有理函数显式给出。
• 分数序列 1/m, 1/(m−1), ..., 1/⌈m/2⌉ 在 𝒻(ℬ(2m), m) 中构成一个连续递增序列，其在接近 1 处的对称对应项亦然，这是由于双射 (4) 的单调性所致。
• 子序列 𝒻(ℬ(2m), m) 在左半部分包含与 𝒻ₘ 相同的分子，在右半部分包含与 𝒻ₘ 相同的分母，这是由双射诱导的对偶结构所致。
• 生成函数 ∑_{h/k ∈ 𝒻ₘ: 0 < h/k < 1/2} x^h y^k 表示为对 d ≤ ⌈m/2⌉−1 的求和，其项为 x 与 y 的莫比乌斯加权有理函数，从而实现左半部分分数的精确计数与闭式邻居计算。