Negative discrete second moments of Dirichlet $L$-functions

技术摘要：狄利克雷 $L$-函数的负离散二阶矩

问题陈述
本文研究了两个特定的狄利克雷 $L$-函数 $L(s, \chi)$ 的离散二阶矩的下界，这些矩是在非平凡零点 $\rho = \frac{1}{2} + i\gamma$ 上取的。研究重点在于这些界对于导体 $q$ 的一致性，特别是在 $q$ 随零点高度 $T$ 增长的机制中。分析的两个矩量为：

1. 倒数矩（The Reciprocal Moment）： $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$。
2. 比例矩（The Ratio Moment）： $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$。

这些量推广了此前由 Gonek、Milinovich、Ng 和 Sinha 对黎曼 $\zeta$-函数（$q=1$）建立的猜想和定理。核心挑战在于确定导体 $q$ 如何影响这些和的大小，特别是识别当 $q$ 相对于 $T$ 较大时出现的“导体亏损（conductor deficit）”。

方法论
作者采用了软化法（mollification technique），改编了 Milinovich 和 Ng 的策略（该策略本身依赖于 Rudnick 和 Soundararajan 的工作）。核心方法包括：

• 软化因子（Mollifiers）： 构建了两个不同的狄利克雷多项式，用以近似各项的倒数。
  • 对于倒数矩，使用了一个带有 Möbius 扭转的多项式 $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$，它对应于 $1/L(s, \chi)$ 的狄利克雷级数。
  • 对于比例矩，使用了一个带有 Liouville 扭转的多项式 $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$，它对应于 $L(2s, \chi^2)/L(s, \chi)$ 的级数。
  • 这里，$\xi = T^\vartheta$ 是软化因子长度，$P(x)$ 是满足 $P(0)=0, P(1)=1$ 的多项式。
• Cauchy-Schwarz 不等式： 通过对形式为 $\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$（以及比例矩的类似形式）的求和应用 Cauchy-Schwarz 不等式来对矩进行下界估计。这把问题简化为估计被软化函数在零点上的第一矩（$M_1$）和第二矩（$M_2$）。
• 轮廓积分（Contour Integration）： 使用留数定理在矩形轮廓上对和 $M_1$ 和 $M_2$ 进行计算。沿垂直边的积分产生主项，而沿水平边的积分则通过 $L$-函数的大小估计进行控制。
• 一致性： 一个关键的技术组成部分是保持对导体 $q$ 的一致性。这需要仔细处理涉及 $\phi(q)$ 和 $A_q$ 的算术因子，以及狄利克雷多项式均值定理中的误差项。全文假设广义黎曼假设（GRH）及零点的单简性成立。

主要结果
论文确立了两个矩的下界，这些下界取决于比率 $\beta = \frac{\log T}{\log qT}$。

• 定理 5（倒数矩）： 假设 GRH 及零点为单简，对于 $3 \le q \le T^A$，该和的下界为：
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  其中 $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$。

• 定理 6（比例矩）： 假设 $L(s, \chi)$ 满足 GRH（及零点为单简），对于 $3 \le q \le T^{1-\delta}$，该和的下界为：
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  限制条件 $q \le T^{1-\delta}$ 的出现是因为证明过程并未假设分子中出现的 $\chi^2$ 满足 GRH；若假设 $\chi^2$ 满足 GRH，则可以将范围扩展至 $q \le T^A$。

• 渐近行为：

  • 小导体： 如果 $\log q = o(\log T)$（例如固定 $q$），则 $\beta \to 1$。这些界限恢复了预想渐近大小的一半（与 Milinovich-Ng 和 Sinha 的 $q=1$ 结果相匹配）。
  • 幂次导体： 如果 $q = T^A$，则 $\beta = \frac{1}{1+A}$，此时捕获的比例变为 $\frac{1}{2+A}$。例如，在 $A=1$ 时，界限为预想大小的 $1/3$。

• 高阶矩： 通过应用 Hölder 不等式，作者在推论 11 和 12 中导出了高阶矩（$2k$）的下界。这些下界的阶数为 $T/(\log qT)^{k-1}$，对于 $k>1$，它们明显小于预想的大小，但论文强调的是它们在 $q$ 方面的一致性而非其精确度。

猜想与意义
论文指出，所导出的下界恰好捕获了真实渐近值的比例 $\frac{\beta}{1+\beta}$。

• 猜想 7 和 8： 作者猜想真实的渐近行为分别为 $\frac{A_q}{2\pi}T$ 和 $\frac{\phi(q)}{q}\frac{T}{2\pi}$，且对于 $q \le T^A$ 具有一致性。
• 亏损来源： 论文认为因子 $\frac{\beta}{1+\beta}$ 并非数值上的巧合，而是对角 Cauchy-Schwarz 构造的一个结构性特征。狄利克雷多项式的均值定理将软化因子长度 $\xi$ 限制在 $T^{1-\varepsilon}$，这与 $q$ 无关。然而，零点密度随 $\log qT$ 增长。所谓的“亏损”即函数 $u/(1+u)$ 在 $u=\beta$ 处的值与其在 $u \to \infty$ 时极限的比值。
• 族平均（Family Averages）： 作者建议，通过对本原特征（primitive characters）族进行平均（猜想 9 和 10），可能允许使用更长的软化因子（最高可达 $(qT)^{1-\varepsilon}$），从而将捕获的比例从 $\frac{1}{2+A}$ 提高到 $\frac{1}{2}$（在幂次导体情形下）。然而，论文并未证明这一点，并指出这需要新的统一显式公式。

结论
本文提供了第一个在广泛导体范围内关于狄利克雷 $L$-函数负离散矩的一致下界。它成功地推广了已知的 $q=1$ 结果，并量化了这些界限随导体增长而退化的程度。这项工作识别了当前软化方法在导体维度上的一个特定结构性限制，并提出了关于真实渐近行为的精确猜想，为通过族平均技术克服当前的“导体亏损”提供了研究方向。