[论文解读] Generator Sets for the Alternating Group

Aviv Rotbart|arXiv (Cornell University)|Oct 26, 2010

Advanced Combinatorial Mathematics参考文献 11被引用 7

一句话总结

本文研究交替群 $A_n$，采用一种由形如 $(1,2)(i,j)$ 的回文积构成的生成集，其作用类似于考克斯eter群中的反射。本文对这一生成集下的长度函数给出了组合表征，推导出其生成函数，并精确建立了与布罗德的2-受限第一类斯特林数之间的联系，证明了 $A_n$ 中长度为 $k$ 的排列数等于2-受限斯特林数 $\genfrac{[}{]}{0.0pt}{}{n}{n-k}_2$。此外，本文计算了长度函数的期望与方差，表明当 $n$ 增大时，方差收敛于 $H_n - H_{n,2} - \frac{1}{4}$。

ABSTRACT

Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.

研究动机与目标

• 研究交替群 $A_n$，采用一种模拟考克斯eter系统中反射作用的生成集，尽管 $A_n$ 并非考克斯eter群。
• 为集合 $T(A_n) = \{ (1,2)(i,j) \mid 1 \leq i < j \leq n \}$ 提供长度函数的组合描述，该集合由三木桥生成元中的回文构成。
• 建立 $A_n$ 中给定长度排列数与布罗德的2-受限第一类斯特林数之间的精确联系。
• 计算相对于 $T(A_n)$ 的长度函数的期望与方差，并推导长度分布的生成函数。

提出的方法

• 本文使用生成函数技术，特别是形如 $\prod_{t=2}^{n-1}(1 + tx)$ 的乘积，以建模 $A_n$ 中的长度分布。
• 应用已知的循环计数与排列统计结果，包括 $S_n$ 中对换长度的恒等式 $\ell_T(v) + \text{cyc}(v) = n$。
• 关键方法是构造双射映射 $f: A(n,k) \to P(n,n-k)$，其中 $P(n,k)$ 表示 $S_n$ 中具有 $k$ 个循环且1,2位于不同循环中的排列，以证明与受限斯特林数的联系。
• 通过归纳法与生成函数的代数恒等变形，验证递推关系 $a(n,k) + a(n,k-1) = \genfrac{[}{]}{0.0pt}{}{n}{n-k}_2 + \genfrac{[}{]}{0.0pt}{}{n}{n-k+1}_2$。
• 计算生成函数的一阶与二阶导数，以推导长度函数的期望与方差，其中使用了调和数 $H_n$ 与广义调和数 $H_{n,2}$。

实验结果

研究问题

• RQ1 相对于生成集 $T(A_n) = \{ (1,2)(i,j) \mid 1 \leq i < j \leq n \}$，$A_n$ 上长度函数的组合结构是什么？
• RQ2 在 $A_n$ 中长度为 $k$ 的排列数与已知的组合序列（尤其是受限斯特林数）有何关系？
• RQ3 相对于 $T(A_n)$，长度函数的期望与方差是什么？它们随 $n$ 如何变化？
• RQ4 能否使用该生成集为 $A_n$ 的元素定义规范形式？其与循环结构有何关系？
• RQ5 是否存在 $A_n$ 中给定长度排列与 $S_n$ 中具有特定循环结构与支撑约束的排列之间的双射对应？

主要发现

• 在生成集 $T(A_n)$ 下，$A_n$ 中长度为 $k$ 的排列数恰好等于2-受限第一类斯特林数：对所有 $0 \leq k \leq n-2$，有 $a(n,k) = \genfrac{[}{]}{0.0pt}{}{n}{n-k}_2$。
• 长度函数 $\ell_{T(A_n)}$ 在 $A_n$ 上的期望为 $n - H_n - \frac{1}{2}$，其中 $H_n$ 为第 $n$ 个调和数。
• 长度函数的方差为 $H_n - H_{n,2} - \frac{1}{4}$，其中 $H_{n,2}$ 表示二阶广义调和数。
• 长度分布的生成函数为 $\prod_{t=2}^{n-1}(1 + tx)$，其导数用于计算矩。
• 建立了 $A_n$ 中长度为 $k$ 的排列集合与 $S_n$ 中具有 $n-k$ 个循环且1,2位于不同循环中的排列集合之间的双射证明。
• 证明了相对于 $T(A_n)$，$A_n$ 中元素的规范形式是唯一的，且与循环分解及对换长度的奇偶性相关。