Almost primes in short intervals and averages of long Dirichlet polynomial approximations to $(\zeta'/\zeta)^{k}$

技术摘要：短区间内的近似素数以及 $(\zeta'/\zeta)^k$ 的长狄利克雷多项式之平均值

问题陈述
本文研究了临界线上 $(\zeta'/\zeta)^k$ 的长截断狄利克雷级数均方值的渐近行为。作者旨在建立这一解析问题与卷积冯·曼戈尔特函数 $\Lambda^{*k}$（其中 $\Lambda^{*k} = \Lambda * \cdots * \Lambda$，共 $k$ 次卷积）在整数上的短区间方差之间的严格联系。具体而言，这项工作旨在确定以下各项的领先系数：

1. 近似于 $(\zeta'/\zeta)^k$ 的长狄利克雷多项式的均方值。
2. $\Lambda^{*k}$ 在短区间（$H = X^{1-1/\alpha}$）内和的方差。
3. $\Lambda^{*k}$ 在算术级数中的方差。

这些问题受到利用随机矩阵理论（RMT）分析的函数域类比的启发，其中类似的方差问题对应于酉矩阵积分。

方法论
作者结合了解析数论技术和源自随机矩阵理论（RMT）的猜想：

• 偏移矩猜想： 该分析依赖于猜想 1（针对黎曼 $\zeta$ 函数）和猜想 2（针对狄利克雷 $L$ 函数）。这些猜想提供了对对数导数偏移矩的精确渐近公式，这些公式通过涉及酉矩阵特征多项式的多重复变积分来表达。
• 佩龙公式与轮廓平移： 作者使用截断的佩龙公式将算术函数的和与狄利克雷级数的积分联系起来。他们仔细地平移轮廓以分离残数项（主贡献），并假设黎曼假设（RH）和广义黎曼假设（GRH），从而对由 $\zeta(s)$ 和 $L(s, \chi)$ 的零点引起的误差项进行估计。
• 随机矩阵理论类比： 本文利用了关于酉群 $U(N)$ 上特征多项数对数导数平均值的已知结果。具体而言，它将迹和的方差与酉矩阵积分 $\delta_k(c)$ 联系起来，其中 $c$ 是总迹阶数与矩阵规模的比率。
• 轮廓积分分解： 大部分技术工作涉及将复杂的复多重轮廓积分（源自矩猜想）分解为特定极点配置的求和。引理 2.6、2.7 和 2.8 被用于对称化、非对称化以及估计这些积分，从而分离出领先阶项。

主要贡献与结果

1. 矩与方差之间的导数关系：
   核心结果是证明了 $\Lambda^{*k}$ 短区间方差的领先系数是相应长狄利克雷多项式均方值的领先系数的导数。

   • 令 $M_k(\alpha)$ 为截断级数 $(\zeta'/\zeta)^k$ 的均方值的领先系数，其截断点为 $N = T^\alpha$。
   • 令 $D_k(\alpha)$ 为 $\Lambda^{*k}$ 在短区间（长度 $H = X^{1-1/\alpha}$）内和的方差的领先系数。
   • 在猜想 1 和 RH 成立下，作者证明了 $D_k(\alpha) = M_k'(\alpha)$。这反映了 Bettin 和 Conrey 对约数函数 $d_k(n)$ 所建立的已知结果。

2. 通过多项式 $P_{r,k}(\alpha)$ 给出的显式公式：
   作者推导出了 $M_k(\alpha)$ 的显式分段多项式形式（定理 2.2 和定理 2.5）：
   $$M_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P_{r,k}(\alpha)$$
   其中 $P_{r,k}(\alpha)$ 通过一个 $2k$ 重轮廓积分定义。因此，方差系数由下式给出：
   $$D_k(\alpha) = \delta_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P'_{r,k}(\alpha)$$
   函数 $M_k(\alpha)$ 在整数值 $\alpha = r$ 处被证明是 $2r^2 - 1$ 次连续可微的。

3. 算术级数：
   在 GRH 和猜想 2 成立下，本文确立了 $\Lambda^{*k}$ 在算术级数中的方差的领先系数 $Q_k(\alpha)$ 与短区间方差系数相同：
   $$Q_k(\alpha) = \delta_k(\alpha)$$
   在上述猜想成立的情况下，该结果对于 $k \ge 4$ 成立；若假设更强的误差衰减，则可能扩展至 $k=1,2,3$。

4. 函数域对应关系：
   通过展示整数统计量的预测领先系数与来自函数域模型（特别是 Kuperberg 和 Lalín 的工作）的酉迹和平均值 $\delta_k(c)$ 相匹配，本文回收了这些领先系数。这证实了“酉迹和平均值”支配着 $\mathbb{F}_q[T]$ 上单项多项式上 $\Lambda^{*k}$ 之和的方差，并且在猜想成立下，也支配着整数上的情况。

意义与主张
本文声称提供了一个统一的框架，将 $L$ 函数对数导数的矩与短区间及算术级数中近似素数统计的方差联系起来。

• 它验证了这样一个启发式观点：$(\zeta'/\zeta)^k$ 系数之和的方差由其均方矩的导数支配，这扩展了先前关于约数和的研究。
• 它明确地将领先系数识别为源自随机矩阵理论积分的分段多项式，填补了此前在 $k \ge 2$ 时缺乏此类显式描述的文献空白。
• 这项工作作为连接有限-$N$ 矩中的“交换”（swap）贡献（见后续工作 [2]）与 $L$ 函数矩及算术方差之间关系的桥梁。

作者强调，其结果是以黎曼假设、广义黎曼假设以及特定的偏移矩猜想（猜想 1 和 2）为条件的，这些猜想虽由随机矩阵理论启发，但尚未得到证明。本文并不声称证明这些猜想，而是演示在假设这些猜想下的推论。