[論文レビュー] 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 $C_{2n}$ の代わりに二面体群 $D_{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$ のとき 0 に収束するため、漸近的にほとんどの図が非対称であることが確認される。
• 数値表は漸近的推定値を強く裏付けている：$n=10$ のとき、$c_n \approx 32.7$ 百万および $\underline{c}_n \approx 32.7$ 百万であり、非常に良好な一致が得られている。