[論文レビュー] Long gaps between primes

Kevin Ford, Ben Green+3 more|arXiv (Cornell University)|Dec 16, 2014

Analytic Number Theory Research参考文献 23被引用数 13

ひとこと要約

本稿は、X までの連続する素数間の最大ギャップ $ G(X) $ の新しい下界を確立し、$ G(X) \' \\frac{\log X \log_2 X \log_4 X}{\log_3 X} $ であることを証明する。これは、従来の結果を著しく改善するものである。著者らは、Pippenger と Spencer のハイパーグラフ被覆定理を Rödl の nibble 法を用いて一般化し、それを多次元素数検出セーブの枠組み内に適用することで、素数を含まない長い区間を構成した。

ABSTRACT

Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and fifth authors and of the fourth author. Our main new ingredient is a generalization of a hypergraph covering theorem of Pippenger and Spencer, proven using the Rödl nibble method.

研究の動機と目的

• X までの連続する素数間の最大ギャップ $ G(X) $ の定量的下界を改善し、従来の結果が多次元セーブの力を十分に活用していなかった点を上回ること。
• Pippenger と Spencer のハイパーグラフ被覆定理を一般化し、素数ギャップの文脈におけるより柔軟かつ効果的なセーブ構成を可能にすること。
• セーブ法と高度な被覆技術を組み合わせることで、第1〜第3著者および第5著者の結果、および第4著者の結果を含めた、定量的かつ効果的な改善を達成すること。
• 定理1に必要なものよりも一般性を高めた重要な命題を提示することで、将来の連続する大きな素数ギャップの鎖に関する研究の基盤を築くこと。

提案手法

• 著者らは、Rödl の nibble 法を用いて、Pippenger-Spencer のハイパーグラフ被覆定理を一般化し、誤差項を制御可能なより柔軟で頑健な被覆を可能にする。
• 適切に選ばれた重みを用いた多次元素数検出セーブを適用し、素数を含まない長い区間を特定する。これは、素数における線形形式の構造を活用する。
• この方法は、密度が制御された等差数列に属する整数を検出するための篩重み関数 $ w_{k,\mathcal{L},B,R}(n) $ を構築することを含み、双対形式の篩を用いてシフトされた区間内の素数の数を推定する。
• 主要な推定は、特異級数 $ \mathfrak{S} $、特異積分 $ J_k $、および双対特異積分 $ I_k $ に依存しており、これらは素数における線形方程式系の解の期待値を制御する。
• 証明は、[32] の篩的枠組みと [13] の線形形式法を組み合わせたハイブリッド的手法を用いる。特に、適切な組合せと剰余類を用いて区間を被覆する。
• 重要なステップとして、線形形式の摂動に対して篩重みが安定することを示し、誤差項を $ O(1/\log_{2}^{10}x) $ の境界で制御する。

実験結果

リサーチクエスチョン

• RQ1 従来の研究で確立された $ \frac{\log X \log_2 X}{\log_3 X} $ の閾値を超えて、最大素数ギャップ $ G(X) $ の下界を改善できるか？
• RQ2 多次元素数検出における篩誤差項を効果的に制御できるように一般化されたハイパーグラフ被覆定理を構築できるか？
• RQ3 Rödl の nibble 法は、素数ギャップの篩的構成における定量的改善を達成するためにどの程度適応可能か？
• RQ4 多次元セーブ法と素数における線形形式の手法を統合することで、大きな素数ギャップの下界をより強くすることができるか？

主な発見

• 本稿は、十分に大きなすべての $ X $ に対して、新しい下界 $ G(X) \gg \frac{\log X \log_2 X \log_4 X}{\log_3 X} $ を確立し、従来の結果に対して顕著な定量的改善を示した。
• この下界における係数は有効的であるため、結果は漸近的であるだけでなく、計算的にも意味を持つ。
• 著者らは、Pippenger-Spencer の結果を拡張する一般化されたハイパーグラフ被覆定理を証明し、極値的組合せ論の分野においても独立した価値を持つ。
• この方法は、[32] の篩的枠組みと [13] の線形形式法を効果的に統合し、誤差項の制御をより厳密にし、より良い推定を可能にした。
• 証明は、特異級数 $ \mathfrak{S} $、双対特異積分 $ I_k $、および主要項 $ J_k $ の精密な解析に依存しており、これらはシフトされた区間内の素数解の数を推定する上で不可欠である。
• 著者らは、線形形式の小さな摂動に対しても篩重みが安定することを示し、誤差項が $ O(1/\log_{2}^{10}x) $ で抑えられることを示した。これは、低次の寄与を吸収するのに十分である。