[论文解读] On the spectrum of sum and product of non-hermitian random matrices

Charles Bordenave|arXiv (Cornell University)|Oct 15, 2010

Random Matrices and Applications参考文献 17被引用 4

一句话总结

该论文在比以往结果更弱的矩条件之下，建立了非厄米随机矩阵和与积的极限谱分布的普遍性。通过应用吉潜科的厄米化方法以及矩阵运算下的稳定性，证明了经验谱测度以几乎必然的方式收敛到一个普遍极限，且广义特征值收敛到黎曼球面上的均匀分布。

ABSTRACT

In this short note, we revisit the work of T. Tao and V. Vu on large non-hermitian random matrices with independent and identically distributed entries with mean zero and unit variance. We prove under weaker assumptions that the limit spectral distribution of sum and product of non-hermitian random matrices is universal. As a byproduct, we show that the generalized eigenvalues distribution of two independent matrices converges almost surely to the uniform measure on the Riemann sphere.

研究动机与目标

• 将非厄米随机矩阵极限谱分布的普遍性原理推广到比以往更弱的矩假设之下。
• 在最小矩条件之下，建立矩阵和与积的经验谱测度的几乎必然收敛性。
• 证明两个独立同分布的非厄米随机矩阵的广义特征值分布以几乎必然的方式收敛到黎曼球面上的均匀测度。
• 为涉及和与积的矩阵表达式的极限谱测度提供一个通用框架，且该框架与特定矩阵分布无关。

提出的方法

• 应用吉潜科的厄米化方法，将矩阵的谱测度与其中心平移版本的奇异值联系起来。
• 使用对数势能和分布拉普拉斯算子，通过分布意义下的方程 $\mu = \frac{1}{\pi} \Delta \int \ln(x) \, d\nu_z $ 来表征极限谱测度。
• 利用柯西-史蒂尔杰斯变换，通过包含 $ m_{\rho_z}(w) $ 的积分方程表达极限谱测度，其中 $ m_{\rho_z}(w) $ 满足 $ m_{\rho_z}(w) = \int \frac{2x(1+m_{\rho_z}(w))}{x^2 - (1+m_{\rho_z}(w))^2 w} \, d\nu_z(x) $。
• 应用矩界和一致可积性条件，以确保对数积分和奇异值测度的收敛性。
• 利用 i.i.d. 高斯矩阵满足球面律（通过引理1）作为参考测度，并通过证明经验测度收敛到该极限来证明普遍性。

实验结果

研究问题

• RQ1 在比已知更弱的矩假设下，非厄米同分布随机矩阵和与积的极限谱分布是否仍具有普遍性？
• RQ2 两个独立的非厄米随机矩阵的广义特征值分布是否以几乎必然的方式收敛到黎曼球面上的均匀测度？
• RQ3 对于具有广义奇异值分布的随机矩阵的和与积的矩阵表达式，其极限谱测度的显式形式是什么？
• RQ4 在何种条件下，$ M + KXL / \sqrt{n} $ 的经验谱测度弱收敛到一个与 $ X $ 的具体分布无关的普遍极限？

主要发现

• 经验谱测度 $ \mu_{X^{-1}Y} $ 以几乎必然的方式收敛到黎曼球面上的均匀测度，即在 $ \mathbb{C} $ 上具有密度 $ \frac{1}{\pi(1+|z|^2)^2} $ 的概率测度。
• 两个独立的非厄米随机矩阵（其元素为均值为零、方差为1的同分布随机变量）的广义特征值分布以几乎必然的方式收敛到黎曼球面上的均匀测度。
• 对于 $ M + KXL / \sqrt{n} $，极限谱测度 $ \mu $ 仅依赖于 $ K^{-1}ML^{-1} - K^{-1}L^{-1}z $ 的极限奇异值分布 $ \nu_z $，且在分布意义下由 $ \mu = \frac{1}{2\pi} \Delta \int \ln(x) \, d\rho_z(x) $ 给出。
• 在假设 $ x \mapsto x^{-\alpha} $ 对 $ K_n $ 和 $ L_n $ 的奇异值测度一致有界，且 $ x \mapsto x^{\alpha} $ 对 $ M_n $ 一致有界时，$ \mu_{X^{-1}Y} $ 收敛到球面律，而无需要求二阶矩有界。
• 该结果通过去除对谱测度或奇异值测度的二阶矩一致有界的需要，推广了圆周律。
• 极限谱测度由一组涉及柯西-史蒂尔杰斯变换 $ m_{\rho_z}(w) $ 的积分方程表征，其中 $ m_{\rho_z}(w) $ 对所有 $ w \in \mathbb{C}_+ $ 满足 $ m_{\rho_z}(w) = \int \frac{2x(1+m_{\rho_z}(w))}{x^2 - (1+m_{\rho_z}(w))^2 w} \, d\nu_z(x) $。