[论文解读] Low rank perturbations of large elliptic random matrices

Sean O’Rourke, David Renfrew|arXiv (Cornell University)|Sep 20, 2013

Random Matrices and Applications参考文献 34被引用 8

一句话总结

本文分析了大维椭圆随机矩阵的低秩扰动，证明当扰动的特征值位于由矩阵椭圆参数ρ决定的特定谱支撑区域之外时，谱中才会出现异常值。作者将Wigner矩阵和i.i.d.随机矩阵的结果推广至更广泛的椭圆随机矩阵类，证明了具有有限四阶矩的椭圆矩阵的谱测度经验分布几乎必然收敛，并推导出异常值出现的精确条件，包括对最小奇异值和谱半径的界限。

ABSTRACT

We study the asymptotic behavior of outliers in the spectrum of bounded rank perturbations of large random matrices. In particular, we consider perturbations of elliptic random matrices which generalize both Wigner random matrices and non-Hermitian random matrices with iid entries. As a consequence, we recover the results of Capitaine, Donati-Martin, and Féral for perturbed Wigner matrices as well as the results of Tao for perturbed random matrices with iid entries. Along the way, we prove a number of interesting results concerning elliptic random matrices whose entries have finite fourth moment; these results include a bound on the least singular value and the asymptotic behavior of the spectral radius.

研究动机与目标

• 理解在有界秩扰动下，大维随机矩阵特征值异常值的渐近行为。
• 将现有关于Wigner矩阵和i.i.d.随机矩阵的结果推广至更广泛的椭圆随机矩阵类。
• 建立具有有限四阶矩的椭圆矩阵的谱测度经验分布的几乎必然收敛性。
• 推导异常值在谱中出现的精确条件，取决于扰动和椭圆参数ρ。
• 证明具有有限四阶矩的椭圆随机矩阵的最小奇异值和谱半径的渐近行为界限。

提出的方法

• 作者分析具有i.i.d.元素的大N×N椭圆随机矩阵的经验谱分布（ESD），推广了Wigner和i.i.d.系综。
• 他们使用Stieltjes变换技术和确定点过程理论来研究极限谱测度。
• 关键方法包括分析预解式(1/√N Y_N - zI)^{-1}及其迹，以推导极限谱分布。
• 论文采用Stieltjes变换的不动点方程来表征极限测度ν_z的支撑集，并确定异常值可能出现的位置。
• 应用Weyl的扰动界，证明复平面上异常值阈值的连续性。
• 利用关于测度和积分行为的引理（例如引理C.11）证明：当z在谱支撑集之外时，极限谱测度在零附近无质量。

实验结果

研究问题

• RQ1 在低秩扰动下，大维椭圆随机矩阵的谱中在何种条件下会出现异常值？
• RQ2 椭圆参数ρ如何影响谱中异常值的位置和存在性？
• RQ3 具有有限四阶矩的椭圆随机矩阵的经验谱测度的极限行为是什么？
• RQ4 当N → ∞时，椭圆矩阵的最小奇异值和谱半径的渐近行为如何？
• RQ5 Wigner矩阵和i.i.d.矩阵的结果能否在椭圆系综的统一框架下实现统一与推广？

主要发现

• 在有界秩扰动下，大维椭圆随机矩阵谱中的异常值仅当扰动特征值位于依赖于椭圆参数ρ的谱支撑区域E_ρ之外时才会出现。
• 矩阵(1/√N)Y_N的极限经验谱测度几乎必然收敛至具有紧致支撑密度的极限测度，推广了i.i.d.矩阵的圆律和Wigner矩阵的半圆律。
• 对于具有有限四阶矩的矩阵，最小奇异值以高概率远离零，从而保证了大N时预解式的可逆性。
• (1/√N)Y_N的谱半径几乎必然收敛至2（当N → ∞时），与i.i.d.矩阵的已知圆律一致。
• 作者证明极限测度ν_z在z位于谱支撑集E_ρ之外时，其在零附近无质量，这意味着异常值仅在扰动特征值位于E_ρ之外时才可能出现。
• 论文证明异常值出现的阈值在复平面上是连续的，从而确保了异常值条件对z的小扰动具有鲁棒性。