[논문 리뷰] Enumeration of chord diagrams

Andrei Khruzin|ArXiv.org|2000. 08. 28.

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}$ 의 작용 하에서 비등가도형의 수를 결정하는 것.
• 반사 포함을 포함한 이면군 $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}$ 의 작용 하에서 비등가도형의 정확한 수는 얼마인가요?
• RQ2 이면군 $D_{2n}$ 을 $C_{2n}$ 대신 사용할 경우 비등가도형의 수는 어떻게 변화합니까?
• RQ3 점점 가까워지게 $n \to \infty$ 일 때 비등가도형의 수의 행동은 어떻게 됩니까?
• RQ4 $C_{2n}$ 과 $D_{2n}$ 하에서 동치류(궤도)의 크기는 얼마이며, 비자명한 안정자를 가진 도형의 비율은 얼마입니까?

주요 결과

• 순환군 $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 = \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$ 백만으로, 강한 일치를 보여준다.