[论文解读] Enumeration of chord diagrams

Andrei Khruzin|ArXiv.org|Aug 28, 2000

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

一句话总结

本文枚举了在循环群（$C_{2n}$）与二面体群（$D_{2n}$）作用下阶为 $n$ 的弦图，推导出非等价图数量的精确公式与渐近估计。通过群作用与循环指标技术计算轨道数，表明渐近意义上，$C_{2n}$ 下每个等价类包含 $2n$ 个图，$D_{2n}$ 下包含 $4n$ 个图，其数量分别近似于 $(2n-1)!!/(2n)$ 与 $(2n-1)!!/(4n)$。

ABSTRACT

We determine the number of nonequivalent chord diagrams of order $n$ under the action of two groups, $C_{2n}$, a cyclic group of order $2n$, and $D_{2n}$, a dihedral group of order $4n$. Asymptotic formulas are also established.

研究动机与目标

• 确定在循环群 $C_{2n}$ 作用下阶为 $n$ 的非等价弦图的数量。
• 将枚举扩展至包含反射的二面体群 $D_{2n}$。
• 推导此类非等价图数量的精确公式与渐近估计。
• 分析群作用下的稳定子结构与轨道大小，表明渐近意义上大多数图具有平凡稳定子。

提出的方法

• 本文应用群论中的循环指标方法，计算在群作用下 1-因子（完美匹配）的轨道数。
• 使用半直积 $S_n \wr S_2$ 建模弦对称性，使用群 $G$（$C_{2n}$ 或 $D_{2n}$）建模圆周对称性。
• 关键公式（1）通过群元素与匹配对称性的双重求和计算轨道数，利用循环类型与下降阶乘。
• 对于 $C_{2n}$，公式简化为 $c_n = \frac{1}{2n} \sum_{i|2n} \varphi(i) \nu_n(i)$，其中 $\nu_n(i)$ 依 $i$ 的奇偶性分段定义。
• 对于 $D_{2n}$，通过加入反射贡献推导出公式，得到 $d_n = \frac{1}{2}\left(c_n + \frac{1}{2}(\kappa_{n-1} + \kappa_n)\right)$，其中 $\kappa_n$ 为含不动点匹配的和。
• 渐近分析使用斯特林公式，并对二项式与双阶乘项进行界估计，表明 $c_n \sim (2n-1)!! / (2n)$ 且 $d_n \sim (2n-1)!! / (4n)$。

实验结果

研究问题

• RQ1 在循环群 $C_{2n}$ 作用下，阶为 $n$ 的非等价弦图的确切数量是多少？
• RQ2 当使用二面体群 $D_{2n}$ 而非 $C_{2n}$ 时，非等价图的数量如何变化？
• RQ3 当 $n \to \infty$ 时，非等价 $n$-图数量的渐近行为如何？
• RQ4 在 $C_{2n}$ 与 $D_{2n}$ 作用下，等价类（轨道）的大小如何？有多少比例的图具有非平凡稳定子？

主要发现

• 在 $C_{2n}$ 作用下，$n$-图的非等价数量为 $c_n = \frac{1}{2n} \sum_{i|2n} \varphi(i) \nu_n(i)$，其中 $\nu_n(i)$ 按 $i$ 的奇偶性分段定义。
• 在 $D_{2n}$ 下，数量为 $d_n = \frac{1}{2}\left(c_n + \frac{1}{2}(\kappa_{n-1} + \kappa_n)\right)$，其中 $\kappa_n = \sum_{k=0}^{\lfloor n/2 \rfloor} \frac{n!}{k! (n-2k)!}$。
• 渐近意义上，$c_n \sim \frac{(2n-1)!!}{2n}$，即每个轨道约含 $2n$ 个图。
• 类似地，$d_n \sim \frac{(2n-1)!!}{4n}$，故 $D_{2n}$ 下每个轨道约含 $4n$ 个图。
• $C_{2n}$ 下具有非平凡稳定子的图的比例随 $n \to \infty$ 而趋于零，证实大多数图是不对称的。
• 数值表格验证了渐近估计：当 $n=10$ 时，$c_n \approx 32.7$ 百万，$\underline{c}_n \approx 32.7$ 百万，显示高度一致。