[论文解读] Topological expansion for Haar-distributed orthogonal matrices and second-order freeness of orthogonally invariant ensembles

C. E. I. Redelmeier|arXiv (Cornell University)|Nov 3, 2015

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

一句话总结

本文为哈尓分布正交矩阵乘积的迹建立了拓扑展开，由于实矩阵的性质，该展开同时包含了可定向与不可定向曲面。通过矩生成函数分析与图解韦因根滕计算法，证明了独立的正交不变随机矩阵在渐近意义上为实第二阶自由，将第二阶自由理论推广至实正交矩阵情形。

ABSTRACT

We present a genus expansion-type expression for the expected values of products of traces of expressions involving Haar-distributed orthogonal matrices. As with other real genus expansions, nonorientable surfaces appear, in addition to the orientable surfaces of the complex expansion. We use this expression to demonstrate that independent random matrices which are orthogonally in general position, such as matrices whose distributions are orthogonally invariant, are asymptotically real second-order free.

研究动机与目标

• 为哈尓分布正交矩阵乘积的期望迹建立一个基因展开，涵盖复矩阵模型中所缺的不可定向曲面。
• 将第二阶自由理论推广至实随机矩阵系综，特别是具有正交不变分布的系综。
• 证明独立地从此类分布中抽取的矩阵在渐近意义上为实第二阶自由，推广了复情形下的已知结果。

提出的方法

• 利用韦因根滕计算法，推导出涉及哈尓分布正交矩阵的迹乘积的期望值的精确公式。
• 应用地图学工具与环状非交叉条件的图解技术，表示不同亏格曲面的贡献。
• 采用基于矩生成函数的方法分析第二阶波动，即使在展开中缺乏乘法结构的情况下，也能处理连通分量的贡献。
• 提出一种改进的拓扑展开，其中贡献由置换与配对索引，亏格由欧拉示性数确定。
• 将该展开应用于计算迹的渐近矩生成函数，通过置换的拓扑约束识别主阶项。
• 证明极限矩生成函数与实第二阶自由随机变量的矩生成函数一致，从而确认渐近自由性。

实验结果

研究问题

• RQ1 能否为哈尓分布正交矩阵建立一个包含不可定向曲面贡献的拓扑展开，如实矩阵模型中所示？
• RQ2 正交不变随机矩阵的第二阶波动在大N极限下的渐近行为如何？
• RQ3 是否存在适用于独立矩阵且具有正交不变分布的实第二阶自由的类比？
• RQ4 迹展开中某一项在主阶贡献下需满足何种拓扑与组合条件？
• RQ5 在实情形中，由于连通分量无乘法贡献，这对第二阶自由性的分析有何影响？

主要发现

• 涉及哈尓分布正交矩阵的迹乘积的期望值可展开为包含可定向与不可定向曲面的拓扑展开。
• 展开中的主阶项对应于满足环状非交叉条件的置换对，确保产生亏格2的贡献。
• 当 p = q 时，迹的渐近协方差仅在指标函数满足 v(i) = w(k−i) 或 v(i) = w(k+i) 时非零，具体取决于配对的奇偶性。
• 迹的渐近矩生成函数与实第二阶自由随机变量的矩生成函数一致，确认独立的正交不变矩阵在渐近意义上为实第二阶自由。
• 该结果可推广至包含哈尓分布正交矩阵、实Ginibre、高斯正交与实Wishart矩阵的系综，所有这些系综均为渐近实第二阶自由。
• 对任意具有第二阶极限分布的 A，共轭变换 A 与 O^TAO 保持第二阶自由关系，因此 A 与 O^TAO 在渐近意义下为实第二阶自由。