[論文レビュー] On the Asymptotic Spectrum of Products of Independent Random Matrices

Friedrich Götze, Alexander A. Tikhomirov|arXiv (Cornell University)|Dec 13, 2010

Random Matrices and Applications被引用数 11

ひとこと要約

本稿は、i.i.d. 要素を持つ独立した非エルミートランダム行列の積の漸近的スペクトル分布を確立する。対数ポテンシャル法とシフト行列の特異値解析を用いて、期待される経験的スペクトル分布が複素平面における単位円板上での一様分布のm乗に弱収束することを証明し、ランダム行列の円板則を行列積へ一般化する。

ABSTRACT

We consider products of independent random matrices with independent entries. The limit distribution of the expected empirical distribution of eigenvalues of such products is computed. Let $X^{( u)}_{jk},{}1\le j,r\le n$, $ u=1,...,m$ be mutually independent complex random variables with $\E X^{( u)}_{jk}=0$ and $\E {|X^{( u)}_{jk}|}^2=1$. Let $\mathbf X^{( u)}$ denote an $n imes n$ matrix with entries $[\mathbf X^{( u)}]_{jk}=\frac1{\sqrt{n}}X^{( u)}_{jk}$, for $1\le j,k\le n$. Denote by $\lambda_1,...,\lambda_n$ the eigenvalues of the random matrix $\mathbf W:= \prod_{ u=1}^m\mathbf X^{( u)}$ and define its empirical spectral distribution by $$ \mathcal F_n(x,y)=\frac1n\sum_{k=1}^n\mathbb I\{ e{\lambda_k}\le x,\im{\lambda_k\le y}\}, $$ where $\mathbb I\{B\}$ denotes the indicator of an event $B$. We prove that the expected spectral distribution $F_n^{(m)}(x,y)=\E \mathcal F_n^{(m)}(x,y)$ converges to the distribution function $G(x,y)$ corresponding to the $m$-th power of the uniform distribution on the unit disc in the plane $\mathbb R^2$.

研究の動機と目的

• i.i.d. 要素を持つm個の独立したランダム行列の積の極限スペクトル分布を特定すること。
• 単一のi.i.d. ランダム行列に適用可能な円板則を、m個のこのような行列の積へ拡張すること。
• 期待される経験的スペクトル分布が、確率的極限へコルモゴロフ距離で収束することを確立すること。
• 2次モーメントの一様可積分性の下で、i.i.d. でない場合へも結果を一般化すること。
• 大規模なランダム行列の積における固有値行動の厳密な基礎を提供すること。これは無線通信や自由確率論において関連性がある。

提案手法

• 初期の円板則の証明に適応された対数ポテンシャル法を用いて、極限スペクトル測度を分析する。
• 固有値のフラクチュエーションを調べるために、z ∈ ℂ に対して W(z) = W − zI と定義されるシフト行列の特異値分布を分析する。
• 行列要素が生成するσ代数に関するマルティングルの展開を用いて、トレース項のフラクチュエーションを制御する。
• 確率的スケーリングを伴うテイラー展開を用いて、リゾルベント行列の導関数を近似し、誤差項を制御する。
• リゾルベントノルムと行列摂動技法を用いて、特異値（特に小さいおよび中程度の特異値）の境界を求める。
• モーメント条件と一様可積分性に依存して、i.i.d. でない場合へも結果を拡張し、より弱い仮定の下での収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 i.i.d. 要素を持つm個の独立したランダム行列の積の極限スペクトル分布は何か？
• RQ2 行列サイズ n → ∞ のとき、このような積の経験的スペクトル分布はどのように収束するか？
• RQ3 より弱いモーメント条件の下で、円板則をm個のこのような行列の積へ一般化できるか？
• RQ4 対数ポテンシャル法は、非エルミート行列積のスペクトル測度の収束を証明する際に果たす役割は何か？
• RQ5 シフト行列 W(z) = W − zI の特異値は、固有値分布の極限にどのように寄与するか？

主な発見

• 積行列 W = ∏_{ν=1}^m X(ν) の期待される経験的スペクトル分布は、複素平面における単位円板上の一様分布のm乗にコルモゴロフ距離で収束する。
• 極限分布は、Lebesgue密度 g(x, y) = (1/π) ⋅ (x² + y²)^{m−1} を持つ。ただし x² + y² ≤ 1 である。
• m = 1 の場合、古典的な円板則に帰着され、既知の結果と整合性を示す。
• 有限の高次モーメントを要件としない、一様可積分な2次モーメントの弱い条件のもとで収束が成立する。
• 一様可積分性の2次モーメント条件が満たされる限り、結果はi.i.d. でない場合へも拡張可能である。
• テイラー展開とマルティングル技法を用いた誤差項の制御が成功し、ガウス分布でない場合でも収束が保証される。