[论文解读] The fourth moment of quadratic Dirichlet $L$-functions

Quanli Shen|arXiv (Cornell University)|Jul 2, 2019

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

一句话总结

本文在广义黎曼猜想（GRH）下，为奇平方自由整数 $d$ 对应的二次狄利克雷 $L$-函数在 $s = \frac{1}{2}$ 处的四阶矩建立了渐近公式，具体针对特征 $χ_{8d}$。通过借鉴 Soundararajan 和 Young 的方法，并在多重复积分中对高阶极点贡献进行关键创新性处理，本文证实了 Andrade 与 Keating 对 $k=4$ 的猜想，同时给出了与猜想主项一致的无条件下界。

ABSTRACT

We study the fourth moment of quadratic Dirichlet $L$-functions at $s= \frac{1}{2}$. We show an asymptotic formula under the generalized Riemann hypothesis, and obtain a precise lower bound unconditionally. The proofs of these results follow closely arguments of Soundararajan and Young [19] and Soundararajan [17].

研究动机与目标

• 为所有满足 $0 < d \leq X$ 且 $(d,2)=1$ 的奇平方自由整数 $d$，建立 $L(\frac{1}{2}, \chi_{8d})$ 的四阶矩的渐近公式，从而确认 Andrade 与 Keating 对 $k=4$ 的猜想。
• 将 Soundararajan 与 Young 的方法扩展至四阶矩情形，特别关注影响主项的非对角项贡献。
• 提供一个与猜想渐近公式的主项一致的四阶矩无条件下的界。
• 推动对 $L$-函数矩及其与中心点 $L$-值非零性之间关系的更广泛理解，该关系与 Chowla 猜想密切相关。

提出的方法

• 采用 Soundararajan（2000）和 Soundararajan–Young（2010）的谱方法与复积分技术，分析 $L(\frac{1}{2}, \chi_{8d})$ 的四阶矩。
• 通过多重复积分评估非对角项，对高阶极点进行细致处理，这使得本研究与以往将此类项视为误差项的工作形成鲜明对比。
• 利用广义黎曼猜想（GRH）控制零点区域并估计 $L$-函数平均值，从而实现精确的渐近分析。
• 应用涉及 $L$-值分布的矩方法技术，包括使用函数 $\mathcal{N}(V; z_1, z_2, X)$ 来建模满足大值 $|L(\frac{1}{2}+z_1, \chi_d)L(\frac{1}{2}+z_2, \chi_d)|$ 的 $d$ 的数量。
• 通过控制 $\mathcal{V}(z_1, z_2, X)$ 和 $\mathcal{M}(z_1, z_2, X)$（即对数 $L$-函数值的方差与均值），来控制矩的积分表示。
• 结合概率与解析方法，包括对 $\mathcal{N}(V; z_1, z_2, X)$ 的尾部估计，推导出主渐近项与下界结果。

实验结果

研究问题

• RQ1 在 $0 < d \leq X$ 且 $(d,2)=1$ 的条件下，$L(\frac{1}{2}, \chi_{8d})$ 的四阶矩是否满足 Andrade 与 Keating 对 $k=4$ 的猜想渐近公式？
• RQ2 在四阶矩中，非对角项的贡献是否可被证明为影响主项，而非如以往研究中仅作为误差项？
• RQ3 四阶矩的最优无条件下的界是什么？该下界是否与猜想渐近公式的主项一致？
• RQ4 当非对角项不可忽略时，Soundararajan 与 Young 的方法在四阶矩情形下如何扩展？
• RQ5 在 GRH 下，对于此类 $L$-函数，随机矩阵模型对矩的预测能在多大程度上被严格证实？

主要发现

• 在 GRH 下，四阶矩满足渐近公式 $$\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 = \frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} X (\log X)^{10} + O\left(X (\log X)^{9.75+\varepsilon}\right)$$，从而证实了 Andrade 与 Keating 对 $k=4$ 的猜想。
• 主项来源于矩展开中的非对角项贡献，这与早期研究中此类项被视为误差项的情形形成关键区别。
• 建立了无条件下的下界： $$\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 \geq \left(\frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} + o(1)\right) X (\log X)^{10}$$，其主项与猜想渐近公式的主项一致。
• 常数 $a_4$ 通过奇素数上的欧拉乘积显式定义，涉及 Barnes $G$-函数以及与 $L$-函数矩相关的局部因子。
• 证明的核心技术创新在于对具有高阶极点的多重复积分的全新计算，该创新使主项得以被准确捕获。
• 该结果可被理解为 Soundararajan–Young 定理 1.2 在一个 Eisenstein 系列上的版本，凸显了谱理论在矩问题中的作用。