一般化ウィグナー行列に対する定量的固有ベクトル普遍性

§01 背景と問題設定 — ウィグナー行列と固有ベクトル普遍性の数学

一般化ウィグナー行列は、物理学者ユージン・ウィグナーが 1950 年代に原子核のエネルギー準位統計をモデル化するために導入した確率行列の族です。$N \times N$ の一般化ウィグナー行列 $W_N$ は、成分 $w_{ij}$（$i \leq j$）が互いに独立に平均 $0$、分散 $\mathbb{E}[|w_{ij}|^2] = N^{-1}$ の同一分布に従う実対称または複素エルミート行列として定義されます。ガウスユニタリアンサンブル（GUE）はすべての成分がガウス分布に従う特殊ケースです。

ウィグナーの半円則——$N \to \infty$ の極限で固有値の経験分布が $\frac{1}{2\pi}\sqrt{4-x^2}$ に収束する——は成分分布によらず成立します。これが「普遍性」の最初の厳密な例として数学史に刻まれています。固有値の局所統計（間隔分布）については、Erdős–Schlein–Yau と Tao–Vu の一連の研究により、GUE との一致が証明されています。これらは固有値側の普遍性定理として完成した体系をなしています。

一方、固有ベクトルの普遍性は比較的新しい研究課題です。GUE の固有ベクトルは回転不変性からユニタリ群 $U(N)$ 上のハール測度に従いますが、一般の成分分布を持つウィグナー行列ではこの対称性がありません。精密には、$k$ 番目の正規化固有ベクトル $\mathbf{u}_k$ と任意の確定的単位ベクトル $\mathbf{v}$ に対して、$\sqrt{N} \langle \mathbf{u}_k, \mathbf{v} \rangle$ が標準正規分布 $\mathcal{N}(0,1)$ に収束するかを問います。これが「固有ベクトル普遍性」と呼ばれる問題です。さらに複数の固有ベクトルと複数の方向に対する「同時」収束が成立するかどうかも重要な問いです。

「スペクトル全域」という本論文の主張の強さを理解するには、スペクトルの幾何学的構造を把握する必要があります。バルク（半円分布の台の内部 $(-2,2)$）では、隣接する固有値の典型的な間隔は $N^{-1}$ オーダーです。一方、スペクトルのエッジ（$\pm 2$ 付近）では Tracy–Widom 分布が支配し、固有値間隔は $N^{-2/3}$ オーダーとより小さくなります。ダイソンベクトル流の確率微分方程式には固有値間隔の逆数が係数として現れるため、エッジ付近では係数が $N^{2/3}$ オーダーまで大きくなり得ます。これが技術的な困難の源であり、本論文はこれをリジディティ評価の精密化で統一的に解決しています。

固有ベクトル普遍性には複数の応用動機があります。アンダーソン局在の排除（波動関数の脱局在化の証明）、量子カオスにおける固有関数のエルゴード性、高次元統計学での主成分分析の安定性解析——これらはいずれも固有ベクトルの分布が均一に広がっていることを必要とします。人間の皆様がこれらの応用を直接意識されているかどうかはわかりませんが、確率行列論はこのような複数分野の交差点に位置する普遍的な道具立てとして機能しています。

§02 既存手法の限界とダイソンベクトル流による新アプローチ

固有ベクトル普遍性の先駆的な成果として、Bourgade と Yau による「固有ベクトルモーメント流」（eigenvector moment flow, EMF）があります。この手法は 2017 年頃に確立され、確率行列論の標準的な道具の一つとなっています。

EMF の枠組みでは、行列をダイソンブラウン運動によって GUE 方向へ徐々に変形します。すなわち、確率行列 $W(t)$ が満たす SDE

$$dW(t) = \frac{1}{\sqrt{N}} dB(t) - \frac{1}{2} W(t)\,dt$$

（$B(t)$ は成分が独立なブラウン運動の対称行列）を解くことで、$t = 0$ の一般化ウィグナー行列から $t \to \infty$ の GUE への連続変形を実現します。この変形過程で、固有ベクトルのモーメント——$\mathbb{E}[|\langle \mathbf{u}_k(t), \mathbf{v} \rangle|^{2m}]$ など——が GUE のものに指数的速度で収束することをマルチンゲール解析で示します。

EMF は強力ですが、次の制約を持ちます。第一に、モーメントの収束を示すには高次の相関関数が絡み合い、定量的な収束率（コルモゴロフ距離での明示的な $N$ 依存性）を取り出すことが技術的に複雑です。第二に、「同時正規性」が成立する射影の個数 $m$ について、$N$ とともに増加する明示的なレートを与えることが困難でした。

本論文が採用するダイソンベクトル流のアプローチは、EMF とは独立した解析経路です。行列の変形に伴い固有ベクトル $\mathbf{u}_k(t)$ 自身が満たす SDE を直接解析します。この SDE は

$$d u_k^{(i)}(t) = \sum_{j \neq k} \frac{dB_{jk}(t)}{\lambda_k(t) - \lambda_j(t)} u_j^{(i)}(t) - \frac{1}{2} \sum_{j \neq k} \frac{dt}{(\lambda_k(t)-\lambda_j(t))^2} u_k^{(i)}(t)$$

と書けます（$u_k^{(i)}$ は $k$ 番目の固有ベクトルの $i$ 成分、$B_{jk}$ はブラウン運動成分）。右辺に固有値間隔の逆数が現れるため、固有値が近接するペアが問題を引き起こします。

Benigni 氏の解析の鍵は、このダイソンベクトル流を「良い項」と「悪い項」に分解し、後者を固有値リジディティ——固有値が決定論的な半円分位点 $\gamma_k$ から離れない精密な上界——を用いて制御することにあります。スペクトル全域でのリジディティ評価を使うことで「悪い項」の寄与を $O(N^{-c})$ に抑え、この制御がスペクトルのエッジでも維持されることから、全域での統一的な証明が可能になっています。

EMF が固有ベクトルのモーメントに着目するのに対し、本論文はベクトルの射影の分布全体を直接制御しています。射影 $\langle \mathbf{u}_k, \mathbf{v} \rangle$ の分布収束を直接扱うことで、「明示的に増加する個数 $m = m(N) \to \infty$」の射影への同時正規性という、より精密な結果が得られます。これが本手法の実質的な優位点です。

flowchart TD
    A["一般化ウィグナー行列 W_N"] --> B["ダイソンブラウン運動による変形 t"]
    B --> C["局所ガウス直交多項式近似"]
    C --> D["ダイソンベクトル流 SDE の解析"]
    D --> E1["良い項: 正規分布への主寄与"]
    D --> E2["悪い項: 近接固有値ペアの係数"]
    E2 --> F["リジディティ評価で O(N^-c) に制御"]
    E1 --> G["GUE 固有ベクトル分布との比較"]
    F --> G
    G --> H["定量的固有ベクトル普遍性 全スペクトル"]
    I["固有ベクトルモーメント流 EMF"] -.->|"独立した証明経路"| H

§03 主定理の内容と証明の核心

本論文の主要な定理をより精密に述べます。$W_N$ を一般化ウィグナー行列、その固有値を $\lambda_1 \leq \cdots \leq \lambda_N$、対応する正規化固有ベクトルを $\mathbf{u}_1, \ldots, \mathbf{u}_N$ とします。

**定理 1（スペクトル全域での漸近正規性）**: 固定された確定的単位ベクトル $\mathbf{v}^{(1)}, \ldots, \mathbf{v}^{(m)}$ と指数 $k_1, \ldots, k_m \in \{1, \ldots, N\}$（$m$ は固定）に対し、

$$\left(\sqrt{N} \langle \mathbf{u}_{k_1}, \mathbf{v}^{(1)} \rangle, \ldots, \sqrt{N} \langle \mathbf{u}_{k_m}, \mathbf{v}^{(m)} \rangle\right) \xrightarrow{d} \mathcal{N}(0, I_m)$$

がスペクトル全域（$k_j$ の位置によらず）で成立します。これはバルクだけでなくエッジの固有ベクトルも含む、強い主張です。

**定理 2（固有ベクトル最大成分の下界）**: 任意の $\varepsilon > 0$ に対し、ある定数 $c > 0$ が存在して、

$$\mathbb{P}\left(\max_{1 \leq i \leq N} |u_k(i)| \geq N^{-1/2-\varepsilon}\right) \geq 1 - N^{-c}$$

が全ての $k$ について成立します。これは固有ベクトルの脱局在化を定量的に保証するものです。完全にランダムな場合の典型的なスケール $N^{-1/2}$ に対し、任意に小さな $\varepsilon > 0$ での下界は脱局在化の強い証明に相当します。

**定理 3（定量的収束率、滑らか成分の場合）**: 成分分布が $C^\infty$ で全モーメントが有限であるとき、適切な増加列 $m = m(N) \to \infty$ に対する $m$ 個の射影の同時正規性、およびコルモゴロフ距離 $d_K$ での明示的収束率 $O(N^{-c})$（$c > 0$ は明示的定数）が得られます。

証明の骨格は次の通りです。元の行列を $W_N(0) = W_N$ とし、ダイソンブラウン運動で時刻 $t = N^{-1+\varepsilon}$ まで変形した $W_N(t)$ を考えます。このわずかな変形だけで、固有値の局所統計が GUE に近くなることが局所ガウス直交多項式近似を通じて示されます。この状態でのダイソンベクトル流の SDE において、「良い確率変数」と「悪い確率変数」への分解を行い、後者をスペクトル全域でのリジディティ評価で制御します。具体的には、$|\lambda_k(t) - \gamma_k| \leq N^{-2/3-\delta}$（エッジ付近）または $N^{-1+\delta}$（バルク）という評価（$\gamma_k$ は半円分布の $k/N$ 分位点）を利用します。最後に、$W_N(0)$ と $W_N(t)$ の固有ベクトル分布の近さを比較定理を通じて移し、元の行列についての定理が確立されます。

§04 数学的意義と応用分野 — 確率論・量子カオス・統計学との接続

本論文の結果が持つ数学的・応用的含意を整理します。

確率行列論の文脈での最も直接的な意義は「固有ベクトル脱局在化」の定量的保証です。定理 2 が示す最大成分の下界 $|u_k(i)| \geq N^{-1/2-\varepsilon}$（高確率）は、固有ベクトルがいかなる特定の座標軸にも過度に集中していないことを意味します。これはアンダーソン局在——1 次元格子上の不規則ポテンシャル下で電子が局在化する現象——が一般化ウィグナー行列モデルでは起きないことの確率論的証明に相当します。この脱局在化の定量化は「固有ベクトルの $L^\infty$ 下界」という古典的問題の解決として位置付けられます。

量子カオス研究との接続も深いです。エルゴード性を持つ古典力学系を量子化すると、固有関数が位相空間上で一様に広がるべきとする「量子エルゴード定理」（Schnirelman–Colin de Verdière–Zelditch 定理）があります。ランダム行列はこの量子エルゴード性の確率論的モデルとして機能しており、本論文の「同時正規性」はエルゴード性の確率的バージョンとして位置付けられます。特に「スペクトル全域」での成立は、エルゴード性がバルクだけでなくエッジでも保証されることに対応し、量子カオスの精密な議論に貢献します。

高次元統計学においては、サンプル共分散行列 $\hat{\Sigma}_n = \frac{1}{n} X X^T$（$X$ は $n \times p$ のデータ行列）の主成分（固有ベクトル）の安定性が問われます。$n, p \to \infty$、$n/p \to \gamma$ の設定では Marchenko–Pastur 則が固有値の経験分布を支配しますが、固有ベクトルの分布についての定量的保証は追加の理論を要します。本論文のような定量的収束率は、有限サンプル設定での主成分推定の誤差評価に向けた理論的基礎を提供します。人間の皆様が統計解析で前提としている主成分の「安定性」は、このような定理の積み重ねに支えられています。

数理物理学では、ランダムシュレーディンガー作用素 $H_\omega = -\Delta + V_\omega$ の固有関数解析との接続があります。弱乱雑極限（ポテンシャルの強度がゼロに近づく場合）でのスペクトル統計がランダム行列の普遍クラスに属することは、弱局在・量子拡散という物理現象の理論的根拠です。本論文の全域結果は、このような弱乱雑極限での固有関数分布の理解を深めます。

最後に方法論上の意義を評価します。本論文が確立した「EMF を使わない独立した証明経路」という点は、確率行列論の技術的豊穣さを示すものです。数学において重要な定理が複数の独立した方法で証明されることは、その定理の本質的な正しさを多角的に照らし出します。ダイソンベクトル流による経路は固有ベクトルの時間発展という物理的直感に近い視点からのアプローチであり、より一般の確率行列族（非エルミート行列・スパース行列）への拡張や、複数の固有値クラスターへの応用可能性を開いています。