[論文レビュー] Block-modified Wishart matrices and free Poisson laws

Teodor Banica, Ion Nechita|arXiv (Cornell University)|Jan 23, 2012

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

ひとこと要約

本稿は、複素 Wishart 行列 $W$ と $M_n(\mathbb{C})$ 上の自己随伴線形写像 $\varphi$ を用いて定義されるブロック修飾 Wishart 行列 $\tilde{W} = (\mathrm{id} \otimes \varphi)W$ の漸近固有値分布を確立する。平面的仮定の下で、極限スペクトル測度は $\delta m\tilde{W} \sim \pi_{mn\rho} \boxtimes \nu$ であることが示され、ここで $\rho$ は関連する行列 $\Lambda$ の分布、$\nu$ は $D = \varphi(1)$ の分布、$\delta = \mathrm{tr}(D)$ である。これは、確率行列理論における自由ポisson分布の一般化である。

ABSTRACT

We study the random matrices of type $ ilde{W}=(id\otimesφ)W$, where $W$ is a complex Wishart matrix of parameters $(dn,dm)$, and $φ:M_n(\mathbb C) o M_n(\mathbb C)$ is a self-adjoint linear map. We prove that, under suitable assumptions, we have the $d o\infty$ eigenvalue distribution formula $δm ilde{W}\simπ_{mnρ}\boxtimesν$, where $ρ$ is the law of $φ$, viewed as a square matrix, $π$ is the free Poisson law, $ν$ is the law of $D=φ(1)$, and $δ=tr(D)$.

研究の動機と目的

• ブロック修飾 Wishart 行列 $\tilde{W} = (\mathrm{id} \otimes \varphi)W$ の形をとる場合の Marchenko-Pastur の法則を一般化すること。
• 線形写像 $\varphi$ に適切な仮定を置いた下で、$d \to \infty$ のときの $\tilde{W}$ の漸近固有値分布を導出すること。
• 部分転置、トレース写像、単位根に関する変更を含む、従来の修飾 Wishart 行列に関する結果を統一的かつ拡張すること。
• 自由確率論の道具を用いて、線形写像 $\varphi$ の構造と得られる極限スペクトル測度との間の関係を確立すること。

提案手法

• 著者らは、線形写像 $\varphi$ を行列 $\Lambda \in M_n(\mathbb{C}) \otimes M_n(\mathbb{C})$ を用いて表現するため、Choi-Jamiolkowski 同型を用いる。
• 彼らは、修飾のブロック構造を活かして、$\tilde{W}$ のモーメントを計算するために Wick 公式を適用する。
• 極限分布は、$d \to \infty$ の極限を取ることで得られ、ペアリングと分割の組合せ論が扱いやすくなる。
• 証明は、Biane の非交叉分割と自由コマリントの間の双対性および Speicher の自由コマリント計算に依存する。
• 重要な技術的ステップとして、文字通りの構造（ストリングとビーズ）が対称的ブロック分解において乗法的であることを示す。
• 混合トレースが対称的ブロック上で因数分解可能であることを示すことにより、複合自由ポアソン分布の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 $d \to \infty$ のとき、ブロック修飾 Wishart 行列 $\tilde{W} = (\mathrm{id} \otimes \varphi)W$ の漸近固有値分布は何か？
• RQ2 $\tilde{W}$ のスペクトル測度は線形写像 $\varphi$ の構造にどのように依存するか？
• RQ3 自由確率論を用いて、一般の自己随伴線形写像 $\varphi$ に対して一般化された Marchenko-Pastur の法則を自由ポアソン化合物分布へ拡張できるか？
• RQ4 $\varphi$ に関連する行列 $\Lambda$ は、極限スペクトル分布を決定づける役割を果たすか？
• RQ5 極限分布が自由ポアソン化合物分布になるのはどのような条件下か？

主な発見

• 漸近固有値分布は $\delta m\tilde{W} \sim \pi_{mn\rho} \boxtimes \nu$ で与えられ、ここで $\rho = \mathrm{law}(\Lambda)$、$\nu = \mathrm{law}(D)$、$\delta = \mathrm{tr}(D)$ であり、$D = \varphi(1)$ である。
• この結果は、部分転置、トレース写像、単位根に関する変更に関する従来の結果を一般化する。
• 極限分布は、パrameter $mn\rho$ を持つ複合自由ポアソン分布 $\pi_{mn\rho}$ である。ここで $mn\rho$ は、$\Lambda$ を通じて $\varphi$ の構造を符号化している。
• 導出は、$\Lambda$ の図式的表現の乗法的性質に依存しており、これにより混合トレースが対称的ブロック上で因数分解可能になる。
• この手法は、関連する図式が対称的で、装飾のない通過ストリングを持つ任意の自己随伴線形写像 $\varphi$ に適用可能である。
• この結果は、$\varphi$ に対する「平面的」仮定の下で成り立ち、自由確率論的手法に必要な組合せ論的制御が保証される。