[論文レビュー] Large deviations for the largest eigenvalues and eigenvectors of spiked random matrices

Giulio Biroli, Alice Guionnet|arXiv (Cornell University)|Apr 3, 2019

Random Matrices and Applications参考文献 20被引用数 6

ひとこと要約

本稿は、スプライクされたガウス型ランダム行列におけるランク1の摂動方向の最大固有値とその固有ベクトル成分の連合フラクチュエーションに関して、大偏差原理（LDP）を確立する。$\theta > 1$ の場合、固有ベクトル成分 $u < 1 - 1/\theta$ であるレアイベントは、第二固有値がウィグナー半円分布から分離することを引き起こし、これらの非典型的な挙動を支配する正確なレート関数を導出する。さらに、Wishartアンサンブルおよび複数の固有値への結果の拡張がなされる。

ABSTRACT

We consider matrices formed by a random $N imes N$ matrix drawn from the Gaussian Orthogonal Ensemble (or Gaussian Unitary Ensemble) plus a rank-one perturbation of strength $θ$, and focus on the largest eigenvalue, $x$, and the component, $u$, of the corresponding eigenvector in the direction associated to the rank-one perturbation. We obtain the large deviation principle governing the atypical joint fluctuations of $x$ and $u$. Interestingly, for $θ&gt;1$, in large deviations characterized by a small value of $u$, i.e. $u&lt;1-1/θ$, the second-largest eigenvalue pops out from the Wigner semi-circle and the associated eigenvector orients in the direction corresponding to the rank-one perturbation. We generalize these results to the Wishart Ensemble, and we extend them to the first $n$ eigenvalues and the associated eigenvectors.

研究の動機と目的

• スプライクされたランダム行列モデルにおける最大固有値およびその関連固有ベクトル成分の極限的偏差を理解すること。
• ランク1の摂動方向における最大固有値 $x$ と固有ベクトル成分 $u$ の連合的非典型的なフラクチュエーションを特徴づけること。
• ガウス正規直交/ユニタリアンサンブル（GOE/GUE）からの大偏差解析をWishartアンサンブルおよび最初の $n$ 個の固有値と固有ベクトルへ拡張すること。
• 高次元のエネルギー・ランドスケープおよび相関行列解析におけるこれらの偏差の幾何学的・統計的意味を明確にすること。

提案手法

• スプライクされたGOE/GUE行列における最大固有値 $x$ と固有ベクトル成分 $u$ の連合大偏差原理（LDP）を、固有値・固有ベクトルの連合密度の明示的計算により導出する。
• 固有値と固有ベクトルの明示的連合分布を用いて、$x$ と $u$ の連合フラクチュエーションの良いレート関数（GRF）を計算する。
• 第二最大固有値 $y(u)$ が $u$ の関数としてどのように振る舞うかを分析し、特に $y(u)$ が半円法則の支持領域を下回る場合のLDPにおける相転移を同定する。
• ${\theta > 1}$ の場合、レート関数の最小値が $u_\theta = \frac{\theta x - \sqrt{(\theta x)^2 - 4\theta^2}}{2\theta^2}$ で達成されることを示し、$x \geq 2$ のとき $1/\theta$ よりも小さくなることを示す。
• スプライクされた共分散構造下での固有値と固有ベクトルの連合分布を導出し、Wishart行列の密度関数と固有値の順序に関する条件付き確率を用いて、Wishartアンサンブルへの適用を適応する。
• 同じLDPフレームワークを最初の $n$ 個の固有値とそれらに付随する固有ベクトルに適用し、最大固有値を超える一般化を達成する。

実験結果

リサーチクエスチョン

• RQ1 スプライクされたGOE/GUE行列における最大固有値とその固有ベクトル成分の連合フラクチュエーションのための大偏差レート関数は何か？
• RQ2 固有ベクトル成分 $u$ が小さい場合、第二固有値はどのように大偏差に応じて振る舞うか？
• RQ3 最大固有値が半円法則から分離するための摂動強度 $\theta$ の臨界閾値は何か？
• RQ4 信号が標本共分散行列に埋め込まれたWishartアンサンブルへの結果はどのように拡張されるか？
• RQ5 スプライクモデルにおける最初の $n$ 個の固有値とそれらに付随する固有ベクトルに、大偏差原理を一般化できるか？

主な発見

• $\theta > 1$ の場合、第二最大固有値 $y(u)$ は $u$ が増加するにつれて減少し、$\theta(1 - u) < 1$ のとき、半円法則の支持領域（すなわち2未満）に下がることで、固有値スペクトルにおける相転移を示す。
• レート関数の最小値は $u_\theta = \frac{\theta x - \sqrt{(\theta x)^2 - 4\theta^2}}{2\theta^2}$ で達成され、$x \geq 2$ のとき $1/\theta$ よりも厳密に小さくなる。また、$x \geq 1 + \theta^{-2}$ のときのみ非負となる。
• $\theta \geq 1$ で $x > \theta + 1/\theta$ のとき、レート関数は $u$ が増加するにつれて減少し、$u_\theta$ で最小値をとった後、再び増加する。これは $u_\theta$ で一意の最小値が達成されることを示す。
• $\theta < 1$ の場合、レート関数の最小値は $u = 0$ または $u_\theta$ に位置し、$u_\theta$ が正であるかどうかに依存する。このとき第二固有値はすべての $u$ に対して2のままである。
• $x_2 = 2$ の場合、$u_2$ に関するレート関数の最小値は $u_2 = 0$ で達成され、第二固有値が半円の端に位置するとき、固有ベクトル成分が抑制されることを示している。
• Wishartアンサンブルへの拡張により、最大固有値 $\lambda_M$ と $|\langle e, u_M \rangle|^2 = u$ のための連合LDPが得られ、レート関数には残りの固有値に関する条件付き期待値と修正された逆温度パラメータ $\theta = \gamma/(1 + \gamma)$ が含まれる。