[論文レビュー] Short effective intervals containing primes

Habiba Kadiri, Allysa Lumley|arXiv (Cornell University)|Jul 29, 2014

Analytic Number Theory Research参考文献 9被引用数 14

ひとこと要約

本稿は、リーマン・ゼータ関数の改善された明示的零点密度推定と滑らか化されたチェビシェフ関数のアプローチを用いて、すべての $ x \geq x_0 $ に対して少なくとも1つの素数を含む有効な短区間を確立する。主な結果として、区間長の大幅な短縮が達成され、$ x_0 = e^{59} $ の場合に $ \Delta = 1,946,282,821 $ を得る。これは先行研究の境界を改善し、三つのゴールドバッハ予想の検証範囲を $ 7.864 \times 10^{27} $ まで拡大可能である。

ABSTRACT

We prove that if $x$ is large enough, namely $x\ge x_0$, then there exists a prime between $x(1- Δ^{-1})$ and $x$, where $Δ$ is an effective constant computed in terms of $x_0$. This improves some previous results of Ramaré and Saouter and is used to verify the Ternary Goldbach Conjecture for the integers up to $7.86\cdot 10^{27}$.

研究の動機と目的

• すべての $ x \geq x_0 $ に対して、少なくとも1つの素数を含む有効的かつ明示的な区間 $ (x(1 - \Delta^{-1}), x) $ を確立し、$ x_0 $ を可能な限り小さくすること。
• 古典的密度定理に基づく明示的定数を伴う新しいリーマン・ゼータ関数の零点密度推定を用いて、先行研究（特にラマレとゾウターの $ \Delta = 209,257,759 $）を改善すること。
• 改善された区間境界を応用し、三つのゴールドバッハ予想の検証範囲を従来の限界を超えて拡張すること。
• 高度な滑らか化および零点密度技術を用いて、$ 4 \cdot 10^{18} $ までの最大素数ギャップの計算的検証済みかつ数値的にタイトな境界を提供すること。

提案手法

• 区間の両端近くの素数寄与を制御するため、重み関数 $ f(t) $ で積分する滑らか化されたチェビシェフ関数 $ \theta(x) $ を用い、$ y = x(1 - \Delta^{-1}) $ のときの差 $ \theta(x) - \theta(y) $ を制御する。
• ブラン・ティッチマーシュ型不等式を適用し、区間端付近の素数寄与を制限することで、滑らか化積分が素数個数差の下界を保証するようにする。
• 古典的密度定理に基づくが、明示的定数を伴う新しいリーマン・ゼータ関数の非自明零点の明示的零点密度推定を用い、$ \psi(x) $ の明示公式における誤差項を制御する。
• コンパクトな台を持つ $ [0,1] $ 上の関数族 $ f(t) $ を導入し、パラメータ $ m $ と $ \delta $ を最適化することで、素数差の下界を最大化する。
• 数値最適化フレームワークを用いて、与えられた $ x_0 $ に対する最適な $ \Delta $ を計算し、滑らか化積分が0を超える条件から $ \Delta $ を導出する。
• ベッセル関数および部分和の明示的評価を用いて、主要な誤差項の正値性を検証し、最終的な不等式 $ \theta(x) - \theta(y) > 0 $ が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 $ x_0 \geq 4 \cdot 10^{18} $ のとき、すべての $ x \geq x_0 $ に対して $ (x(1 - \Delta^{-1}), x) $ が少なくとも1つの素数を含む最小の有効な $ \Delta $ は何か？
• RQ2 リーマン・ゼータ関数の新しい明示的零点密度推定は、先行研究と比較して短素数区間の既知の境界を改善できるか？
• RQ3 素数を保証するための区間長をどれだけ短縮できるか、そして三つのゴールドバッハ予想の検証範囲へのその改善は何か？
• RQ4 $ x \geq x_0 $ の範囲で保証できる最大素数ギャップは何か？ これは既知の数値記録と比較するとどうなるか？
• RQ5 滑らか化技術と明示的零点密度推定を組み合わせることで、リーマン予想に依存せずに短区間に対する証明可能な有効な結果が得られるか？

主な発見

• $ x_0 = e^{59} $ の場合、本稿は $ \Delta = 1,946,282,821 $ を確立し、区間長を $ x/\Delta \approx 5.8 \times 10^{16} $ にまで短縮する。これはラマレとゾウターの $ \Delta = 209,257,759 $ より顕著な改善である。
• プラットによるリーマン予想の検証を用いたヘルフゴットの以前の境界 $ \Delta = 307,779,681 $ よりも改善され、$ \Delta = 1,946,282,821 $ を得ることで、ゴールドバッハの検証範囲を拡張可能である。
• $ x_0 = e^{60} $ の場合、$ \Delta = 1,966,196,911 $ を得られ、これにより三つのゴールドバッハ予想の検証がすべての奇数整数 $ 7.864 \times 10^{27} $ まで拡張可能である。
• 本稿は、$ \log x_0 $ が 42.83 から 150 の範囲についての $ \Delta $ 値の完全な表を提供しており、$ x_0 $ が大きくなるにつれて $ \Delta $ が単調に増加する。これは、より大きな $ x_0 $ でよりタイトな境界が得られることを示している。
• 改善された零点密度推定と洗練された滑らか化および最適化手順を組み合わせることで、すべての $ x \geq x_0 $ に対して素数差 $ \theta(x) - \theta(x(1 - \Delta^{-1})) $ が正であることが保証され、明示的な数値的検証が行われている。
• 結果として、$ 4 \cdot 10^{18} $ 未満の最大素数ギャップは $ N = 4 \cdot 10^{18} $ で抑えられ、$ N\Delta \approx 7.86 \times 10^{27} $ が範囲 $ [x_0, N\Delta] $ 内の最大ギャップの上界として成立することが確認された。