[论文解读] 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

一句话总结

本文研究了在扰动矩阵 $ A_N $ 具有有限个异常值（即“尖峰”）时，尖峰 Wigner 矩阵中特征值的渐近行为，其中 $ A_N $ 是一个具有紧致谱测度的确定性厄米矩阵，与 Wigner 矩阵 $ W_N $ 相加。利用自由概率论，本文表明仅当尖峰超过某一临界阈值时，才会在 Wigner 矩阵的半圆律支持集之外产生特征值，且这些特征值的极限位置由与半圆分布的自由卷积中的次序函数决定。该结果将先前针对有限秩扰动的结果推广至具有紧致谱测度的一般确定性扰动。

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).

研究动机与目标

• 理解形如 $ M_N = \frac{1}{\sqrt{N}}W_N + A_N $ 的变形 Wigner 矩阵中特征值的渐近行为，其中 $ W_N $ 为 Wigner 矩阵，$ A_N $ 为具有紧致谱测度的确定性厄米矩阵。
• 将先前关于有限秩扰动的结果推广至一般确定性 $ A_N $ 的情形，其尖峰数量固定且位于其极限谱测度 $ \nu $ 支持集之外。
• 刻画 $ A_N $ 中哪些尖峰会产生 $ M_N $ 的特征值，使其收敛至极限谱测度 $ \mu_\sigma \boxplus \nu $ 支持集之外的点。
• 建立这些异常值特征值位置与自由加法卷积中产生的次序函数之间的精确联系。

提出的方法

• 作者使用自由概率论分析 $ M_N $ 的极限谱分布，重点关注自由加法卷积 $ \mu_\sigma \boxplus \nu $，其中 $ \mu_\sigma $ 为半圆律，$ \nu $ 为 $ A_N $ 的极限谱测度。
• 他们采用斯蒂尔杰斯变换与格林函数技术研究特征值分布，特别分析 $ \mathbb{E}[\text{tr}_N(G)] $，其中 $ G $ 为 $ M_N $ 的格林函数。
• 一个关键技术工具是使用各向同性局部极限定理与矩估计，包括四阶累积量 $ \kappa_4 $，以控制格林函数条目的波动。
• 分析涉及推导并求解格林函数条目 $ G_{ij} $ 的方程组，使用各向同性形式的狄松方程与摄动展开。
• 作者推导出极限谱测度的斯蒂尔杰斯变换的自洽方程，并利用次序函数 $ \omega(z) $ 描述异常值特征值的位置。
• 他们证明，$ M_N $ 的特征值几乎必然且依期望收敛至方程 $ \rho = \theta + \frac{\sigma^2}{\rho} $ 的不动点，其中 $ \theta $ 为尖峰，该结果通过自由卷积中的次序关系实现。

实验结果

研究问题

• RQ1 在确定性扰动 $ A_N $ 中，哪些尖峰会产生 $ M_N $ 的特征值，使其位于半圆律支持集之外？
• RQ2 此类异常值特征值的极限位置如何依赖于 $ A_N $ 的谱测度 $ \nu $ 与半圆律？
• RQ3 在有限秩扰动中观察到的相变现象能否推广至具有有限个尖峰的一般确定性扰动？
• RQ4 自由加法卷积中的次序函数在决定异常值特征值位置方面起什么作用？
• RQ5 高阶累积量（如 $ \kappa_4 $）如何影响一般尖峰 Wigner 模型中特征值的收敛性？

主要发现

• 仅当 $ A_N $ 中的尖峰 $ \theta $ 满足 $ |\theta| > \sigma $ 时，$ M_N $ 的特征值才会收敛至半圆律支持集 $ [-2\sigma, 2\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) $ 完全刻画了变形 Wigner 矩阵模型中异常值特征值的出现与位置。
• 证明依赖于格林函数迹的详细二阶展开，通过矩界与各向同性局部极限定理控制误差项，表明异常值特征值的主导贡献来自满足 $ |\theta| > \sigma $ 的尖峰。