[論文レビュー] Free convolution with a semi-circular distribution and eigenvalues of spiked deformations of Wigner matrices

Mireille Capitaine, Catherine Donati-Martin+2 more|arXiv (Cornell University)|Jun 18, 2010

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

ひとこと要約

本稿は、有限個のオーバーオール（スパike）を有する決定的エルミート行列 $ A_N $ がウィグナー行列 $ W_N $ に加えられたスパikedウィグナー行列における固有値の漸近的挙動を研究する。自由確率論を用いて、半円則の台の外に現れる固有値を生成するのは、臨界閾値を超えるスパikeに限られ、その極限的位置は半円分布との自由加法的畳み込みにおける劣性関数によって決定されることを示す。この結果は、従来の有限ランク摂動に関する結果を、コンパクトに台を持つスペクトル測度を有する一般の決定的摂動へと拡張する。

ABSTRACT

We investigate the asymptotic behavior of the eigenvalues of spiked perturbations of Wigner matrices when the dimension goes to infinity. The entries of the Hermitian Wigner matrix have a distribution which is symmetric and satisfies a Poincaré inequality. The perturbation matrix is a deterministic Hermitian matrix whose spectral measure converges to some probability measure with compact support. We assume that this perturbation matrix has a fixed number of fixed eigenvalues (spikes) outside the support of its limiting spectral measure whereas the distance between the other eigenvalues and this support uniformly goes to zero as the dimension goes to infinity. We establish that only a particular subset of the spikes will generate some eigenvalues of the deformed model which will converge to some limiting points outside the support of the limiting spectral measure. This phenomenon can be fully described in terms of free probability involving the subordination function related to the additive free convolution of the limiting spectral measure of the perturbation matrix by a semi-circular distribution. Note that up to now only finite rank perturbations had been considered (even in the deformed GUE case).

研究の動機と目的

• deformedウィグナー行列 $ M_N = \frac{1}{\sqrt{N}}W_N + A_N $ における固有値の漸近的挙動を理解すること。ここで $ W_N $ はウィグナー行列であり、$ A_N $ はコンパクトに台を持つスペクトル測度を有する決定的エルミート行列である。
• 有限ランク摂動に関する先行結果を、その極限スペクトル測度 $ \nu $ の台の外に固定された数のスパikeを有する一般の決定的 $ A_N $ の場合に一般化すること。
• 行列 $ A_N $ のどのスパikeが、$ M_N $ の固有値が極限スペクトル測度 $ \mu_\sigma \boxplus \nu $ の台の外に収束するかを同定すること。
• 極限スペクトル測度 $ \mu_\sigma \boxplus \nu $ の台の外に収束するようなオーバーオール固有値の位置と、半円分布との自由加法的畳み込みから生じる劣性関数との明確な関係を確立すること。

提案手法

• 著者たちは、自由確率論を用いて $ M_N $ の極限スペクトル分布を分析し、特に半円則 $ \mu_\sigma $ と $ A_N $ の極限スペクトル測度 $ \nu $ の自由加法的畳み込み $ \mu_\sigma \boxplus \nu $ に注目する。
• 固有値分布の分析には、スタイリーツ変換とリゾルベント技術を用い、特に $ G $ を $ M_N $ のリゾルベントとするときの $ \mathbb{E}[\text{tr}_N(G)] $ を分析する。
• 主要な技術的ツールとして、等方的局所法則とモーメント推定（特に四次コアリント $ \kappa_4 $）を用い、リゾルベント成分のフラクチュエーションを制御する。
• リゾルベント成分 $ G_{ij} $ のための連立方程式を導出し、等方的ダイソン方程式と摂動展開を用いて解く。
• 極限スペクトル測度のスタイリーツ変換に対する自己無撞着方程式を導出し、オーバーオール固有値の位置を記述するための劣性関数 $ \omega(z) $ を用いる。
• 著者たちは、自由畳み込みにおける劣性関係を用いて、固有値が方程式 $ \rho = \theta + \frac{\sigma^2}{\rho} $ の固定点に収束することを証明する。ここで $ \theta $ はスパikeである。

実験結果

リサーチクエスチョン

• RQ1 決定的摂動 $ A_N $ のどのスパikeが、半円則の台の外に位置する $ M_N $ の固有値を生成するか？
• RQ2 このようなオーバーオール固有値の極限位置は、$ A_N $ のスペクトル測度 $ \nu $ と半円則にどのように依存するか？
• RQ3 有限ランク摂動において観察された相転移現象を、有限個のスパikeを有する任意の決定的摂動へ一般化できるか？
• RQ4 自由加法的畳み込みにおける劣性関数が、オーバーオール固有値の位置を決定する役割を果たすか？
• RQ5 高次モーメント（例：$ \kappa_4 $）は、一般スパikedウィグナーモデルにおける固有値の収束にどのように影響するか？

主な発見

• スパikedウィグナー行列 $ M_N $ の固有値が半円則の台 $ [-2\sigma, 2\sigma] $ の外に収束するのは、$ A_N $ のスパike $ \theta $ で $ |\theta| > \sigma $ を満たすものに限られる。
• これらのオーバーオール固有値の極限位置は $ \rho_\theta = \theta + \frac{\sigma^2}{\theta} $ で与えられ、これは自由畳み込み $ \mu_\sigma \boxplus \delta_\theta $ における劣性関数の固定点に一致する。
• $ A_N $ が任意の有限ランクかつコンパクトに台を持つ一般のスペクトル測度 $ \nu $ を有する場合でも、固有値がこれらのオーバーオール位置にほとんど確実かつ期待値の意味で収束することが保証される。
• 本結果は、S. Péché や D. Féral らの先行研究における有限ランク摂動の結果を、有限ランクに制限されない一般の決定的 $ A_N $ へと拡張する。
• 解析により、$ \mu_\sigma \boxplus \nu $ に関連する劣性関数 $ \omega(z) $ が、変形ウィグナー行列モデルにおけるオーバーオール固有値の出現と位置を完全に特徴づけることが確認された。
• 証明は、リゾルベントトレースの詳細な2次展開と、モーメントバウンドおよび等方的局所法による誤差項の制御に依拠しており、オーバーオール固有値の支配的寄与は $ |\theta| > \sigma $ を満たすスパikeに起因することが示された。