[論文レビュー] Outlier eigenvalues for non-Hermitian polynomials in independent i.i.d. matrices and deterministic matrices

Serban T. Belinschi, Charles Bordenave+2 more|arXiv (Cornell University)|Jun 25, 2019

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

ひとこと要約

本稿では、i.i.d. ランダム行列 $ Y $ と決定的行列 $ A $ から構成される非エルミートランダム行列多項式 $ P(Y, A) $ の外れ値固有値が、$ P(0, A) $ の固有値に漸近的に収束する条件を確立する。ここで $ c $ は $ a $ から自由な円形系である。主な結果は、$ A_N $ が良好な条件を満たす場合、外れ値が安定化し、$ P(0, A) $ の外れ値と一致することである。これは古典的ランダム行列理論を非可換多項式設定へと拡張するものである。

ABSTRACT

We consider a square random matrix of size $N$ of the form $P(Y,A)$ where $P$ is a noncommutative polynomial, $A$ is a tuple of deterministic matrices converging in $\\ast$-distribution, when $N$ goes to infinity, towards a tuple $a$ in some $\\mathcal{C}^*$-probability space and $Y$ is a tuple of independent matrices with i.i.d. centered entries with variance $1/N$. We investigate the eigenvalues of $P(Y,A)$ outside the spectrum of $P(c,a)$ where $c$ is a circular system which is free from $a$. We provide a sufficient condition to guarantee that these eigenvalues coincide asymptotically with those of $P(0,A)$.

研究の動機と目的

• i.i.d. ランダム行列と決定的行列を含む非エルミートランダム行列多項式における外れ値固有値の漸近的挙動を理解すること。
• 加法的摂動に関する古典的結果（例：Ginibre, Tao）を、ランダム行列と決定的行列の一般非可換多項式関数へと一般化すること。
• 行列 $ P(Y, A) $ の $ \mathrm{spec}(P(c, a)) $ の外側の固有値が、$ P(0, A) $ の固有値と漸近的に一致する十分条件を、自由確率論とリゾルベント解析を用いて確立すること。
• 非多項式行列モデルへの良好な条件の概念を拡張し、外れ値領域におけるスペクトル測度の収束を証明すること。

提案手法

• 自由確率論を用いて、$ c $ を $ a $ から自由な円形作用素とする $ P(Y, A) $ の極限スペクトル分布をモデル化する。
• リゾルベント恒等式とスペクトルギャップ推定を適用し、$ R_N(z) $ と $ R'_N(z) $ のノルムを制御することで、外れ値領域における安定性を保証する。
• 特異値分解とモーメントバウンドを用いて、$ Y_N $ を含む行列積の成長を制御し、i.i.d. 要素に対する Bai-Yin の定理を活用する。
• 行列 $ A_N $ に対して良好な条件を導入し、$ z \notin \mathrm{spec}(c + a) $ に対して $ s_N(A_N - zI_N) > \eta_z > 0 $ が成り立つようにすることで、誤った固有値の発生を防ぐ。
• ローチェの定理を用いて、$ P(Y, A) $ と $ P(0, A) $ の固有多項式の零点数を比較し、$ \mathrm{spec}(P(c, a)) $ の外側のコンパクト集合において固有値収束を証明する。
• 優越収束およびほとんど確実収束の議論を適用し、$ \|Q_N R_N(z) P_N - Q_N R'_N(z) P_N\| \to 0 $ が、$ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 内のコンパクト集合 $ \Gamma $ 上で一様に成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 i.i.d. 要素を持つ $ Y $ と決定的行列 $ A $ を持つ $ P(Y, A) $ の外れ値固有値が、どのような条件下で $ P(0, A) $ の固有値に収束するか？
• RQ2 行列 $ A_N $ の良好な条件が、$ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 内で誤った外れ値の発生を防ぐ仕組みは何か？
• RQ3 加法的摂動に関する古典的外れ値安定性結果を、ランダム行列と決定的行列の一般非可換多項式関数へと拡張できるか？
• RQ4 自由確率論は、特に外れ値領域において $ P(Y, A) $ の極限スペクトル分布をどのように特徴づけるか？
• RQ5 リゾルベント解析と特異値制御を用いて、非エルミート的かつ非加法的設定におけるスペクトル測度の収束をどのように証明できるか？

主な発見

• コンパクト集合 $ \Gamma \subset \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ において、$ A_N $ が良好な条件を満たす限り、$ P(Y, A) $ の外れ値固有値はほとんど確実に $ P(0, A) $ の固有値に収束する。
• $ \|Q_N R_N(z) P_N - Q_N R'_N(z) P_N\| \to 0 $ の収束は、$ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 内のコンパクト部分集合 $ \Gamma $ 上で一様に成り立つため、スペクトル安定性が保証される。
• 任意の $ z \in \Gamma $ に対して、リゾルベントノルム $ \|R_N(z)\| $ と $ \|R'_N(z)\| $ は無限大から一様に離れており、$ \tilde{\gamma}_z $ と $ \tilde{\eta}_z $ に依存するバウンドが存在する。
• 行列 $ \sum_k \beta_k \otimes (A_N^{(k)})^{\prime\prime} $ の特異値は一様に有界であり、これにより行列積ノルムの制御が可能になる。
• ローチェの定理の適用により、$ \Gamma $ 内で $ P(Y, A) $ の固有値数と $ P(0, A) $ の固有値数が一致することが確認され、外れ値領域における固有値の一致が証明される。
• モーメント条件 $ \mathbb{E}[|X_{11}|^4] < \infty $ の下で、結果は成り立ち、これにより経験的スペクトル測度の収束と外れ値の安定性が保証される。