[论文解读] Strong Szego asymptotics and zeros of L-functions

Paul Bourgade, Jeffrey Kuan|arXiv (Cornell University)|Mar 23, 2012

Analytic Number Theory Research参考文献 19被引用 1

一句话总结

在黎曼猜想的假设下，本文建立了L-函数零点的线性统计量弱收敛于一个高斯场，其协方差由 $\frac{1}{2}$-Sobolev 范数决定。通过使用 Selberg 的光滑化 $\frac{\theta'}{\theta}$ 和 Helffer-Sjöstrand 微积分，本文证明了 L-函数情形下强 Szegő 定理的类比，将谱统计量与希尔伯特空间范数联系起来。

ABSTRACT

Assuming the Riemann hypothesis, we prove the weak convergence of linear statistics of the zeros of L-functions towards a Gaussian field, with covariance structure corresponding to the $\HH^{1/2}$-norm of the test functions. For this purpose, we obtain an approximate form of the explicit formula, relying on Selberg's smoothed expression for $\zeta'/\zeta$ and the Helffer-Sjostrand functional calculus. Our main result is an analogue of the strong Szeg{\H o} theorem, known for Toeplitz operators and random matrix theory.

研究动机与目标

• 在黎曼猜想的假设下，建立 L-函数非平凡零点线性统计量的极限分布。
• 推导这些统计量的协方差结构，使其对应于测试函数的 $\tfrac{1}{2}$-Sobolev 范数。
• 发展一种函数演算框架，以测试函数的光滑谱数据形式近似表达 $\tfrac{\theta'}{\theta}$ 的显式公式。
• 在 L-函数与随机矩阵理论的背景下，证明强 Szegő 定理的类比。

提出的方法

• 利用 Selberg 的 $\tfrac{\theta'}{\theta}$ 光滑表达式来控制 L-函数零点上的谱和。
• 应用 Helffer-Sjöstrand 函数演算，通过解析延拓近似测试函数在零点上的作用。
• 采用显式公式的变体，将零点上的求和与 L-函数对数导数的积分联系起来。
• 通过分析特征函数和矩生成函数，建立线性统计量的依分布收敛性。
• 依赖 $\tfrac{1}{2}$-Sobolev 范数来定义高斯场的极限协方差结构。
• 结合谱理论与数论工具，弥合随机矩阵理论与 L-函数零点统计量之间的鸿沟。

实验结果

研究问题

• RQ1 在黎曼猜想的假设下，L-函数非平凡零点的线性统计量的极限分布是什么？
• RQ2 这些统计量的协方差结构如何与测试函数的 $\tfrac{1}{2}$-Sobolev 范数相关联？
• RQ3 能否利用光滑化的 $\tfrac{\theta'}{\theta}$ 和函数演算推导出显式公式的近似版本？
• RQ4 是否存在类似于随机矩阵理论中强 Szegő 定理的 L-函数情形的强 Szegő 型定理？
• RQ5 Helffer-Sjöstrand 微积分在近似零点谱和中起到什么作用？

主要发现

• 在黎曼猜想的假设下，L-函数零点的线性统计量弱收敛于一个高斯场。
• 高斯场的极限协方差由测试函数的 $\tfrac{1}{2}$-Sobolev 内积决定。
• 通过使用 Selberg 的光滑化 $\tfrac{\theta'}{\theta}$ 和 Helffer-Sjöstrand 微积分，推导出一个近似的显式公式。
• 本文建立了 L-函数的强 Szegő 型定理，将 Toeplitz 算子与随机矩阵理论的结果推广至此情形。
• 该方法为分析经典显式公式之外的零点统计行为提供了严格的框架。
• 结果确认了随机矩阵理论中的谱统计量与 L-函数零点统计量之间存在深刻的类比关系。