[論文レビュー] Neighboring Fractions in Farey Subsequences

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

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

ひとこと要約

本稿では、特に標準的 Farey 数列 𝒻ₘ の双対としての部分列 𝒻(ℬ(2m), m) における隣接分数を計算する明示的公式を提示する。Möbius 関数に基づく包含除外と床関数・天井関数の整数論的演算を用いて、1/2 の周辺における隣接分数の閉形式表現を導出し、反復的列挙を用いずとも効率的なアルゴリズム的構築と解析が可能となる。

ABSTRACT

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

研究の動機と目的

• Farey 部分列内における特定の分数の直ちなる隣接分数を反復的でない明示的公式で導出すること、特に双対部分列 𝒻(ℬ(2m), m) に焦点を当てる。
• 標準的 Farey 数列 𝒻ₘ とその双対部分列 𝒻(ℬ(2m), m) の間の単調な全単射を用いて、隣接関係を保存する関係を確立すること。
• Möbius 関数や gcd を用いた包含除外といった数論的道具を用いて、Farey 部分列における隣接分数を体系的に計算する手法を提供すること。
• 双対部分列における 1/2 近傍の連続する分数の構造を特徴づけ、正確な隣接予測を可能とすること。
• 部分列 𝒻(ℬ(2m), m) 内の形 j/(2(j−1)) および j/(j+2) の有理数に対する、⌈2m/j⌉ の偶奇に応じた一般化された隣接分数の公式を導出すること。

提案手法

• 与えられた i に対して区間内に互いに素な整数の個数を表現するため、Möbius 逆転を用い、分子と分母が互いに素である分数の正確な数え上げを可能とする。
• Farey 部分列における分子・分母のペアを符号化するため、形式的変数 x と y を用いた母関数を適用し、隣接分数の特定問題を有理関数の操作問題に変換する。
• 単調な全単射（例：h/k ↦ h/(k−h) および h/k ↦ h/(k+h)）を用いて、標準的 Farey 数列と双対部分列 𝒻(ℬ(2m), m) の間の写像を構築し、順序と隣接構造を保存する。
• 2m/j および 2(m+1)/j の天井関数を用いた隣接分数の公式を導出し、⌈2m/j⌉ と ⌈2(m+1)/j⌉ の偶奇に基づく場合分けを実施する。
• 区間 [s+1, t] 内で i と互いに素な整数の個数を計算するための恒等式 ∑_{d|i} μ(d) (⌊t/d⌋ − ⌊s/d⌋) を適用し、隣接分数導出における包含除外の根拠を形成する。
• 写像 h/k ↦ (k−h)/k が有する対称性および順序反転性を活用し、双対部分列の左半分と右半分の関係を関係づけ、1/2 の閾値を超えて結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 Farey 部分列 𝒻(ℬ(2m), m) 内の与えられた分数の直ちなる左隣接分数と右隣接分数を、反復的探索を用いずどのように計算できるか？
• RQ2 双対部分列 𝒻(ℬ(2m), m) における 1/2 近傍の連続する分数の正確な構造は何か？ そして、元の Farey 数列 𝒻ₘ とはどのように関係しているか？
• RQ3 部分列 𝒻(ℬ(2m), m) 内の形 j/(2(j−1)) および j/(j+2) の分数に対して、⌈2m/j⌉ の偶奇に応じた、その隣接分数を記述する閉形式の式は何か？
• RQ4 Möbius 関数に基づく包含除外と母関数は、Farey 部分列における隣接関係を正確かつ再帰的でない形で計算するためにどのように機能するか？
• RQ5 Farey 部分列における隣接分数の特定問題は、モジュロ算術および天井関数の解析に還元可能か？ その結果得られる公式は何か？

主な発見

• 部分列 𝒻(ℬ(2m), m) 内における j/(2(j−1)) の左隣接分数は、⌈2m/j⌉ に依存する区分的有理関数として与えられ、その形はこの天井関数が偶数か奇数かに依存する。
• 同様に、j/(2(j−1)) の右隣接分数は ⌈2(m+1)/j⌉ を用いて表現され、その偶奇に基づく場合分けが行われる。両隣接分数は Möbius 逆転と全単射写像を用いて導出される。
• 部分列 𝒻(ℬ(2m), m) 内の j/(j+2) に対して、直前の分数と直後の分数は、j, m および ⌈2(m+1)/j⌉ と ⌈2m/j⌉ の偶奇に依存する有理関数として明示的に与えられる。
• 1/m, 1/(m−1), ..., 1/⌈m/2⌉ からなる分数の列は、部分列 𝒻(ℬ(2m), m) 内で連続的に増加する列をなす。これは単調な全単射 (4) の性質による。
• 部分列 𝒻(ℬ(2m), m) は左半分で 𝒻ₘ と同じ分子を持ち、右半分で 𝒻ₘ と同じ分母を持つ。これは全単射によって誘導される双対構造による。
• 母関数 ∑_{h/k ∈ 𝒻ₘ: 0 < h/k < 1/2} x^h y^k は、d ≤ ⌈m/2⌉−1 の各 d に対して Möbius 重み付きの x と y の有理関数の和として表現可能であり、左半分の分数を正確に数え上げ、閉形式による隣接分数計算を可能にする。