[論文レビュー] On the spectrum of sum and product of non-hermitian random matrices

Charles Bordenave|arXiv (Cornell University)|Oct 15, 2010

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

ひとこと要約

本稿は、従来の結果よりも弱いモーメント条件の下で、非エルミート確率行列の和および積の極限スペクトル分布の普遍性を確立する。ギルコのエルミート化法と行列演算における安定性を用いて、経験的スペクトル測度が普遍的極限にほとんど確実に収束することを証明し、一般化固有値がリーマン球面上の一様分布に収束することを示す。

ABSTRACT

In this short note, we revisit the work of T. Tao and V. Vu on large non-hermitian random matrices with independent and identically distributed entries with mean zero and unit variance. We prove under weaker assumptions that the limit spectral distribution of sum and product of non-hermitian random matrices is universal. As a byproduct, we show that the generalized eigenvalues distribution of two independent matrices converges almost surely to the uniform measure on the Riemann sphere.

研究の動機と目的

• 非エルミート確率行列の極限スペクトル分布の普遍性原理を、これまで知られていたモーメント仮定を越えて拡張すること。
• 最小限のモーメント条件の下で、行列の和および積の経験的スペクトル測度のほとんど確実収束を確立すること。
• 独立な同一分布に従う非エルミート確率行列の2つの行列の一般化固有値分布が、ほとんど確実にリーマン球面上の一様測度に収束することを証明すること。
• 和および積を含む行列式の極限スペクトル測度の一般枠組みを提供すること。その枠組みは、特定の行列分布に依存しない。

提案手法

• 行列のスペクトル測度をそのシフトされたバージョンの特異値に関連付けるために、ギルコのエルミート化法を適用する。
• 対数的ポテンシャルと分布的ラプラシアンを用いて、分布の意味で方程式 $\mu = \frac{1}{\pi} \Delta \int \ln(x) \, d\nu_z $ を通じて極限スペクトル測度を特徴付ける。
• コーシー＝スティルチェス変換を用いて、極限スペクトル測度を $ m_{\rho_z}(w) $ を含む積分方程式で表現する。ここで $ m_{\rho_z}(w) $ は $ m_{\rho_z}(w) = \int \frac{2x(1+m_{\rho_z}(w))}{x^2 - (1+m_{\rho_z}(w))^2 w} \, d\nu_z(x) $ を満たす。
• モーメントの上限と一様可積分性の条件を適用して、対数積分および特異値測度の収束を保証する。
• i.i.d. ガウス行列に対して球面法則が成り立つ（補題1による）ことを基準測度とし、経験的測度の収束を示すことによって普遍性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非エルミート確率行列の和および積の極限スペクトル分布は、これまでに知られていたよりも弱いモーメント仮定のもとでも普遍的であるか？
• RQ2 2つの独立な非エルミート確率行列の一般化固有値分布は、ほとんど確実にリーマン球面上の一様測度に収束するか？
• RQ3 一般の特異値分布をもつ確率行列の和および積を含む行列式の極限スペクトル測度の明示的形は何か？
• RQ4 $ M + KXL / \sqrt{n} $ の経験的スペクトル測度が、$ X $ の具体的な分布に依存しない普遍的極限に弱収束する条件は何か？

主な発見

• 経験的スペクトル測度 $ \mu_{X^{-1}Y} $ は、ほとんど確実にリーマン球面上の一様測度に収束する。すなわち、$ \mathbb{C} $ 上で密度 $ \frac{1}{\pi(1+|z|^2)^2} $ をもつ確率測度である。
• 平均0、分散1のi.i.d. 成分をもつ2つの独立な非エルミート確率行列の一般化固有値分布は、ほとんど確実にリーマン球面上の一様測度に収束する。
• $ M + KXL / \sqrt{n} $ の極限スペクトル測度 $ \mu $ は、$ K^{-1}ML^{-1} - K^{-1}L^{-1}z $ の極限特異値分布 $ \nu_z $ のみに依存し、分布の意味で $ \mu = \frac{1}{2\pi} \Delta \int \ln(x) \, d\rho_z(x) $ で与えられる。
• $ \mu_{X^{-1}Y} $ が球面法則に収束することは、$ K_n $ および $ L_n $ の特異値測度に対して $ x \mapsto x^{-\alpha} $ が一様有界であり、$ M_n $ に対して $ x \mapsto x^{\alpha} $ が一様有界であるというより弱い仮定のもとで成り立つ。第二モーメントの有界性は要求されない。
• 本結果は、第二モーメントの均一有界性を要しないことによって、円板法則を一般化する。
• 極限スペクトル測度は、コーシー＝スティルチェス変換 $ m_{\rho_z}(w) $ を含む積分方程式系によって特徴付けられる。ここで $ m_{\rho_z}(w) $ はすべての $ w \in \mathbb{C}_+ $ に対して $ m_{\rho_z}(w) = \int \frac{2x(1+m_{\rho_z}(w))}{x^2 - (1+m_{\rho_z}(w))^2 w} \, d\nu_z(x) $ を満たす。