[论文解读] A Hybrid Euler-Hadamard product formula for the Riemann zeta function

S. M. Gonek, C. P. Hughes+1 more|ArXiv.org|Nov 7, 2005

Analytic Number Theory Research参考文献 16被引用 22

一句话总结

本文通过将平滑化的显式公式与随机矩阵理论相结合，提出了一种黎曼ζ函数的混合欧拉-哈达玛乘积公式，将ζ函数建模为素数与非平凡零点的乘积。该模型通过欧拉乘积自然地纳入算术数据，并重现了Keating-Snaith对|ζ(1/2 + it)|矩的猜想，提供了一个在统计上一致的框架，统一了数论与随机矩阵理论的洞察。

ABSTRACT

We use a smoothed version of the explicit formula to find an approximation to the Riemann zeta function as a product over its nontrivial zeros multiplied by a product over the primes. We model the first product by characteristic polynomials of random matrices. This provides a statistical model of the zeta function that involves the primes in a natural way. We then employ the model in a heuristic calculation of the moments of the modulus of the zeta function on the critical line. This calculation illuminates recent conjectures for these moments based on connections with random matrix theory.

研究动机与目标

• 开发一个自然地将素数与非平凡零点同时纳入考虑的黎曼ζ函数统计模型。
• 通过将欧拉乘积结构嵌入模型中，克服随机矩阵模型缺乏算术内容的局限性。
• 利用该混合模型，对|ζ(1/2 + it)|矩的Keating-Snaith猜想提供启发式推导。
• 在无需任何未被证明假设的前提下，建立ζ(s)作为部分欧拉乘积与零点上平滑化哈达玛乘积的乘积的严格近似公式。

提出的方法

• 作者推导出ζ(s)的混合表示形式为P_X(s)Z_X(s)，其中P_X(s)是n ≤ X范围内的平滑化部分欧拉乘积，Z_X(s)是非平凡零点ρ_n上的平滑化哈达玛乘积。
• 他们使用一个质量为1的光滑紧支函数u(x)，定义一个涉及指数积分E_1(z)的积分变换U(z)，以正则化零点的贡献。
• 该模型对ζ(s)的近似误差为O(X^{K+2}/(|s|log X)^K) + O(X^{-σ}log X)，在σ ≥ 0且|t| ≥ 2的范围内一致成立。
• 作者将零点乘积Z_X(s)建模为随机酉矩阵的特征多项式，假设零点的行为类似于此类矩阵的特征值。
• 他们在临界线上计算|P_X(s)Z_X(s)|的矩，并证明当按log T缩放时，其结果与Keating-Snaith预测一致。
• 该推导依赖于通过测试函数平滑化的显式公式，将素数与零点联系起来，从而产生对ζ(s)的逐点近似。

实验结果

研究问题

• RQ1 能否构建一个黎曼ζ函数的统计模型，使其自然地同时包含欧拉乘积（素数）与哈达玛乘积（零点）？
• RQ2 如何调整随机矩阵理论以纳入算术信息，如冯·曼戈尔特函数与素数贡献？
• RQ3 该混合模型是否能重现|ζ(1/2 + it)|矩的Keating-Snaith猜想？
• RQ4 该混合乘积对ζ(s)的近似误差结构是什么？其如何依赖于平滑参数X？

主要发现

• 本文建立了ζ(s)的严格、无条件的混合乘积公式P_X(s)Z_X(s)，其误差项依赖于X与K。
• 该模型重现了|ζ(1/2 + it)|矩的Keating-Snaith猜想，表明矩按(log T)^{k^2}缩放，且系数与猜想中的g(k)/Γ(k^2 + 1)一致。
• 欧拉乘积因子P_X(s)通过冯·曼戈尔特函数捕捉算术结构，而零点乘积Z_X(s)则由随机矩阵特征多项式建模。
• 近似结果在逐点上具有高精度，数值图验证了当X ≈ log T与X = 1000时，|P_X Z_X|与|ζ(1/2 + it)|在第10^12个零点附近的匹配度。
• 误差项在σ ≥ 0且|t| ≥ 2的范围内得到一致控制，其界仅依赖于测试函数的光滑度与K。
• 该模型成功地纳入了猜想中此前在纯随机矩阵模型中缺失的算术因子a(k)。