[论文解读] Annular non-crossing permutations and partitions, and second-order asymptotics for random matrices

James A. Mingo, Alexandru Nica|arXiv (Cornell University)|Mar 25, 2003

Random Matrices and Applications参考文献 12被引用 9

一句话总结

本文引入环形非交叉排列与分拆作为随机矩阵理论中二阶渐近分析的组合框架。它建立了类似于Biane在圆盘情形下的环形测地线条件，识别出从排列到分拆的非单射映射，并应用该框架推导出独立Wishart矩阵中词的迹的渐近高斯性，通过环形非交叉结构给出了二阶累积量的显式公式。

ABSTRACT

We study the set $S_{ann-nc}$ of permutations of $\{1, ..., p+q \}$ which are non-crossing in an annulus with $p$ points marked on its external circle and $q$ points marked on its internal circle. The algebraic approach to $S_{ann-nc}$ goes by identifying three possible crossing patterns in an annulus, and by defining a permutation to be annular non-crossing when it does not display any of these patterns. We prove the annular counterpart for a ``geodesic condition'' shown by Biane to characterize non-crossing permutations in a disc. We point out that, as a consequence, annular non-crossing permutations appear in the description of the second order asymptotics for the joint moments of certain families (Wishart and GUE) of random matrices. We examine the relation between $S_{ann-nc}$ and the set $NC_{ann}$ of annular non-crossing partitions of $\{1, ..., p+q \}$, and observe that (unlike in the disc case) the natural map from $S_{ann-nc}$ onto $NC_{ann}$ has a pathology which prevents it from being injective.

研究动机与目标

• 在随机矩阵渐近分析的正式代数框架中，定义并表征环形非交叉排列与分拆。
• 建立Biane在圆盘情形下非交叉排列测地线条件的环形对应。
• 解决从环形非交叉排列到环形非交叉分拆的自然映射的非单射性问题，识别其结构成因。
• 将该理论应用于推导独立Wishart矩阵中词的迹的二阶渐近矩。
• 通过环形非交叉排列的组合学方法，证明Wishart矩阵线性统计量的渐近高斯性。

提出的方法

• 将 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 定义为避免三种环形交叉模式（AC-1）、（AC-2）、（AC-3）的排列，且其循环必须在环形意义下为‘标准’。
• 通过群论和组合论证，证明 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 满足类似于Biane在圆盘情形下的环形测地线条件。
• 证明 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 是 ${\cal S}_{\hbox{{\scriptsize\it disc-nc}}}(p+q)$ 在外部和内部循环置换 $\gamma_{ext}$ 与 $\gamma_{int}$ 下的共轭饱和。
• 利用该框架，通过涉及 $N_k \cdot \text{tr}(X_w^{(k)})$ 的迹展开，分析独立Wishart矩阵联合矩的二阶渐近性，其中 $X_w^{(k)}$ 为 $M_k \times N_k$ 独立同分布高斯矩阵的乘积。
• 通过满足 $w \circ \tau = w$ 的 $(p_1,\dots,p_l)$-连通排列 $\tau$ 上的求和，推导迹之间渐近协方差，各项加权为 $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$。
• 通过将求和中 $N_k$ 的指数上界定为 $2-l$，证明阶数 $l \geq 3$ 的累积量渐近为零，从而确保收敛于零。

实验结果

研究问题

• RQ1 如何将非交叉排列与分拆从圆盘推广到环形情形，其代数条件是什么？
• RQ2 Biane在圆盘情形下非交叉排列测地线条件的环形类比是什么？
• RQ3 为何从环形非交叉排列到环形非交叉分拆的自然映射不是单射，其结构成因是什么？
• RQ4 环形非交叉排列如何控制独立Wishart矩阵乘积迹的二阶渐近性？
• RQ5 何种条件导致Wishart矩阵迹的线性统计量渐近高斯性，如何通过组合方法证明？

主要发现

• 集合 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 通过避免三种环形交叉模式并要求循环为标准形式来表征，构成圆盘非交叉排列的恰当推广。
• 证明了环形测地线条件可表征 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$，将Biane在圆盘情形下的结果推广至环形情形。
• 从 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 到 $NC_{\rm ann}(p,q)$ 的自然满射不是单射，其原因在于循环结构与共轭作用下的特定代数病态。
• 独立Wishart矩阵中词的迹的二阶渐近性由环形非交叉排列上的求和控制，主导项由 $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$ 决定。
• 对于归一化迹泛函 $N_k \cdot \text{tr}(X_w^{(k)})$，阶数 $l \geq 3$ 的累积量渐近为零，从而证明了线性统计量族的渐近高斯性。
• 迹 $v$ 与 $w$ 之间的渐近协方差通过满足 $w \circ \tau = w$ 的 $(p,q)$-连通环形非交叉排列上的求和显式计算得出，收敛于包含 $M_k^{\#(\tau)} N_k^{\#(\tau^{-1}\gamma) - (p+q)}$ 的极限。