[논문 리뷰] A central limit theorem for descents and major indices in fixed conjugacy classes of $S_n$

Gene B. Kim, Sang‐Chul Lee|ArXiv.org|2018. 11. 12.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 대칭군 $S_n$ 의 고정된 공轭류에서 내림차순과 주요 지표의 공동 분포에 대한 중심극한정리를 수립한다. Curtiss의 모멘트 생성함수에 대한 정리의 수정과 공동 생성함수에 대한 균일한 추정을 통해, 정규화된 내림차순과 주요 지표 통계량이 고정점 밀도에 따라 달라지는 이元정규분포로 수렴함을 증명한다.

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. Kim and Lee showed, by using Curtiss' theorem and moment generating functions, how to prove a central limit theorem for descents in arbitrary conjugacy classes of $S_n$. In this paper, we prove a modified version of Curtiss' theorem to shift the interval of convergence in a more convenient fashion and use this to show that the joint distribution of descents and major indices is asymptotically bivariate normal.

연구 동기 및 목표

• 고정된 $S_n$ 공轭류에서 내림차순과 주요 지표의 공동 분포에 대한 중심극한정리를 수립하기 위해.
• 이전의 내림차순에 대한 점근 정규성 결과를 내림차순과 주요 지표를 모두 포함하는 이변량 경우로 확장하기 위해.
• 수렴 구간을 개선한 다변량 수렴 분석에 적용 가능한 모멘트 생성함수에 대한 Curtiss의 정리의 수정된 버전을 개발하기 위해.
• 고정점 밀도 제약 조건을 갖는 공轭에 관하여 불변 부분집합으로의 일반화를 가능하게 하는 공동 분포의 모멘트 생성함수에 대한 균일한 추정을 제공하기 위해.

제안 방법

• 조합적 생성함수 기법을 사용하여 공轭류 $\mathcal{C}_\lambda$ 위에서 내림차순과 주요 지표의 공동 생성함수에 대한 닫힌 형태 표현식을 유도하기 위해.
• 모멘트 생성함수의 점별 수렴이 수렴 분포를 이끌어내는 데 가능하게 하며, 수렴 영역에 대한 제어를 향상시킨 Curtiss의 정리의 수정된 버전을 도입하기 위해.
• 변수 변경과 점근 분석을 적용하여 생성함수를 가우시안 적분 형태로 변형함으로써 정규화된 통계량의 모멘트 생성함수 추정을 가능하게 하기 위해.
• 고정점 밀도 $\alpha_{1,n} \to \alpha \in [0,1]$ 라는 가정 하에, 정규화된 내림차순과 주요 지표 벡터의 모멘트 생성함수에 대한 균일한 유계를 확립하고 오차 항 $\mathcal{O}(n^{-1/6})$ 를 포함하기 위해.
• 균일한 추정을 사용하여 평균이 0이고 공분산 행렬 $\Sigma_\alpha$ 가 고정점 밀도의 극한값 $\alpha$ 에만 의존하는 이원정규분포로 수렴 분포가 성립함을 증명하기 위해.
• 모든 원소가 동일한 수의 고정점을 갖는 공轭에 관하여 불변 부분집합 $A_n \subset S_n$ 으로 결과를 일반화하기 위해, 동일한 극한 밀도 조건을 유지함.

실험 결과

연구 질문

• RQ1 고정된 $S_n$ 공轭류에서 내림차순과 주요 지표의 공동 분포는 $n \to \infty$ 일 때 이원정규분포로 수렴하는가?
• RQ2 모멘트 생성함수가 이동된 영역에서 점별 수렴하는 경우, 다변량 통계량의 수렴 분포를 확보하기 위해 Curtiss의 정리의 수정된 버전을 사용할 수 있는가?
• RQ3 고정점 밀도 $\alpha_{1,n} \to \alpha$ 인 공轭류에서 내림차순과 주요 지표의 공동 분포의 점근 평균과 공분산 구조는 무엇인가?
• RQ4 순열에 고정점이 존재할 경우, 내림차순과 주요 지표 통계량의 극한 분포에 어떤 영향을 미치는가?
• RQ5 이 결과는 공轭류를 초월하여 $S_n$ 의 더 넓은 범위의 공轭에 관하여 불변 부분집합으로 일반화될 수 있는가?

주요 결과

• 모든 고정된 $S_n$ 공轭류에서 정규화된 내림차순과 주요 지표의 공동 분포는 고정점 밀도의 극한값 $\alpha$ 에만 의존하는 공분산 행렬 $\Sigma_\alpha$ 를 갖는 이원정규분포로 수렴한다.
• 정규화된 내림차순 통계량의 극한 평균은 $\frac{1 - \alpha^2}{2}n$ 이며, 정규화된 주요 지표의 극한 평균은 $\frac{1 - \alpha^2}{4}n^2$ 이며, 각각 $n^{1/2}$ 과 $n^{3/2}$ 의 스케일링 인자에 해당한다.
• 모멘트 생성함수의 수렴이 이동된 구간에서 이루어지더라도 수렴 분포를 이끌어내는 데 가능하게 하는 Curtiss의 정리의 수정된 버전이 개발되었으며, 이는 다변량 점근 분석에 대한 적용 가능성을 향상시킨다.
• 오차 항 $\mathcal{O}(n^{-1/6})$ 를 포함하는 공동 분포의 모멘트 생성함수에 대한 균일한 추정이 확립되었으며, 이는 중심극한정리의 증명에 충분하다.
• 결과는 모든 원소가 동일한 수의 고정점을 갖는 공轭에 관하여 불변 부분집합 $A_n \subset S_n$ 으로 일반화되었으며, 동일한 극한 이원정규분포를 얻는다.
• 저자들은 점근 평균에 나타나는 $1 - \alpha^2$ 요소가 더 깊은 조합론적 해석을 가질 수 있을 것이라 추측하며, 아직 설명되지 않은 상태이다.