相邻素数间的有界间隔

历史背景与问题演进

素数分布的研究始于欧拉对 函数的探索，而相邻素数间隔的系统研究则从 19 世纪开始。1849 年，Dirichlet 证明等差数列中有无穷多素数，为间隔问题奠定基础；1921 年，Hardy 和 Littlewood 提出孪生素数猜想的渐进公式，推测间距为 2 的素数对数量约为 （其中 ）。20 世纪中叶，Erdős 证明存在无穷多素数对间距小于 ，但未给出常数 的具体值。

2005 年，Goldston、Pintz 和 Yildirim（GPY）提出创新筛法，证明当素数分布阶满足 时， 。然而其结果依赖未被证明的 Elliott-Halberstam 猜想，无法无条件成立。这一局限激发了后续突破：张益唐通过引入 “光滑模数” 改良 Bombieri-Vinogradov 定理，将分布阶提升至 ，从而无条件证明有界间隔存在；Maynard 则通过多维权重函数重构筛法，显著降低了间隔上界。

核心定义与数学框架

基本概念

相邻素数间隔：设 为第 个素数，则间隔 。研究目标是证明 。

可容许元组：整数集 称为可容许的，若对任意素数 ，存在整数 使得 对所有 成立。例如 是可容许元组（模 2 时取 ）。

素数分布阶：衡量素数在等差数列中的分布均匀性，定义为最大 使得 ，其中 表示模 余 的素数计数函数。

GPY 筛法框架

GPY 方法通过构造筛函数估计区间 中满足 同时为素数的 的数量。核心筛函数为：

其中 为 Selberg 参数。通过选择 （ 为多项式， ），可将问题转化为积分不等式的优化。

张益唐的突破：光滑筛法与七千万界

张益唐的关键创新是对模数引入 “光滑性” 限制，即仅考虑素因子均小于 的模数（ ）。这一改良使得 Bombieri-Vinogradov 定理的误差项可被有效控制，从而将素数分布阶提升至 。

技术路线

光滑模数构造：定义 ，限制筛函数中的 满足 （即 为 光滑数）。此时筛函数改写为：

其中 为可容许元组大小， 。

主项与误差估计：通过 Perron 公式和复变积分，张益唐证明主项满足：

其中 为元组 模 的不同剩余类数量。误差项则利用光滑模数的算术性质控制在 （ ）。

数值优化：选取 及可容许元组 ，结合素数定理的 Rosser-Schoenfeld 估计：

最终得到存在无穷多素数对间距小于 。

Maynard 的多维筛法与 600 界

Maynard 在 2014 年独立提出更灵活的权重函数构造，将 GPY 的标量参数推广为向量，通过变分法优化得到更紧的上界。其核心思想是将问题转化为积分算子的特征值问题，通过数值计算实现突破。

变分问题构建

Maynard 定义对称函数 满足 且 时非零，并构造泛函：

目标是最大化 。通过假设 （径向对称），问题简化为单变量优化：

解得最优 ，其中 ，此时比值为 。

数值计算与优化

Maynard 通过多项式逼近构造 ，将问题转化为矩阵特征值问题。对 ，计算得到最大特征值 ，结合可行元组 （共 105 个元素），最终证明存在无穷多素数对间距小于 600。

Polymath 项目与 246 界

2014 年启动的 Polymath8 项目结合张益唐的光滑模数思想与 Maynard 的多维筛法，通过集体协作优化参数。关键改进包括：元组优化：构造更密集的可容许元组，如包含 105 个元素的最优间隔序列。误差项精细估计：结合最新的素数分布结果，将 Bombieri-Vinogradov 定理的适用范围扩展至 。计算机辅助计算：通过大规模数值模拟验证特征值优化的稳定性。

最终结果将有界间隔上界降至 246，这是当前无条件证明的最佳结果。若假设 Elliott-Halberstam 猜想成立，该上界可进一步降至 12。

应用与未解决问题

相邻素数有界间隔的证明不仅为孪生素数猜想提供了弱形式的解答，其方法已拓展至其他数论问题：算术级数中的素数间隔：Maynard-Tao 方法可推广至证明存在无穷多素数在给定公差的等差数列中，间距有界。高维素数簇：类似技术用于证明存在无穷多包含 个素数的 维整点集。函数域上的类比：在有限域函数域中，已有类似结果证明存在有界间隔的素多项式。

主要未解决问题包括：最终上界改进能否将 246 降至更小的常数（如 16 或 12）。Elliott-Halberstam 猜想的证明将直接导致间隔上界降至 12，但目前仅有部分情形被验证。孪生素数猜想是否存在无穷多间距为 2 的素数对。现有方法因筛法奇偶性障碍难以突破这一终极目标。

相邻素数有界间隔的研究历程展现了数学思维的突破与协作的力量。从 GPY 的理论框架到张益唐的关键创新，再到 Maynard 的方法革新与 Polymath 的集体优化，每一步进展都推动着人类对素数分布规律的理解。尽管距离孪生素数猜想的完全解决仍有距离，但这些成果已深刻改变了解析数论的研究格局，为未来突破奠定了基础。