[论文解读] Zeros of the Riemann zeta function on the critical line

Shaoji Feng|arXiv (Cornell University)|Feb 27, 2010

Analytic Number Theory Research参考文献 14被引用 4

一句话总结

本文在Levinson-Conrey框架内引入一种新型截断函数，以改进黎曼ζ函数非平凡零点位于临界线上的比例下界。通过优化多项式截断函数并应用先进的均值估计方法，作者证明至少41.28%的零点位于临界线上，推动了ζ函数零点密度估计的最新进展。

ABSTRACT

it is proved that at least 41.28% zeros of the Riemann zeta function are on the critical line

研究动机与目标

• 改进黎曼ζ函数非平凡零点位于临界线上比例的下界。
• 开发一种新型截断函数，以增强Levinson-Conrey方法在零点密度估计中的有效性。
• 将该方法的适用范围扩展至关于素数间隔和单零点分布的条件性结果。
• 获得高于先前工作的显式下界，包括Conrey在1989年得到的40.88%结果。

提出的方法

• 引入一种具有参数 $ P_1, P_2, \dots, P_I $ 的多段多项式截断函数，其中 $ P_1(0) = 0 $，$ P_1(1) = 1 $，且对 $ l \geq 2 $ 有 $ P_l(0) = 0 $，以更好地控制临界线上 $ \zeta(s) $ 的大小。
• 采用广义扰动函数 $ f(s) = Q(-\frac{1}{\log T}\frac{d}{ds})\zeta(s) $，其中 $ Q $ 为实系数多项式且满足 $ Q(0) = 1 $ 与对称导数关系 $ Q'(x) = Q'(1-x) $，以将零点从临界线移开。
• 应用Littlewood引理与凸性不等式，通过在 $ \sigma \in (\frac{1}{2} - \frac{R}{\log T}, 1) $ 上的加权积分估计 $ f(s) $ 在临界带内的零点数量。
• 利用 $ |BV(s)|^2 $ 的均值，其中 $ B $ 为截断函数，并推导出涉及函数 $ \mathcal{F} $ 与 $ \mathcal{F}^* $ 的渐近表达式，以编码截断函数在不同频率区域的行为。
• 推导出一个关键不等式，涉及微分算子 $ Q(-\frac{d}{da}) $、$ Q(-\frac{d}{db}) $ 与函数 $ \mathcal{F} $，在 $ a = b = -R $ 处取值，以界定截断ζ函数的均方值。
• 对参数 $ \theta, \theta_1, R, I $ 以及多项式 $ P_1, P_2, P_3 $ 与 $ Q $ 的系数进行数值优化，以最大化 $ \kappa $ 的下界。

实验结果

研究问题

• RQ1 使用截断函数方法，黎曼ζ函数非平凡零点位于临界线上比例的最佳可能下界是多少？
• RQ2 是否可通过一种新型、更具灵活性的截断函数结构，超越Conrey在1989年建立的40.88%界限？
• RQ3 该方法在多大程度上可扩展以获得关于单零点密度或素数间隔的条件性结果？
• RQ4 截断函数多项式系数以及 $ \theta $ 与 $ \theta_1 $ 的选择如何影响 $ \kappa $ 的最终界限？
• RQ5 是否存在一种系统性方法来优化截断函数与扰动函数，以逼近100%的理论极限？

主要发现

• 本文建立了新的下界 $ \kappa \geq 0.4128 $，意味着至少41.28%的黎曼ζ函数非平凡零点位于临界线上。
• 该结果改进了Conrey在1989年通过长度为 $ y = T^{4/7 - \varepsilon} $ 的截断函数得到的 $ \kappa \geq 0.4088 $ 的界限，其关键在于引入了更精细的三段式截断函数结构。
• 该方法确认所检测的零点均为单零点，因此相同的下界 $ \kappa^* \geq 0.4128 $ 同样适用于临界线上单零点的比例。
• 在“θ=1”猜想成立的条件下，该方法可导出条件性下界 $ \kappa \geq 0.6107 $，表明在更强假设下仍有进一步提升的潜力。
• 优化过程确定了 $ P_1, P_2, P_3 $ 与 $ Q $ 的特定多项式系数，以及最优参数 $ R = 1.3025 $，$ \theta = \frac{4}{7} - \varepsilon $，$ \theta_1 = \frac{1}{2} - \varepsilon $，从而最大化下界。
• 分析证实该方法在 $ \theta_1 = \frac{4}{7} - \varepsilon $ 条件下有效，解决了Conrey在早期版本手稿中提出的技术疑虑。