[论文解读] Large deviations in Selberg's central limit theorem

Maksym Radziwiłł|arXiv (Cornell University)|Aug 25, 2011

Stochastic processes and statistical mechanics被引用 8

一句话总结

该论文通过建立 log|ζ(1/2 + it)| 分布的大偏差渐近公式，将塞尔伯格关于黎曼ζ函数在临界线上的中心极限定理推广至更广范围，证明高斯尾部近似在 Δ ≪ (log log T)^{1/10−ε} 范围内依然成立，显著超越了此前 Δ ≪ (log log log T)^{1/2−ε} 的范围。该方法依赖于对长Dirichlet多项式的新颖分析以及受限测度方法以控制罕见的大值，对矩猜想和数论中的值分布具有重要意义。

ABSTRACT

Following Selberg it is known that uniformly for V << (logloglog T)^{1/2 - ε} the measure of those t \in [T;2T] for which log |ζ(1/2 + it)| > V*((1/2)loglog T)^{1/2} is approximately T times the probability that a standard Gaussian random variable takes on values greater than V. We extend the range of V to V << (loglog T)^{1/10 - ε}. We also speculate on the size of the largest V for which this normal approximation can hold and on the correct approximation beyond that point.

研究动机与目标

• 将塞尔伯格关于 log|ζ(1/2 + it)| 的中心极限定理的有效范围扩展至此前已知的 Δ ≪ (log log log T)^{1/2−ε} 范围之外。
• 研究 t ∈ [T, 2T] 中满足 log|ζ(1/2 + it)| 超过大阈值 Δ√(1/2 log log T) 的测度的渐近行为。
• 确定高斯尾部近似失效的临界点，并推测该点之后的正确渐近形式。
• 发展一种适用于ζ函数及其他L函数的值分布以及整数上加性函数的一般方法，仅依赖于矩信息。
• 将 Δ ≫ √log log T 时高斯近似失效的现象与ζ(s)的矩猜想联系起来，特别是 C_k ≠ 1 对于 k ∈ (0,1)。

提出的方法

• 将问题简化为估计长Dirichlet多项式 ∑_{p≤x} p^{−1/2−it} 的实部分布，其中 x = T^{1/(log log T)^2}。
• 引入一个受限集合 A ⊂ [T, 2T]，使得该Dirichlet多项式在此集合上不取大值，从而确保排除 A 所带来的误差可忽略。
• 使用生成函数 ∏_{p≤x} I_0(z/√p) 表示Dirichlet多项式的矩母函数，并通过复分析方法反演Laplace变换。
• 应用截断的Perron型积分公式表达大值的测度，通过Bessel函数乘积的衰减估计控制误差。
• 采用配方法与解析延拓技术提取主渐近项，证明其与高斯尾部成正比。
• 利用主项依赖于 F(c) 的事实，其中 F(z) 是矩母函数的解析部分，并证明当 T → ∞ 时，F(c) → F(k)，其中 Δ ∼ k√(log log T)。

实验结果

研究问题

• RQ1 当 T → ∞ 时，Δ → ∞，塞尔伯格关于 log|ζ(1/2 + it)| 的中心极限定理在大偏差范围内能被推广到何种程度？
• RQ2 高斯尾部近似 ∫_Δ^∞ e^{−u²/2} du / √(2π) 对于大值测度仍有效的最大 Δ 是多少？
• RQ3 当 Δ ∼ k√(log log T) 且固定 k > 0 时，测度的渐近行为如何变化？其是否仍与高斯尾部成正比？
• RQ4 当仅掌握矩信息（而非矩母函数）时，该方法能否推广至其他L函数或加性数论函数？
• RQ5 当 Δ ≫ √log log T 时高斯近似失效，是否与猜想的矩公式 ∫_T^{2T} |ζ(1/2 + it)|^{2k} dt ∼ C_k T (log T)^{k²} 矛盾？

主要发现

• log|ζ(1/2 + it)| 大值测度的渐近公式在 Δ ≪ (log log T)^{1/10−ε} 范围内一致成立，将塞尔伯格原始结果推广至 (log log log T)^{1/2−ε} 之外。
• 当 Δ ∼ k√(log log T) 且固定 k > 0 时，测度渐近等价于 c_k 倍的高斯尾部，其中 0 < c_k ≠ 1，表明其偏离标准高斯形式。
• 该方法依赖于一个密度为 1 − o(1) 的受限集合 A ⊂ [T, 2T]，在此集合上 Dirichlet 多项式 ∑_{p≤x} p^{−1/2−it} 有界，从而可通过矩母函数控制尾部。
• 主结果的证明关键在于对乘积 ∏_{p≤x} I_0(z/√p) 的新估计，表明当 |Im z| 相对于 √x 较大时，该乘积迅速衰减。
• 渐近展开中的误差项为 O(e^{−c(log log T)^{1/2}})，只要 Δ ≤ (log log T)^{1/16 + δ/4 − ε}（其中 δ = 3/20），该误差即为可忽略的，从而得出 Δ ≪ (log log T)^{1/10−ε}。
• 结果支持了高斯近似在 Δ = o(√log log T) 时成立的猜想，且 Δ ≫ √log log T 时近似失效与矩常数 C_k ≠ 1（k ∈ (0,1)）的非平凡性相关。