[論文レビュー] Some heuristics on the gaps between consecutive primes

Marek Wolf|arXiv (Cornell University)|Feb 2, 2011

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

ひとこと要約

本稿では、連続する素数の間隔の分布に関するヒューリスティックな公式を提案し、$\pi(x)$、素数の個数関数を直接用いて、間隔$d$で分離された連続する素数のペアの数を表現する。最大間隔、間隔の最初の出現、一般化されたブルン定数に関する予想を導出し、$2^{48}$まで強い数値的支援を得ており、$n \to \infty$ のとき $\sqrt{p_{n+1}} - \sqrt{p_n} \to 0$ であることを示唆している。主な貢献は、$\pi(x)$ と間隔統計を結びつける画期的なヒューリスティックフレームワークであり、素数の間隔挙動に対する検証可能な予測を提供する。

ABSTRACT

We propose the formula for the number of pairs of consecutive primes $p_n, p_{n+1}

研究の動機と目的

• $x$ 未満の連続する素数ペアで間隔$d$を持つものの数を、$\pi(x)$ の直接的な関数として表すヒューリスティックな公式の開発。
• 連続する素数間の最大間隔の分布と $\pi(x)$ との関係の調査。
• 素数間隔の漸近的挙動に基づいて、間隔$d$ の最初の出現に関する予想の提示。
• ヒューリスティックな推論により、$\log \log x$ 項を導く素数調和和の新しい表現の導出。
• 数値データとヒューリスティックモデルを通じて、アンドリカ予想の妥当性の検討。

提案手法

• $\pi(x)$ を唯一の入力として用い、$x$ より小さい間隔$d$ を持つ連続する素数ペアの数 $\tau_d(x)$ に対するヒューリスティックな公式を導出。
• ハーディ＝リトルウッドの予想Bを基盤とし、任意の素数ペアではなく連続する素数に適用できるように修正。
• 漸近形 $p_f(d) \sim \sqrt{d} \, e^{\sqrt{d}}$ を根拠に、間隔$d$ の最初の出現 $p_f(d)$ に関する予想を提示。
• 漸近展開を用いて $\sqrt{p_{n+1}} - \sqrt{p_n}$ の差をモデル化し、$\lim_{n\to\infty} (\sqrt{p_{n+1}} - \sqrt{p_n}) = 0$ に至ることを導出。
• $x = 2^{48} \approx 2.81 \times 10^{14}$ までに収集されたデータを用いて、予想の数値的妥当性を検証。
• 最初の出現間隔の挙動を分析し、指数的減衰推定を導出するために、関数 $R(x) = \sqrt{p_{f}(x)+x} - \sqrt{p_{f}(x)}$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 間隔$d$ を持つ$x$ 未満の連続する素数ペアの数を、$\pi(x)$ の直接的な関数として表現できるか？
• RQ2 連続する素数の間の最大間隔 $G(x)$ の漸近的挙動は何か？ そして $\pi(x)$ とどのように関係するか？
• RQ3 間隔$d$ の最初の出現とは何か？ そのサイズは$d$ に対してどのようにスケーリングされるか？
• RQ4 $n \to \infty$ のとき、差 $\sqrt{p_{n+1}} - \sqrt{p_n}$ は0に近づくか？ その減衰速度は何か？
• RQ5 素数調和和のヒューリスティック予測は、既知の $\log \log x$ 増加と一致するか？

主な発見

• 間隔$d$ を持つ$x$ 未満の連続する素数ペアの数は、$\tau_d(x) \sim C_2 \cdot \mathfrak{S}(d) \cdot \frac{x}{\log^2 x}$ に従うと予想され、$\mathfrak{S}(d)$ は$d$ の算術的構造を捉える。
• 連続する素数の間の最大間隔 $G(x)$ は、$G(x) \sim \log^2 x$ を満たすと予想され、$2^{48}$ までの数値データと整合的である。
• 間隔$d$ の最初の出現は、$p_f(d) \sim \sqrt{d} \, e^{\sqrt{d}}$ を満たすと予想され、これにより $\sqrt{p_f(d)+d} - \sqrt{p_f(d)} \sim \frac{1}{2} d^{3/4} e^{-\frac{1}{2}\sqrt{d}}$ が得られる。
• $\sqrt{p_{n+1}} - \sqrt{p_n}$ の差は、$n \to \infty$ のとき0に近づき、その減衰速度は $\sqrt{d}$ に依存する指数的項によって支配される。
• ヒューリスティックモデルは、素数調和和の主要項 $\log \log x$ を再現し、$\sum_{p \leq x} \frac{1}{\sqrt{p}} \sim \log \log x$ であるという予想を支持する。
• 関数 $R(x) = \sqrt{p_f(x)+x} - \sqrt{p_f(x)}$ は $\sqrt{x}$ に従って指数的に減少することが判明し、図12の数値データとモデルが一致している。