[论文解读] On averages of randomized class functions on the symmetric groups and their asymptotics

Paul-Olivier Dehaye, Dirk Zeindler|ArXiv.org|Nov 20, 2009

Advanced Combinatorial Mathematics参考文献 8被引用 3

一句话总结

本论文通过引入独立或按循环的随机特征值偏移，推广了对对称群上置换矩阵特征多项式的研究所，将框架扩展至任意全纯函数及其他群（如交错群和Weyl群）。关键贡献在于利用Feller耦合分析循环长度分布，推导出矩的显式生成函数及n→∞时的渐近结果。

ABSTRACT

The second author had previously obtained explicit generating functions for moments of characteristic polynomials of permutation matrices (n points). In this paper, we generalize many aspects of this situation. We introduce random shifts of the eigenvalues of the permutation matrices, in two different ways: independently or not for each subset of eigenvalues associated to the same cycle. We also consider vastly more general functions than the characteristic polynomial of a permutation matrix, by first finding an equivalent definition in terms of cycle-type of the permutation. We consider other groups than the symmetric group, for instance the alternating group and other Weyl groups. Finally, we compute some asymptotics results when n tends to infinity. This last result requires additional ideas: it exploits properties of the Feller coupling, which gives asymptotics for the lengths of cycles in permutations of many points.

研究动机与目标

• 通过引入随机特征值偏移，将置换矩阵特征多项式的矩研究从标准情形推广至更一般情况。
• 将分析从多项式扩展至全纯函数的特征值函数，同时保持组合结构。
• 计算对称群及其子群（包括交错群和经典李群的Weyl群）上矩的显式生成函数。
• 推导这些矩在n→∞时的渐近行为，尤其针对| x |<1的情形。
• 通过循环类型分解与概率工具（如Feller耦合）统一并简化先前结果。

提出的方法

• 将置换矩阵的特征多项式重写为按循环的乘积形式：对每个长度为l的循环，对应项为(1−x^l)。
• 提出两种随机化模型：一种为每个特征值独立旋转（W¹），另一种为每个循环内特征值整体旋转（W²）。
• 利用共轭类与循环指标的组合引理，推导随机类函数矩的生成函数。
• 应用Feller耦合建模随机置换中循环长度的渐近分布，实现渐近分析。
• 使用涉及∏(1 + x^k t)^{-b_k}的生成函数恒等式，表达全纯函数f的矩生成函数。
• 通过归一化将渐近分析简化为b₀=1的情形，并应用收敛定理以确立极限分布。

实验结果

研究问题

• RQ1 按循环或独立进行的随机特征值偏移如何影响对称群上类函数的矩生成函数？
• RQ2 这些矩在n→∞时的渐近行为如何，尤其针对特征值的全纯函数？
• RQ3 矩的生成函数能否从多项式推广至全纯函数？其结构如何？
• RQ4 这些结果能否推广至其他群，如交错群及SO(2n)、SO(2n+1)和SU(n)的Weyl群？
• RQ5 在渐近极限下，特别是当f(x)=1/(1−x)时，会涌现出何种函数方程或模性质？

主要发现

• 对于多项式函数f，S_n上矩生成函数为∏_{k=0}^∞ (1 + x^k t)^{-b_k}，其中b_k为f的系数。
• 对于满足b₀=1的全纯函数f，当n→∞时E[Wⁿ(f)(x)]的极限为∏_{k=1}^∞ (1 - x^k)^{-1}，当x=e^{2πiτ}且τ位于上半平面时，该表达式（相差常数因子）即为Dedekind η函数。
• W¹(f)(x)的渐近分布收敛至非退化极限，且通过两种不同方法证明了收敛性。
• 对于SO(2n)的Weyl群，矩生成函数为∏_{k₁,k₂: 2|(k₁−k₂)} (1 - x₁^{k₁}x₂^{k₂}t)^{(-1)^{k₁+k₂+1} inom{s₁}{k₁}inom{s₂}{k₂}}。
• 对于SO(2n+1)，由于交错群结构，生成函数中同时包含(1 - x₁^{k₁}x₂^{k₂}t)与(1 + x₁^{k₁}x₂^{k₂}t)项。
• 对于SU(n)，生成函数通过因子(1−x₁)^{-s₁}(1−x₂)^{-s₂}进行调整，以反映Weyl群上的迹为零条件。