[论文解读] On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices

Theo Assiotis, Emma Bailey+1 more|Edinburgh Research Explorer|Oct 28, 2019

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

一句话总结

本文利用受限的盖尔范德-采特林图样，推导出哈尓分布的辛群与正交群矩阵特征多项式矩的精确公式。研究建立了当矩阵尺寸 $N \to \infty$ 时的渐近展开式，表明主导系数由相关盖尔范德-采特林多面体的体积决定，这些体积与酉群情形显著不同，揭示了 $Sp(2N)$ 与 $SO(2N)$ 的 $N$-依赖性差异。

ABSTRACT

We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously

研究动机与目标

• 将此前用于酉群的表示论方法扩展至辛群与正交群。
• 为 $Sp(2N)$ 与 $SO(2N)$ 的特征多项式矩的矩推导出精确的组合表达式。
• 在 $N \to \infty$ 且固定 $k, \beta$ 的条件下，建立这些矩的渐近展开式。
• 以几何不变量——具体而言，受限盖尔范德-采特林多面体的体积——来表征主导渐近行为。
• 证明正交群/辛群情形与酉群情形在渐近增长速率上存在根本性差异。

提出的方法

• 将矩的矩表示为 $Sp(2N)$ 与 $SO(2N)$ 特定的受限盖尔范德-采特林图样中的格点之和。
• 利用舒尔多项式恒等式，将特征多项式乘积的平均值表示为这些图样上的对称函数。
• 应用凸体中格点计数的渐近分析，以近似此类图样的数量。
• 将主导系数与相应盖尔范德-采特林多面体 $\mathcal{V}_{(k,\beta;\underline{\varepsilon})}^{G}$ 的体积相关联，其中 $G \in \{Sp, SO\}$。
• 通过选择 $\underline{\varepsilon} = (1,\dots,1)$ 证明至少一个此类多面体体积为正，从而证明主导系数的正性。
• 利用表示论与组合学的结果，将矩阵系综的平均值与 $\mathbb{R}^{k\beta}$ 中的几何对象联系起来。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，哈尓分布的 $Sp(2N)$ 与 $SO(2N)$ 矩阵的特征多项式矩的矩如何渐近表现？
• RQ2 对于这些经典群，主导系数对 $N$、$k$ 与 $\beta$ 的精确函数依赖关系为何？
• RQ3 $Sp(2N)$ 与 $SO(2N)$ 的渐近结果与酉群情形有何不同？
• RQ4 主导系数能否以盖尔范德-采特林图样约束下定义的多面体体积形式几何地表达？
• RQ5 对于所有正整数 $k, \beta$，主导系数是否严格为正？

主要发现

• 对于 $Sp(2N)$，渐近展开式为 $\operatorname{MoM}_{Sp(2N)}(k,\beta) = \mathfrak{c}_{Sp}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$，其中 $\mathfrak{c}_{Sp}(k,\beta)$ 为 $G_2$-型盖尔范德-采特林多面体体积之和。
• 对于 $SO(2N)$，渐近展开式为 $\operatorname{MoM}_{SO(2N)}(k,\beta) = \mathfrak{c}_{SO}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$，其中 $\mathfrak{c}_{SO}(k,\beta)$ 由 $B_N$-型多面体体积之和给出。
• 主导系数 $\mathfrak{c}_{Sp}(k,\beta)$ 对所有 $k, \beta \in \mathbb{N}$ 严格为正，通过证明至少一个多面体体积为正而得证。
• 主导指数 $k\beta(2k\beta - 1) - k$ 与酉群情形不同，表明正交群与辛群系综具有不同的渐近标度。
• 对小的 $k, \beta$，显式计算了 $\operatorname{MoM}_{G(N)}(k,\beta)$ 的多项式表达式，例如 $\operatorname{MoM}_{Sp(2N)}(1,1) = \frac{1}{2}(N+1)(N+2)$ 与 $\operatorname{MoM}_{SO(2N)}(2,1) = \frac{1}{2}(N+1)^2(N+2)^2$。
• 结果建立了主导系数的几何解释，即定义在盖尔范德-采特林图样线性约束下的凸多面体体积。