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

技術要約：高種数ランダム曲面上の素形跡図に関する中心極限定理

問題提起
本論文は、ヴェイル–ペーターソン確率測度に関してモジュライ空間 $\mathcal{M}_g$ からサンプリングされた、高種数（$g \geq 2$）の閉双曲面における素形跡図（prime geodesics）の統計的分布を扱う。具体的には、区間 $(X, X+H]$ 内における重み付き計数 $\Psi_M(X; H)$ の挙動を調査している。

素形跡図定理は漸近的な平均 $\Psi_M(X) \sim X$ を確立しているが、ランダムな曲面における短間または長間における揺らぎの分布は依然として中心的な課題である。先行研究において、Rudnick [Rud26] は、$g \to \infty$ とした後に $X \to \infty$ とする極限における $\Psi_M(X; H)$ の平均と分散を確立し、平均が $\sim H$、分散が $\sim 2H \log X$ であることを示した。しかし、間隔が対数スケール（$H \asymp \log X$）に制限されない場合の分布極限（例えば、ガウス分布かポアソン分布か）は未解決の問題であった。本論文は、$H \leq X$ かつ $H / \log X \to \infty$ という領域において、$\Psi_M(X; H)$ に関する中心極限定理（CLT）を証明することを目的としている。

手法
証明は、ランダム曲面のラプラス・スペクトルに対して用いられた Rudnick および Wigman [RW23] の議論を、長さのスペクトルに応用して展開するものである。手法は以下の3つの段階で進められる：

1. 関数表現：
   重み付き計数 $\Psi_M(X; H)$ を、長さのスペクトルの汎関数 $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)$ が、ポアソン点過程 $L_{MP}$ に汎関数 $F_{X;H}$ を適用したものとして定義される確率変数 $\Sigma_{MP}(X; H)$ に分布収束することを確立する。

3. モーメント推定と特性関数：
   $\Sigma_{MP}(X; H)$ のガウス極限を証明するために、著者は強度測度 $\nu_{MP}$ に関する関数 $f_{X;H}$ の第1から第3までのモーメントを計算する。

   • 第1モーメント： $\int f_{X;H} d\nu_{MP} = H + O(HX^{-1/2})$。
   • 第2モーメント： $\int f_{X;H}^2 d\nu_{MP} = 2H \log X + O(\dots)$。
   • 第3モーメント： $\int f_{X;H}^3 d\nu_{MP} \ll H \log^2 X$。

   ポアソン汎関数の特性関数に対するキャンベルの公式（Campbell's formula）を用いることで、正規化された変数の対数の展開を行う。テイラー展開 $e^{iu} = 1 + iu - u^2/2 + O(|u|^3)$ を適用し、これらのモーメント推定値を代入することで、$H / \log X \to \infty$ という条件下で高次の誤差項が消失することを示す。

主要な結果
主要な結果は定理 1.1 であり、これは $1 \leq H \leq X$ かつ $X \to \infty$ のとき $H / \log 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$ とする。

この結果は、間隔の長さが $\asymp \log X$ のときにポアソン分布が見られるという予測に対し、間隔 $H$ が $\log X$ に対してより大きく成長する場合にガウス分布へと遷移することを裏付けている。

意義と主張
本論文は、ランダムな双曲面の文脈において、モンゴメリー–サウンダララジャンによる素数に関する中心極限定理 [MS04] の類似性を確立したと主張している。

• 範囲の拡張： 以前のランダム曲面に関する結果は、長さ $\asymp \log X$ の間隔（ポアソン極限を与える）に限定されていたが、本研究は $H$ が $\log X$ よりも速く成長するという条件の下で、必ずしも短いわけではない間隔への解析を拡張している。
• 分散の因子： 論文では、分散項に（素数の場合と比較して）因子 2 ($2H \log X$) が含まれていることを指摘している。著者は、これを閉測地線の向きの可能性が2通りあることに起因すると考えている（素数にはそのような区別がない）。
• 手法の適応： 本研究は、ラプラス・スペクトル（Rudnick–Wigman）のために開発された手法が、素形跡図の長さのスペクトルにも直接適用可能であることを示しており、これら2つのスペクトル特性に関する統計的理解を統一している。

本論文は、指定された領域におけるガウス極限を確認すること、および特定のハーディ–リトルウッド予想の一様な変種の下では、同様の議論が理論的に素数の CLT を回収できる可能性があることを述べる（Remark 1.3）以外に、新たな実験的応用や将来の予想を提案するものではない。