Central Limit Theorem for continuous $N$-particle systems in fixed- and high-temperature: single level

技術要約：固定温度および高温における連続 $N$ 粒子系の中心極限定理

問題設定
本論文は、$\mathbb{R}$ 上の連続 $N$ 粒子系における多項式線形統計量の中心極限定理（CLT）の特性化を扱う。本研究では、以下の2つの異なる漸近領域を対象とする：

1. 固定温度： 逆温度パラメータ $\theta = \beta/2 > 0$ を固定し、$N \to \infty$ とする。
2. 高温： $N$ の増大に伴い相互作用が弱まり、$\theta_N \to 0$ かつ $N\theta_N \to \gamma > 0$ となる。

これらの系は、ジャック・パラメータ $\theta$ に付随する多変数ベッセル関数 $B_{\vec{a}}(\vec{x}; \theta)$ を用いたベッセル生成関数（BGF） $G_{N,\theta}(\vec{x}) = \mathbb{E}_{\mu_N}[B_{\vec{a}}(\vec{x}; \theta)]$ によってモデル化される。本研究の目的は、対数BGFの係数を用いてCLTが成立するための必要十分条件を決定し、極限共分散の明示的な組合せ論的公式を導出することである。

手法
証明戦略は、演算子論的なモーメント抽出と、多変数ベッセル関数の位相幾何学的展開を組み合わせたものである。

1. ダンクル演算子とモーメント抽出：
   著者は、BGF からモーメントを抽出するためにダンクル演算子 $D_i$ を利用する。BGF の対数 $\log G_{N,\theta}$ にこれらの演算子を適用することで、多項式観測量の共分散が、重み付き構成（configurations）の和として表現される。これらの構成は、変数の次数の分布を追跡するブロック関数を備えたリュカシエウィッチ路（Lukasiewicz paths）（特定のステップ制約を持つランダムウォーク）としてモデル化される。

• 固定温度領域では、主要項が相殺され、共分散は大数の法則（LLN）からは見えない寄与によって決定される。
• 解析には、パスに作用する特定の演算子の型（Type II および Type V）の数に基づき、構成を「一次（一次自由累積量に関わるもの）」と「二次（二次自由累積量に関わるもの）」に分類するプロセスが含まれる。

2. 位相幾何学的展開：
   （必要性）の方向（「only if」）の確立および高次累積量の消滅を証明するために、本論文は $\log B_{\vec{a}}(\vec{x}; \theta)$ の位相幾何学的展開を採用している。ジャック級数の恒等式（Chapuy–Dołęga）から導かれるこの展開は、対数を、曲面上に埋め込まれたリボングラフである**コンステレーション（constellations）**の和として表現する。

• 各項は、基礎となる曲面の種数 $g$ と非向き性統計量 $\nu_\rho$ を含む因子によって重み付けされる。
• 固定温度： このスケーリングは、種数ゼロ（平面的）なコンステレーションのみが主要項に寄与することを意味する。
• 高温： スケーリング $N\theta \to \gamma$ は、種数依存因子の重みを変化させ、任意に高い種数の寄与が生き残ることを可能にする。

3. 組合せ論的同一化：
   本論文は、リュカシエウィッチ路の構成と、非交差環状置換や二次非交差環状分割といった自由確率論における古典的な組合せ論的対象との間の全単射を確立し、これにより新しい公式を既存の文献へと結びつけている。

主な貢献と結果

1. 必要十分条件：
   本論文は、$\log G_{N,\theta}(\vec{x}) = \sum c_\lambda p_\lambda(\vec{x})$ の係数 $c_\lambda$ の漸近挙動に基づき、両領域におけるCLTの精密な基準を提供する：

• 固定温度： $\ell(\lambda) \ge 3$ に対して $c_\lambda \to 0$。一列の係数は $N^{-1}c_{(d)} \to \theta^{1-d}\kappa_d$ とスケールする。二列の係数は $c_{(r,s)} \to \theta^{1-r-s}\kappa_{r,s}$ とスケールする。
• 高温： $\ell(\lambda) \ge 3$ に対して $N^{\ell(\lambda)/2}c_\lambda \to 0$。一列の係数は $d \cdot c_{(d)} \to \kappa^\gamma_d$ とスケールする。二列の係数は $N(1 + 1_{r=s})rs \cdot c_{(r,s)} \to \kappa^\gamma_{r,s}$ とスケールする。
  ここで、$\kappa$ および $\kappa^\gamma$ はそれぞれ一次自由累積量および二次自由（または $\gamma$-）累積量を表す。

2. 明示的な共分散公式：
   極限共分散は、これらの累積量を用いたリュカシエウィッチ路による和として明示的に表現される：

• 固定温度： 共分散は2つの部分の和となる：パスの統計量によって重み付けされた一次累積量の積を含む項（$A(E)B(E)C(E)$）、および二次累積量を含む項。この公式は、因子 $1/\theta$ を除いて、古典的な二次自由モーメント・累積量関係（Collins–Mingo–Śniady–Speicher）を回収する。
• 高温： 二次自由 $\gamma$-累積量を含む新しい公式が導出される。共分散は、$\gamma$ のべき乗とパスの下向きステップの数によって重み付けられた構成の和である。

3. 位相幾何学的解釈：
   本研究は、2つの領域に対する明確な位相幾何学的構造を明らかにしている：

• 固定温度においては、極限は厳密に種数ゼロ（平面的）な寄与によって支配される。
• 高温においては、極限は任意に高い種数からの寄与を取り込み、これは新しい $\gamma$-累積量の位相幾何学的解釈を提供する。

4. 応用：

• $\beta$-加算： 本論文は、$\beta$-加算（BGFの積として定義される $N$ 粒子系の二項演算）が両方の領域においてCLTを保存することを証明している。和の極限累積量は、入力された累積量の和となる。
• 特定のアンサンブル： 理論はガウスおよびラグエル $\beta$-アンサンブルに適用され、明示的な高温CLTおよび極限共分散を与える。
• 遷移： $\gamma \to \infty$ として、高温共分散から固定温度の対応物への再スケールされた遷移が確立されている。

意義
本論文は、特定のランダム行列モデルの固有値密度を超えて、より一般的なベッセル生成関数に基づく枠組みへと移行することで、温度領域を横断したランダム行列アンサンブルの揺らぎ理論を統一することを主張している。

• 二次自由性を高温領域へと拡張し、$\gamma$-畳み込みを線形化する二次自由 $\gamma$-累積量を導入した。
• アンナラー（環状）非交差分割に依存せず、リュカシエウィッチ路を用いることで、共分散の組合せ論的記述を提供しており、これは高温スケーリングを自然に受け入れる別の視点を提供している。
• 位相幾何学的展開は、固定温度と高温の区別が、漸近展開においてどの種数が支配的であるかという問題であるという統一的な視点を提供し、古典的な行列モデルと一般的な連続粒子系の間の架け橋となっている。