[論文レビュー] Maximal gaps between prime k-tuples: a statistical approach

Alexei Kourbatov|arXiv (Cornell University)|Jan 10, 2013

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

ひとこと要約

本稿では、極値理論と Hardy-Littlewood k-組予想に基づく統計的モデルを提案し、素数 k-組間の最大ギャップを予測する。このモデルは、$ a\log(x/a) - ba $ という式を導出し、ここで $ a = C_k \log^k x $ である。この式は最大ギャップを $ \pm 2a $ の誤差で予測でき、ギャップの分布は漸近的次数 $ O(\log^{k+1}x) $ の Gumbel に類似した分布に従う。このモデルは線形対数ベースの推定器を改善し、双子素数、素数四つ組、素数六つ組に適用可能である。

ABSTRACT

Combining the Hardy-Littlewood k-tuple conjecture with a heuristic application of extreme-value statistics, we propose a family of estimator formulas for predicting maximal gaps between prime k-tuples. Computations show that the estimator a(log(x/a)-b) satisfactorily predicts the maximal gaps below x, where a is the expected average gap between the same type of k-tuples, a=O(log^k x). Heuristics suggest that maximal gaps between prime k-tuples near x are approximately a*log(x/a), and thus have the order O(log^{k+1}x). The distribution of maximal gaps around the trend curve a*log(x/a) is close to the Gumbel distribution. We explore two implications of this model of gaps: record gaps between primes and Legendre-type conjectures for prime k-tuples.

研究の動機と目的

• 極値理論を用いた統計的極値理論を活用し、素数 k-組間の最大ギャップを予測するモデルを開発すること。
• Hardy-Littlewood k-組予想と極値分布の原則を統合することで、既存のヒューリスティクスを精緻化すること。
• 与えられた x 以下の素数 k-組間の記録的ギャップを正確に推定できる一般式を提供すること。
• 最大ギャップの分布的挙動とその期待されるトレンド曲線からの逸脱を調査すること。
• Legendre 型の予想および k-組パターンにおける記録的素数ギャップへの影響を検討すること。

提案手法

• 素数 k-組間の最大ギャップの分布をモデル化するために極値統計を適用する。
• 最大ギャップの分布の極限近似として Gumbel 分布を用いる。
• 推定式 $ a\log(x/a) - ba $ を導出し、ここで $ a = C_k \log^k x $ であり、$ C_k $ は Hardy-Littlewood k-組予想から得られる。
• パラメータ $ b $ を経験的に補正し、さまざまな k-組に対して $ b \approx 2/k $ であることが判明した。
• 多数の k-組タイプ（k=2,4,6, など）に対して広範な数値計算による妥当性を検証した。
• 予測されたトレンド曲線 $ a\log(x/a) $ と実際の最大ギャップを比較し、誤差を $ O(a) $ として定量化した。

実験結果

リサーチクエスチョン

• RQ1 極値理論は、素数 k-組間の最大ギャップを予測するためにどのように応用可能か？
• RQ2 x の近傍における素数 k-組間の期待される最大ギャップの関数的形は何か？
• RQ3 最大ギャップの分布は、Gumbel のような既知の極値分布とどのように比較できるか？
• RQ4 素数 k-組間の最大ギャップの漸近的次数のオーダーは何か？
• RQ5 このモデルは、素数 k-組における記録的ギャップの既存のヒューリスティクスを改善できるか？

主な発見

• 推定式 $ a\log(x/a) - ba $ は、$ a = C_k \log^k x $ であるとき、素数 k-組間の最大ギャップを $ \pm 2a $ の誤差で予測できる。
• 素数 k-組間の最大ギャップの漸近的次数は $ O(\log^{k+1}x) $ であり、ヒューリスティックモデルと整合的である。
• トレンド曲線 $ a\log(x/a) $ の周囲における最大ギャップの分布は、Gumbel 分布に非常に近い。
• 推定式におけるパラメータ $ b $ は経験的に $ 2/k $ にほぼ等しいことが判明し、$ C_k $ は Hardy-Littlewood k-組定数から得られる。
• 本モデルは、双子素数（k=2）、素数四つ組（k=4）、素数六つ組（k=6）の記録的ギャップを、検証範囲全域で高い精度で予測できた。
• k=3,5,7,10 などの他の k-組に対しても、$ C_k $ と $ b $ の再キャリブレーションを施すことにより、本モデルを拡張可能である。