[论文解读] The norm of polynomials in large random and deterministic matrices

Camille Male|arXiv (Cornell University)|Apr 23, 2010

Random Matrices and Applications参考文献 11被引用 7

一句话总结

该论文在确保特征值保持在极限谱分布邻域内的条件下，建立了大随机矩阵与确定性矩阵多项式算子范数的几乎必然收敛性。利用自由概率论和超积技术，证明了对于GUE矩阵以及某些确定性或随机矩阵，矩阵多项式的范数几乎必然收敛到相应自由概率对象的范数，从而确认了谱中不存在异常值。

ABSTRACT

Let X_N= (X_1^(N), ..., X_p^(N)) be a family of N-by-N independent, normalized random matrices from the Gaussian Unitary Ensemble. We state sufficient conditions on matrices Y_N =(Y_1^(N), ..., Y_q^(N)), possibly random but independent of X_N, for which the operator norm of P(X_N, Y_N, Y_N^*) converges almost surely for all polynomials P. Limits are described by operator norms of objects from free probability theory. Taking advantage of the choice of the matrices Y_N and of the polynomials P we get for a large class of matrices the "no eigenvalues outside a neighborhood of the limiting spectrum" phenomena. We give examples of diagonal matrices Y_N for which the convergence holds. Convergence of the operator norm is shown to hold for block matrices, even with rectangular Gaussian blocks, a situation including non-white Wishart matrices and some matrices encountered in MIMO systems.

研究动机与目标

• 建立大随机与确定性矩阵多项式算子范数几乎必然收敛的充分条件。
• 将“谱中无异常值”现象推广至非同分布、非高斯矩阵模型。
• 通过自由概率论，特别是自由创造算子与超积技术，刻画极限算子范数。
• 针对块矩阵（包括长方形矩阵与非白 Wishart 矩阵）证明收敛性，该类矩阵与 MIMO 系统密切相关。
• 统一并推广随机矩阵理论中关于特征值定位与范数收敛的先前结果。

提出的方法

• 利用自由概率论中的渐近自由性框架，将矩阵多项式的谱行为与非交换律联系起来。
• 采用 C*-代数的超积技术，通过 GNS 表示与保持状态的同构关系分析算子范数的极限。
• 引入与矩阵族自由的自由创造算子，从而构造一个与自由积同构的极限 C*-代数。
• 应用自由积的普遍性质，证明矩阵多项式的范数收敛于自由积代数中的范数。
• 依赖有限维代数中矩母与算子范数的收敛性，推断在超积极限下的收敛性。
• 利用算子范数与 L2-范数在单位矩阵的标量倍上一致的性质，在极限中验证创造算子关系。

实验结果

研究问题

• RQ1 在何种条件下，大随机与确定性矩阵多项式的算子范数会几乎必然收敛？
• RQ2 “谱中无异常值”现象能否超越 i.i.d. Wigner 与 Wishart 矩阵模型？
• RQ3 自由概率论如何用于描述矩阵多项式极限算子范数？
• RQ4 自由创造算子在刻画矩阵范数极限中起何种作用？
• RQ5 范数收敛性是否对块结构矩阵（包括非白 Wishart 矩阵）也成立？

主要发现

• 任何矩阵多项式的算子范数几乎必然收敛于自由积代数中相应自由概率对象的范数。
• 矩阵多项式的谱几乎必然位于极限谱测度支集的邻域内，确认了无异常值的存在。
• 该结果适用于一大类确定性矩阵，包括对角矩阵以及具有长方形高斯块的块矩阵。
• 通过普遍性原理，该结果可推广至非高斯 Wigner 与 Wishart 矩阵，以及实与四元数高斯矩阵。
• 极限范数由由极限自由随机变量与自由创造算子生成的 C*-代数中的算子范数刻画。
• 通过超积与 GNS 表示的证明方法，为将范数收敛性推广至特定矩阵系以外的更广范围提供了稳健框架。