[论文解读] Spectral properties of polynomials in independent Wigner and deterministic matrices

Serban T. Belinschi, Mireille Capitaine|arXiv (Cornell University)|Nov 22, 2016

Random Matrices and Applications参考文献 43被引用 27

一句话总结

该论文利用自由概率工具，建立了独立Wigner矩阵与确定性矩阵的厄米多项式在整体谱间隙中几乎必然不存在特征值的结果。此外，还证明了Wigner矩阵与具有极限谱测度的确定性族之间存在强渐近自由性，将结果推广至满足Poincaré不等式条件下的非高斯矩阵。

ABSTRACT

On the one hand, we prove that almost surely, for large dimension, there is no eigenvalue of a Hermitian polynomial in independent Wigner and deterministic matrices, in any interval lying at some distance from the supports of a sequence of deterministic probability measures, which is computed with the tools of free probability. On the other hand, we establish the strong asymptotic freeness of independent Wigner matrices and any family of deterministic matrices with strong limiting distribution.

研究动机与目标

• 分析当矩阵尺寸趋于无穷时，独立Wigner矩阵与确定性矩阵的厄米多项式的谱行为。
• 确定此类多项式的特征值是否出现在极限谱测度支撑集之外的区间内。
• 在算子范数意义下，建立独立Wigner矩阵与任意具有强极限谱分布的确定性矩阵族之间的强渐近自由性。
• 在满足Poincaré不等式条件下，将先前关于渐近自由性的结果从高斯系综推广至非高斯Wigner矩阵。
• 通过自由概率与随机分析，为特征值定位与算子范数收敛提供严格的理论框架。

提出的方法

• 利用自由概率理论计算非交换随机变量多项式的极限谱测度。
• 应用算子值下渗函数与Stieltjes变换，刻画矩阵多项式的极限谱分布。
• 利用Poincaré不等式控制矩阵元素的波动，从而获得预解元的方差估计。
• 通过矩阵空间与欧氏空间之间的等距同构，结合测试函数的梯度，推导出预解元的方差界。
• 结合测度集中技术与谱间隙估计，证明特征值在整体谱间隙外部的几乎必然收敛性。
• 结合随机矩阵理论与算子代数结果，建立算子范数意义下的强渐近自由性。

实验结果

研究问题

• RQ1 独立Wigner矩阵与确定性矩阵的厄米多项式的特征值是否会避开极限谱测度支撑集之外的区间？
• RQ2 在何种条件下，Wigner矩阵与确定性矩阵在算子范数下呈现强渐近自由性？
• RQ3 渐近自由性结果能否从高斯分布推广至非高斯Wigner矩阵？
• RQ4 矩阵元素上的Poincaré不等式条件如何影响谱行为与预解迹的收敛性？
• RQ5 Stieltjes变换与算子值下渗函数在刻画矩阵多项式极限谱中的作用是什么？

主要发现

• 当矩阵维数足够大时，几乎必然地，独立Wigner矩阵与确定性矩阵的厄米多项式在距离极限谱测度支撑集为正距离的任意区间内均无特征值。
• 此类多项式的极限谱测度完全由自由概率工具决定，特别是算子值下渗函数。
• 在算子范数意义下，独立Wigner矩阵与任意具有强极限谱分布的确定性矩阵族之间存在强渐近自由性，即多项式表达式的算子范数几乎必然收敛。
• 在Wigner矩阵元素满足Poincaré不等式条件下，建立了算子范数收敛性，将先前关于高斯系综的结果推广至非高斯系综。
• 推导出预解元的方差估计，表明波动以 $ O(1/n) $ 的速率衰减，且界依赖于谱参数虚部的倒数。
• 等距同构 $ ilde{f} o f = ilde{f} imes ilde{ ho} $ 允许将Poincaré不等式控制从欧氏空间转移到矩阵空间，从而实现对矩阵泛函的集中不等式。