[논문 리뷰] Cycle type of random permutations: A toolkit

Kevin Ford|arXiv (Cornell University)|2021. 04. 24.

Analytic Number Theory Research참고 문헌 51인용 수 6

한 줄 요약

이 논문은 대칭군 $\mathcal{S}_n$ 내에서 랜덤 순열의 순환 유형을 분석하기 위한 조합적이고 확률론적인 도구를 제시한다. 균일하고 정량적인 결과를 강조하며 명시적인 오차 한계를 제공한다. 각 길이 $j$의 순환 수는 $1/j$를 파라미터로 하는 포아송 분포와 근사적으로 일치하며, 서로소인 순환 길이 집합에 대한 수는 渐近적으로 독립적이다. 수렴 속도는 기본적인 확률론적 및 해석적 방법을 통해 유도된다.

ABSTRACT

We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.

연구 동기 및 목표

• 랜덤 순열의 순환 유형에 대한 기본적인 분포 결과를 통합하고 접근하기 쉬운 참고 자료로 제공하기 위해.
• 복잡한 생성 함수나 재귀 관계에 의존하지 않는 일반적이고 유연한 방법을 개발하기 위해.
• 순환 수의 분포, 특히 공동 및 조건부 분포에 대한 정량적이고 균일한 경계를 설정하기 위해.
• 구조적 차이를 고려하면서도 수론적 유사성(예: 소인수 분해)을 제시하기 위해.
• 조합론, 군론, 수론 분야의 응용에 적합한 자가 포함된 기초적인 도구 세트를 제공하기 위해.

제안 방법

• 포아송 근사 모델을 사용: $C_j(\sigma)$는 $\text{Poisson}(1/j)$와 근사되며, 농도 불등식을 통해 오차 경계가 유도된다.
• 체인-스타인 방법과 국소 중심극한정리를 적용하여 순환 수가 포아송 기대값에서 벗어나지 않도록 제어한다.
• 스털링 공식과 오일러-매클르린 합공식을 사용하여 포아송 확률의 합을 근사하고 정규분포와 연관시킨다.
• 항등식 $\mathbb{P}_n(C_I(\sigma) = k) \approx \exp\left(-H(I)\right) \frac{H(I)^k}{k!}$를 사용하며, 여기서 $H(I) = \sum_{j \in I} \frac{1}{j}$이며, 명시적인 오차 항이 포함된다.
• 꼬리 추정과 적분 비교를 통해 포아송 분포에 대한 정규 근사의 오차를 유도한다.
• 딕먼 함수 $\rho(u)$에 대한 재귀적 추정을 사용하여 모든 $j$와 집합 $I$에 대해 순환 수 분포의 상대 오차에 대한 균일한 경계를 설정한다.

실험 결과

연구 질문

• RQ1 균일하게 랜덤한 순열 $\sigma \in \mathcal{S}_n$에서 길이 $j$의 순환 수의 분포는 무엇인가요?
• RQ2 서로소 집합 $I \subseteq [n]$에 대해 $C_I(\sigma)$의 수는 어떻게 함께 행동하며, 그 渐近적 독립성의 속도는 무엇인가요?
• RQ3 $C(\sigma) = k$를 조건으로 하여 $C_I(\sigma)$의 조건부 분포는 무엇인가요?
• RQ4 포아송 모델이 $C_I(\sigma)$의 분포를 얼마나 잘 근사하는가? 정량적 오차 경계는 무엇인가요?
• RQ5 랜덤 순열에서 가장 작은 순환과 가장 큰 순환의 분포는 무엇이며, $n$에 따라 어떻게 척도화되나요?

주요 결과

• 길이 $j$의 순환 수 $C_j(\sigma)$는 총 변화 거리에서 오차 $O(1/j^2)$로 $\text{Poisson}(1/j)$와 渐近적으로 동일하게 분포한다.
• 모든 유한 집합 $I$에 대해 $C_I(\sigma)$의 분포는 $H(I) = \sum_{j \in I} \frac{1}{j}$를 파라미터로 하는 포아송 분포와 渐近적으로 일치하며, $H(I) \to \infty$일 때 오차는 $O(1/H(I)^3)$이다.
• 서로소 $I_1, \dots, I_k$에 대해 $C_{I_1}(\sigma), \dots, C_{I_k}(\sigma)$의 순환 수는 $O(1/\min H(I_j)^3)$의 오차로 渐近적으로 독립적이다.
• 전체 순환 수 $C(\sigma)$는 중심극한정리를 만족한다: 분포적으로 $\frac{C(\sigma) - H_n}{\sqrt{H_n}} \to N(0,1)$이며, 코모고로프 거리에서 오차는 $O(1/\sqrt{H_n})$이다.
• 가장 큰 순환 길이의 분포는 $n/e$ 근처에 집중되어 있으며, 높은 확률로 $\text{가장 큰 순환} \leq n(1 - \log 2) + o(n)$이다.
• $H(I) \to \infty$일 때, $\sigma$가 집합 $I$에 속한 길이의 순환을 가지지 않을 확률은 $\exp\left(-H(I)\right) + O\left(\frac{1}{H(I)^3}\right)$이다.