[論文レビュー] Outlier eigenvalue fluctuations of perturbed iid matrices

Anand Bharathwaj Rajagopalan|arXiv (Cornell University)|Jul 6, 2015

Random Matrices and Applications参考文献 23被引用数 9

ひとこと要約

本稿は、i.i.d. ランダム行列に対する有限ランク・有界ノルム摂動における外れ固有値の同時漸近的フラクチュエーションを確立し、先行研究を一般のジョルダン型摂動へと拡張する。リソルベント解析と固有ベクトルの正則性に基づく統一的アプローチを用いて、正規化されたフラクチュエーションが非退化なガウス分布に同時に収束することを証明し、その分散は一般固有ベクトルの構造と摂動のジョルダン型に依存する。

ABSTRACT

It is known that in various random matrix models, large perturbations create outlier eigenvalues which lie, asymptotically, in the complement of the support of the limiting spectral density. This paper is concerned with fluctuations of these outlier eigenvalues of iid matrices $X_n$ under bounded rank and bounded operator norm perturbations $A_n$, namely with $λ(\frac{X_n}{\sqrt{n}}+A_n)-λ(A_n)$. The perturbations we consider are allowed to be of arbitrary Jordan type and have (left and right) eigenvectors satisfying a mild condition. We obtain the joint convergence of the (normalized) asymptotic fluctuations of the outlier eigenvalues in this setting with a unified approach.

研究の動機と目的

• i.i.d. ランダム行列集合における外れ固有値フラクチュエーションの理解を、対角化可能な摂動にとどまらず、一般のジョルダン型摂動へと拡張すること。
• 非対角化可能な場合を含む、さまざまなジョルダンブロック構造におけるフラクチュエーション行動の分析を統一すること。
• 左および右固有ベクトルの弱い正則性条件のもとで、正規化された外れ固有値フラクチュエーションの同時収束を確立すること。
• ヘルミート型スプライクモデルに関する先行結果を、任意の摂動構造を持つ非エルミートi.i.i.d. 行列へと一般化すること。
• 有限ランク摂動を伴う非正規ランダム行列モデルにおけるスペクトルフラクチュエーションを解析するための強固なフレームワークを提供すること。

提案手法

• 非エルミートランダム行列における固有値フラクチュエーションを分析するため、リソルベント展開とスペクトル射影技術を用いた統一的フレームワークを導入する。
• 重い尾を持つ分布を取り扱うために、平均シフトが制御された有界確率変数に還元するための切断補正を適用する。
• シュールの補題を用いて、平均シフト付き切断行列の作用素ノルムを評価し、$ O(n^{-1/2}) $ のオーダーで減少することを保証する。
• モーメントバウンドと指数的尾部推定を用いて、正規化されたランダム行列のべき乗の高次項を制御する。
• $ k \leq \log^2 n $ の範囲で、切断行列と中心化行列のべき乗の差がノルムで無視可能であることを示す重要な補題を用いる。
• 元のモデルと切断・中心化された行列モデルとの間のカップリングを用いて、正規化フラクチュエーションの収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 一般のジョルダン型摂動（特に対角化可能でない場合を含む）の下で、i.i.d. ランダム行列における外れ固有値フラクチュエーションはどのように振る舞うか？
• RQ2 単一のジョルダンブロックから生じる複数の外れ固有値の正規化フラクチュエーションの同時極限分布は何か？
• RQ3 一般固有ベクトル（左および右）の構造は、外れ固有値フラクチュエーションの漸近的分散にどのように影響するか？
• RQ4 異なるジョルダンブロックサイズおよび重複度にわたって、外れ固有値のフラクチュエーション行動を一様に特徴付けられるか？
• RQ5 重い尾を持つ分布はフラクチュエーションスケーリングにどの程度影響を及ぼし、切断によって極限的挙動がどのように保持されるか？

主な発見

• 正規化された外れ固有値フラクチュエーションの同時分布は、弱収束により非退化な複素ガウス分布に収束する。
• 1より大きいサイズのジョルダンブロックからのフラクチュエーションは、対角ブロックからのものよりも分散が大きい。これは一般固有ベクトルの構造に起因する。
• 各外れ固有値フラクチュエーションの極限分散は、摂動行列の左および右固有ベクトルに明示的に依存する。
• 有界ランクおよび作用素ノルムを有する摂動に対しては、外れ固有値の数は、摂動行列の固有値のうち絶対値が1より大きいものの個数に等しい。
• モーメント条件 $ \mathbb{E}|x|^m < \infty $（$ m > 4 $）を満たす限り、収束が成立し、これにより切断補正の正当性が保証される。
• 正規化フラクチュエーション $ \sqrt{n}(\lambda - \theta) $ は、ジョルダン構造および固有ベクトルの正則性に依存する分布に同時に収束する。