[論文レビュー] On the Farey fractions with denominators in arithmetic progression

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

Analytic Number Theory Research参考文献 12被引用数 9

ひとこと要約

本稿は、固定された算術級数（mod 𝑑）に従う分母を持つファレー分数からの連続する分母の極限分布を調査する。幾何学的および数論的枠組みを用いて、[0,1]^{s+1} 内に極限集合 𝒟ₛ(𝑐,𝑑) の存在を証明し、Q→∞ の際にスケーリングされた分母タプルの分布を支配する局所密度関数 gₛ(𝐱) の明示的公式を導出する。

ABSTRACT

Let $F_Q$ be the set of Farey fractions of order $Q$. Given the integers $\d\ge 2$ and $0\le \c \le \d-1$, let $F_Q(c,d)$ be the subset of $F_Q$ of those fractions whose denominators are $\equiv c \pmod d$, arranged in ascending order. The problem we address here is to show that as $Q o\infty$, there exists a limit probability measuring the distribution of $s$-tuples of consecutive denominators of fractions in $F_Q(c,d)$. This shows that the clusters of points $(q_0/Q,q_1/Q,...,q_s/Q)\in[0,1]^{s+1}$, where $q_0,q_1,...,q_s$ are consecutive denominators of members of $F_Q$ produce a limit set, denoted by $D(c,d)$. The shape and the structure of this set are presented in several particular cases.

研究の動機と目的

• 分母が 𝑐 mod 𝑑 に等しいファレー分数における連続する分母タプルの極限集合 𝒟ₛ(𝑐,𝑑) の存在を確立すること。
• 単位立方体 [0,1]^{s+1} 内でのこの極限集合の幾何的構造と局所密度を分析すること。
• スケーリングされた分母タプルの集中度を記述する局所密度関数 gₛ(𝐱) の明示的公式を導出すること。
• 特に 𝑠=1 の場合に、極限集合が定数密度の多角形領域のモザイク構造に分解されることを明らかにすること。
• ファレー列、連分数、およびカーネルに基づくタイリングが、極限集合およびその密度を構築する上で果たす役割を調査すること。

提案手法

• ファレー分数のうち分母が 𝑐 mod 𝑑 に等しいものからなる集合 𝔽^Q(𝑐,𝑑) を定義し、その中での連続する分母の (s+1)-タプルの集合を 𝒟ₛ^Q(𝑐,𝑑) と定める。
• 集合を 𝑄 でスケーリングして 𝒟ₛ^Q(𝑐,𝑑)/Q ⊂ [0,1]^{s+1} を得られ、𝑄→∞ の極限として極限集合 𝒟ₛ(𝑐,𝑑) を定義する。
• 点 𝐱 の周囲の縮小する立方体内での相対頻度を、立方体の面積 (2η)^2 で正規化した二重極限を用いて、局所密度関数 gₛ(𝐱) を定義する。
• 連続する分母タプルが最初の2つの要素によって決定されることを用いて、極限集合を ℝ^{s+1} 内の2次元サーフェスの和集合としてモデル化する。
• オイラーのトーティエント関数 φ(𝑑)、算術級数、連分数展開などの数論的道具を用いて、極限集合をタイルとモザイクに分解する。
• 内部、境界、頂点領域の多角形タイルからの寄与を、逆カーネル p_{r−1}(𝐤) で重み付けして合算することで、gₛ(𝐱) の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 分母が 𝑐 mod 𝑑 に等しいファレー分数からのスケーリングされた連続分母タプル (q₀/Q, ..., qₛ/Q) は、𝑄→∞ の際に極限集合に収束するか？
• RQ2 極限集合 𝒟ₛ(𝑐,𝑑) の [0,1]^{s+1} 内の幾何的構造は何か？また、𝑐 や 𝑑 に依存してどのように変化するか？
• RQ3 極限集合上での点の局所密度はどのように分布しているか？これは閉形式の関数として表現可能か？
• RQ4 連分数およびカーネル値は、極限集合を多角形タイルとモザイクに組織づける上で果たす役割は何か？
• RQ5 なぜ分解における最大のモザイクは常に点 (1,1) を含み、かつそれが常に全体の極限集合に等しいのか？

主な発見

• 極限集合 𝒟ₛ(𝑐,𝑑) は、𝑄→∞ の際に [0,1]^{s+1} 内のスケーリングされた分母タプルの極限として存在する。
• 𝑠=1 の場合、極限集合 𝒟₁(𝑐,𝑑) は、(1,1) を頂点とする定数局所密度の多角形領域（モザイク）から成る多角形である。
• 局所密度関数 g₁(𝐱) は、タイルごとの寄与を逆カーネル p_{r−1}(𝐤) で重み付けした和で与えられ、境界点では半分に、頂点では比例的に減少する。
• モザイクは対角線 𝑥=𝑦 に関して対称であるか、対称なペアとして現れ、その数は 𝑑 が大きくなるにつれて増加する。
• 常に (1,1) を含む最大のモザイクは、極限集合 𝒟₁(𝑐,𝑑) 全体に等しいと予想されており、小さい 𝑑 および 𝑑 が素数の場合に確認されている。
• 極限集合は、算術級数、ファレー三角形、およびタイルの内部・境界・頂点領域からの面積寄与を含む和を用いた公式によって完全に記述可能である。