[논문 리뷰] On the Limiting Distribution for the Longest Alternating Sequence in a Random Permutation

Harold Widom|ArXiv.org|2005. 11. 21.

Random Matrices and Applications참고 문헌 3인용 수 6

한 줄 요약

이 논문은 무작위 순열에서 가장 긴 교대 부분수열의 길이가 적절히 중심화되고 정규화될 때, 분산 8/45인 가우시안 분포로 수렴한다는 리처드 스탠리의 추측을 증명한다. 복소적분 표현을 이용한 생성함수 접근법과 최 steep 강하법을 통해, 최적점과 적분인수의 원점 근처에서의 점근적 행동을 분석함으로써, 극한 분포를 도출한다.

ABSTRACT

Recently Richard Stanley initiated a study of the distribution of the length as(w) of the longest alternating subsequence in a random permutation w from the symmetric group $S_n$. Among other things he found an explicit formula for the generating function (on n and k) for the probability that as(w) is at most k and conjectured that the distribution, suitably centered and normalized, tended to a Gaussian with variance 8/45. In this note we present a proof of the conjecture based on the generating function.

연구 동기 및 목표

• 무작위 순열에서 가장 긴 교대 부분수열 길이의 극한 분포가 가우시안임을 증명하는 것.
• n → ∞ 일 때 가장 긴 교대 부분수열 길이의 정확한 점근적 분포를 확립하는 것.
• 해석적 조합론과 복소해석학을 사용하여 극한 가우시안 분포의 추측된 분산 8/45를 검증하는 것.
• 적분 표현과 점근적 방법을 이용해 분포에 대한 생성함수를 엄밀히 분석하는 것.

제안 방법

• 논문은 스탠리가 유도한 분포 $ p_n(k) $ 를 위한 생성함수 $ B(x,y) $ 를 기초로 삼는다.
• 변수변환 $ y = \text{sech}\,u $ 를 적용하여 이중적분을 복소해석학에 적합한 형태로 변환한다.
• $ x $-적분은 잔여물 계산법을 통해 평가되며, 짝수 인덱스의 극만 기여함을 드러내며, $ \tanh u $ 와 $ (u + 2j\pi i)^{-n-1} $ 를 포함하는 $ j $ 에 대한 합으로 이어진다.
• 주요 항($ j = 0 $)에 대해 최 steep 강하법을 적용하며, 지수 $ \sigma(u) = \alpha \tanh u + \log \cosh u $ 의 최적점을 분석한다.
• 경로는 최적점 $ u_0 $ 를 통과하는 최 steep 강하 경로로 변형되며, $ u = 0 $ 근처의 점근적 전개를 사용해 주요 기여도를 추출한다.
• 결과로 얻어진 적분은 $ u = n^{-1/4} v^{1/2} $ 를 통해 스케일링되며, 지배수렴정리에 따라 극한을 취함으로써 가우시안 누적분포함수를 복원한다.

실험 결과

연구 질문

• RQ1 무작위 순열에서 가장 긴 교대 부분수열 길이의 극한 분포가 가우시안으로 수렴하는가?
• RQ2 이 부분수열 길이의 극한 가우시안 분포의 정확한 분산은 얼마인가?
• RQ3 스탠리의 생성함수로부터 복소해석학을 사용해 추측된 점근적 행동을 엄밀히 유도할 수 있는가?
• RQ4 잔여합의 고차항 기여가 점근적 분포에 어떤 영향을 미치는가?

주요 결과

• 극한 분포 $ K(t) $ 는 존재하며, $ K(t) = \frac{1}{\sqrt{\pi}} \int_{-\infty}^{t\sqrt{45}/4} e^{-s^2} ds $ 로 주어지며, 가우시안 형태를 확인한다.
• 극한 가우시안 분포의 분산은 정확히 $ 8/45 $ 로, 스탠리의 추측과 일치한다.
• $ j \neq 0 $ 에 대한 합을 포함하는 적분은 지수적으로 작고, 주요 점근적 행동에 영향을 주지 않는다.
• 적분의 주요 기여는 $ j = 0 $ 항에서 비롯되며, 이는 최 steep 강하법을 통해 점근적으로 평가되어 가우시안 극한을 도출한다.
• 최 steep 강하법은 최적점 $ u_0 $ 를 성공적으로 식별하였으며, 이는 중심화 값 $ \alpha = 2/3 $ 와 일치하며, 이는 $ 2n/3 $ 의 중심화에 해당한다.
• 최종 점근적 표현은 평균 $ 2n/3 $ 과 분산 $ 8n/45 $ 인 정규분포의 누적분포함수와 정확히 일치한다.