[论文解读] Excedance number for involutions in complex reflection groups

Eli Bagno, David Garber+1 more|ArXiv.org|Dec 7, 2006

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

一句话总结

本文引入并计算了复反射群 $G_{r,p,n}$ 中对合的超限数，利用递推关系和生成函数推导出超限数与不动点的多变量分布的显式公式。关键结果包括具有指定超限数和不动点数的对合数量的闭式表达式，尤其根据 $r$ 的奇偶性以及 $p$ 是否整除 $r/2$ 区分不同情况。该工作将对称群中的经典超限统计推广至复反射群。

ABSTRACT

We define the excedance number on the complex reflection groups and compute its multidistribution with the number of fixed points on the set of involutions in these groups. We use some recurrence formulas and generating functions manipulations to obtain our results.

研究动机与目标

• 定义并研究复反射群 $G_{r,p,n}$ 中对合的超限数，将经典排列统计推广至复域设置。
• 计算 $G_{r,p,n}$ 中对合集合上超限数与不动点的多变量分布，推广对称群与超八面体群的结果。
• 推导超限数与不动点联合分布的递推关系及显式生成函数。
• 根据其循环类型与颜色结构，对 $G_{r,n}$ 和 $G_{r,p,n}$ 中的对合进行分类，实现系统化的计数。

提出的方法

• 在字母表 $\Sigma = \{1, \dots, n, \bar{1}, \dots, \bar{n}, \dots, 1^{[r-1]}, \dots, n^{[r-1]}\}$ 上定义颜色序，以计算带颜色排列中的超限数。
• 利用半直积结构 $G_{r,n} = \mathbb{Z}_r \wr S_n$ 建模带颜色排列，并定义群元素的 $csum$ 不变量。
• 通过分析其循环分解与颜色行为，特别是关注不动点与对换，对 $G_{r,n}$ 和 $G_{r,p,n}$ 中的对合进行分类。
• 通过分析 $\pi(n)$ 的作用，对 $f_{r,p,n}(u,v,w)$ 的生成函数建立递推关系，区分不动点、颜色为 $r/2$ 的不动点与对换。
• 应用生成函数的运算与指数生成函数技巧，推导出 $f_{r,p,n}(u,v,w)$ 的闭式表达式，包括形如 $e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$ 的指数生成函数。
• 将生成函数特化，提取固定超限数计数的系数，从而得到具有 $m$ 个超限数的对合数量的显式公式。

实验结果

研究问题

• RQ1 如何将排列上的经典超限统计推广至复反射群 $G_{r,p,n}$ 中的对合？
• RQ2 在 $G_{r,p,n}$ 的对合集合上，超限数与不动点的多变量分布是什么？其如何依赖于参数 $r$、$p$ 和 $n$？
• RQ3 超限数与不动点生成函数的递推关系在 $r$ 为奇数或偶数，以及 $p$ 是否整除 $r/2$ 的情况下有何不同？
• RQ4 能否为 $G_{r,p,n}$ 中具有给定超限数的对合数量推导出显式的闭式公式，特别是在 $r$ 为偶数且 $p \not\mid r/2$ 的情况下？

主要发现

• 当 $r$ 为奇数且 $p \mid r$ 时，$G_{r,p,n}$ 中具有 $m$ 个超限数的对合数量为 $\sum_{j=n/2}^{n} (n-j)! \binom{n}{n-j, n-j, n-2j} \left(\frac{r}{2}\right)^{n-j}$，其中 $k = \frac{m}{r}$。
• 当 $r$ 为偶数且 $p \mid \frac{r}{2}$ 时，具有 $m$ 个超限数的对合数量为 $k! \binom{n}{k,k,n-2k} \left(\frac{r}{2}\right)^k$，其中 $k = \frac{m}{r}$。
• 当 $r$ 为偶数且 $p \not\mid \frac{r}{2}$ 时，具有 $m$ 个超限数的对合数量为 $\frac{(m/r)!}{2^{m/r}} \binom{n}{m/r, m/r, n-2m/r} (r+1)^{m/r}$。
• 超限数与不动点联合分布的生成函数为 $e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$，该式统一了各类情况下的递推结构。
• $f_{r,p,n}(u,v,w)$ 的递推关系取决于 $r$ 的奇偶性以及 $p$ 是否整除 $r/2$，奇 $r$、偶 $r$ 且 $p \mid r/2$、偶 $r$ 且 $p \not\mid r/2$ 三种情况具有不同的形式。
• 通过从生成函数中提取系数，推导出显式公式，特别是通过代入 $w=1$ 提取不动点计数，通过 $u=1$、$v=w^r$ 提取超限数计数。