[論文レビュー] Comparative prime number theory: A survey

Greg Martin, Justin Scarfy|arXiv (Cornell University)|Feb 15, 2012

Analytic Number Theory Research参考文献 42被引用数 7

ひとこと要約

本論文は、特に『バイアス』現象に注目して、kを法とする剰余類における素数の分布に焦点を当てた、比較的素数論の包括的サーベイである。このバイアスとは、特定の剰余類が他の類よりも頻繁に優位に立つ現象であり、GRHとLIのもとで、符号の変化の漸近的分布やレース測度の尾確率に関する主要な予想と定理が提示されている。素数の数え上げ関数におけるリードチェンジの頻度と大きさについて、精密な条件付き結果が得られている。

ABSTRACT

Comparative prime number theory is the study of the {\em{discrepancies}} of distributions when we compare the number of primes in different residue classes. This work presents a list of the problems being investigated in comparative prime number theory, their generalizations, and an extensive list of references on both historical and current progresses.

研究の動機と目的

• kを法とする剰余類における素数の分布に注目した、比較的素数論における未解決問題と最近の進展を体系化し、サーベイすること。
• 特定の剰余類（例：3 mod 4）が他の類（例：1 mod 4）よりも頻繁に多くなる、チェビシェフのバイアス現象を調査すること。
• δπ(x;k,l₁,l₂) = π(x;k,l₁) − π(x;k,l₂) の差分関数の符号の変化の漸近的挙動を、一般化リーマン予想（GRH）および線形独立性（LI）予想のもとで分析すること。
• 素数の数え上げレースの概念を複数の剰余類に一般化し、ある類が他の類をリードする確率の確率的測度を導出すること。
• 素数の数え上げレースにおけるリードチェンジの分布を記述する測度μq;a₁,…,arの尾確率に関する、精密な条件付き境界を確立すること。

提案手法

• π(x;k,l) の漸近的近似として、算術級数における素数定理と対数積分Li(x)を用いる。
• 一般化リーマン予想（GRH）と線形独立性（LI）予想を適用し、π(x;k,l) の差の確率的分布モデルを導出する。
• r個の剰余類のレースが与えられたリード構成を示す確率をモデル化するために、測度μq;a₁,…,arを用いる。
• 多変量正規近似とベッセル関数の恒等式を用いて、測度μq;a₁,…,arの尾確率の漸近展開を導出する。
• Saddle-point法およびラプラス型の方法を用いて、大規模なVおよびqにおけるμq;a₁,…,arの尾挙動を推定する。
• モンゴメリーの単一クラスレース（μ₁;₁）に関する研究を、修正ベッセル関数および対数積分の使用により、複数クラスに一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのペア (l₁,l₂) を法とするkにおいて、差分δπ(x;k,l₁,l₂) が無限回符号を変えるか？
• RQ2 T → ∞ のとき、[1,T] 内でのδπ(x;k,l₁,l₂) の符号変化回数の漸近的成長率は何か？
• RQ3 特にx^{1/2−ε} の範囲で、δπ(x;k,l₁,l₂) が0からの最大偏差に対して鋭い境界を確立できるか？
• RQ4 r ≥ 3 個の剰余類のレースにおいて、特定のクラスがより頻繁にリードするバイアスが現れるか、その条件は何か？
• RQ5 大規模な偏差Vにおける測度μq;a₁,…,arの正確な尾挙動は何か？また、rおよびqに依存する仕組みは？

主な発見

• GRHおよびLIのもとで、尾確率μq;a₁,…,ar(‖x‖ > V) は、V²/(φ(q)log q) の二重指数関数的表現により有界であり、rおよびAに依存する明示的な定数を含む。
• V が (φ(q)log q)^{1/2} ≤ V ≤ Aφ(q)log q の範囲にあるとき、尾確率は exp(−c·V²/(φ(q)log q)) の形で減少し、正の明示的定数c₆₀およびc₆₁を含む。
• V/(φ(q)log q) → ∞ かつ V/(φ(q)log² q) → 0 のとき、尾確率は exp(−c₆₃(r)·V²/(φ(q)log q)·exp(c₆₅(r)·V/(φ(q)log q))) の形で減少し、超指数的減少を示す。
• V/(φ(q)log² q) → ∞ のとき、尾μq;a₁,…,ar(|x|∞ > V) は、L(q) をqの素因数に関する対数和を含むものとして、exp(−e^{L(q)}·√(2(φ(q)−1)V/π)·exp(√(L(q)² + 2πV/(φ(q)−1)))) に漸近的に一致する。
• μq;a₁,…,ar(‖x‖ > λ√Var(q)) は、λ ≤ √log₂ q のとき、多変量正規尾確率に誤差 O_r(1/log² q) で収束する。
• 誤差が Ω_r(1/log² q) に達するようなr-組(a₁,…,ar) が存在し、これは境界が対数的要因の範囲で鋭いことを示している。