[논문 리뷰] Central limit theorem for descents in conjugacy classes of $S_n$

Gene B. Kim, Sangchul Lee|arXiv (Cornell University)|2018. 03. 28.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 6

한 줄 요약

이 논문은 대칭군 $S_n$ 의 임의의 공轭류에서 균일하게 추출된 순열에서 내림차순의 수에 대한 중심극한정리를 수립한다. 생성함수와 모멘트 생성 함수의 점근적 분석을 통해, 정규화된 내림차순 수가 공轭류 내 고정점 비율에 따라 달라지는 분산을 가진 정규분포로 수렴함을 증명하며, 이는 이전의 큰 순환과 고정점이 없는 겹치는 변환에 대한 결과를 일반화한다.

ABSTRACT

The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Fulman proved that the descent numbers of permutations in conjugacy classes with large cycles are asymptotically normal, and Kim proved that the descent numbers of fixed point free involutions are also asymptotically normal. In this paper, we generalize these results to prove a central limit theorem for descent numbers of permutations in any conjugacy class of $S_n$.

연구 동기 및 목표

• 특정 공轭류에 대한 이전의 내림차순 수에 대한 중심극한정리를 $S_n$ 의 모든 공轭류로 일반화하기 위해.
• 임의의 공轭류에 속하는 순열의 내림차순 수에 대해 점근적 정규분포를 수립하기 위해.
• 정규화된 내림차순 수의 극한 분산에 대한 명시적 공식을 고정점 비율에 따라 유도하기 위해.
• 정규화된 내림차순 수의 모멘트 생성 함수와 정규분포의 모멘트 생성 함수 간의 수렴에 대해 균일한 오차 한계를 제공하기 위해.
• 다이아코니스가 제기한 고정점이 없는 공轭류에 대한 점근적 정규분포 성립에 대한 추측을 모든 공轭류로 확장하기 위해.

제안 방법

• 순환 지수와 모비우스 역전을 사용하여, $|t| > 1$ 에서 유효한 공轭류 $\mathcal{C}_\lambda$ 에서 내림차순 수의 생성함수 $A_{\tilde{C}_\nu}(t)$ 의 무한급수 전개를 유도한다.
• 정규화된 내림차순 수의 모멘트 생성 함수(MGF)의 점근적 행동을 분석하기 위해 안장점 및 라플라스 방법을 적용한다.
• 스털링 근사와 지수 함수 $g_n(z) = (1 + z/\sqrt{n})^n e^{-\sqrt{n}z}$ 에 대한 경계를 사용하여 복소평면 내 적분의 감쇠를 제어한다.
• 정규화된 내림차순 수의 MGF와 정규분포의 MGF 간 차이에 대해 균일한 오차 한계 $\mathcal{O}(\log^3 n / \sqrt{n})$ 를 수립한다.
• 타우버형 추론과 지배 수렴 정리를 적용하여 정규화된 내림차순 수의 분포 수렴을 보인다.
• MGF 수렴을 활용하여 극한 정규분포와 그 분산 매개변수를 도출한다.

실험 결과

연구 질문

• RQ1 모든 $S_n$ 공轭류에서 내림차순 수가 $n \to \infty$ 일 때 중심극한정리를 만족하는가?
• RQ2 내림차순 수의 극한 분산은 순환 구조, 특히 고정점의 수에 따라 어떻게 달라지는가?
• RQ3 점근적 정규분포 결과를 고정점이 없는 겹치는 변환과 큰 순환류를 넘어서 모든 공轭류로 확장할 수 있는가?
• RQ4 정규화된 내림차순 수의 모멘트 생성 함수가 정규분포의 MGF로 수렴하는 속도는 어떠한가?
• RQ5 모든 공轭류에 걸쳐 균일한 오차 한계가 존재하는가? 이는 $n$ 과 고정점 비율에만 의존하는가?

주요 결과

• 정규화된 내림차순 수 $W_\lambda$ 는 평균 0, 분산 $\frac{1 - 4\alpha^3 + 3\alpha^4}{12}$ 인 정규분포로 수렴하며, 여기서 $\alpha = m_1/n$ 은 고정점의 비율이다.
• 고정점이 없을 때 $\alpha = 0$ 이면 분산은 $\frac{1}{12}$ 로, $S_n$ 에서의 고전적 결과와 일치하며, $\alpha$ 가 증가함에 따라 감소한다.
• $\alpha = 1/2$ 일 때, 분산은 $\frac{1 - 4(1/8) + 3(1/16)}{12} = \frac{1 - 0.5 + 0.1875}{12} = \frac{0.6875}{12} \approx 0.0573$ 로 계산되며, 변동성이 감소함을 보여준다.
• 정규화된 내림차순 수의 모멘트 생성 함수는 $\left| M_\lambda(s) - \exp\left\{ \frac{s^2}{24}(1 - 4\alpha^3 + 3\alpha^4) \right\} \right| \leq C(s) \frac{\log^3 n}{\sqrt{n}}$ 를 만족하여, 명시적인 오차 비율을 가진 균일한 수렴을 증명한다.
• 이 결과는 풀만과 킴의 정리들을 일반화한다: 큰 순환($\alpha \to 0$)과 고정점이 없는 겹치는 변환($\alpha = 1/2$)의 경우를 특수한 사례로 포함한다.
• 모든 공轭류에 대해 수렴이 균일하며, 오차 항은 $n$ 과 $\alpha = m_1/n$ 에만 의존하며, 다른 순환 구조의 세부 정보에는 영향을 받지 않는다.