[论文解读] Nombre de factorisations d'un grand cycle

Philippe Biane|ArXiv.org|Jul 10, 2003

Advanced Combinatorial Mathematics参考文献 4被引用 19

一句话总结

本文提供了对对称群 $S_n$ 中 $n$-循环分解为给定共轭类类型的两个置换之乘积的计数公式——Goupil-Schaeffer 公式的全新代数推导。通过使用对称函数与复积分表示，将原始的带符号和式转化为仅含正系数的表达式，从而通过 Schur 函数和生成函数的正项展开，获得具有组合意义的公式。

ABSTRACT

We give a short proof, based on symmetric function theory, of a formula due to Goupil and Schaeffer, counting the number of factorizations of a cycle of maximal length in the symmetric group, into the product of two permutations of given conjugacy classes.

研究动机与目标

• 为 $S_n$ 中 $n$-循环分解为指定共轭类类型的两个置换的分解数的 Goupil-Schaeffer 公式提供一种新的代数推导。
• 将原始的带符号和式转化为仅含正系数的等价公式，从而实现更具组合透明性的解释。
• 利用幂和对称函数与 Schur 函数，建立分解数的生成函数。
• 将分解数表达为涉及复高斯测度与由二项式型差导出的齐次多项式的正积分形式。

提出的方法

• 以 $c^n_{\rho\tau}$ 的特征标理论公式为起点，特化到乘积为 $n$-循环的情形。
• 应用 Frobenius 公式及 Schur 函数的性质，将特征标和重写为 Schur 函数 $s_{(n-r-1|r)}(x)s_{(n-r-1|r)}(y)$ 的和。
• 利用包含 $\prod_i \frac{1+vx_i}{1-ux_i}$ 的生成函数，将和式与对称函数恒等式关联起来。
• 引入复积分表示，利用恒等式 $\frac{1}{\pi}\int_{\mathbb{C}} u^k \bar{u}^l e^{-|u|^2} du = \delta_{kl} k!$，将和式转化为双重积分。
• 通过变量替换 $u = a+b$，$v = a-b$ 对被积函数进行对称化，揭示多项式系数中的正性。
• 从差式 $(a+b)^r - (a-b)^r$ 定义齐次多项式 $R_\lambda(a,b)$，其捕捉展开式中的正系数。

实验结果

研究问题

• RQ1 能否将 $c^n_{\lambda\mu}$ 的带符号 Goupil-Schaeffer 公式改写为仅含正系数的形式？
• RQ2 分解数 $c^n_{\lambda\mu}$ 的生成函数在对称函数下的表达形式为何？
• RQ3 复积分表示如何用于提取对称群表示理论中特征标和的正项展开？
• RQ4 多项式 $R_\lambda(a,b)$ 在将 $c^n_{\lambda\mu}$ 表示为正和中的作用是什么？

主要发现

• 将 $n$-循环分解为共轭类型为 $\lambda$ 和 $\mu$ 的置换的分解数 $c^n_{\lambda\mu}$ 由如下正积分给出：$c^n_{\lambda\mu} = \frac{n2^{-n-1}}{\pi^2} \int_{\mathbb{C}}\int_{\mathbb{C}} R_\lambda(a,b) R_\mu(\bar{b},\bar{a}) e^{-|a|^2 - |b|^2} da\,db$。
• 多项式 $R_\lambda(a,b)$ 是次数为 $n-1$ 的齐次多项式，且仅含非负整数系数，确保展开中的正性。
• 最终表达式 $c^n_{\lambda\mu} = n2^{-n-1} \sum_{k,l} r^{kl}_\lambda r^{lk}_\mu k! l!$ 是一个有限和，其正系数 $r^{kl}_\lambda$ 提供了具有组合意义的公式。
• 推导过程建立了分解数生成函数与包含 $\prod_i \frac{1+vx_i}{1-ux_i}$ 的对称函数恒等式之间的直接联系。
• 该方法成功地将一个带符号的特征标和转化为正的积分表示，解决了原始 Goupil-Schaeffer 公式中的一个关键问题。