[论文解读] Moments of the characteristic polynomial in the three ensembles of random matrices

M. L. Mehta, J. -M. Normand|arXiv (Cornell University)|Jan 31, 2001

Random Matrices and Applications被引用 6

一句话总结

本文通过行列式、佩夫安行列式（Pfaffians）或行列式的和，推导出三个经典系综——正交系综（β=1）、酉系综（β=2）和辛系综（β=4）中随机矩阵特征多项式矩的精确表达式。关键结果是在高斯情形下发现了一个显著的对偶性恒等式：大小为 n 的 m 阶矩与大小为 m 的 ix 处的 n 阶矩成正比，揭示了 n 与 m 之间的深刻对称性。

ABSTRACT

Moments of the characteristic polynomial of a random matrix taken from any of the three ensembles, orthogonal, unitary or symplectic, are given either as a determinant or a pfaffian or as a sum of determinants. For gaussian ensembles comparing the two expressions of the same moment one gets two remarkable identities, one between an $n imes n$ determinant and an $m imes m$ determinant and another between the pfaffian of a $2n imes 2n$ anti-symmetric matrix and a sum of $m imes m$ determinants.

研究动机与目标

• 推导 n×n 随机矩阵在三个经典系综（正交系综 β=1，酉系综 β=2，辛系综 β=4）中特征多项式 m 阶矩的闭式表达式。
• 建立特征多项式矩与包含范德蒙德行列式及权函数的多重积分之间的联系。
• 揭示并证明新的代数恒等式，特别是在高斯情形下，关联不同大小与复数自变量的矩。
• 探讨这些恒等式在数论中的意义，特别是其与临界线上黎曼 zeta 函数及其导数的矩之间的关系。

提出的方法

• 作者利用三种不同内积（对称、反对称及基于符号的）定义的正交多项式与斜正交多项式（Cn, Qn, Rn），将矩表示为行列式或佩夫安行列式。
• 他们推导出矩 Iβ(n,m;x) 的多重积分表示，涉及 |Δn(y)|β 和 (x−yj)m w(yj) dyj，其中 β=1,2,4 分别对应三个系综。
• 对于 β=2（酉系综），m 阶矩表示为 n×n 行列式；对于 β=1 和 β=4，其表示为 2n×2n 矩阵的佩夫安行列式，或 m×m 行列式的和。
• 在高斯情形 w(y)=e^{-y²} 下，他们推导出一个对偶性恒等式：I₂(n,m;x) ∝ I₂(m,n;ix)，通过复共轭将大小为 n 和 m 的矩联系起来。
• 他们证明了 β=4 情形下的佩夫安恒等式，将 2n×2n 矩阵的佩夫安行列式表示为 m×m 行列式的和。
• 他们提出一个一般对偶性猜想：Iβ(n,m;x)/Iβ(m,n;ix) ∝ (−i)^{mn}，该式对一般 β 和权函数成立。

实验结果

研究问题

• RQ1 如何为三个经典系综（β=1,2,4）中随机矩阵的特征多项式 m 阶矩给出闭式表达？
• RQ2 在高斯情形下，比较同一矩的两种表达式时，特别是不同大小的行列式之间，会涌现出何种代数恒等式？
• RQ3 酉系综中 n×n 与 m×m 行列式表达式之间是否存在对偶性？若存在，其数学结构为何？
• RQ4 β=1 和 β=4 系综的佩夫安表示能否与 m×m 行列式的和相关联？其背后的对称性是什么？
• RQ5 是否存在一个普遍的对偶性恒等式，将 Iβ(n,m;x) 与 Iβ(m,n;ix) 关联起来？其在随机矩阵理论与数论中的意义为何？

主要发现

• 对于酉系综（β=2），特征多项式 m 阶矩由 n×n 行列式给出，且在高斯情形下满足 I₂(n,m;x) ∝ I₂(m,n;ix)，即 n 与 m 之间的对偶性。
• 对于辛系综（β=4），矩表示为 2n×2n 反对称矩阵的佩夫安行列式，当 m 为偶数时，该佩夫安行列式等于 m×m 行列式的和。
• 对于正交系综（β=1），矩由 n×n（当 n 为偶数时）或 (n+1)×(n+1)（当 n 为奇数时）反对称矩阵的佩夫安行列式给出，或表示为 m×m 行列式的和。
• 在高斯情形下，恒等式 I₂(n,m;x) ∝ I₂(m,n;ix) 成立，比例常数涉及伽马函数及 π 和 2 的幂次。
• 本文提出一个一般对偶性猜想：Iβ(n,m;x)/Iβ(m,n;ix) ∝ (−i)^{mn}，该式在特殊情形 β=2 下精确成立，并得到 Selberg 积分计算的支持。
• 作者在高斯情形下为恒等式 I₄(n,m;x)/I₁(m,n;ix) = (−i)^{mn} π^{n/2} 2^{-n²} ∏_{j=0}^{n}(2j)! / (2^{3m/2} ∏_{j=0}^{m} Γ(1+j/2)) 提供了强有力的证据。