Siegel zeros and small gaps between zeros of the Riemann zeta function

技术摘要：Siegel 零点与黎曼 Zeta 函数零点的微小间距

问题陈述
本文研究了黎曼 Zeta 函数 $\zeta(s)$ 非平凡零点的垂直分布。具体而言，它调查了连续序数 $\gamma_n$ 与 $\gamma_{n+1}$ 之间是否存在“微小间距”。该间距通过平均间距 $2\pi/\log \gamma_n$ 进行归一化。作者定义了量 $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$。

一个长期的猜想认为 $\mu = 0$。虽然假设了黎曼假设（RH），但目前已知的关于 $\mu$ 的无条件下界并不是问题的核心；相反，本文关注的是上界。在本文工作之前，关于 RH 的最佳结果是 $\mu < 0.50895$（Inoue）。此前一直存在一种观点，即 $1/2$ 代表了 $\mu$ 的一个自然障碍，这可能是由于 Siegel 零点（狄利克雷 $L$-函数的异常实零点）的存在所致。之前由 Heath-Brown 和 Conrey–Iwaniec 提出的工作表明，如果 Siegel 零点存在，它们可能会强制一种零点刚性，使得间距无法频繁小于 $1/2$（即“替代假设”）。

方法论
作者采用了 Montgomery–Odlyzko 方法，通过比较两个加权积分来检测微小间距。其核心创新在于选择“共振器”（resonator）函数 $R(t)$ 以及与之相关的狄利克雷多项式的长度。

1. 长狄利克雷多项式： 传统的 Montgomery–Odlyzмоko 方法受限于使用“短”狄利克雷多项式（长度 $L \ll T$），以避免涉及系数加法相关性的难以处理的离角项（off-diagonal terms）。本文通过利用长度为 $L \approx T^{17/14}$ 的长狄利克雷多项式打破了这一障碍。
2. 共振器构造： 共振器被选择为 $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$，其中 $\chi$ 是与 Siegel 零点相关的一个原始二次狄利克雷特征。其系数包含一个光滑权重 $G(n)$ 和特征 $\chi$。
3. 处理离角项： 主要的技术挑战在于估计离角相关和 $\sum \chi(m)\chi(km+r)$ 以及 $\sum \Lambda(k)\chi(km+r)$。作者开发了一种新的方案来处理这些相关性，并获得具有幂次节省（power-saving）误差项的结果，将分析分为基于素数变量 $k$ 大小的三个区间：
   • 小 $k$ 情况： 通过使用引理 4（Heath-Brown 工作的扩展）对相关和进行估计。
   • 中等 $k$ 情况： 利用位移特征和的二阶矩估计（结合 Cauchy–Schwarz 方法与加法除数问题技术）进行处理。
   • 大 $k$ 情况： 通过傅里叶反演（广义 Jacobi 和）将 $\chi(km+r)$ 中的变量分离，并应用狄利克雷 $L$-函数的零点密度估计（特别是 Chen–Gupta–Li 估计）来限制对特征的求和。

主要结果
在假设黎曼假设（RH）的前提下，本文建立了以下主要定理：

定理 1： 假设 RH 成立，且存在质量 $E = \inf_j E_j$ 足够大的异常 Siegel 零点序列。那么：
$$\mu < 0.4733$$
具体而言，作者证明了 $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$。

推论 2： 在相同的假设下，不存在一种渐近分布，使其归一化间距被限制在集合 $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ 中。这反驳了“替代假设”的一种强形式，即该假设认为 Siegel 零点会迫使所有间距均为半整数。

意义与主张
作者声称，其结果之所以令人惊讶，是因为它证明了 Siegel 零点并不构成证明 $\mu < 1/2$ 的障碍；相反，存在此类零点可以被用来证明存在小于 $1/2$ 的间距。

• 反驳强替代假设： 该结果反驳了认为 Siegel 零点意味着几乎所有间距都 $\ge 1/2$ 的观点。相反，它表明如果 Siegel 零点存在，则必然存在归一化间距严格小于 $0.4733$ 的零点簇。
• 方法论突破： 本文强调，将 Montgomery–Odlyzko 方法限制在 $\mu < 0.508$ 的原因在于对短多项式的限制。通过利用 Siegel 零点来构建系数，成功处理了长多项式（长度为 $T^{17/14}$）的离角项，从而绕过了这一计算障碍。
• 技术细微差别： 作者澄清，其结果并不与 Heath-Brown 或 Conrey–Iwaniec 的工作相矛盾。那些工作确立了 Siegel 零点意味着存在“少量”小于 $1/2$ 的间距（这是一个定量比例结果）。而本文确立了至少存在一个间距小于 $0.4733$（这是一个 liminf 结果），并未声称存在正比例的此类间距。

论文得出结论，虽然由于需要更高阶的矩从而限制了多项式长度，Sieel 零点对于建立间距的正比例仍然是一个障碍，但它们对于建立小于 $1/2$ 的间距的存在性并非障碍。作者指出，通过进一步改进系数选择或零点密度估计（例如密度假设），有望将该界限进一步降低，或许达到 $\mu < 0.467$，但目前的工作重点在于利用 Siegel 零点打破 $1/2$ 这一屏障的机制。