[論文レビュー] 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) と、N 階のファレイ数列における 1/k の位置を表す IN(1/k) の和 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) の漸近的挙動を導出する。N が [2, ⌊N/k⌋] 内のすべての整数で割り切れるという割り算条件の下で 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$.

研究の動機と目的

• N 階のファレイ数列における 1/k のインデックス IN(1/k) を用いた和 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) の漸近的成長率を特定すること。
• N が [2, ⌊N/k⌋] 内のすべての整数で割り切れるという条件下で、IN(1/k) の正確な式を導出することにより、精密な漸近的解析を可能にすること。
• オイラーのトーティエント関数の和およびその重み付き変種の既知の漸近的公式を適用し、和の主要項を評価すること。
• 結果を、単位立方体内に根をもつ整数係数多項式の数え上げ問題を含む、より広範な数論的および物理的問題と結びつけること。

提案手法

• k から N までの j について、区間 [1, ⌊j/k⌋] でテストされる分数の最大数を用いて、IN(1/k) の上界を導出する。
• 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 の2つの部分に分割し、それぞれに異なるバウンドと正確な公式を適用する。
• 既知の漸近的展開を適用する：∑ϕ(k) ~ 3N²/π²、∑ϕ(k)/k ~ 6N/π²、∑ϕ(k)k ~ 2N³/π²、および ∑ϕ(k)/k³ = ζ(2)/ζ(3)。
• imax → ∞ かつ N ≈ e^{imax} とすることで、主要な漸近的項 N³/(6ζ(3)) と誤差項 O(N³/log N) を導出する。

実験結果

リサーチクエスチョン

• RQ1 N 階のファレイ数列における 1/k のインデックス IN(1/k) を用いた和 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k) の漸近的成長率は何か？
• RQ2 N がどのような数論的条件下で、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 の和は、主に ϕ(k) の重み付き和とトーティエント和関数からの主要項 N³/(6ζ(3)) + O(N² log N) を寄与する。
• この結果は、係数が N で有界で、少なくとも1つの根が単位立方体内にある2次元の線形・整数係数・既約多項式の数え上げ問題と結びつけられ、T²_N = 2N³/(3ζ(3)) + O(N³/log N) が得られる。