[论文解读] Numerical Verification of the Ternary Goldbach Conjecture up to 8.875e30

H. A. Helfgott, David J. Platt|arXiv (Cornell University)|May 14, 2013

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

一句话总结

本文通过基于Proth素数和优化筛法的素数阶梯算法，使用现代硬件、基于Proth定理的高级素性测试以及多集群并行计算，对三元哥德巴赫猜想在 $8.875 \times 10^{30}$ 以内进行了计算验证。通过该方法，作者将已知的验证阈值提高了超过 $8 \times 10^{10}$ 倍，确认在此范围内每个奇数均可表示为三个素数之和。

ABSTRACT

We describe a computation that confirms the ternary Goldbach Conjecture up to 8,875,694,145,621,773,516,800,000,000,000 (>8.875e30).

研究动机与目标

• 将三元哥德巴赫猜想的数值验证阈值扩展至超越以往记录的范围。
• 开发并实现一种基于Proth素数的高效素数阶梯算法，以验证该猜想在 $8.875 \times 10^{30}$ 以内的成立性。
• 利用现代硬件、并行计算和优化筛法，实现相较于以往方法的显著性能提升。
• 通过多个软件库和外部ECPP验证，独立验证所有素性检查结果。
• 确认该猜想在超过先前工作中确立的理论下限的数值范围内成立。

提出的方法

• 利用Proth定理测试形如 $k \cdot 2^n + 1$（其中 $k < 2^n$）的数的素性，通过雅克比符号检查和模幂运算实现。
• 实现了一种素数阶梯算法，构建素数序列，其间隔不超过 $4 \times 10^{18}$，从而确保该范围内每个奇数均可表示为三个素数之和。
• 在算术级数 $k \cdot 2^n + 1$ 上使用筛法，高效过滤出合数候选者，目标是筛除不超过16,000的小素数因子。
• 在多核集群（AMD Magny Cours和PowerPC系统）上并行计算，使用宽度为 $2^{54} \cdot 10^9$ 的区间，每个区间独立处理。
• 通过独立实现验证所有Proth素数和一般素数：一种使用C++和Class Library for Numbers（不包含GMP），另一种使用François Morain的程序进行ECPP验证。
• 使用Pari的`precprime`和`isprime`函数进行一般素数检测，对130,917个一般素数使用ECPP进行完整验证。

实验结果

研究问题

• RQ1 能否利用现代计算技术，将三元哥德巴赫猜想的数值验证扩展至 $8.875 \times 10^{30}$？
• RQ2 Proth素数和筛法技术在多大程度上能提升素数阶梯构建的效率？
• RQ3 并行计算、优化筛法与高级素性测试的结合，如何实现验证范围的显著扩展？
• RQ4 对素性检查和阶梯构建进行独立验证，是否足以在大规模计算中确保正确性？
• RQ5 硬件进步对数论猜想数值验证的实际影响是什么？

主要发现

• 三元哥德巴赫猜想已在 $T = 8,875,694,145,621,773,516,800,000,000,000$（即 $8.875 \times 10^{30}$）以内完成数值验证。
• 验证范围超过先前记录的 $8 \times 10^{10}$ 倍，其中约 $10^7$ 倍的提升归因于对二元哥德巴赫猜想在 $4 \times 10^{18}$ 以内的更强验证。
• 计算共耗时约40,000核心小时，处理了492,700个宽度为 $2^{54} \cdot 10^9$ 的区间。
• 作者发现并独立验证了130,917个一般素数，使用Pari和ECPP，未发现任何不一致。
• 检查程序（与GMP无关）在单核上每区间耗时40秒，确认了所有Proth素数和阶梯间距。
• 该结果表明，超过此范围的进一步数值验证基本不再必要，因为该猜想在 $10^{29}$ 以上已被无条件证明。