[论文解读] 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 $ 均包含至少一个素数的有效短区间。关键结果是显著减少了所需区间的长度，对于 $ 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 $ 均包含至少一个素数的有效显式区间 $ (x(1 - \Delta^{-1}), x) $，且使 $ x_0 $ 尽可能小。
• 通过利用黎曼ζ函数的新型显式零点密度估计，改进先前的有效结果——特别是 Ramaré 和 Saouter 的 $ \Delta = 209,257,759 $。
• 将改进后的区间界限应用于扩展三元哥德巴赫猜想的验证范围，超越以往的限制。
• 通过先进平滑化与零点密度技术，提供对 $ 4 \cdot 10^{18} $ 以内最大素数间隔的计算验证与数值紧致界。

提出的方法

• 使用切比雪夫函数 $ \theta(x) $ 的平滑版本，通过在权函数 $ f(t) $ 上积分，以控制 $ y = x(1 - \Delta^{-1}) $ 时的差值 $ \theta(x) - \theta(y) $。
• 应用类似 Brun-Titchmarsh 的不等式，以限制区间端点附近素数的贡献，确保平滑积分保持为素数计数差值的下界。
• 采用针对黎曼ζ函数非平凡零点的新显式零点密度估计，该估计源自经典密度定理但具有显式常数，用于控制 $ \psi(x) $ 显式公式中的误差项。
• 引入一个在 $ [0,1] $ 上具有紧致支集的函数族 $ f(t) $，通过参数 $ m $ 和 $ \delta $ 进行优化，以最大化素数差值的下界。
• 使用数值优化框架计算给定 $ x_0 $ 下的最优 $ \Delta $，其中 $ \Delta $ 由平滑积分超过零的条件导出。
• 通过显式边界控制贝塞尔函数与部分和，验证主要误差项的正性，确保最终不等式 $ \theta(x) - \theta(y) > 0 $ 成立。

实验结果

研究问题

• RQ1 对于 $ x_0 \geq 4 \cdot 10^{18} $，最小的有效 $ \Delta $ 是多少，使得 $ (x(1 - \Delta^{-1}), x) $ 对所有 $ x \geq x_0 $ 均包含至少一个素数？
• 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} $，显著优于 Ramaré 和 Saouter 的 $ \Delta = 209,257,759 $。
• 该结果改进了 Helfgott 早期基于 Platt 的黎曼假设验证所得的 $ \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 $ 值表格，且 $ \Delta $ 随 $ x_0 $ 单调递增，反映出在更大 $ 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] $ 内最大可能间隔的上界。