技術要約：ループ方程式によるランダム行列統計の特性付け

問題設定

ランダム行列理論における中心的なテーマは、**普遍性（universality）である。これは、局所的な固有値統計（バルクおよび規則的なスペクトル端におけるもの）が、基礎となる分布やポテンシャルの微視的な詳細ではなく、対称性クラス（$\beta$ によってパラメータ化される）のみに依存するという観察に基づいている。普遍性は、特定の技法（例：行列式／パフィアン過程による厳密な代数的公式、あるいはディゾン・ブラウン運動による動的な比較法）を用いて、様々なモデル（Wigner行列、$\beta$-アンサンブル、ランダムグラフなど）に対して確立されてきた。しかし、根本的な問いが残されている。「普遍的な極限点過程そのものが、特定のアンサンブルから由来することに依存せず、一連の方程式によって本質的に特性付けられることは可能か？」**という問いである。

本論文は、有理数 $\beta > 0$ に対する Sine$_\beta$ 点過程（普遍的なバルク極限）および Airy$_\beta$ 点過程（普遍的なエッジ極限）の特性付けに取り組む。著者らは、これらのプロセスが、ランダム行列の微視的構造から導出される特定の「ループ方程式」の階層（別名：ディゾン–シュワルツ方程式またはワード恒等式）の唯一の解であることを証明しようとしている。

手法

著者らは、特定のアンサンブルを比較することから、ループ方程式の階層を通じて極限過程を直接的に特性付けることへと焦点を移すフレームワークを開発した。この手法は主に以下の3つのステップで進行する。

1. 微視的ループ方程式の定式化：
   著者らは、バルク・ループ方程式の階層（仮定1.4）およびエッジ・ループ方程式の階ら階（仮定1.10）を定義する。これらは、ある点過程のシュティルツ変換 $s(w)$ が満たす恒等式のシステムである。有限 $N$ のループ方程式とは異なり、これらは特定のポテンシャル $V$ に依存しない普遍的なものである。

   • バルク： この階層は $s(w)^2 + 1$ のような項を含む。
   • エッジ： この階層は、スペクトル端における並進不変性の破れを反映する $s(w)^2 - w$ のような項を含む。

2. 指数型観測量による線形化：
   ループ方程式の階層は、シュティルツ変換 $s$ に関して非線形である。これを解析するために、著者らは（特性多項式の比に類似した）点構成上の線形因子の積の期待値として定義される指数型観測量（セクション4）を導入する。

   • ループ方程式を指数型テスト関数に対して積分することで、非線形な階層は、2種類の変数（$t$ と $s$）を持つ変形されたカロゲロ–モサー–サリッシュ（CMS）演算子の、線形二階偏微分方程式のシステムへと変換される。方程式 (1.8)–(1.9)（バルク用）および (5.18)–(5.19)（エッジ用）は、これらの観測量の振る舞いを記述する。

3. ホロノミック解析による一意性の証明：
   証明の核心は、これらの線形微分システムの解法にある。

   • 著者らは、変形された CMS システムの解空間が特定の次元（$n$ 個の型の変数と $m$ 個の型の変数に対して $2^{n+m}$）を持つことを確立する。
   • 符号パターン $(\epsilon, \eta) \in \{\pm 1\}^{n+m}$ によってインデックス付けされた**セクター解（sectorial solutions）**を構成する。各解は、無限遠における特定の主要漸近挙動（例：符号パターンによって決定される指数的な増大または減衰）によって特徴付けられる。
   • ループ方程式自体から導かれる**集中評価（Local Laws）**を用いて、ループ方程式を満たす任意の点過程に関連する物理的な指数型観測量が、これらのセクター解の特定の線形結合に対応しなければならないことを示す。
   • 漸近挙動を分析し、（$\beta/2$ の有理性に付随する）符号に関する「バランス条件」を適用することで、確率的な制約（有界性、可積分性）と矛盾しない組み合わせはただ一つであることを証明し、これにより観測量、ひいては相関関数および点過程の法則を一意に特定する。

主な貢献と結果

1. 特性付け定理

著者らは、有理数 $\beta > 0$ に対して2つの主要な一意性定理を証明している。

• 定理 1.5 (バルク)： Sine$_\beta$ 点過程は、バルク・ループ方程式の階層の唯一の解である。
• 定理 1.11 (エッジ)： Airy$_\beta$ 点過程は、エッジ・ループ方程式の階層の唯一の解である。

これらの結果は、もしあるランダム点過程が近似的なループ方程式を満たすならば（$N \to \infty$ で誤差が消滅する場合）、それは対応する普遍的な極限へと収束しなければならないことを意味する。

2. 収束基準

著者らは実用的な収束基準（定理 1.9 および 1.12）を導出している。特定のアンサンブルの普遍性を証明するには、以下の手順を踏むだけで十分である：

1. ローカル・ロー（Local Law）（シュティルツ変換の集中）を確立する。
2. そのアンサンブルが近似的なループ方程式を満たすことを検証する（多くの場合、部分積分や離散的なスイッチング計算を通じて行われる）。
   これは、厳密な可解性やガウス・アンサンブルとの比較を必要としない、普遍性への直接的な経路を提供する。

3. 応用

著者らは、以下の対象にこのアプローチを適用することで、その範囲を示している。

• Wigner行列： ローカル・セミサークル・ローと累積モーメント展開を用いて、固定エネルギーにおけるバルク普遍性の短い証明を提供している。
• ランダム $d$-正則グラフ：
  • 次数 $d$ が $N$ に対して多項式対数的に増大するグラフ（$d \gg (\log N)^{24}$）におけるバルク普遍性の証明。
  • 固定次数のランダム正則グラフにおけるエッジ普遍性の証明の簡略化（[52]で既に確立済み）。これは、ガウス可分流（Gaussian divisible flow）を分析する代わりに、エッジ・ループ方程式を直接検証することに問題を帰着させることで達成された。

4. 可積分系との関連

本論文は、ランダム行列の統計と可積分系の間の深い繋がりを確立している。線形化されたループ方程式は、変形された CMS システムとして識別される。著者らは、ランダム行列の極限の一意性が、確率モデルの漸近的制約によって決定される、$2^{n+m}$ 個の解の中から特定の「物理的」な枝を選択することに対応していることを示している。

意義と主張

本論文は、普遍的な極限プロセスそのものに内在する、普遍性への直接的な経路を提供すると主張している。

• 本質的な特性付け： 参照となるアンサンブル（GUE/GOEなど）と比較したり、不変アンサンブルに特有の厳密な公式に依存したりする従来のメソッドとは異なり、本アプローチは、ループ方程式の階層を通じて極限そのものを特性付ける。
• スタインの方法（Stein's Method）との類似性： 著者らは、正規近似のためのスタインの方法との類似性を描いている。ガウス分布が、部分積分恒等式 $E[Xf(X)] = E[f'(X)]$ によって一意に特性付けられるのと同様に、Sine$_\beta$ および Airy$_\beta$ プロセスは、それぞれのループ方程式の階層によって一意に特性付けられる。
• 汎用性： この手法は、厳密な代数的公式が存在しないモデル（非不変アンサンブルであるランダム正則グラフなど）にも適用可能であり、また動的な比較が技術的に困難な場合にも有効である。
• 有理数の仮定： 現在の証明は、特定の指数型観測量を構築し、CMS システムの構造を利用するために、$\beta$ が有理数であることを要求している。著者らは、一意性の結果はすべての $\beta > 0$ に対して成り立つと予想している（予想 1.13）が、現在の構成は有理数のケースに依存している。

要約すれば、本論文は、ランダム行列の普遍的な局所統計が、単に特定のモデルの極限であるだけでなく、システムの基本対称性から導出される普遍的な方程式の階層の唯一の解であることを確立している。これは、広範なクラスのランダム行列モデルに対して普遍性を証明するための強力な新しいツールを提供するものである。