[논문 리뷰] Asymptotic analysis of the cyclic structure of permutations

Robertas Petuchovas|arXiv (Cornell University)|2016. 11. 09.

Bayesian Methods and Mixture Models참고 문헌 30인용 수 3

한 줄 요약

이 박사학위논문은 대칭군 $\mathrm{S}_n$ 내에서 장기 또는 단기 순환을 갖지 않는 순열의 밀도에 대한 渐近 공식을 제시한다. 이는 안장점 분석과 라플라스 변환을 사용하여 유도되며, 랜덤 순열의 순환 수 분포와 포아송 근사 간의 전체 변동 거리에 대한 정밀한 渐近 추정치를 확립한다. 이는 딕맨 함수와 부크스타브 함수의 정교한 분석을 통해 이전 결과를 크게 향상시킨다.

ABSTRACT

This is my dissertation. Its research object is a symmetric group of permutations acting on a finite set. The density of permutations with a given cycle structure pattern is explored when the group order tends to infinity. New and sharper asymptotic formulas are obtained. The latter are applied in approximations of the cycle vector distribution of a random permutation. The saddle-point method, Lagrange-Bürmann inversion formula, Laplace transformations, and other techniques of complex analysis are applied.

연구 동기 및 목표

• 모든 $ r = r(n) \leq n $ 에 대해 $ \mathrm{S}_n $ 내에서 길이 $> r $ 인 순환을 갖지 않는 순열의 비율에 대한 渐近 공식 유도.
• 장기 순환을 갖지 않는 순열의 밀도에 대한 정밀한 渐近 추정치 확보. 이는 안장점 기법을 통해 기존 결과를 확장한다.
• 랜덤 순열의 순환 수 분포와 평균 $ 1/j $ 를 갖는 다변량 포아송 모델 간의 전체 변동 거리의 渐近 행동 규명.
• 순환 밀도 $ \nu(n,r) $ 와 $ \kappa(n,r) $ 의 추정치를 향상시켜 전체 변동 거리의 오차 항을 개선함으로써 기존의 경계를 정교화.
• 소수 인수 분해 분석에 사용되는 수론 기법이 순열 순환 구조 분석에 어떻게 적용 가능한지 탐구.

제안 방법

• 생성함수와 복소 변수 渐近 기법을 기반으로, 특정 길이의 순환을 피하는 순열의 수에 대한 渐近 전개를 도출하기 위해 안장점 분석을 적용한다.
• 딕맨 함수와 부크스타브 함수의 라플라스 변환을 사용하여 순환 수 분포의 渐近 분석을 정교화한다.
• 특히 정수의 소인수 분포를 연구하는 데 사용되는 해석적 수론 기법을 응용하여 순열 순환 구조에 적응한다.
• 핵심 구성 요소로 딕맨 함수 $ \varrho(v) $, 부크스타브 함수 $ \omega(v) $, 그리고 $ \omega(v) - e^{-\gamma} $ 의 진동 행동을 기록하는 함수 $ R(v) $ 를 사용한다.
• 합의 범위를 나누고, $ \varrho(v) $ 와 $ \omega(v) $ 의 변동성 및 연속성 성질로부터 유도된 오차 한계를 갖는 적분 근사 적용.
• 부크스타브 함수의 $ \omega(v) - e^{-\gamma} $ 의 부호 변화 수와 진동 수에 대한 경계를 활용하여 추정치를 조합함으로써, 관련 함수의 영점 분포에 관한 결과를 응용.

실험 결과

연구 질문

• RQ1 모든 $ r = r(n) \leq n $ 에 대해 $ n \to \infty $ 일 때 $ \mathrm{S}_n $ 내에서 길이 $ > r $ 인 순환을 갖지 않는 순열의 渐近 밀도는 무엇인가?
• RQ2 모든 $ r = r(n) \leq n $ 에 대해 $ \mathrm{S}_n $ 내에서 길이 $ \leq r $ 인 순환을 갖지 않는 순열의 渐近 밀도는 무엇인가?
• RQ3 랜덤 순열의 순환 수 벡터와 평균 $ 1/j $ 를 갖는 다변량 포아송 벡터 간의 전체 변동 거리가 $ n \to \infty $ 일 때 어떻게 渐近적으로 행동하는가?
• RQ4 전체 변동 거리의 渐近 공식에서 오차 항을 $ \nu(n,r) $ 와 $ \kappa(n,r) $ 의 추정치를 정교화함으로써 개선할 수 있는가?
• RQ5 소수 인수 분해 분석에 사용되는 기법들이 순열의 순환 구조 분석에 얼마나 적합하게 적용될 수 있는가?

주요 결과

• 장기 순환을 갖지 않는 순열의 밀도 $ \nu(n,r) $ 에 대한 渐近 공식이 모든 $ r = r(n) \leq n $ 에 대해 안장점 분석을 통해 확립되었으며, 이는 이전 모든 결과를 초월한다.
• 길이 $ \leq r $ 인 순환을 갖지 않는 순열의 밀도 $ \kappa(n,r) $ 에 대해, 이 학위 논문은 안장점 기법을 사용하여 이전 작업을 확장하고 정교화한 새로운 渐近 추정치를 제공한다.
• 전체 변동 거리 $ d_{TV}(n,r) $ 는 정밀한 渐近 공식을 만족하며, 주요 항은 $ \varrho(v) |\omega(u-v) - e^{-\gamma}| $ 의 적분을 포함하고 오차 항은 $ O\left( \frac{u^{3/2} \log^2(u+1)}{r} H(u) \right) $ 로 제어된다.
• 전체 변동 거리 $ d_{TV}(n,r) $ 의 오차 항은 $ O\left( \frac{u^{3/2} \log^2(u+1)}{r} H(u) \right) $ 로 표현되며, 여기서 $ H(u) \sim \int_1^u \varrho(u-v) R(v) dv $ 이고, $ R(v) $ 는 부크스타브 함수의 진동 행동을 기록한다.
• $ \omega(v) - e^{-\gamma} $ 가 $ [1,u] $ 에서의 부호 변화 수는 $ O(u) $ 이하로 제한되며, 이는 적분 근사를 통한 합계 추정에 적용 가능하게 한다.
• 결과들은 안장점 방법이 라플라스 변환과 수론 기법과 조합될 경우, 순열의 순환 구조 분석에 매우 강력한 프레임워크를 제공함을 보여준다.