[論文レビュー] On the differences between consecutive prime numbers, I

D. A. Goldston, Andrew Ledoan|arXiv (Cornell University)|Nov 14, 2011

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

ひとこと要約

この論文は、ハーディー＝リトルウッドの素数 $k$-タプル予想のもとで、ギャラガーのポアソン分布の結果を、連続する素数のペアの差が $d$ であるものの数が、$d \sim \lambda \log x$ のとき、$e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$ に漸近的に等しくなることを示すことで、素数ギャップの分布を精緻化している。この結果は、$k \geq 3$ の $k$-タプルに対する包含除算法を用いて、ポアソンモデルを個々の素数ギャップまで拡張したものである。主な貢献は、正確な漸近公式が、特異級数と対数積分近似によって検証された連続する素数差の公式の確立である。

ABSTRACT

We show by an inclusion-exclusion argument that the prime $k$-tuple conjecture of Hardy and Littlewood provides an asymptotic formula for the number of consecutive prime numbers which are a specified distance apart. This refines one aspect of a theorem of Gallagher that the prime $k$-tuple conjecture implies that the prime numbers are distributed in a Poisson distribution around their average spacing.

研究の動機と目的

• ギャラガーの素数ギャップのポアソン分布の結果を、与えられた差 $d$ をもつ連続する素数ペアの漸近公式を導出することで精緻化すること。
• 素数ギャップのポアソンモデルが、区間のカウントにとどまらず、個々の連続する素数ギャップに対しても拡張可能であることを示すこと。
• 素数 $k$-タプル予想の下で、差 $d$ をもつ連続する素数ペアの数 $N(x,d)$ の正確な漸近公式を確立すること。
• $k$-タプル予想から生じる特異級数 $\mathfrak{S}(d)$ が、ギャップ $d$ をもつ連続する素数ペアの密度を支配することを示すこと。
• 包含除算法を $k$-タプル（$k \geq 3$）に適用することで、$k$-タプルカウントから非連続なペアを分離し、連続する素数ペアのみを抽出する方法の有効性を示すこと。

提案手法

• ハーディー＝リトルウッドの素数 $k$-タプル予想（予想 H）を用いて、所定の間隔をもつ $k$-タプルの素数の数をモデル化する。
• 集合 $\mathcal{D}_k = \{0, d_1, \dots, d_{k-2}, d\}$ に対する $k$-タプルの包含除算法を適用し、ギャップ $d$ をもつ連続する素数ペアのみを数える。非連続な場合を除外する。
• $Q_N(x,d)$ のカウントを、符号が交互に変わる $k$-タプルの和として表現し、特異級数 $\mathfrak{S}(\mathcal{D}_k)$ と対数積分 $\operatorname{li}_k(x)$ を含める。
• $\exp(-d/\log t)$ のテイラー展開を用いて、包含除算法の和から主要項 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$ を抽出する。
• スターリングの公式と誤差項の評価を用いて、包含除算法の展開における剰余項を制御し、$N \to \infty$ のときの収束を保証する。
• $d \sim \lambda \log x$ のとき、$I(x,d) \sim e^{-\lambda} \frac{x}{(\log x)^2}$ である漸近的同値関係を確立し、主要な公式の導出を完了する。

実験結果

リサーチクエスチョン

• RQ1 短い区間における素数のポアソン分布が、区間カウントにとどまらず、個々の連続する素数ギャップに対しても拡張可能か？
• RQ2 ハーディー＝リトルウッドの $k$-タプル予想を用いて、固定された差 $d$ をもつ連続する素数ペアの数の漸近公式を導出可能か？
• RQ3 ギャップ $d$ をもつ素数ペアの密度を支配する特異級数 $\mathfrak{S}(d)$ が、素数が連続でなければならないという要件とどのように関係するか？
• RQ4 $k$-タプル（$k \geq 3$）に対する包含除算法が、$k$-タプルカウントから非連続なペアを分離する際に果たす役割は何か？
• RQ5 $k$-タプル予想のもとで、$d \sim \lambda \log x$ のとき、漸近公式 $N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$ は有効か？

主な発見

• 差 $d$ をもつ連続する素数ペアの数 $N(x,d)$ は、$d \sim \lambda \log x$ かつ $d$ が偶数のとき、$N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$ を満たす。
• 特異級数 $\mathfrak{S}(d)$ は、$d$ が偶数のとき $2C_2 \prod_{p>2, p|d} \left(\frac{p-1}{p-2}\right)$ として定義され、ギャップ $d$ をもつ連続する素数ペアの密度を支配する。$\mathfrak{S}(d) \gg 1$ が $d$ が偶数のとき成り立つ。
• 主要項 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$ は、$d \sim \lambda \log x$ のとき、$e^{-\lambda} \frac{x}{(\log x)^2}$ に漸近的に一致し、ポアソン係数の妥当性が確認される。
• $k \geq 3$ の $k$-タプルに対する包含除算法は、連続する素数ペアを効果的に分離でき、スターリングの公式とテイラー展開による誤差項の制御が可能である。
• 包含除算法の展開における誤差項は $N \to \infty$ のとき減少し、$N$ が十分にゆっくり増加する限り、漸近公式が極限で回復可能である。
• この結果は、素数ギャップのポアソン分布が、グローバルにのみ成り立つものではなく、特異級数 $\mathfrak{S}(d)$ が算術的補正を提供することで、個々の連続する素数差に対しても精緻に適用可能であることを確認している。