[論文レビュー] The distribution of rationals in residue classes

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

Analytic Number Theory Research参考文献 22被引用数 3

ひとこと要約

本稿では、d を法とする連続するファレー分数の r-組の極限分布を調査し、特定の算術的等差数列に属する分母をもつような組の割合が、区間の選択に依存しない普遍的な極限に収束することを示している。極限は、ファレー三角形構成における幾何確率を用いて明示的に導出されており、偶奇パターンや mod 3 等差数列のような特定のケースについて閉形式の式が提示されている。

ABSTRACT

Our purpose is to give an account of the $r$-tuple problem on the increasing sequence of reduced fractions having denominators bounded by a certain size and belonging to a fixed real interval. We show that when the size grows to infinity, the proportion of the $r$-tuples of consecutive denominators with components in certain apriori fixed arithmetic progressions with the same ratio approaches a limit, which is independent on the interval. The limit is given explicitly and it is completely described in a few particular instances.

研究の動機と目的

• Q → ∞ のとき、分母が指定された算術的等差数列に属する連続するファレー分数の r-組の割合が極限に収束するかどうかを特定すること。
• この極限割合が実区間 I の選択に依存せず、r、算術的等差数列ベクトル c、および法 d のみに依存することを確立すること。
• 特に偶奇パターンや mod 3 等差数列のような特別なケースにおいて、極限密度 ρ(c,d) の明示的公式を導出すること。
• ファレー三角形構成とその面積を介して、分布問題を幾何確率と結びつけること。

提案手法

• 著者たちは、連続するファレー分数の組の分布を、連分数展開から得られる3つの特別な点の凸包であるファレー三角形 T[k] 上での幾何確率としてモデル化する。
• 分母の算術的等差数列と整数ベクトル k の対応関係を用いて、有効な構成を分類し、関連するファレー三角形の面積を計算する。
• 極限割合 ρ(c,d) は、三角形の面積の重み付き和として計算され、連続する分母ペアの空間の総測度で正規化される。
• 連続するファレー分数は |a''q' - a'q''| = 1 を満たすため、互いに素であり、可能な偶奇の組み合わせが制限されることに依存している。
• 交互な 1,2 mod 3 や対称的な偶奇ベクトルのような特定のパターンに対しては、対称性と面積公式を用いて閉形式の式を導出する。
• 定理1の一般式と幾何的面積計算を組み合わせることで、特別な r と d に対して正確な有理数確率が得られる補題が導出される。

実験結果

リサーチクエスチョン

• RQ1 Q → ∞ のとき、分母が固定された算術的等差数列に属する連続するファレー分数の r-組の割合は極限に収束するか？
• RQ2 この極限割合は、分数を含む実区間 I の選択に依存しないか？
• RQ3 任意の r, c, d に対して、極限密度 ρ(c,d) の明示的公式を導出できるか？
• RQ4 交互な偶奇や mod 3 等差数列のような特別なケースにおける ρ(c,d) の正確な値は何か？
• RQ5 ファレー三角形構成の幾何的性質は、分母の偶奇の分布とどのように関係するか？

主な発見

• r = 1 の場合、偶分母のファレー分数の極限割合は 1/3 であり、奇分母は漸近的に2倍多く現れる。
• r ≥ 2 の場合、連続する分数が両方とも偶分母をもつことは不可能である。これは |a''q' - a'q''| = 1 による互いに素条件による制約である。
• 極限割合 ρ(r, c, d) は区間 I に依存せず、r、c、d のみに依存する。
• r ≥ 6 の場合、(1,1,…,1,0) mod 2 のパターンに対して、極限割合は 2/(3(2r−5)(2r−3)) である。
• 偶数長 2r の交互な mod 3 パatters (1,2,…,1,2) に対しては、r ≥ 4 のとき、割合は (r−1)/(72(r−1)²−2) である。
• 奇数長 2r+1 のパターン (1,2,…,2,1) mod 3 に対しては、r ≥ 4 のとき、割合は (9r+4)/(8(9r+1)(9r+7)) である。