[论文解读] $n$-level density of the low-lying zeros of quadratic Dirichlet $L$-functions

Peng Gao|ArXiv.org|Jun 30, 2008

Analytic Number Theory Research被引用 37

一句话总结

该论文在广义黎曼猜想下，将鲁比诺夫对二次狄利克雷L-函数低次零点的n级密度计算结果，通过将测试函数傅里叶变换的支撑范围从∑u_j < 1扩大至∑u_j < 2，实现了推广。结果在该扩展范围内确认了凯茨-萨尔纳克密度猜想，表明其与n级密度框架下辛群Sp的预测一致。

ABSTRACT

The Density Conjecture of Katz and Sarnak associates a classical compact group to each reasonable family of $L$-functions. Under the assumption of the Generalized Riemann Hypothesis, Rubinstein computed the $n$-level density of low-lying zeros for the family of quadratic Dirichlet $L$-functions in the case that the Fourier transform $\hat{f}(u)$ of any test function $f$ is supported in the region $\sum^n_{j=1}u_j &lt; 1$ and showed that the result agrees with the Density Conjecture. In this paper, we improve Rubinstein's result on computing the $n$-level density for the Fourier transform $\hat{f}(u)$ being supported in the region $\sum^n_{j=1}u_j &lt; 2$.

研究动机与目标

• 将二次狄利克雷L-函数低次零点的n级密度计算的有效范围，从∑u_j < 1的区域进一步扩展。
• 在扩展的支撑区域∑u_j < 2内，验证该族二次狄利克雷L-函数的凯茨-萨尔纳克密度猜想。
• 通过处理具有更广傅里叶支撑的更一般测试函数，改进鲁比诺夫早期的结果。
• 在广义黎曼猜想下，为涉及多重积分与配对结构的n级密度提供严格的渐近表达式。

提出的方法

• 利用L-函数的显式公式，将n级密度与零点及算术函数的和联系起来。
• 采用近似函数方程与冯·诺伊曼求和法，处理由测试函数的迹产生的算术和。
• 应用彼得松迹公式与谱论，通过自守形式分析n级密度的贡献。
• 使用驻定相法与积分变换，估计振荡和并控制误差项。
• 基于傅里叶变换支撑结构的递归配对论证，将主项分解。
• 将测试函数傅里叶变换分解为对称与反对称分量，以分离不同配对结构的贡献。

实验结果

研究问题

• RQ1 当测试函数的傅里叶变换支撑于∑u_j < 2时，二次狄利克雷L-函数低次零点的n级密度是否与辛群Sp的预测一致？
• RQ2 鲁比诺夫的n级密度计算能否在保持与凯茨-萨尔纳克密度猜想一致的前提下，扩展至∑u_j < 1区域之外？
• RQ3 在扩展支撑区域内，n级密度的精确渐近表达式是什么？主项与误差项的行为如何？
• RQ4 零点的配对结构与测试函数的对称性如何影响极限密度？

主要发现

• 当测试函数的傅里叶变换支撑于∑_{j=1}^n u_j < 2时，二次狄利克雷L-函数低次零点的n级密度收敛至辛群Sp的预测。
• 渐近展开中的主项由所有指标配对的和构成，每对贡献一个形如∫₀^∞ u ̂g_a(u) ̂g_b(u) du的积分。
• 对于{1,…,n}中偶数大小的子集S，会额外产生一个校正项，涉及嵌套积分与补集子集的交错和。
• 误差项被控制在O(X(log log X)² log^{n−1}X + X log^n X / log log X)范围内，当X → ∞时，其小于主项。
• 该结果在比以往更广的区域内确认了该族的凯茨-萨尔纳克密度猜想，将有效范围从∑u_j < 1扩展至∑u_j < 2。