技術要約：楕円型Ginibre行列の実固有値に関する中・大規模偏差漸近挙動

1. 問題設定

本論文は、実Ginibreアンサンブル（eGinOE）の楕円型変形における実固有値の数、$N_n$ の統計的性質を調査している。$N_n$ の典型的な振る舞い（強非対称性 $\tau \in [0,1)$ および弱非対称性 $\tau \to 1$ の両方における大数の法則（LLN）および中心極限定理（CLT））は既に確立されているが、稀な事象（大規模偏差）の確率は依然として未開拓である。

既存の文献では、以下の極端なケースが扱われてきた：

• 左裾（Left Tail）： 極端に少ない実固有値の数（$m \ll \mathbb{E}[N_n]$）。
• 右裾（Right Tail）： ほぼすべての固有値が実数である場合（$m \approx n$）。

しかし、以下の2つの重要な中間領域が未解決のまま残されていた：

1. 強非対称性： ガウス型の揺らぎのスケールと極端な左裾の間の、中間領域としての $m = O(\sqrt{n})$。
2. 弱非対称性： ガウス型の揺らぎと極端な右裾の間の、マクロな領域としての $m = O(n)$。

主な目的は、これらの中・大規模偏差領域における漸近確率 $p_{n,m} = \mathbb{P}(N_n = m)$ を導出し、既知のガウス型揺らぎの領域と極端な大規模偏差の領域との間の自然な接続を確立することである。

2. 手法

著者らは、実固有値の数の生成関数を中心とした厳密な解析的手法を用いている。

2.1. 生成関数とパフィアン構造

偶数次元 $2n$ において、eGinOEはパフィアン点過程を形成する。実固有値の確率分布の生成関数は、以下の行列式として表現される：
$$\sum_{k=0}^n z^k p_{2n,2k} = \det \left[ I_{2n} + (z-1)M_{2n} \right]$$
ここで、$M_{2n}$ はスペクトルが $(0,1)$ にある特定の対称行列である。この表現により、対数生成関数を $M_{2n}$ の冪のトレースを用いて展開することが可能となる：
$$\log \left( \sum_{k=0}^n z^k p_{2n,2k} \right) = -\sum_{k=1}^\infty \frac{(1-z)^k}{k} \text{Tr}(M_{2n}^k)$$

2.2. モメントの漸近解析

著者らは、両方の領域における $\text{Tr}(M_{2n}^k)$ に関する既知の漸近結果を利用している：

• 強非対称性： $\text{Tr}(M_{2n}^k) \sim \sqrt{2n} \cdot C_k(\tau)$。
• 弱非対称性： $\text{Tr}(M_{2n}^k) \sim 2n \cdot C_k(\alpha)$、ここで $\tau = 1 - \alpha^2/n$。

これらの極限を用いることで、極限対数生成関数 $\Psi_s(z)$ および $\Psi_w(z)$ を導出できる。これらは、ポリログ関数（多重対数関数）およびベッセル関数を含む積分によって表される。

2.3. 生成関数から係数への移行（核心となる技術的ステップ）

中心となる課題は、生成関数の漸近挙動から係数 $p_{2n,2k}$ の漸近挙動を復元することである。著者らは、実根を持つ多項式の「指数プロファイル」に関する Borodin, Corwin, 兼 Gorin [47] による最近の結果を適用している。

• 弱非対称性： スケーリングが $O(n)$ であるため、[47] の標準的な定理が直接適用でき、係数が、極限対数生成関数のルジャンドル変換から導かれるレート関数に従う大規模偏差原理を確立できる。
• 強非対称性： スケーリングが $O(\sqrt{n})$ である。多項式の次数に対して主要な漸近次数が小さいため、標準的な定理は適用できない。著者らは、主要な次数に寄품する部分がわずかであっても、係数の指数プロファイルは依然として存在し、ルジャンドル変換によって決定されることを示す新しい拡張（定理 4.1）を証明した。

3. 主な貢献と結果

3.1. 主要な定理（中・大規模偏差確率）

論文は、確率を支配するレート関数 $\phi_s(x)$ および $\phi_w(x)$ を導出している：
$$\lim_{n \to \infty} \frac{\log p_{2n,2m}}{\text{scaling}} = -\phi(x)$$
ここで、$x$ は正規化された実固有値の数である。

• 強非対称性 ($\tau$ 固定, $m \sim \sqrt{n}$):
  レート関数は、ポリログ $\text{Li}_{3/2}$ を含む関数によるルジャンドル変換として与えられる：
  $$\phi_s(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_s(e^u) \right\}$$
  ここで $\Psi_s(z) = -\sqrt{\frac{1+\tau}{1-\tau}} \frac{1}{2\pi} \text{Li}_{3/2}(1-z)$ である。

• 弱非対称性 ($\tau = 1 - \alpha^2/n$, $m \sim n$):
  レート関数は、パラメータ $\alpha$ を含む積分のルジャンドル変換として与えられる：
  $$\phi_w(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_w(e^u) \right\}$$
  ここで $\Psi_w(z) = \frac{2}{\pi} \int_0^1 \log(1 - (1-z)e^{-\alpha^2 s^2}) \sqrt{1-s^2} \, ds$ である。

3.2. 一貫性と整合性

著者らは、彼らの結果が既存の文献と厳密に結びついていることを示している：

• ガウス型領域： レート関数 $\phi_s$ および $\phi_w$ の最小値は既知の極限平均（$\mathbb{E}[N_n]$）で発生し、その曲率は既知の分散と一致し、中心極限定理を回収する。
• 極端な左裾： $x \to 0$ のとき、導出されたレート関数は、極端に少ない実固有値の数に関する既知の漸近確率を回収する（[15, 50] の結果と一致）。
• 極端な右裾： 弱非対称性領域において、$x \to 1$ のとき、レート関数は $m \approx n$ に対する既知の大規模偏差結果を回収する（[4] と一致）。
• 普遍性： 強非対称性におけるレート関数の形式は、スケーリング因子を除いて $\tau$ に依存しないことが示されており、これは球面アンサンブル [31] や単純対称排除過程 (SSEP) [18] で見られるものと同様の普遍的な構造を示唆している。

3.3. 累積モーメントと生成関数

本論文は、すべての次数 $\ell$ について $N_n$ の累積モーメントの漸近挙動も確立しており、平均と分散を超えた分布の形状の完全な記述を提供している。

4. 意義と主張

本論文は、楕円型Ginibreアンサンブルにおける実固有値の数の、中・大規模偏差漸近挙動に関する最初の体系的な導出を提供したと主張している。

• 領域の架け橋： 主な貢献は、ガウス型揺らぎの領域と極端な大規模偏差の領域の間のギャップを埋め、すべてのスケールにわたる確率分布の一致した記述を提供したことにある。
• 古典的なケースへの新知見： 古典的な実Ginibreアンサンブル ($\tau=0$) においても、中間領域 $m=O(\sqrt{n})$ がこれまで特徴付けられていなかったため、その結果は新しいものである。
• 手法の進展： 「指数プロファイル」の手法を、多項式の次数に対して大規模偏差の速度（$c_n$）が劣線形であるスケーリング領域にも適用できるように拡張した。これは、強非対称性のケースに対処するために必要な技術的拡張である。
• 物理的関連性： 著者らは、これらの統計を理解することが、相転移、動的システムの安定性、および消滅するブラウン粒子との接続を含む、非エルミート系におけるスペクトル特性を特徴付ける上で極めて重要であると述べている。

論文は、解析が偶数次元で利用可能な行列式公式に依存していることを認め、奇数次元への拡張は、生成関数に対する扱いやすい行列式表現が存在しないため、未解決の技術的課題として残されている。