[論文レビュー] Bounded gaps between primes of the special form

Hongze Li, Hao Pan|arXiv (Cornell University)|Mar 18, 2014

Analytic Number Theory Research参考文献 5被引用数 10

ひとこと要約

本稿は、特殊な形の素数の間隔が有界であることを示す。具体的には、$ p+2 $ が少ない素因数を持つ素数 $ p $ に対して、洗練された Maynard 篩法を適用することで、$ m+1 $ 個の素数の組が $ O(m^4 e^{8m}) $ の間隔で無限に存在することを証明している。各 $ p_j + 2 $ が $ \frac{16m}{\log 2} + \frac{5\log m}{\log 2} + 37 $ 個以下の素因数を持つことが保証され、Maynard-Tao の有界間隔定理が $ \mathcal{P}_d^{(2)} $ の素数に拡張される。

ABSTRACT

For each $m\geq 1$, there exist infinitely many primes $p_1

研究の動機と目的

• 素因数が少ない $ p+2 $ を持つ素数 $ p $ のための漸近公式の不足という、素数分布理論における重要な空白を埋める。
• $ \Omega(p+2) \leq d $ を満たす特殊な素数のクラス $ \mathcal{P}_d^{(2)} $ に、Maynard-Tao の有界間隔定理を拡張する。$ p+2 $ の素因数の個数を制御することで実現する。
• $ p+2 $ の素因数の個数に対して、有界間隔が保証されるような定量的境界を確立する。
• $ m+1 $ 個のこのような素数の間隔に対して、明示的かつ有効な上界を導出することで、従来の定性的な結果を改善する。
• 篩法を一般化し、$ p+2 $ の素因数の個数に制約を課すようにし、その個数を制御する能力を維持する。

提案手法

• 篩法に $ \tau(n) $ の除数関数を組み込み、$ p+2 $ の素因数の個数を重み付き和を用いて制御できるようにする。
• 単体 $ \Delta_{k_0,1} $ 上の滑らかで compact な台を持つ関数 $ f $ を用い、$ F $ と $ G_m $ をその混合偏導関数として定義し、篩の重みを構成する。
• 移動集合 $ \{h_1, \dots, h_{k_0}\} $ の適切性を活用し、切り捨てられた除数関数和を用いた改良版の Bombieri-Vinogradov 定理を適用する。
• パラメータ $ C_2 = 1161k_0^2 \gamma^{-1} $ を導入し、$ \Omega(p+2) \leq \frac{\log C_2}{\log 2} $ を満たすようにすることで、素因数の個数を小さく保つ。
• パラメータ $ \delta_1, \delta_2, A, \gamma $ の適切な選択により、主項 $ \alpha $ と誤差項 $ \beta_1, \beta_2 $ のバランスを最適化し、有効な境界を導く。
• $ W = \prod_{p \leq \log\log\log x} p $ を用いて Möbius 関数と互いに素な条件を導入し、$ p+2 $ の因数分解が制御された算術級数内の素数を篩い出す。

実験結果

リサーチクエスチョン

• RQ1 Maynard-Tao の有界間隔結果を、$ p+2 $ が有界個の素因数を持つ素数 $ p $ に拡張することは可能か？
• RQ2 $ \Omega(p+2) \leq d $ を満たす $ m+1 $ 個の素数 $ p $ 間の最適な上界は何か、ただし $ d $ は $ m $ の関数である。
• RQ3 Maynard 篩法を、素数の検出にとどまらず、$ p+2 $ の素因数の個数に制約を課すようにどのように修正できるか？
• RQ4 定性的な存在性ではなく、明示的かつ有効な境界を、$ p+2 $ の間隔と素因数の個数に対して導出可能か？
• RQ5 移動集合 $ \{h_1, \dots, h_{k_0}\} $ を適切に選べば、得られる素数 $ n + h_j $ が $ \Omega(n + h_j) \leq d $ かつ $ n + h_j $ が $ m+1 $ 個のインデックスで素数であるような、適切な $ k_0 $-組を構成できるか？

主な発見

• 無限に多くの $ m+1 $ 個の素数の組 $ p_1 < \cdots < p_{m+1} $ が存在し、$ p_{m+1} - p_1 = O(m^4 e^{8m}) $ を満たす。間隔の大きさは明示的に有界されている。
• 各 $ j $ に対して、$ p_j + 2 $ の素因数の個数は $ \Omega(p_j + 2) \leq \frac{16m}{\log 2} + \frac{5\log m}{\log 2} + 37 $ を満たす。これにより、$ p_j + 2 $ の因数分解に対する定量的制御が得られる。
• $ m = 1 $ の場合、この境界により、$ \mathcal{P}_{59}^{(2)} $ に属する無限に多くの異なる素数 $ p_1, p_2 $ が存在し、$ |p_2 - p_1| \leq 3 \times 10^9 $ を満たすことが示される。これは、この特殊クラスにおける有界間隔の存在を確認する。
• 誤差項と間隔の境界に有効な定数が得られ、結果が構成的かつ小さな $ m $ に対して数値的に検証可能である。
• $ k_0 \geq m^2 e^{4m+8} $ を選ぶことで、$ \Omega(p_j + 2) \leq \frac{3\log k_0}{\log 2} + \frac{1}{\log 2}\log\log k_0 + 9 $ を満たす無限に多くの $ m+1 $ 個の素数の組が保証され、以前の境界を改善する。
• 解析により、篩法が $ p+2 $ の素因数の個数を制御できるように拡張可能であることが確認され、素数検出にとどまらず、有界間隔定理の適用範囲が拡張された。