Level Crossing in Random Matrices. III. Analogs of Girko's circular and Wigner's semicircle laws

本論文は、行列束 $A_n+\lambda B_n$ のレベル交差の漸近分布を調査し、スペクトルの縮退を対数エネルギーおよびギルコの円則やウィグナーの半円則に類する普遍性原理と関連付けることで、複素および実アンサンブルにおける交差の実験測度の決定論的極限を導出する。

要約

2 つの巨大で混沌としたトランプのデッキ、デッキ A とデッキ B を想像してください。各カードには数字が書かれていますが、これらの数字はランダムです。ここで、特定の方法でそれらを混ぜ合わせることを想像してみましょう。デッキ A から 1 枚のカードを取り出し、デッキ B から 1 枚のカードに加えますが、2 枚目のカードは「魔法の数字」、つまり$\lambda$と呼ぶ定数でスケーリングします。

この魔法の数字$\lambda$を変えると、2 つのデッキの「和」も変化します。時には、生成された混合物の数字は正常に振る舞います。しかし、時折、混合物内の 2 つの数字が完全に一致することがあります。物理学と数学の世界では、2 つのエネルギー準位（あるいは数字）が同一になることをレベル交差と呼びます。

この論文は、ランダムなデッキをシャッフルした際に、これらの「一致」（レベル交差）がどこで起こるかを追う探偵物語です。具体的には、2 つの異なる種類のデッキに焦点を当てています。複素（数字が実部と虚部を持ち、地図上の座標のようなもの）と実（数字が直線上の標準的な数値のみ）です。

以下は、著者であるボリス・シャピロが、簡単な比喩を用いて発見した内容の概要です。

1. 「完璧に混合された」シナリオ（複素ガウス行列）

まず、著者は「ゴールドスタンダード」となるシナリオ、すなわち複素ガウスケースを検討します。これは、すべてのカードが完璧で公平なランダム生成器によって生成されたデッキだと考えてください。

• 発見: これら 2 つの完璧なデッキを混ぜると、「一致」（レベル交差）は一角に固まることなく、球の表面全体に完全に均等に広がります。
• 比喩: 地球儀を塗装すると想像してください。この砂（レベル交差）をこの地球儀に振りかけると、この完璧なシナリオでは、砂は完全に均一な層を形成します。どの場所も他よりも密度が高くはありません。
• 数学: これは有名な「円則（Circular Law）」と一致しますが、デッキ内の数字ではなく、これらの交差に適用されたものです。この論文は、これらの完璧なデッキの場合、デッキのサイズに関係なく、分布が完全に均一であることを証明しています。

2. 「現実世界」のシナリオ（複素非ガウス行列）

次に、著者は問いかけます。「もしデッキが完璧にランダムでなかったらどうなる？カードにわずかな偏りがあったり、形状が異なったりしたら？」

• 仮説: 著者は、カードが「完璧に」ランダムでなくても、あまりにも奇妙でなければ、砂は依然として地球儀上で均等に広がるのではないかと疑っています。
• 注意点: これを証明するには、著者はすべての種類のデッキに対して証明が難しい、広く信じられている 2 つの仮定を置く必要があります。
  1. 均一性: デッキ内の数字は均等に広がっている（円則のように）。
  2. 反発: 数字は互いの真上に座ることを好まない。2 つの数字が近づきすぎると、互いに押し合い離れます。
• 結果: これら 2 つの仮定が真であれば、はい、レベル交差は完璧なシナリオと同様に、地球儀上で均等に広がります。この論文はこのことを示す数学的な「レシピ」を提供していますが、いくつかの厄介なデッキについては、それら 2 つの仮定の最終的な証明をまだ待っていることを認めています。

3. 「実数」のひねり（実行列）

ここで、著者は実行列に切り替えます。これらは、数字が虚部を持たない標準的な数値だけのデッキです。

• 問題: 複素の世界では、「一致」は球面上のどこでも起こり得ます。しかし、実数の世界では、球面上に実射影直線と呼ばれる特別な線（地球儀の「赤道」や特定のベルトと考えるとよい）が存在します。数字が実数であるため、すべての一致がこのベルトに閉じ込められ、滑らかな層ではなく巨大な砂の塊が生まれるリスクがあります。
• 調査: 著者は問いかけます。「砂はベルトに固まるでしょうか？」
• 発見: この論文は、デッキがあまりにも奇妙でなければ、砂はベルトに固まらないことを示しています。砂はベルトから離れ、球面の残りの部分に広がります。
• 予想: 著者は、ほとんどの標準的なランダムデッキの場合、結果は複素の場合と同じ、すなわち均一な広がりを示すと信じています。ただし、カードが対称であるなど、非常に特定の種類のデッキでは、広がりはわずかに異なり、ある領域は他の領域よりも密度が高くなるかもしれませんが、それでも予測可能です。

4. 「エルミート」の場合（ウィグナーの比喩）

最後に、この論文はエルミート行列を検討します。物理学において、これらは数字が非常に特定的でバランスの取れた方法で「実数」に制約されたデッキのようなものです。これは、異なる種類の分布（半円則）で有名な「ウィグナー」の世界です。

• 違い: ここでは、「砂」は均等に広がりません。振る舞いが異なります。
• パターン: 著者は、砂が「赤道」（実数直線）を完全に避けることを発見しました。砂は球面上部と下部に集中します。
• 数式: 著者は、砂がどのように分布するかを正確に予測する数式を導き出しました。それは赤道からの距離に依存します。赤道から離れるほど、砂の密度は特定の曲線に従って高くなります。
• 普遍性: 著者は、このパターンは普遍的であると信じています。完全にランダムなデッキを使おうが、わずかに偏ったデッキを使おうが、それがエルミートデッキである限り、砂はこの特定の「赤道を避ける」パターンで配置されます。

「全体像」のまとめ

この論文は本質的に、混沌が一致と出会う場所を予測することについてです。

1. 複素の世界: 混沌は通常、数字があまりにも密に固まらない限り、宇宙（球面）全体に一致が完璧に均等に広がることを導きます。
2. 実数の世界: 特定の線上に固まる危険性がありますが、著者はほとんどのランダムデッキでは、この固まりは発生しないことを示しています。
3. エルミートの世界: 規則は完全に変わります。一致は中心線を避け、球面を囲むリングや帯のような、特定の非均一なパターンを形成します。

著者は「対数エネルギー」や「ポテンシャル理論」などの高度な数学を用いてこれらのパターンを証明していますが、核心的なメッセージは普遍性にあります。ランダムなカードをどのようにシャッフルしても、「一致」は数少ない予測可能で美しいパターンのいずれかに落ち着く傾向があります。

技術概要

ボリス・シャピロによる論文「ランダム行列におけるレベル交差。III. ギルコ円則とウィグナー半円則のアナログ」の詳細な技術的概要を以下に示す。

1. 問題設定と背景

本論文は、形式 $A_n + \lambda B_n$ のランダム行列ペンシル（$\lambda \in \mathbb{C}$ はパラメータ）におけるレベル交差（縮退）の漸近分布を調査するものである。

• 定義: レベル交差とは、行列ペンシル $A_n + \lambda B_n$ が多重固有値を持つような $\lambda$ の値である。
• 数学的対象: この問題は、パラメータ球面 $\mathbb{C}P^1$ 上のペンシルのスペクトル被覆の分岐点を特定することに等価である。
• 動機: これは摂動論（ここで $A$ は作用素、$B$ は摂動、$\lambda$ はパラメータ）およびスペクトルのモノドロミーやランダムリーマン面の研究において生じる。
• 目的: 行列サイズ $n \to \infty$ におけるこれらのレベル交差の極限経験測度を、さまざまなアンサンブル（複素 i.i.d.、実 i.i.d.、ガウスエルミート）に対して決定し、ガウス型の場合の既知の厳密な結果をより広範な普遍性クラスへ拡張することである。

2. 手法

著者は、ランダム行列理論からの普遍性原理と組み合わせたポテンシャル理論的アプローチを採用している。

• 判別式の表現: レベル交差は、$A_n + \lambda B_n$ の特性多項式の判別式 $\Delta_n(\lambda)$ の零点である。
• ポアンカレ・レロング公式: レベル交差の経験測度 $\mu_n$ は、正規化された対数判別式の分布論的ラプラシアンとして表される：
  $$\mu_n = \frac{1}{2\pi n(n-1)} \Delta_\lambda \log |\Delta_n(\lambda)|$$
• 漸近解析: 中核的な戦略は、正規化された対数判別式（またはその期待値）の収束を、決定論的なポテンシャル関数への収束として証明することである。ポテンシャルの極限が確立されれば、ラプラシアンを適用することでレベル交差の極限密度が得られる。
• 主要な仮定: 証明は、主に非ガウス型アンサンブルに対する普遍性予想に依存する、3 つの主要な技術的入力に依存している：
  1. (UCL) 一様円則: 正規化されたペンシルの経験固有値分布が一様に円則（エルミートの場合には楕円則）に収束する。
  2. (SR) 小反発（クラスタリングの欠如）: 固有値は過度に近接してクラスタリングしない。具体的には、小さな固有値間隔が対数エネルギーに与える寄与は無視できる。
  3. (LT) 対数尾部制御: 固有値は無限遠へ急速に逃げ出さず、対数エネルギーが well-defined であることを保証する。

3. 主要な貢献と結果

A. 複素非エルミートの場合（ギルコのアナログ）

• ガウス基準: 複素ギンブル行列（独立な複素ガウス要素）の場合、レベル交差は $\mathbb{C}P^1$ 上で密度 $\frac{dxdy}{\pi(1+|\lambda|^2)^2}$ をもって一様に分布することが知られている。
• 定理 1（条件付き漸近一様法則）: 著者は、一般的な複素 i.i.d. 行列に対して、一様円則 (UCL)、小反発 (SR)、および対数尾部 (LT) の条件が満たされれば、レベル交差の経験測度が確率収束して $\mathbb{C}P^1$ 上の同一の一様測度に収束することを証明する。
• 重要性: これはギルコの円則に対するレベル交差の対応物を確立する。この結果は (SR) 評価に条件付けられており、これはバルク普遍性によって予測されているが、一般的な非エルミート i.i.d. 行列に対しては厳密に証明されていない。

B. 実行列

• 実対称性の問題: 複素の場合とは異なり、実ペンシルは共役変換に対して不変であり、レベル交差は実射影直線 $\mathbb{R}P^1$ 上に存在しうる。これにより、極限測度に特異成分が存在する可能性が生じる。
• 定理 4（集中の欠如）: 本論文は、$\mathbb{R}P^1$ からの距離 $\epsilon$ 以内のレベル交差の期待数が $o(n^2)$ であるならば、極限測度は $\mathbb{R}P^1$ に質量ゼロを割り当てることを証明する。
• 予想 3（一般的な実 i.i.d. 法則）: 一般的な実 i.i.d. 行列に対して、「非集中」仮定が成り立てば、レベル交差も $\mathbb{C}P^1$ 上の一様測度に収束すると予想されている。
• GOE への帰着（定理 2 と予想 2）: ガウス直交アンサンブル (GOE) ペンシルの場合、問題は単一の解析的問いに帰着される：擬共分散パラメータ $\tau(\lambda) = \frac{1+\lambda^2}{1+|\lambda|^2}$ が対数判別式の主導項に影響を与えるか？
  • 擬共分散が主導的な $n^2$ 項に無関係であれば、極限は一様である。
  • 関連する場合は、極限は対称性クラスに依存して修正された形をとる。

C. エルミート行列（ウィグナーのアナログ）

• 質的相違: エルミートの場合とギンブルの場合には明確な違いがある。極限分布は $\mathbb{C}P^1$ 上で一様ではない。
• GUE2 の厳密結果: $2 \times 2$ GUE 行列の場合、密度は明示的に $\frac{4}{\pi} \frac{|y|}{(1+|\lambda|^2)^3}$ であり、実軸上で消滅する。
• 定理 5（GUE 極限）: 一般的な GUE ペンシルに対して、極限密度はガウス楕円アンサンブルを介して導出される。正規化されたペンシルは、パラメータ $\tau(\lambda)$ をもつ楕円アンサンブルに対応する。
  • 極限密度は次式で与えられる：
    $$\frac{1}{2\pi} \Delta_\lambda \left[ \frac{1}{2} \log(1+|\lambda|^2) + G(1-Y^2) \right]$$
    ここで $Y$ は球面上の高さ座標、$G$ は楕円則の対数エネルギーである。
• 普遍性（予想 6 と定理 6）: 本論文は、この極限法則がすべてのウィグナー型エルミートアンサンブル（ガウス型に限らない）に対して普遍的であると予想している。定理 6 は、基礎となるウィグナー型楕円アンサンブルに対する楕円則と対数エネルギーの一様収束を仮定して、これを条件付きで証明している。

4. 意義と影響

• スペクトル縮退の統合: 本論文は、異なる対称性クラス（複素、実、エルミート）にわたるスペクトル縮退（レベル交差）を理解するための統一的枠組みを提供し、古典的な固有値分布法則（ギルコとウィグナー）との直接的な類似性を引き出している。
• ポテンシャル理論的洞察: それは、縮退の分布を支配する上で対数エネルギーと対固有値相互作用が中心的な役割を果たすことを浮き彫りにしている。レベル交差の分布は、固有値の極限ポテンシャルのラプラシアンであることが示されている。
• 条件付き普遍性: この研究は、「容易な」大域的入力（円則・楕円則）と「困難な」局所的入力（小間隔評価）を厳密に分離している。局所普遍性が成り立てば、レベル交差分布は決定論的かつ明示的な極限に従うことを示している。
• 実対複素の区別: それは実対称性の微妙な役割を明確にし、実交差は実線上に集中しうるが、自然な非集中仮定の下では漸近測度を支配せず、複素平面分布の普遍性を維持することを示している。

要約すると、シャピロの論文は、ランダム行列理論の範囲を固有値の分布からスペクトル特異点（レベル交差）の分布へと拡張し、これらの縮退が固有値過程の基礎となる対数エネルギーによって支配され、有名な円則や半円則に類似した普遍的法則に従うことを確立している。