[論文レビュー] Primes in intervals of bounded length

Andrew Granville|arXiv (Cornell University)|Oct 30, 2014

Analytic Number Theory Research参考文献 40被引用数 4

ひとこと要約

この論文は、素数の有界間隔に関する画期的な進展を統合し、張の研究およびマイナード＝タオの研究を拡張して、任意の整数 $ m \geq 1 $ に対して、少なくとも $ m $ 個の異なる素数を含む長さ $ B_m = e^{8m+5} $ の区間が無限に存在することを証明する。Zhang、Polymath8、Maynard-Tao の技術を統合・簡略化し、組み合わせた手法によって有界間隔が 246 に達することを示し、双子素数予想の目標である間隔サイズ 2 を達成するためには新しいアイデアの必要性を強調する。

ABSTRACT

The Twin Prime conjecture states that there are infinitely many pairs of distinct primes which differ by $2$. Until recently this conjecture had seemed to be far out of reach with current techniques. However, in April 2013, Yitang Zhang proved the existence of a finite bound $B$ such that there are infinitely many pairs of distinct primes which differ by no more than $B$. This is a massive breakthrough, making the twin prime conjecture look highly plausible, and the techniques developed help us to better understand other delicate questions about prime numbers that had previously seemed intractable. Zhang even showed that one can take $B = 70000000$. Moreover, a co-operative team, \emph{polymath8}, collaborating only on-line, had been able to lower the value of $B$ to ${4680}$. They had not only been more careful in several difficult arguments in Zhang's original paper, they had also developed Zhang's techniques to be both more powerful and to allow a much simpler proof (and forms the basis for the proof presented herein). In November 2013, inspired by Zhang's extraordinary breakthrough, James Maynard dramatically slashed this bound to $600$, by a substantially easier method. Both Maynard, and Terry Tao who had independently developed the same idea, were able to extend their proofs to show that for any given integer $m\geq 1$ there exists a bound $B_m$ such that there are infinitely many intervals of length $B_m$ containing at least $m$ distinct primes. We will also prove this much stronger result herein, even showing that one can take $B_m=e^{8m+5}$.

研究の動機と目的

• Zhang、Polymath8、Maynard-Tao がもたらした有界素数間隔に関する画期的で、かつ重要な手法を統合・明確化すること。
• 任意の $ m \geq 1 $ に対して、少なくとも $ m $ 個の異なる素数を含む長さ $ B_m = e^{8m+5} $ の区間が無限に存在することを示す定量的境界 $ B_m $ を確立すること。
• Zhang の元来の手法と Maynard-Tao の枠組みを組み合わせることで、既知の最小間隔サイズが 246 にまで低下することを示すこと。
• 現在の技術の限界を強調し、双子素数予想の目標である間隔サイズ 2 を達成するためには新しいアイデアの必要性を指摘すること。
• Zhang の短い等差数列における素数の推定値に関する基本的な推定値を、自己完結的かつ明確に証明すること。この推定値は、全プログラムの基盤をなす。

提案手法

• スieve法における誤差項を制御するための、Zhang が提唱した短い等差数列における素数の新しい推定値を適応する。
• 多変数スieve法を用いて、重み付きスieve関数を用いて短い区間内に複数の素数が存在することを検出する Maynard-Tao 法を適用する。
• Polymath8 コラボレーションの改良を活用し、Zhang の元来の証明構造の誤差境界を厳密にし、簡略化する。
• 変動するシフトと1区間あたり複数の素数を許容する一般化されたスieve枠組みを用い、素数コンステレーションの検出を強化する。
• Zhang の元来の議論を維持しつつ、特に有界間隔の根本的な未解決問題に対して強力なまま、簡略化された新しい証明戦略を導入する。
• Maynard-Tao 定理の定量的形態を確立し、$ n \in [x,2x] $ で $ n + a_j $ が多数の素数を含むような $ n $ の数の下界を求める。

実験結果

リサーチクエスチョン

• RQ1 Zhang、Maynard、Tao の手法を統合し、任意の $ m \geq 1 $ に対して、少なくとも $ m $ 個の異なる素数を含む長さ $ B_m $ の区間が無限に存在することを証明できるか？
• RQ2 任意の $ m \geq 1 $ に対して、長さ $ B_m $ の区間に無限に多くの $ m $-素数組が存在するような、最も良い有効な境界 $ B_m $ は何か？
• RQ3 Zhang-Maynard-Tao フレームワークをどの程度最適化できるか。既知の最小間隔サイズを 246 未満にまで低下させられるか？
• RQ4 Maynard-Tao 定理の定量的含意は、短い区間における素数の分布にどのような影響を与えるか？
• RQ5 双子素数予想の目標である間隔サイズ 2 を達成するためには、どのような新しい解析的道具や数論的洞察が必要か？

主な発見

• 任意の $ m \geq 1 $ に対して、少なくとも $ m $ 個の異なる素数を含む長さ $ B_m = e^{8m+5} $ の区間が無限に存在する。
• Zhang の手法と Maynard-Tao の枠組みを組み合わせることで、無限に多くの素数対の最小間隔の既知の境界が 246 にまで低下する。
• Maynard-Tao 法は、任意の $ m \geq 1 $ に対して、長さ $ e^{8m+5} $ の区間に無限に多くの $ m $-素数組が存在することを示すように一般化可能である。
• すべての現在の技術を理論的限界まで押し進めれば、最小間隔サイズを 12（あるいは 6）まで低下させられる可能性があるが、2 に到達するためには新しいアイデアが必要である。
• Maynard-Tao 定理の定量的形態は、任意の $ x,y \geq 1 $ に対して、$ (n,n+y] $ が $ \gg \log y $ 個の素数を含むような $ x < n \leq 2x $ の整数 $ n $ が $ \gg x \exp(-\sqrt{\log x}) $ 個存在することを示唆する。
• 正規化された素数間隔の極限点の集合 $ \mathcal{L} $ は、ある $ c > 0 $ に対して $ [0,c] \subset \mathcal{L} $ を満たし、また $ \mathcal{L} \cap [0,x] $ の測度は $ x/49 $ 以上である。