[논문 리뷰] Asymptotic Enumeration of Labelled Interval Orders

Graham Brightwell, Mitchel T. Keller|arXiv (Cornell University)|2011. 11. 29.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 3

한 줄 요약

이 논문은 표본이 부여된 구간 순서의 수에 대한 渐近 공식을 유도하기 위해, 표본이 부여되지 않은 강성 있는 구간 순서의 渐近 분석과 제2종 스타링 수와의 연결을 활용한다. 주요 결과는 $\ell_n \sim (n!)^2 \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2}} \left(1 + O(1/n)\right)$이며, 이는 부분 순서 집합의 수를 세는 데 있어서 오랫동안 열려 있던 문제를 해결한다.

ABSTRACT

Building on work by Zagier, Bousquet-Mélou et al., and Khamis, we give an asymptotic formula for the number of labelled interval orders on an $n$-element set.

연구 동기 및 목표

• 표본이 부여된 구간 순서의 渐近 수세기를 해결함으로써, 부분 순서 집합 이론에서 오랫동안 열려 있던 문제를 해결한다.
• 이전의 비표본 순서와 강성 있는 비표본 순서에 대한 연구를 표본 순서의 경우로 확장한다.
• 생성 함수와 조합적 渐近 기법을 사용하여 정확한 渐近 성장률을 도출한다.
• 임의의 표본이 부여된 구간 순서에서 반복된 소유물(즉, 자동형과 관련된 대칭성)의 분포를 특성화한다.

제안 방법

• 비표본 강성 있는 구간 순서의 생성 함수인 Khamis의 $R(x) = \sum r_n x^n = \sum_{n\geq 0} \prod_{i=1}^n \left(1 - \frac{1}{(1+x)^i}\right)$를 사용하여 $r_n$의 渐近을 도출한다.
• Bousquet-Mélou 등이 제시한 생성 함수 $I(x)$와의 관계인 $R(x) = I\left(\frac{x}{1+x}\right)$를 통해 계수 전이를 가능하게 한다.
• Laplace의 방법과 渐近 전개 기법을 적용하여 계수 추출 $r_n = \sum_{k=0}^{n-1} (-1)^k \binom{n-1}{k} i_{n-k}$를 수행하며, $i_t$의 알려진 渐近을 활용한다.
• 표본이 부여된 구간 순서의 수를 $\ell_n = \sum_{k=1}^n r_k k! S(n,k)$로 표현하며, 여기서 $S(n,k)$는 제2종 스타링 수이다.
• Hsu의 $S(n,n-j)$에 대한 渐近 추정을 적용하여 합에서 주요 항들을 분석한다.
• 생성 함수의 $r_k$와 $S(n,k)$의 渐近 전개를 결합하여 $\ell_n$에 대한 최종 渐近 공식을 유도한다.

실험 결과

연구 질문

• RQ1 표본이 부여된 구간 순서의 수가 $n$ 개의 원소에서 어떻게 渐近적으로 성장하는가?
• RQ2 균일하게 임의의 표본이 부여된 구간 순서에서 대칭성(반복된 소유물)은 어떻게 분포하는가?
• RQ3 비표본 강성 있는 구간 순서의 渐近과 표본 순서의 경우 사이에 어떤 관계가 있는가?
• RQ4 큰 임의의 구간 순서에서 동일한 상위 집합과 하위 집합을 가진 원소 쌍의 수를 확률적으로 모델링할 수 있는가?
• RQ5 渐近 공식의 주요 항에 나타나는 상수 $\frac{12\sqrt{3}}{\pi^{5/2}}$는 어떤 역할을 하는가?

주요 결과

• 표본이 부여된 구간 순서의 수는 $\ell_n \sim (n!)^2 \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2}} \left(1 + O(1/n)\right)$를 만족하며, 이는 첫 번째 정확한 渐近 공식을 제공한다.
• 비표본 강성 있는 구간 순서의 수는 $r_n \sim n! \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2} e^{\pi^2/12}} \left(1 + O(1/n)\right)$를 만족하며, 생성 함수의 복합에 의해 도출된다.
• 반복된 소유물(즉, 비자명한 자동형)을 가진 원소 쌍의 수의 분포는 渐近적으로 평균 $\pi^2/12$를 가진 포isson 분포이다.
• 세 개의 원소가 동일한 상위 집합과 하위 집합을 가질 확률은 $n \to \infty$일 때 0으로 수렴하므로, 포isson 근사가 타당하다.
• 표본 순서의 $\ell_n$에 대한 渐近 공식의 주요 상수 $E_0 = \frac{12\sqrt{3}}{\pi^{5/2}}$는 $e^{\pi^2/12} D_0$로부터 유래되며, 여기서 $D_0$는 $r_n$의 주요 계수이다.
• 이 방법을 통해 $\ell_n$의 渐近 전개에서 고차항 $E_1, E_2, \dots$를 계수 $C_i$로부터의 재귀 공식을 통해 명시적으로 계산할 수 있다.