[论文解读] A computational history of prime numbers and Riemann zeros

Pieter Moree, Izabela Petrykiewicz+1 more|arXiv (Cornell University)|Oct 11, 2018

Analytic Number Theory Research参考文献 44被引用 11

一句话总结

本文对素数分布及黎曼ζ函数的非平凡零点进行了计算与历史综述，追溯了从高斯的早期估计到现代随机矩阵理论联系的发展历程。它强调，若黎曼猜想成立，将能为素数计数函数 π(x) 提供精确的界限，其中关键进展由解析数论与随机矩阵理论的数值计算和理论洞察共同推动。

ABSTRACT

We give an informal survey of the historical development of computations related to prime number distribution and zeros of the Riemann zeta function.

研究动机与目标

• 追溯素数理论中计算方法的历史演变，从手工素数表到现代数值验证。
• 解释黎曼猜想在实现 π(x)（素数计数函数）的精确估计中的意义。
• 探讨非平凡ζ零点分布与随机矩阵理论（RMT）之间的深刻联系，特别是其对ζ函数矩的预测作用。
• 强调大规模数值计算——尤其是奥德利兹科对 10^22 附近零点的研究——在验证理论猜想中的作用。
• 提醒研究人员避免过度依赖数值数据，因为迭代对数函数的细微增长可能在缺乏理论基础时产生误导。

提出的方法

• 追溯从高斯的千分法到库利克的4,212页因数表，通过手工与算法计算来追踪素数计数的历史发展。
• 以对数积分 Li(x) 作为 π(x) 的核心近似，其渐近等价关系 π(x) ~ x/log x 已由素数定理证明。
• 在黎曼猜想成立的假设下，推导出精确界限：对所有 x > 2,657，有 |π(x) − Li(x)| < (1/(8π))√x log x。
• 运用随机矩阵理论（RMT）对非平凡ζ零点的统计分布进行建模，从而提出ζ函数矩 I_k(T) 的猜想。
• 推导出渐近公式 I_k(T) ~ (f(k)a(k)/k²!) T (log T)^{k²} 中 f(k) 的猜想整数值，其中 f(3)=42 与 f(4)=24024 已通过 RMT 得到验证。
• 通过大规模数值计算验证这些基于 RMT 的猜想，特别是利用奥德利兹科在 T = 10^22 附近的高精度零点。

实验结果

研究问题

• RQ1 历史上的素数计算方法如何从手工表格演变为现代数值方法？
• RQ2 黎曼猜想在使 Li(x) 精确逼近 π(x) 中具有何种意义？它隐含了哪些界限？
• RQ3 随机矩阵理论对黎曼ζ函数矩的预测与解析数论结果相比如何？
• RQ4 高精度ζ函数零点计算——尤其是 T = 10^22 附近——在验证理论猜想中扮演何种角色？
• RQ5 为何在涉及缓慢增长函数（如 log log log x）时，从数值数据中推导猜想需格外谨慎？

主要发现

• 高斯早期猜想 π(x) ≈ Li(x) 最终促成了素数定理的诞生，该定理由哈达玛与德·拉·瓦莱-普桑独立证明。
• 黎曼猜想意味着对所有 x > 2,657，有 |π(x) − Li(x)| < (1/(8π))√x log x，显著改进了误差估计。
• 随机矩阵理论成功预测了ζ函数渐近矩的整数值 f(3) = 42 与 f(4) = 24024，与早期解析结果一致。
• 奥德利兹科对 T = 10^22 附近的ζ函数零点的数值计算表明，ζ函数仅在如此巨大的高度才展现出其真实的统计行为。
• 在函数域中，L-函数与随机矩阵理论的联系是稳健的，其中黎曼猜想已被证明，且通过 RMT 字典已导出数论中的定理。
• 尽管有强大的数值与启发式支持，目前尚无证明表明 RMT 字典始终成立，这凸显了计算数论持续的重要性。