교환 순열 다중체의 일반화된 Ewens 측도에 대한 중심극한정리

초록

이 논문은 서로 교환하는 ℓ개의 순열을 무작위로 선택했을 때, 그들이 생성하는 군의 궤도(공동 궤도) 수 Kₗ,ₙ에 대한 중심극한정리를 증명한다. 일반적인 균등 샘플링(x=1)뿐 아니라, 각 궤도에 가중치 x를 부여하는 Ewens‑유사 측도에서도 평균·분산의 정확한 1차항을 구하고, 정규화된 변수는 표준 정규분포로 수렴함을 보인다. 증명은 다중 극점 상황에 대한 사다점(saddle‑point) 분석을 이용하며, Hardy‑Ramanujan, Meinardus 정리와 연결된다.

상세 분석

본 연구는 ℓ≥2인 경우에 대해, ℓ개의 서로 교환하는 순열 (σ₁,…,σₗ)이 생성하는 부분군 ⟨σ₁,…,σₗ⟩의 궤도 수 κₗ,ₙ을 무작위 변수 Kₗ,ₙ으로 두고, Ewens 측도의 일반화 Pₗ,ₙ,ₓ(·)를 정의한다. 여기서 x>0은 각 공동 궤도에 부여되는 가중치이며, x=1이면 균등 분포가 된다. 논문은 먼저 Hₗ,ₙ(x)=n!⁻¹∑ₖA(ℓ,n,k)xᵏ 라는 다항식의 생성함수 Gₗ(x,z)=∑ₙHₗ,ₙ(x)zⁿ을 Bryan‑Fulman 공식으로 표현하고, Cauchy 적분을 통해 Hₗ,ₙ(x)의 계수를 추출한다. 사다점 분석에서는 적당한 반지름 r=e^{-t}를 선택해 적분을 주축(arcs)와 부축(minor arc)으로 분리하고, t를 최적화함으로써 로그 Hₗ,ₙ(x)의 1차항을 ℓ·(xK_ℓ)^{1/ℓ}·n^{ℓ−1}/ℓ 로 얻는다. 여기서 K_ℓ=(ℓ−1)!·∏_{j=2}^{ℓ}ζ(j)이며, ζ는 리만 제타 함수이다.

다음으로, x를 e^{s bₙ}·x 로 변형한 비균등 시퀀스에 대해 동일한 사다점 절차를 적용한다. 이때 bₙ은 (xK_ℓ)^{1/(2ℓ)}·(ℓ−1)^{1/2}·n^{(ℓ−1)/(2ℓ)}·(1+o(1)) 로 정의되며, 이는 평균·분산의 스케일링에 정확히 일치한다. 로그 모멘트 생성함수 ln E