[論文レビュー] Low rank perturbations of large elliptic random matrices

Sean O’Rourke, David Renfrew|arXiv (Cornell University)|Sep 20, 2013

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

ひとこと要約

本稿は、大規模な楕円型ランダム行列に対する低ランク摂動を分析し、摂動固有値が行列の楕円性パラメータ ρ によって定まる特定のスペクトル補集合領域の外側にある場合にのみ、スペクトルにオーバーオールが出現することを確立している。著者らは、Wigner行列および i.i.d. ランダム行列に対する既存の結果を一般化し、有限の4次モーメントを持つ行列に対して、経験的スペクトル測度のほとんど確実な収束を証明するとともに、オーバーオールが出現する厳密な条件を導出し、最小特異値およびスペクトル半径に関する境界も得ている。

ABSTRACT

We study the asymptotic behavior of outliers in the spectrum of bounded rank perturbations of large random matrices. In particular, we consider perturbations of elliptic random matrices which generalize both Wigner random matrices and non-Hermitian random matrices with iid entries. As a consequence, we recover the results of Capitaine, Donati-Martin, and Féral for perturbed Wigner matrices as well as the results of Tao for perturbed random matrices with iid entries. Along the way, we prove a number of interesting results concerning elliptic random matrices whose entries have finite fourth moment; these results include a bound on the least singular value and the asymptotic behavior of the spectral radius.

研究の動機と目的

• 大規模なランダム行列に対する有界ランク摂動の下で、固有値のオーバーオールの漸近的挙動を理解すること。
• Wigner行列および i.i.d. ランダム行列に関する既存の結果を、より広範な楕円型ランダム行列のクラスへ一般化すること。
• 有限の4次モーメントを持つ楕円型行列に対して、経験的スペクトル測度のほとんど確実な収束を確立すること。
• 摂動および楕円性パラメータ ρ に依存する、オーバーオールが出現する厳密な条件を導出すること。
• 有限の4次モーメントを持つ楕円型ランダム行列について、最小特異値およびスペクトル半径の漸近的挙動に関する境界を証明すること。

提案手法

• 著者らは、i.i.d. 成分をもつ大規模な N×N 楕円型ランダム行列の経験的スペクトル分布（ESD）を分析し、Wignerおよび i.i.d. エンsembles を一般化している。
• 彼らは、Stieltjes変換技術および確定点過程の理論を用いて、極限スペクトル測度を研究している。
• 主な手法として、極限スペクトル分布を導出するための、(1/√N Y_N - zI)^{-1} のリゾルベントとそのトレースの分析が用いられている。
• 本稿では、Stieltjes変換の固定点方程式を用いて、極限測度 ν_z の補集合を特徴付け、オーバーオールが出現する場所を特定している。
• Weylの摂動境界を用いて、複素平面上でのオーバーオール閾値の連続性を示している。
• 特に、z がスペクトル補集合の外側にある場合に、極限スペクトル測度において0付近に質量が存在しないことを示すために、測度および積分の性質に関する補題（例：補題 C.11）が用いられている。

実験結果

リサーチクエスチョン

• RQ1 大規模な楕円型ランダム行列に対して低ランク摂動が加えられた場合、どのような条件下でスペクトルにオーバーオールが出現するか。
• RQ2 楕円性パラメータ ρ は、スペクトルにおけるオーバーオールの位置および存在にどのように影響するか。
• RQ3 有限の4次モーメントを持つ楕円型ランダム行列の経験的スペクトル測度の極限挙動は何か。
• RQ4 N → ∞ のとき、楕円型行列の最小特異値およびスペクトル半径はどのように漸近的に振る舞うか。
• RQ5 Wigner行列および i.i.d. 行列に関する結果は、一様な枠組みのもとで楕円型アンサンブルに統合され、一般化可能か。

主な発見

• 有界ランク摂動の下で、大規模な楕円型ランダム行列のスペクトルにおけるオーバーオールは、摂動固有値が楕円性パラメータ ρ に依存するスペクトル補集合領域 E_ρ の外側にある場合に限り出現する。
• 行列 (1/√N)Y_N の極限経験的スペクトル測度は、コンパクトに台を持つ密度関数を持つ極限測度にほとんど確実に収束する。これは、i.i.d. 行列の円板法則および Wigner 行列の半円法則を一般化している。
• 有限の4次モーメントを持つ行列に対して、最小特異値は高確率で0から離れているため、大規模な N に対してリゾルベントの逆行列が保証される。
• (1/√N)Y_N のスペクトル半径は、N → ∞ のときほとんど確実に 2 に収束する。これは、i.i.d. 行列に対する既知の円板法則と整合的である。
• 著者らは、z がスペクトル補集合 E_ρ の外側にある場合に、極限測度 ν_z が0付近に質量を持たないことを証明しており、これはオーバーオールが E_ρ の外側に摂動固有値が存在しない限り出現できないことを意味する。
• 本稿では、オーバーオール出現の閾値が複素平面上で連続であることを確立しており、z の小さな摂動に対してもオーバーオール条件が安定していることを示している。