[论文解读] On the number of eigenvalues of modified permutation matrices in mesoscopic intervals

Valentin Bahier|arXiv (Cornell University)|Nov 21, 2016

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

一句话总结

本文研究在 Ewens 测度下，经修改的置换矩阵的特征值分布，重点分析单位圆上中观弧段内的特征值数量。研究证明，有限个固定弧段内特征值计数的波动在渐近下服从高斯分布，并在衰减缓慢的条件下将此结果推广至长度趋近于零的收缩弧段，同时分析了相邻特征值之间的间距。

ABSTRACT

We are interested in two random matrix ensembles related to permutations: the ensemble of permutation matrices following Ewens' distribution of a given parameter $\ heta >0$, and its modification where entries equal to $1$ in the matrices are replaced by independent random variables uniformly distributed on the unit circle. For the elements of each ensemble, we focus on the random numbers of eigenvalues lying in some specified arcs of the unit circle. We show that for a finite number of fixed arcs, the fluctuation of the numbers of eigenvalues belonging to them is asymptotically Gaussian. Moreover, for a single arc, we extend this result to the case where the length goes to zero sufficiently slowly when the size of the matrix goes to infinity. Finally, we investigate the behaviour of the largest and smallest spacing between two distinct consecutive eigenvalues.

研究动机与目标

• 理解在 Ewens 测度下置换矩阵及其修改版本的特征值分布。
• 研究特征值计数函数在中观区间（介于宏观与微观尺度之间）的渐近行为。
• 将先前关于特征值波动结果从固定弧段推广至单位圆上缓慢收缩的弧段。
• 分析多个弧段上特征值计数的联合分布以及相邻特征值之间的极值间距。
• 建立基于置换的矩阵谱行为与经典随机矩阵系综（如圆单位酉群）之间的联系。

提出的方法

• 利用 Wieand 和 Ben Arous–Dang 的工具，分析在 Ewens 测度下特征值的线性统计。
• 应用遍历理论和无理旋转中线性型分数部分的等分布结果。
• 采用调和分析与傅里叶方法，计算特征值计数函数的渐近期望。
• 通过格点计数和戴德金和，推导出多个弧段内特征值计数的方差与协方差的精确渐近表达式。
• 利用半直积 $S^1 \wr \mathfrak{S}_N$ 的结构，建模旋转不变的特征值分布。
• 通过研究特征值辐角分数部分的分布，分析相邻特征值之间的间距。

实验结果

研究问题

• RQ1 在 Ewens 测度下，对于经修改的置换矩阵，其在固定中观弧段内特征值计数的波动在渐近下如何表现？
• RQ2 能否将特征值计数的高斯波动结果推广至长度随矩阵规模增长而趋近于零的弧段？
• RQ3 在单位圆上有限个不相交的中观弧段上，特征值计数的联合极限分布为何？
• RQ4 当矩阵规模趋于无穷时，相邻特征值之间最大与最小间距的极限行为如何？
• RQ5 在 Ewens 测度下，单个收缩弧段内特征值计数函数的精确渐近方差为何？

主要发现

• 当矩阵规模趋于无穷时，有限个固定中观弧段内特征值计数的联合分布收敛于多元正态分布。
• 对于长度衰减足够缓慢（例如，衰减慢于 $1/N$）的单个弧段，特征值计数仍表现出渐近高斯波动。
• 中观弧段内特征值计数函数的极限方差被显式计算，并表明其依赖于弧段长度与 Ewens 参数 $\theta$。
• 两个不相交弧段内特征值计数之间的渐近协方差被推导，并在弧段分离时极限趋于零。
• 相邻特征值之间的最大与最小间距被证明依分布收敛于 Gumbel 型极限分布，表明其具有极值统计特性。
• 在收缩弧段内，特征值计数函数的精确渐近期望被推导，其中包含一个涉及弧段有理逼近参数最大公约数的修正项。