Joint distribution of primes in multiple short intervals

技术摘要：多个短区间内素数的联合分布

问题陈述
本文研究了多个短区间内加权素数计数（记作 $\psi(x)$）的统计行为。虽然素数定理确立了平均密度，但短区间内 $\psi(x+H) - \psi(x)$ 的波动一直是深入研究的主题。Montgomery 和 Soundararajan 的前人工作表明，对于长度为 $H$ 且满足 $H \to \infty$ 及 $\log H / \log N \to 0$ 的区间，其分布渐近正态。然而，在多个不相交短区间内的素数联合分布，特别是它们之间的相关性，仍是一个探索较少的领域，尤其是在“乘性”区间（即长度随位置 $x$ 按比例缩放，即 $h = \delta x$）的背景下。

本文旨在解决的核心问题包括：

1. 当上界 $X \to \infty$ 时，$r$ 个不相交短区间内加权素数计数的联合极限分布是什么？
2. 这些计数是如何相关的？
3. 这些相关性是否会像算术级数中的 Shanks–Rényi 素数竞赛一样，在“素数竞赛”（比较不同区间内的素数计数）中诱导出偏差？

研究方法
作者采用了傅里叶分析方法，将原本用于算术级数中素数研究的 Rubinstein 和 Sarnak 的方法应用于短区间设置。核心假设包括黎曼假设 (RH) 和关于黎曼 $\zeta$ 函数非平凡零点正虚部的线性无关 (LI) 猜想。

关键方法步骤包括：

• 显式公式： 利用显式公式将素数计数函数 $\psi(x)$ 与 $\zeta$ 函数的零点 $\rho = 1/2 + i\gamma$ 联系起来。
• 随机模型构建： 在 RH 和 LI 假设下，归一化后的素数计数偏差被建模为一个随机向量 $X_{\delta, t}$，该向量涉及由特定函数 $w(\rho)$ 加权的零点之和，并乘以独立于单位圆均匀分布的随机变量 $U_\gamma$。
• 对数密度： 分布是基于对数密度（$\frac{1}{\log X} \int_2^X \dots \frac{dx}{x}$）进行分析的，这对于乘性区间是自然的。
• 特征函数： 证明过程高度依赖于对极限测度傅里叶变换（特征函数）的分析。作者推导出了一个代表该变换的 Bessel 函数 ($J_0$) 无限乘积。
• 渐近分析： 通过估计协方差矩阵并控制傅里叶反转公式中的误差项，作者证明了向多元高斯分布的收敛。分析过程中使用了 Riemann–von Mangoldt 公式以及描述区间间排斥性的函数 $\Delta(t)$ 的性质。

主要贡献与结果

1. 多元高斯分布：
   本文证明了在 RH 和 LI 假设下，长度为 $\delta x$（其中 $\delta$ 相对于 $X$ 虽小但固定）的 $r$ 个不相交短区间内的加权素数计数遵循多元高斯分布。其均值为零（经过归一化处理），且协方差结构是明确确定的。

2. 弱负相关性：
   一个主要发现是，不相交短区间内的计数并非相互独立；它们表现出弱负相关性。两个间隔距离为参数距离 $|t_j - t_k|$ 的区间之间的协方差近似正比于 $-\frac{\Delta(|t_j - t_k|)}{\log(1/\delta)}$。函数 $\Delta(t)$ 在 $t$ 较大时表现为 $1/(2t)$。这意味着一种“库仑式”排斥：一个区间内的素数会略微抑制相邻区间出现素数的可能性。

3. 素数竞赛中的相变：
   通过将这些分布结果应用于“素数竞赛”（对多个区间的素数计数进行排序），本文识别出了一个剧烈的相变：

   • 无偏回归： 如果区间数量 $r$ 相对于 $\log(1/\delta)$ 较小（具体为 $r = o(\frac{\log(1/\delta)}{\log \log(1/\delta)})$），则竞赛保持渐近无偏；所有排序出现的概率大致相等（$1/r!$）。
   • 有偏回归： 一旦 $r$ 超过临界阈值（大约正比于 $\frac{\log(1/\delta)}{\log \log(1/\delta)}$），偏差就会显现。本文表明，对于足够大的 $r$，存在某些区间的排序出现的概率显著低于其他排序。这是由于累积的负相关性直接导致的。

4. 定量线性无关性 (QLI) 扩展：
   对于单个移动区间，当长度参数 $\delta$ 随 $X \to \infty$ 趋于零时（具体为 $\delta > (\log X)^{-\varepsilon}$），作者在假设定量形式的 LI 猜想 (QLI) 的情况下，证明了中心极限定理。这使得高斯分布的有效性扩展到了比单纯在定性 LI 下更短的区间。

意义与主张
本文声称是首个使用 Rubinstein–Sarnak 框架研究短区间内素数分布的研究，将焦点从剩余类转向了区间长度。

• 新颖性： 即使在定量 LI 形式下的单个移动区间中，该结果也是全新的。
• 偏差机制： 本工作为短区间素数竞赛中偏差的出现提供了一个透明的解释，将其归因于协方差矩阵的特定结构（弱负相关性）以及随着区间数量增加而产生的相关性聚合。
• 锐利性： 作者指出，由于利用了精确的相关结构和对协方差矩阵行列式的精细估计，所推导出的相变临界阈值比 Shanks–Rényi 竞赛中的现有结果更为锐利。
• 局限性： 本文承认所使用的 Berry–Esseen 型论证对区间数量 $r$ 施加了限制（使其无法达到 $\delta^{-1}$ 的全幂次）。作者建议，采用替代方法（如 Stein 方法或 Lindeberg 类型）可能会扩展这一范围，但目前的傅里叶分析方法被选中是为了建立关于全变差距离的紧致界限。

综上所述，本文为多个短区间内的素数建立了一个严谨的概率框架，揭示了区间之间存在一种微妙的排斥力，这种力量导致了从无偏行为到有偏行为的相变。