[論文レビュー] Primes in Tuples II

D. A. Goldston, J. Pintz+1 more|ArXiv.org|Oct 15, 2007

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

ひとこと要約

本稿は、連続する素数間の正規化されたギャップのliminfが有限であることを示すことで、小素数ギャップの分布に関する定量的改善を確立した。Bombieri-Vinogradov定理の精密化版と特異級数平均の応用を用いて、素数は平均的な間隔よりもはるかに近接したクラスタを形成することを示し、従来の境界を著しく上回り、双子素数予想に大きく前進した。

ABSTRACT

We prove that there are infinitely often pairs of primes much closer than the average spacing between primes - almost within the square root of the average spacing. We actually prove a more general result concerning the set of values taken on by the differences between primes.

研究の動機と目的

• 2005年の結果 $\liminf \frac{p_{n+1}-p_n}{\log p_n} = 0$ を超える、有界素数ギャップの存在に関する定量的改善を確立すること。
• 素数ギャップが $O(\sqrt{\log p_n}(\log\log p_n)^2)$ にまで小さくなることを示し、平均の $\log p_n$ より著しく小さいことを明らかにすること。
• Goldston, Pintz, and Yıldırımの手法を、例外的特徴およびLandau-Siegel零点を扱えるように拡張し、Landau-Page定理を用いて未解決のElliott-Halberstam予想に依存しない結果を得ること。
• 特異級数平均とスイーブ法を精緻化し、素数タプルに関するより強い漸近的推定を得ること。

提案手法

• 分布のレベル $\vartheta > 1/2$ において、誤差項を修正した一般化されたBombieri-Vinogradov定理のバージョンを用い、$N^{\vartheta - \epsilon}$ までの一様な算術級数における素数の分布を制御する。
• 本稿で新たに得られた、特異級数の算術平均に関する精密化された結果（新規）を適用し、以前のGallagher型推定を置き換える。
• 二項係数と重み関数 $f(r) = \binom{K}{r}^2 \frac{x^r}{(r+1)\cdots(r+2\ell)}$ を用いたパラメータ化されたスイーブ関数 $S'_R(N,K,\ell,P)$ を導入し、交差サイズ $r = |\mathcal{H}_1 \cap \mathcal{H}_2|$ について最適化する。
• スイーブ和の主項が $r = r_0 = (1-2\varphi)K$ から支配的であることを示すための準単調性議論（補題16）を実施し、主項の正定性を保証する。
• $[N,2N]$ を用いたdyadic区間局在戦略を採用し、$\eta_1 = \frac{K\bar{r}^*\log_2 N}{\log N}$, $\eta_2 = \frac{1}{\log^3_2 N}$, $\eta_3 = \frac{1}{\sqrt{\log N}}$ を用いて誤差項を制御する。
• 条件 $K \leq c_0 \frac{\sqrt{\log N}}{\log^2_2 N}$ の下で $S'_R(N,K,\ell,P) > 0$ を示すことにより、$[N+1,3N]$ 内に差が与えられた集合 $\mathcal{A} - \mathcal{A}$ に属する素数のペアが存在することを確立する。

実験結果

リサーチクエスチョン

• RQ1 有界素数ギャップの手法を精緻化することで、素数ギャップが平均間隔に対してどの程度小さくなるかを定量的に評価できるか？
• RQ2 スイーブ法が、ギャップが $O(\sqrt{\log p_n}(\log\log p_n)^2)$ にまで小さくなる無限個の素数ペアを保証できるような、最適な分布レベル $\vartheta$ は何か？
• RQ3 例外的特徴およびLandau-Siegel零点はスイーブ法にどのように影響を及ぼし、それらの影響を未解決の仮定に依存せずに制御できるか？
• RQ4 より正確な特異級数平均を導出することで、スイーブ推定の主項を改善できるか？

主な発見

• 本稿は、$\liminf_{n\to\infty} \frac{p_{n+1}-p_n}{\sqrt{\log p_n}(\log\log p_n)^2} < \infty$ を証明し、素数ギャップが平均間隔よりも著しく小さくなることを確立した。
• 結果は未解決のElliott-Halberstam予想に依存せず、Landau-Page定理を用いて条件なしに成立する。
• 以前の結果 $\liminf \frac{p_{n+1}-p_n}{\log p_n} = 0$ を超え、ギャップサイズ $O(\sqrt{\log p_n}(\log\log p_n)^2)$ が無限回出現することを定量的に示した。
• 主な技術的進歩は、スイーブにおける主項の制御をより厳密に行える新しい特異級数平均の結果であり、これにより以前のGallagher型推定が置き換えられた。
• 十分に大きな $N$ に対して、$n \in [N+1,2N]$ が存在し、$\sum_{p=n+a_\nu, a_\nu \in \mathcal{A}} \log p > \log(3N)$ を満たすことを示し、$[N+1,3N]$ 内に差が $\mathcal{A}-\mathcal{A}$ に属する2つの素数が存在することを示した。
• ギャップサイズが平均より $O((\log p_n)^{-1/2})$ のオーダーで小さくなる点で、結果は鋭く、従来の境界を著しく改善している。