Edgeworth expansions of extreme eigenvalue distributions for random unitary ensembles

技術要約：ランダムユニタリ・アンサンブルにおける極値固有値分布のエッジワース展開

問題提起
ランダム行列理論において、極値固有値（ガウス型アンサンブルにおける最大固有値、およびラゲール型アンサンブルにおける最小固有値）の極限分布は、普遍的な法則として確立されている。すなわち、ソフトエッジにおけるトレイシー・ウィドム分布、およびハードエッジにおけるベッセル核に関連する分布である。しかし、有限のサンプルサイズ $n$ において、収束率や有限 $n$ の補正項の構造を理解することは、応用上の目的から不可欠である。特定のケース（例：ガウス型ユニタリ・アンサンブル (GUE) およびラゲール型ユニタリ・アンサンブル (LUE)）については孤立した一次補正項が研究されてきたが、一般的なガウス型およびラゲール型のユニタリ・アンサンブルに対する完全な高次エッジワース展開のための一般的な枠組みは欠けていた。具体的には、一般的な多項式ポテンシャルに対する完全な漸近展開の存在と、補正項の普遍的な代数的構造が未解決の問いとして残されていた。

手法
著者らは、直交多項式に対するリーマン・ヒルベルト（RH）法を用い、デイフト＝ゾーの非線形急降下法を利用して漸近解析を行う。手法の核心は以下の通りである：

1. RH 特性化: アンサンブルの相関核 $K_n(x,y)$ を、直交多項式に関連する特定の RH 問題の解 $Y(z)$ を通じて表現する。
2. 急降下解析: RH 問題を、レンズを開く（opening lenses）、グローバルおよびローカル・パラメトリクスを構成するという一連のステップを通じて変換し、$n \to \infty$ としての漸近挙動を孤立させる。
   • ガウス型アンサンブル（ソフトエッジ）の場合： ローカル・パラメトリクスはエアリー関数を用いて構成される。
   • ラゲール型アンサンブル（ハードエッジ）の場合： 原点付近のローカル・パラメトリクスはベッセル関数を用い、右端付近のソフトエッジにはエアリー関数を用いる。
3. 完全展開のための精緻化： 標準的な急降下法は多くの場合、主要項のみを与えるが、著者らは $n^{-2/3}$（ソフトエッジ）および $n^{-1}$（ハードエッジ）の冪における完全な漸近展開を導出するために解析を精緻化している。
4. Wronskian 恒等式と可除性： 二階常微分方程式の解に関する Wronskian 恒等式（命題 3.2）を証明することが、決定的な技術的ステップである。この恒等式は、クリストフェル・ダルブー商における特異点が相殺されることを保証し、補正核がエアリー関数（またはベッセル関数）とその導関数と多項式係数の積の有限和として表現できることを保証する。
5. フレドホルム行列式の持ち上げ（Lifting）: 相関核の展開を、フレドホルム行列式理論を用いて極値固有値の分布関数へと持ち上げる。著者らは、補正作用素の有限ランク分解（命題 3.1）を利用することで、無限次元の行列式展開を、制限核のレゾルベントを用いた有限次元の行列式計算へと還元している。

主な貢献と結果

• 完全なエッジワース展開: 著者らは、一般的な一カット（one-cut）の正則性仮定の下で、ガウス型およびラゲール型のユニタリ・アンサンブルの両方について、相関核および極値固有値分布関数の完全な漸近展開の存在を確立した。
  • ソフトエッジ（ガウス型）: 定理 2.2 は、スケーリングされた核 $\tilde{K}_n$ の $n^{-2/3}$ の冪による展開を与える。係数は、エアリー関数 ($Ai$) とその導関数の積の有限和であり、多項式係数を持つ。
  • ハードエッジ（ラゲール型）: 定理 2.5 は、スケーリングされた核 $\tilde{K}_n$ の $n^{-1}$ の冪による展開を与える。係数は、ベッセル関数 ($J_\alpha$) とその導関数を含み、同様に多項式係数を持つ。
• 補正項の普遍的構造: 重要な知見は、補正項の普遍的な構造である。展開の係数は恣意的なものではなく、特殊関数（エアリーまたはベッセル）とその導関数に多項式を乗じた有限和として明示的に与えられる。
• 明示的な一次補正: 論文は、分布関数の明示的な一次補正項 ($j=1$) を導出している：
  • ガウス型アンサンブルの最大固有値については、従補理 2.3 により、一次補正はトレイシー・ウィドム分布関数 $F_{Ai}$ の導関数 $F'_{Ai}$ および $F''_{Ai}$ を含む。
  • ラゲール型アンサンブルの最小固有値については、従補理 2.6 により、一次補正はベッセル分布関数 $F_{Bes}$ の導関数を含む。
• 最適化された修正スケーリング: これらの結果は、ラゲール型アンサンブルに対する最適化された修正ハードエッジ・スケーリング（式 2.20）を示唆しており、これにより $O(n^{-1})$ の補正項を排除し、収束率を $O(n^{-2})$ へと向上させている。

意義と主張
著者らは、自身の研究が（以前 GUE に対して指摘されていた）ソフトエッジにおける完全な漸近展開が存在するという予想を解決し、これを一般的なクラスのガウス型ポテンシャルへと拡張したものであると主張している。さらに、これまで既知であった孤立した一次補正項を超えて、ラゲール型アンサンブルに対する完全なハードエッジ展開の最初の一般的な定式化を提供している。

手法は、補正項の「普遍的構造」を明らかにする堅牢な枠組みとして提示されている。補正作用素が有限ランクであることを示すことで、フレドホルム行列式の展開という複雑な問題が、有限次元の線形代数へと帰着することを証明しており、これにより明示的な公式が得られる。著者らは、このアプローチがランダム行列理論およびその他の分野における同様の問題を探求するために適応可能であることを示唆しているが、現在のアンサンブルの範囲を超えた具体的な将来の応用については明示的に列挙していない。

本研究は、ソフトエッジとハードエッジの扱いを統一し、有限サイズ補正に関する包括的な理論的基礎を提供することで、主要項としての普遍的極限と有限サンプル挙動との間の溝を埋めるものである。