[論文レビュー] Free probability of type B and asymptotics of finite-rank perturbations of random matrices

Dimitri Shlyakhtenko|arXiv (Cornell University)|Sep 29, 2015

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

ひとこと要約

本稿は、ランダム行列の有限ランク摂動が、タイプB自由確率論の枠組みにおいて無限小漸近的自由性を示すことを確立し、このような行列の外れ値固有値行動に自由加法的畳み込みからの劣性関数が現れる理由を説明する。主な貢献は、経験的スペクトル測度の $1/N$ 階層まで正確な漸近展開を提供することであり、$1/N$ 矯正項はタイプB自由畳み込みによって計算され、外れ値現象と自由確率論的手法を結びつける。

ABSTRACT

We show that finite rank perturbations of certain random matrices fit in the framework of infinitesimal (type B) asymptotic freeness. This can be used to explain the appearance of free harmonic analysis (such as subordination functions appearing in additive free convolution) in computations of outlier eigenvalues in spectra of such matrices.

研究の動機と目的

• 有限ランク摂動のランダム行列のスペクトル解析において、特に劣性関数を含む自由確率論的手法が一貫して現れる理由を説明すること。
• ボイクルスコの漸近的自由性枠組みを、経験的スペクトル測度の $1/N$ 次の補正項を含める形に拡張すること。
• 無限小非可換確率空間の理論とタイプB自由畳み込みを用いて、摂動を施したランダム行列の漸近的挙動を形式化すること。
• $B(N)$ が有限ランクであるとき、$A(N) + B(N)$ の極限スペクトル測度に対する $1/N$ 矯正項が、$A(N)$ と $B(N)$ の極限分布のタイプB自由畳み込みによって支配されることを示すこと。

提案手法

• 経験的スペクトル測度の二スケール展開を導入する：$\eta^C_N = \eta_C + \frac{1}{N}\eta'_C + o(N^{-1})$ で、主項と一次補正項を同時に捉える。
• $A(N)$ と $B(N)$ の極限分布をペア $(\mu, \nu)$ としてモデル化し、$\mu$ を極限スペクトル測度、$\nu$ を $1/N$ 矯正項とし、タイプB法則を形成する。
• 関数 $\phi$ と $\phi'$ を用いた無限小非可換確率空間の枠組みを導入し、$A(N)$ と $B(N)$ 間の無限小自由性を定義する。
• タイプB自由畳み込み $\boxplus_B$ を用いて結合法則を計算する：$(\eta, \eta') = (\mu_1, \nu_1) \boxplus_B (\mu_2, \nu_2)$ で、$\mu_1, \mu_2$ は極限測度、$\nu_1, \nu_2$ は $1/N$ 矯正項である。
• $\psi$-変換と劣性関数を用いて $1/N$ 矯正項 $\eta'$ を導出する。恒等式 $\psi_{\eta'}(z)/z = -\partial_z \sum_j \log(1 + \psi_\mu(z)(1 - \theta_j))$ を用いる。
• Stieltjes逆変換を用いて $\eta'$ の密度を回復する。この際、劣性表現の対数の虚部が関与し、特定の固有値位置に点質量が現れる。

実験結果

リサーチクエスチョン

• RQ1 有限ランク摂動が $N \to \infty$ で消えるにもかかわらず、なぜ自由加法的畳み込みからの劣性関数がランダム行列の摂動のスペクトル解析に現れるのか？
• RQ2 $N$ 次のランダム行列の和の経験的スペクトル測度に対する $1/N$ 矯正項は、一般化された自由確率論枠組みで記述可能か？
• RQ3 無限小自由性は、大規模なランダム行列と有限ランク摂動の同時漸近的挙動をどのようにモデル化できるか？
• RQ4 非自己共役またはウィシャルト型ランダム行列の場合、極限スペクトル測度に対する $1/N$ 矯正項の正確な構造は何か？
• RQ5 有限ランク摂動における外れ固有値は、$1/N$ 矯正項における点質量に対応するか？その位置はタイプB自由畳み込みによって予測可能か？

主な発見

• 有限ランク摂動 $B(N)$ を施した $A(N) + B(N)$ の経験的スペクトル測度に対する $1/N$ 矯正項は、タイプB自由畳み込みによって与えられる：$(\eta, \eta') = (\mu_1, \nu_1) \boxplus_B (\mu_2, \nu_2)$。
• $\eta'$ の密度は、$\sum_j \log(1 + \psi_\mu(z)(1 - \theta_j))$ の虚部を含むStieltjes逆変換公式によって回復され、摂動固有値の影響を捉える。
• $\eta'$ に点質量が現れる位置 $\theta_j'$ は、$\omega_2(1/\theta_j') = 1/\theta_j$ を満たし、BBP や他の研究で知られている外れ固有値の結果と一致する。
• ウィシャルト型行列 $C = B^*B + \Sigma^2$ の場合、極限スペクトル測度 $\eta$ は自由ポアソン法則 $\mu$ であり、$1/N$ 矯正項 $\eta'$ は $[(1-\sqrt{\lambda})^2, (1+\sqrt{\lambda})^2]$ 上に台を持つ可能性があり、点質量を含むことがある。
• $1/N$ 矯正項の $\psi$-変換は、$\psi_{\eta'}(z)/z = -\partial_z \sum_j \log(1 + \psi_\mu(z)(1 - \theta_j))$ を満たし、補正項の解析的表現を容易に得る。
• 本手法により、外れ値解析に自由確率論的手法が現れる現象が偶然ではなく、漸近展開における無限小自由性とタイプB畳み込みの結果であることが明らかになった。