[論文レビュー] Outliers in the spectrum of iid matrices with bounded rank perturbations

Terence Tao|arXiv (Cornell University)|Dec 21, 2010

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

ひとこと要約

本稿は、有界ランク行列によって摂動される大規模な i.i.d. ランダム行列のスペクトル的挙動を調査し、小さな摂動では摂動行列の固有値の周辺にオーバーオーライアが生じることを示している。一方、大きな摂動では、ガウス係数をもつランダムなローレンツ級数の零点によって支配されるオーライアが生じる。行和の条件が課された場合、オーライアは消失し、円型法則の安定性と感度が示される。

ABSTRACT

It is known that if one perturbs a large iid random matrix by a bounded rank error, then the majority of the eigenvalues will remain distributed according to the circular law. However, the bounded rank perturbation may also create one or more outlier eigenvalues. We show that if the perturbation is small, then the outlier eigenvalues are created next to the outlier eigenvalues of the bounded rank perturbation; but if the perturbation is large, then many more outliers can be created, and their law is governed by the zeroes of a random Laurent series with Gaussian coefficients. On the other hand, these outliers may be eliminated by enforcing a row sum condition on the final matrix.

研究の動機と目的

• 大規模な i.i.d. ランダム行列の固有値分布に有界ランク摂動が与える影響を理解すること。
• このような摂動付き行列のスペクトルにオーライアが現れる条件を特定すること。
• 行和の条件などの追加的な構造的制約のもとで、オーライアが安定しているか、または消失するかを特定すること。
• 摂動が大きい場合のオーライアの極限定理を確立し、ガウス係数をもつランダムなローレンツ級数の零点と関連付けること。

提案手法

• ランダム行列理論と円型法の道具を用いて、摂動付き行列の経験的スペクトル分布（ESD）を分析する。
• 作用素ノルムと摂動付き行列の特異値を制御するためにモーメント法と切断技術を適用する。
• ランク1摂動における特異値の入れ子性を用いてスペクトル挙動を制御する。
• ほとんど確実な特異値の収束を確立するために、ボレル＝カンテリの補題と尾確率の境界を用いる。
• 直交分解を介してランク1射影の効果を除去することで、問題を低次元のランダム行列に還元する。
• 条件付き確率の議論と濃度不等式を用いて、小さな特異値の発生確率を抑え、オーライアの制御を保証する。

実験結果

リサーチクエスチョン

• RQ1 有界ランク摂動が、大規模な i.i.d. ランダム行列のスペクトルにオーライアを生じる条件は何か？
• RQ2 摂動が小さい場合、オーライアの位置は摂動行列の固有値とどのように関係するか？
• RQ3 摂動が大きい場合、オーライアの分布はどのように変化するか？
• RQ4 最終行列に行和の条件を課すことによって、オーライアの存在を排除できるか？
• RQ5 摂動が大きい場合のオーライアの極限定理は何か？また、ランダムな解析関数とどのように関連するか？

主な発見

• 小さな有界ランク摂動の場合、$\frac{1}{\sqrt{n}}X_n + C_n$ のスペクトルにおけるオーライアは、$C_n$ の固有値の周辺に位置し、$\{z: 1+\varepsilon < |z| < 1+3\varepsilon\}$ の輪状領域に $C_n$ の固有値が存在しない限り成立する。
• 摂動が大きい場合、オーライアの数は顕著に増加し、その分布は i.i.d. ガウス係数をもつランダムなローレンツ級数の零点によって支配される。
• 最終行列に行和の条件を課すことで、誤った固有値の出現を抑えることにより、オーライアを排除できる。
• 摂動付き行列 $\frac{1}{\sqrt{n}}X_n P_n - z$ の最小特異値は、ほとんど確実に $n^{-O(1)}$ 以上に下から抑えられ、スペクトル分布の安定性を保証する。
• 証明は特異値の入れ子性による制御と濃度不等式の適用に依存しており、ボレル＝カンテリの補題を用いて稀な事象に対するほとんど確実な境界を確立する。
• この結果は、原子分布が4次のモーメントをもつという仮定のもとで成り立つ。これは、摂動なしの場合のオーライアの不在に不可欠である。