[论文解读] Explicit monomial expansions of the generating series for connection coefficients

Ekaterina A. Vassilieva|arXiv (Cornell University)|Nov 26, 2011

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

一句话总结

本文提出了对称群的类代数和双陪集代数中连接系数生成函数的显式单项对称函数展开。通过代数技巧和一种关于近钩型分拆的zonal多项式的新公式，推导出双陪集代数生成函数的显著简化表达式，解决了统计学中随机矩阵谱分布计算长期存在的复杂性问题。

ABSTRACT

This paper is devoted to the explicit computation of generating series for the connection coefficients of two commutative subalgebras of the group algebra of the symmetric group, the class algebra and the double coset algebra. As shown by Hanlon, Stanley and Stembridge (1992), these series gives the spectral distribution of some random matrices that are of interest to statisticians. Morales and Vassilieva (2009, 2011) found explicit formulas for these generating series in terms of monomial symmetric functions by introducing a bijection between partitioned hypermaps on (locally) orientable surfaces and some decorated forests and trees. Thanks to purely algebraic means, we recover the formula for the class algebra and provide a new simpler formula for the double coset algebra. As a salient ingredient, we derive a new explicit expression for zonal polynomials indexed by partitions of type [a,b,1^(n-a-b)].

研究动机与目标

• 推导对称群的类代数和双陪集代数中连接系数生成函数的显式单项对称函数展开。
• 使用代数方法和新的zonal多项式公式，简化双陪集代数之前复杂的生成函数。
• 通过代数手段重新获得类代数的已知结果，避免依赖先前的双射组合构造。
• 为统计学中研究的某些随机矩阵的谱分布提供一种新的、更易处理的公式。

提出的方法

• 使用代数技巧，推导出索引为类型 $[a,b,1^{n-a-b}]$ 的分拆的zonal多项式的显式新表达式。
• 应用连接系数、对称群特征标和对称函数基之间的已知关系，非双射地重新推导类代数的生成函数。
• 引入有理函数 $r_n(a,b)$ 和 $r'_n(a,b)$，以参数化双陪集代数展开中的贡献。
• 使用装饰森林和序列 $\{a_i, b_i, c_i\}$ 等组合结构，编码生成函数中单项对称函数的支撑。
• 在乘积项中使用记号 $\left\langle\cdot\right\rangle$ 和 $\left[\cdot\right]$ 表示类似二项式系数的有理系数。
• 应用有理函数 $R(x,y,z,t,w)$ 来加权展开中序列分量的贡献。

实验结果

研究问题

• RQ1 双陪集代数连接系数的生成函数能否以比先前双射构造更简单的形式表达？
• RQ2 双陪集代数中连接系数背后的代数结构是什么？能否通过对称函数捕捉？
• RQ3 近钩型分拆上的zonal多项式如何促进生成函数的简化？
• RQ4 是否存在一种统一的代数框架，可在不依赖超图双射的情况下，同时恢复类代数和双陪集代数的生成函数？
• RQ5 新的有理函数 $r_n(a,b)$ 能否用于推导谱分布的渐近可处理表达式？

主要发现

• 本文为双陪集代数连接系数的生成函数提供了新的、显著简化的新公式，取代了先前基于双射的复杂表达式。
• 双陪集代数的生成函数表示为单项对称函数的和，其权重为有理函数 $r_n(a,b)$ 和类似二项式系数的乘积。
• 对于特殊情形 $\nu = (n)$，生成函数 $\Pi_n$ 的单项系数是显式可计算的，给出了 $\lambda = (n)$、$(n-1,1)$、$(n-2,1,1)$ 等情形的示例。
• 在 $\Pi_n$ 中，$m_{(n)}$ 的系数为 $(2n-2)!!$，$m_{(n-1,1)}$ 的系数为 $n(2n-4)!!$，与已知的组合计数一致。
• 新公式中的 $r_n(a,b)$ 避免了早期表达式中的符号交替，为潜在的渐近分析提供了可能。
• 本文证实，$b_{\lambda n}^n$ 的生成函数可表示为序列 $\{a_i, b_i, c_i\}$ 上的和，带有显式的有理权重，提供了计算上可访问的形式。