A central limit theorem for prime geodesics on random surfaces of large genus

技术摘要：大亏格随机曲面上素测地线的中心极限定理

问题陈述
本文研究了在模空间 $\mathcal{M}_g$ 中关于 Weil–Petersson 概率测度采样的、大亏格（$g \geq 2$）闭双曲曲面上素测地线的统计分布。具体而言，它调查了区间 $(X, X+H]$ 内加权计数 $\Psi_M(X; H)$ 的行为。

虽然素测地线定理确立了渐近均值 $\Psi_M(X) \sim X$，但在随机曲面上，短区间或长区间内 $\Psi_M(X; H)$ 的波动分布仍是一个核心问题。此前，Rudnick [Rud26] 确定了当 $g \to \infty$ 随后 $X \to \infty$ 时 $\Psi_M(X; H)$ 的均值和方差，显示其均值为 $\sim H$，方差为 $\sim 2H \log X$。然而，对于 $H$ 不受限于对数尺度（即 $H \asymp \log X$）的区间，其分布极限（例如高斯分布还是泊松分布）仍是一个开放问题。本文旨在证明在 $H \leq X$ 且 $H / \log X \to \infty$ 的情形下 $\Psi_M(X; H)$ 的中心极限定理（CLT）。

方法论
证明过程改编了 Rudnick 和 Wigman [RW23] 用于随机曲面拉普拉斯谱的论证方法，并将其应用于长度谱。该方法分为三个阶段进行：

1. 泛函表示：
   加权计数 $\Psi_M(X; H)$ 被表示为长度谱 $L_g(M)$ 的一个泛函 $F_{X;H}$。令 $L_g(M)$ 为曲面 $M$ 上原始、无向测地线长度的点过程。作者定义了一个函数 $f_{X;H}(\ell)$，使得：
   $$\Psi_M(X; H) = F_{X;H}(L_g(M)) = \sum_{\ell \in L_g(M)} f_{X;H}(\ell)$$
   其中 $f_{X;H}$ 是利用 $\log X$ 和 $\log(X+H)$ 的取整函数构造的。

2. 泊松逼近：
   本文依赖于当 $g \to \infty$ 时，随机曲面的长度谱向 Mirzakhani–Petri 点过程 $L_{MP}$ 的分布收敛 [MP19]。该极限过程的强度测度为：
   $$\nu_{MP}(dx) = \frac{1}{2} \frac{(e^{x/2} - e^{-x/2})^2}{x} dx$$
   利用连续映射定理，作者确立了 $\Psi_M(X; H)$ 在分布上收敛于随机变量 $\Sigma_{MP}(X; H)$，该变量是泛函 $F_{X;H}$ 作用于泊松点过程 $L_{MP}$ 的结果。

3. 矩估计与特征函数：
   为了证明 $\Sigma_{MP}(X; H)$ 的高斯极限，作者计算了函数 $f_{X;H}$ 关于强度测度 $\nu_{MP}$ 的前三个矩。

   • 一阶矩： $\int f_{X;H} d\nu_{MP} = H + O(HX^{-1/2})$。
   • 二阶矩： $\int f_{X;H}^2 d\nu_{MP} = 2H \log X + O(\dots)$。
   • 三阶矩： $\int f_{X;H}^3 d\nu_{MP} \ll H \log^2 X$。

   通过使用 Campbell 公式计算泊松泛函的特征函数，作者对归一化变量的对数进行展开。通过应用泰勒展开 $e^{iu} = 1 + iu - u^2/2 + O(|u|^3)$ 并代入矩估计，证明了在 $H / \log X \to \infty$ 的条件下，高阶误差项将趋于零。

主要结果
主要结果为 定理 1.1，该定理指出，对于满足 $1 \leq H \leq X$ 且 $H / \log X \to \infty$（当 $X \to \infty$ 时）的条件，归一化后的素测地线加权计数在分布上收敛于标准高斯分布：
$$\frac{\Psi_M(X; H) - H}{\sqrt{2H \log X}} \xrightarrow{d} \mathcal{N}(0, 1)$$
此处 $g \to \infty$ 随后 $X \to \infty$。

这一结果证实了如下预测：当区间长度 $H$ 相对于 $\log X$ 增长得更大时，分布会从泊松分布（在长度 $\asymp \log X$ 的区间中观察到）转变为高斯分布。

意义与主张
本文声称建立了类似于 Montgomery–Soundararajan 关于素数的中心极限定理 [MS04] 在随机双曲曲面背景下的类比。

• 范围扩展： 不同于以往局限于长度 $\asymp \log X$ 的随机曲面研究（产生泊松极限），本工作将分析扩展到了不一定属于短区间的区间，只要 $H$ 的增长速度快于 $\log X$。
• 方差因子： 本文指出，方差项包含一个因子 2（即 $2H \log X$），这与素数的情况有所不同。作者将其归因于闭测地线存在两种可能的定向，而素数则缺乏这种区别。
• 方法论适配： 这项工作表明，用于拉普拉斯谱（Rudnick–Wigman）的理论技术可以直接应用于素测地线的长度谱，从而统一了对这些随机曲面上两种谱属性的统计理解。

本文并未提出新的实验应用或未来的猜想，仅在于确认了在指定机制下的高斯极限，并指出在特定的 Hardy–Littlewood 猜想一致变体下，类似的论证理论上可以恢复素数 CLT（注 1.3）。