[論文レビュー] Large deviations for the smallest eigenvalue of a deformed GOE with an outlier

Jeanne Boursier, Alice Guionnet|arXiv (Cornell University)|Aug 17, 2024

Random Matrices and Applications被引用数 1

ひとこと要約

本稿は、1つの対角的ランク1摂動（外れ値）を含む変形されたガウス正規直交 Ensemble（GOE）行列の最小固有値における大偏差原理（LDP）を確立する。これは、極値固有値の偏差に関する先行研究を一般化したものであり、外れ値の有無にかかわらず統一的なLDPを構築し、極限外れ値閾値以下のすべての偏差に対してLDPが成り立つことを証明する。また、外れ値の位置とスペクトル測度に明示的な依存関係を持つレート関数を、固定点関数方程式を用いて導出する。

ABSTRACT

We establish a large deviation principle for the smallest eigenvalue of a random matrix model composed of the sum of a GOE matrix and a diagonal matrix with an outlier. Our result generalizes and unifies previously studied cases.

研究の動機と目的

• 確率的行列モデル $X_N = G_N + B_N$ において、$G_N$ を分散 $t$ のGOEとし、$B_N$ を外れ値 $\Lambda$ を含む確定的対角行列とする。このとき、外れ値を有する変形GOE行列の最小固有値における大偏差原理（LDP）を確立すること。
• Ben-Arous-Baik-Péché（BBP）遷移型の極値固有値偏差に関する先行研究を統合・一般化すること。
• 球面積分の傾き法が適用可能な範囲（極限外れ値閾値以下）を超えてLDPを拡張すること。
• 固有ベクトルの局在化や非ユニバーサル性が生じる状況でも適用可能な、レート関数の固定点関数方程式に基づく新規手法の開発。
• Kac-Riceの公式を用いたpスピンガラスモデルにおける局所的最小値の平均的数の解析のための厳密な枠組みを提供すること。

提案手法

• 行列モデルを $X_N = G_N + B_N$ と定式化し、$G_N$ は分散 $t$ のGOE、$B_N$ は固有値が測度 $\nu$ に弱収束し、かつ単一の外れ値 $\Lambda$ を含む確定的行列とする。
• 行列 $X_N$ の極限スペクトル分布を自由畳み込み $\sigma_t \boxplus \nu$ で特徴づけ、左端 $\ell^{\Lambda}_{\nu,t}$ を極限最小固有値として定義する。
• 時間連続的補間過程 $X_N(s) = B_N + G_N(s)$ を導入し、$G_N(s)$ がオーナイユ動的過程に従うことで、初期状態 $X_N(0)$ から時間平均状態 $X_N(N)$ へつなぐ。
• 動的挙動と濃縮不等式を用いて $\lambda_1(X_N)$ の密度を解析し、大偏差レート関数 $F^{\pm}_{\nu,t}(\Lambda, \lambda)$ に対する固定点方程式を導出する。
• 濃縮の法則と指数的緊密性を用いて $\lambda_1(X_N)$ のフラクチュエーションを制御し、行列摂動における最小固有値のリプシッツ連続性を活用する。
• レート関数が $\Lambda$ に関して連続であり、$\ell^{\Lambda}_{\nu,t}$ で消失し、ある $c > 0$ に対して下界として $F^{\pm}_{\nu,t}(\Lambda, \lambda) \geq c(\lambda - \ell^{\Lambda}_{\nu,t})^2$ を満たすことを証明し、収縮と指数的推定によりLDPの成立を保証する。

実験結果

リサーチクエスチョン

• RQ1 BBP遷移閾値を超える範囲で、外れ値を有する変形GOE行列における最小固有値の大きな偏差はどのように振る舞うか？
• RQ2 外れ値の有無にかかわらず、変形GOE行列の極値固有値における統一的大偏差原理を確立できるか？
• RQ3 このような偏差のためのレート関数の構造は何か？また、外れ値の位置 $\Lambda$ と極限スペクトル測度 $\nu$ にどのように依存するか？
• RQ4 球面積分の傾き法に依存せずに、固有ベクトルの局在化や非ユニバーサル性が生じる領域でもレート関数を導出可能か？
• RQ5 行列パス上のオーナイユ過程の動的挙動は、最小固有値の密度推定とレート関数の導出にどのように寄与するか？

主な発見

• 本稿は、外れ値を有する変形GOE行列の最小固有値 $\lambda_1(X_N)$ に対して、極限外れ値閾値 $\ell^{\Lambda}_{\nu,t}$ 以下のすべての偏差に対して有効な大偏差原理（LDP）を確立する。
• レート関数 $F^{\pm}_{\nu,t}(\Lambda, \lambda)$ は $\Lambda$ に関して連続であり、$\ell^{\Lambda}_{\nu,t}$ で消失し、ある $c > 0$ に対して $F^{\pm}_{\nu,t}(\Lambda, \lambda) \geq c(\lambda - \ell^{\Lambda}_{\nu,t})^2$ を満たすことが示された。
• レート関数は、球面積分法の制限を避ける新規の固定点関数方程式から導出され、非ユニバーサルな状況でも適用可能である。
• 従来別々に扱われてきた2つの状況が統一される：外れ値が存在するランク1摂動（$\nu = \delta_0$）のケース（[21]で研究済み）と、外れ値が存在しないケース（$\Lambda = \ell_\nu$）（[22]で研究済み）。
• 著者らは $\mathbb{E}[\lambda_1(X_N(N))] \to \ell^{\Lambda}_{\nu,t}$ であり、$\lambda_1(X_N(N))$ がこの極限に集中することを証明し、密度の制御にカップリング法を適用可能にする。
• 指数的推定と濃縮不等式を用いて、$\mathbb{P}(|\lambda_1(X_N(0)) - x| \leq \delta)$ が $\mathbb{P}(|\lambda_1(X_N(0)) - y| \leq \delta)$ の和で抑えられることを示し、速度 $N$ のLDP構造が確認された。