[論文レビュー] No-gaps delocalization for general random matrices

Mark Rudelson, Roman Vershynin|arXiv (Cornell University)|Jun 12, 2015

Random Matrices and Applications参考文献 34被引用数 4

ひとこと要約

本稿は、一般のランダム行列の固有ベクトルに対して、ギャップのない局在化の非存在を確立し、任意のサイズが $\varepsilon n$ 以上の座標部分集合が、固有ベクトルの $\ell_2$ ノルムの無視できない割合を占めることを高確率で示している。著者らは、ランダム行列の可逆性、小さな確率の見積もり、最小公倍分母を用いた幾何的アプローチを開発し、ガウス分布やウィグナー系に限らない、独立または対称な成分を持つ行列、さらには独立な実部・虚部を持つ複素行列に対しても局在化を拡張した。

ABSTRACT

We prove that with high probability, every eigenvector of a random matrix is delocalized in the sense that any subset of its coordinates carries a non-negligible portion of its $\ell_2$ norm. Our results pertain to a wide class of random matrices, including matrices with independent entries, symmetric and skew-symmetric matrices, as well as some other naturally arising ensembles. The matrices can be real and complex; in the latter case we assume that the real and imaginary parts of the entries are independent.

研究の動機と目的

• 一般のランダム行列の固有ベクトルが、サイズ $\varepsilon n$ の座標部分集合が $\ell_2$ ノルムの無視できない割合を占めることを高確率で示す、局在化の意味でのギャップのない局在化を確立すること。
• ガウス分布やウィグナー行列に限らない、独立・対称・反対称成分を持つなど広範なクラスのランダム行列にまで、局在化結果を拡張すること。
• 固有ベクトルのギャップのない局在化—特にその普遍性—が非ガウス的・非不変なアンサンブルに対しても成り立つことを示すことで、ランダム行列理論における普遍性現象を解明すること。
• 核ベクトルや固有ベクトルの構造を制御するための、可逆性と距離推定に基づく幾何的フレームワークを提供すること。
• 連続的・離散的分布の両方に適用可能な強固な手法を導入することで、既存の固有ベクトルの局在化に関する結果を統一的かつ一般化すること。

提案手法

• 幾何的・確率的技法を用いて、固有ベクトルの局在化問題を部分空間に制限されたランダム行列の可逆性問題に還元する。
• 最小公倍分母（LCD）を用いた小さな確率の見積もりを用い、ランダムベクトルが固定部分空間に近い確率を制御する。
• 有界LCDかつ実部・虚部の相関が制御されたベクトルのネット近似を導入し、離散ケースを扱う。
• 弱い $L^p$ 評価と弱い三角不等式を用いて、ランダムベクトルから部分空間までの逆距離の和を評価する。
• 虚部を固定し、実部と虚部を別々に扱うことで、複素行列の処理にための条件付き推論を適用する。
• ランダムベクトルと部分空間との距離に関する結果と、核構造の解析を組み合わせ、一般分布に対する可逆性の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ガウス分布やウィグナー系に限らない一般のランダム行列の固有ベクトルに対し、ギャップのない局在化が確立可能か。
• RQ2 固有ベクトルが $\ell_2$ ノルムの大きなギャップを持たないという意味で局在化を保つための、行列成分の分布に対する最小限の仮定は何か。
• RQ3 任意の部分空間にわたる一様な可逆性を制御することで、固有ベクトルが特定の座標部分集合に集中することを防ぐには、どのようにすればよいか。
• RQ4 小さな確率の見積もり法は、連続的でない、離散的、あるいは相関のある行列成分に対してもどの程度適応可能か。
• RQ5 距離と核に基づく幾何的アプローチは、独立な実部・虚部を持つ複素行列へと拡張可能か。

主な発見

• 任意の $\varepsilon \in (0,1)$ に対して、高確率で、一般のランダム行列の任意の固有ベクトル $v$ は、$\varepsilon n$ 以上のサイズのすべての部分集合 $J \subset [n]$ に対して $\left(\sum_{j \in J} |v_j|^2\right)^{1/2} \geq \phi(\varepsilon)\|v\|_2$ を満たす。ここで $\phi(\varepsilon)$ は $\varepsilon$ のみに依存する正の関数である。
• 著者らは、次元 $\varepsilon n$ の部分空間に制限されたランダム行列の最小特異値が、小さな確率の見積もり（指数が $\varepsilon n$）により高確率で下から抑えられることを証明した。
• 一般の分布に対して、最小特異値が $t\sqrt{n}$ より小さい確率は $\left[C \varepsilon^{-1.4} t^{0.45}\right]^{\varepsilon n}$ のように減少し、質量の強い集中を示している。
• この手法は、独立成分を持つ行列、対称・反対称行列、独立な実部・虚部を持つ複素行列に適用可能である。
• 結果は、スペクトルのバルク領域に限らず、すべての固有ベクトルに一様に成り立ち、弱いモーメント条件の下で離散的または非同一分布の成分を持つ行列に対しても成立する。
• 証明により、ランダム行列の核が高確率で圧縮不能（incompressible）であることが示され、これは座標部分集合への質量集中を排除する上で鍵となる。