[論文レビュー] Small Gaps Between Primes I

D. A. Goldston, C. Y. Yıldırım|ArXiv.org|Apr 16, 2005

Analytic Number Theory Research参考文献 16被引用数 25

ひとこと要約

この論文は、短い除数和を用いた素数族の高次モーメント近似を用いて、連続する素数のギャップの正の割合が素数間の平均間隔の1/4以下であることを確立している。これらを古典的モーメント問題と結びつけ、ボンビエリ＝ビノグラドフの定理を活用することで、正規化された素数ギャップの極小極限Δ ≤ 1/4であるという主要な結果を証明し、従来の境界を顕著に改善した。

ABSTRACT

We use short divisor sums to approximate prime tuples and moments for primes in short intervals. By connecting these results to classical moment problems we are able to prove that a positive proportion of consecutive primes are within a quarter of the average spacing between primes.

研究の動機と目的

• 平均間隔の1/4未塔の連続する素数ギャップの正の割合を確立すること。
• 短い除数和の方法を高次モーメントの素数族に拡張し、ギャップ推定値を改善すること。
• 素数族の分布を古典的モーメント問題と結びつけることで、小さなギャップに関する定量的境界を導出すること。
• Δ（正規化された素数ギャップの極小極限）に関する従来の非条件的境界を改善すること。
• エリオット＝ハルバースタム予想が連続する素数間の最小ギャップサイズに与える影響を検討すること。

提案手法

• 素数族とその相関をモデル化するため、von Mangoldt関数を短い除数和で近似する。
• これらの除数和の高次モーメント分析を用いて、短い区間内での素数のクラスタを検出する。
• 算術級数における素数の分布のレベルを制御するための主要な入力として、ボンビエリ＝ビノグラドフの定理を適用する。
• スieve法とモーメント推定値を用いて、除数和近似の4次モーメントを境界づける。
• スターリング数第二種の組み合わせ的恒等式を用いて、多重線形形式を展開・推定する。
• 特異級数から計算可能な定数を含む、切り捨てられたvon Mangoldt関数の積の重み付き和の漸近公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 短い除数和による素数族の高次モーメント近似は、小さな素数ギャップに関する境界を改善できるか？
• RQ2 現在の解析的技法を用いて、Δ = liminf (p_{n+1} − p_n)/log p_n の最良の上界は何か？
• RQ3 エリオット＝ハルバースタム予想は、連続する素数間の最小ギャップサイズにどのように影響するか？
• RQ4 マイアの「異常に密度の高い区間」の方法を除数和技術と組み合わせることで、境界をさらに改善できるか？
• RQ5 古典的モーメント問題は、素数ギャップの分布を分析するためにどの程度活用できるか？

主な発見

• 任意の固定された r ≥ 1 および λ > (√r − 1/2)² に対して、連続する r 個の素数の組の正の割合が、p_{n+r} − p_n ≤ λ log p_n を満たす。
• この論文は、非条件的境界 Δ ≤ 1/4 を証明しており、これは無限に多くの連続する素数ギャップが平均間隔の1/4未塔であることを意味する。
• エリオット＝ハルバースタム予想の下では、境界は Δ ≤ (3/2 − √2) ≈ 0.085786 に改善され、1/11未塔となる。
• この方法は、短い除数和の高次モーメントを分析し、それらをモーメント問題と結びつけることで達成された。
• 証明はボンビエリ＝ビノグラドフの定理に依存しており、除数和近似の4次モーメントの鋭い境界を確立している。
• 切り捨てられたvon Mangoldt関数の積の和の漸近公式には、特異級数から計算可能な有理数定数が含まれている。