[论文解读] The Path to Recent Progress on Small Gaps Between Primes

D. A. Goldston, J. Pintz+1 more|ArXiv.org|Dec 19, 2005

Analytic Number Theory Research参考文献 24被引用 7

一句话总结

本文追溯了导致素数间小间隔突破性结果的方法发展过程，重点在于利用截断除数和与筛法理论改进 liminf(p_{n+1} - p_n)/log p_n 的界限。通过改进 Bombieri-Vinogradov 定理并应用带权和的 Selberg 型筛法，作者首次在无条件情况下证明了 liminf(p_{n+1} - p_n)/log p_n = 0，并随后在较弱的分布假设下表明，大小至多为 16 的间隔无限次出现。

ABSTRACT

This paper describes some of the ideas used in the development of our work on small gaps between primes.

研究动机与目标

• 追溯素数间小间隔研究中关键思想与方法论转变的演变过程。
• 解释截断除数和与筛法权重如何使突破 Bombieri-Vinogradov 定理的限制成为可能。
• 阐明素数在等差数列中分布水平在实现有界间隔中的作用。
• 建立首个无条件证明：连续素数间任意小的间隔无限次出现。
• 将框架扩展至几乎素数，证明 E₂-数列中存在有界间隔。

提出的方法

• 作者使用截断除数和 Λ_R(n) 作为 von Mangoldt 函数 Λ(n) 的近似，使得当 Λ(n) 本身难以处理时仍可进行分析。
• 他们应用受 Selberg 和 Heath-Brown 启发的加权筛法，使用系数 λ_d = μ(d)(log(R/d)/log R)^{k+1} 以优化筛法方差。
• 该方法依赖于经过修改的 Bombieri-Vinogradov 定理，其模数范围略有限制但误差界更强。
• 他们分析了可容许 k 元组 ℋ 的奇异级数 𝔖(ℋ)，以量化素数 k 元组的期望数量。
• 关键创新在于用包含 Λ_R(n;ℋ,ℓ) 的加权和替代标准筛法，从而更紧密地控制素数在 k 元组中的分布。
• 他们将 Maier 在短区间中研究素数的方法与筛法相结合，改进了 liminf(p_{n+r} - p_n)/log p_n 的界限。

实验结果

研究问题

• RQ1 筛法如何被调整以无条件证明连续素数间存在小间隔？
• RQ2 分布水平 α 在决定小素数间隔最紧界限中的作用是什么？
• RQ3 截断除数和 Λ_R(n) 是否可作为计数素数 k 元组中 Λ(n) 的可行替代？
• RQ4 将 Maier 的区间构造方法融入后，如何改进已知的 liminf(p_{n+1} - p_n)/log p_n 的界限？
• RQ5 在 Elliott-Halberstam 猜想或更弱的分布假设下，可证明无限次出现的最小间隔大小是多少？

主要发现

• 本文无条件地证明了 liminf(p_{n+1} - p_n)/log p_n = 0，即连续素数间任意小的间隔无限次出现。
• 在假设素数的分布水平为 α > 1/2 的前提下，作者证明了 liminf(p_{n+r} - p_n)/log p_n ≤ (√r - √(2α))²。
• 当 α ≥ 0.971 时，该方法证明了存在无限多组 6 元素素数，其间隔至多为 16，基于可容许元组 (n, n+4, n+6, n+10, n+12, n+16)。
• 通过引入 Maier 方法，作者改进了小间隔的界限，得到 liminf(p_{n+r} - p_n)/log p_n ≤ e^{-γ}(√r - 1)²。
• 他们将该框架扩展至几乎素数（E₂-数），证明了 liminf(q_{n+1} - q_n) ≤ 6，其中 q_n 是第 n 个 E₂-数。
• 该方法得出一个一般性结果：对于任意密度 > C(log N)^{1/2}(log log N)^2 的序列 𝒜，𝒜 中存在无限多个差值为两个素数之差。