[论文解读] Asymptotic behavior of a series of Euler's totient function $\varphi(k)$ times the index of $1/k$ in a Farey sequence

Rogelio Tomás|arXiv (Cornell University)|Jun 26, 2014

Algorithms and Data Compression参考文献 5被引用 4

一句话总结

本文推导了和式 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) 的渐近行为，其中 ϕ(k) 为欧拉函数，IN(1/k) 表示 1/k 在 N 阶法里序列中的位置。通过在 N 满足特定整除条件时使用 IN(1/k) 的精确公式，并结合欧拉函数和的已知渐近性质，作者证明该和式渐近增长为 N³/(6ζ(3)) + O(N³/log N)，解决了由加速器物理与数论共同驱动的问题。

ABSTRACT

Motivated by studies in accelerator physics this paper computes the asymptotic behavior of the series $\displaystyle \sum_{k=1}^N \varphi(k) I_N\left(\frac{1}{k} ight)$, where $\varphi(k)$ is Euler's Totient function and $\displaystyle I_N\left(\frac{1}{k} ight)$ is the position that $1/k$ occupies in the Farey sequence of order $N$. To this end an exact formula for $\displaystyle I_N\left(\frac{1}{k} ight)$ is derived when all integers in $\displaystyle \left[2,\left\lceil \frac{N}{k} ight ceil ight]$ are divisors of $N$.

研究动机与目标

• 确定和式 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) 的渐近增长速率，其中 IN(1/k) 表示 1/k 在 N 阶法里序列中的索引。
• 在 N 可被 [2, ⌊N/k⌋] 中所有整数整除的条件下，推导 IN(1/k) 的精确表达式，从而实现精确的渐近分析。
• 应用已知的欧拉函数和及其加权变体的渐近公式，以计算该和式的主项。
• 将结果与更广泛的数论与物理问题联系起来，包括单位立方体内具有整数根的多项式计数问题。

提出的方法

• 通过统计在区间 [1, ⌊j/k⌋] 内测试的分数最大数量，推导 IN(1/k) 的上界，其中 j 从 k 到 N。
• 当 N 可被 i 和 i+1 整除时，建立法里序列 Fi 与 FN 中子区间 [1/q, 1/(q−1)] 之间的双射且保序映射。
• 利用公式 (7) 将 IN(1/k) 表示为欧拉函数累加函数 Φ(i) 与类似调和级数 ∑ⱼ₌₁ⁱ ϕ(j)/j 的组合。
• 将和式 ∑ϕ(k)IN(1/k) 分为两部分：k ≤ N/imax 与 k > N/imax，对每部分分别应用不同的界与精确公式。
• 应用已知的渐近展开式：∑ϕ(k) ~ 3N²/π²，∑ϕ(k)/k ~ 6N/π²，∑ϕ(k)k ~ 2N³/π²，以及 ∑ϕ(k)/k³ = ζ(2)/ζ(3)。
• 取极限 imax → ∞，且令 N ≈ e^{imax}，以导出主渐近项 N³/(6ζ(3)) 与误差项 O(N³/log N)。

实验结果

研究问题

• RQ1 和式 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) 的渐近增长速率为何，其中 IN(1/k) 表示 1/k 在 N 阶法里序列中的索引？
• RQ2 在何种数论条件下，可对 IN(1/k) 推导出精确公式？
• RQ3 法里序列及其子序列的结构如何与分母有界的分数分布相关联？
• RQ4 该和式的渐近行为与单位立方体内具有整数根的多项式计数之间存在何种联系？
• RQ5 该和式是否可分解为不同渐近方法适用的子部分？这些子部分如何组合？

主要发现

• 和式 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) 的渐近行为为 N³/(6ζ(3)) + O(N³/log N)，主项来源于收敛级数 ∑ϕ(k)/k³ = ζ(2)/ζ(3)。
• 当 N 可被 [2, ⌊N/k⌋] 中所有整数整除时，推导出 IN(1/k) 的精确公式，表达为 IN(1/k) = 2 + (N/i)∑ⱼ₌₁ⁱ ϕ(j)/j − kΦ(i)，其中 i = ⌊N/k⌋ 且 Φ(i) = ∑ⱼ₌₁ⁱ ϕ(j)。
• 通过递归公式中测试分数的最大数量，建立了上界 IN(1/k) ≤ (N² + N)/(2k)。
• k ≤ N/imax 部分的和被控制在 O(N³/log N) 内，当 imax → ∞ 时该误差项在渐近意义下可忽略。
• k > N/imax 部分贡献了主项 N³/(6ζ(3)) + O(N² log N)，其来源于 ϕ(k) 与欧拉函数累加函数的加权和。
• 该结果与二维线性、整系数、不可约多项式（系数有界于 N 且至少有一个根在单位立方体内）的计数问题相关联，得出 T²_N = 2N³/(3ζ(3)) + O(N³/log N)。