[논문 리뷰] A central limit theorem for the determinant of a Wigner matrix

Terence Tao, Van Vu|arXiv (Cornell University)|2011. 11. 27.

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

한 줄 요약

이 논문은 Wigner 행렬의 로그 행렬식에 대해, GUE 또는 GOE와 4차 모멘트 일치 조건 하에서 중심극한정리(central limit theorem)를 수립한다. 로그 행렬식은 GUE의 경우 $\mathcal{N}(\log\sqrt{n!} - \frac{1}{2}\log n, \frac{1}{2}\log n)$, GOE의 경우 $\mathcal{N}(\log\sqrt{n!} - \frac{1}{4}\log n, \frac{1}{4}\log n)$로 분포 수렴함을 보이며, 이는 비대칭 성분의 1차 및 2차 모멘트, 대칭 성분의 4차 모멘트 일치 조건 하에서 성립한다.

ABSTRACT

We establish a central limit theorem for the log-determinant $\log|\det(M_n)|$ of a Wigner matrix $M_n$, under the assumption of four matching moments with either the GUE or GOE ensemble. More specifically, we show that this log-determinant is asymptotically distributed like $N(\log \sqrt{n!} - 1/2 \log n, 1/2 \log n)_\R$ when one matches moments with GUE, and $N(\log \sqrt{n!} - 1/4 \log n, 1/4 \log n)_\R$ when one matches moments with GOE.

연구 동기 및 목표

• 모멘트 일치 조건 하에서 Wigner 행렬의 로그 행렬식에 대해 중심극한정리를 수립하기 위해.
• 행렬 $M_n$이 GUE 또는 GOE와 외진 성분에서 4차, 대각 성분에서 2차 수준에서 일치할 경우 $\log|\det M_n|$의 점근적 분포를 규명하기 위해.
• 기존의 i.i.d. 랜덤 행렬 결과를 행렬의 행 간 독립성이 성립하지 않는 헤르미트 행렬의 경우로 확장하기 위해.
• 완전한 독립성 조건이 없이도 로그 행렬식의 점근적 분포를 규명하기 위해, 해저드 스위칭(resolvent swapping) 및 모멘트 일치 기법을 활용하기 위해.

제안 방법

• 일반 Wigner 행렬의 로그 행렬식을 GUE 또는 GOE 행렬의 그것과 비교하기 위해 해저드 스위칭 기법을 사용한다.
• 외진 성분에 대해 4차 모멘트까지, 대각 성분에 대해 2차 모멘트까지 일치시키는 모멘트 일치 기법을 적용하여 분포의 차이를 제어한다.
• 순열의 순환형태를 통한 조합적 분석을 통해 행렬식 로그의 2차 모멘트를 계산한다.
• 특히 2-순환형을 갖는 순열에 대한 합을 유계화하기 위해 생성함수 및 이중세기(雙重數え上げ) 기법을 활용한다.
• 스털링 근사와 고정된 순환 수를 갖는 순열의 점근적 수를 활용하여 점근적 분산을 도출한다.
• 누적량을 제어하고, 약한 수렴을 위한 린데베르크-플러러 타입의 추론을 통해 수렴성의 분포 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 GUE와 4차 수준에서 일치하는 Wigner 행렬 $M_n$에 대해 $\log|\det M_n|$의 점근적 분포는 무엇인가요?
• RQ2 로그 행렬식의 점근적 평균과 분산은 기저가 되는 엔세임(GUE 대비 GOE)에 따라 어떻게 달라지나요?
• RQ3 로그 행렬식에 대한 중심극한정리는 i.i.d. 행렬에서 확장하여, 서로 의존성이 있는 Wigner 행렬으로 일반화될 수 있는가요?
• RQ4 행렬 원소의 4차 모멘트는 로그 행렬식의 점근적 분포를 결정하는 데 어떤 역할을 하나요?
• RQ5 GUE/GOE 가정을 얼마나 완화해도 동일한 점근적 행동을 유지할 수 있나요?

주요 결과

• 행렬 $M_n$이 GUE와 4차 수준에서 일치할 경우, 로그 행렬식 $\log|\det M_n|$은 평균 $\log\sqrt{n!} - \frac{1}{2}\log n$, 분산 $\frac{1}{2}\log n$인 정규분포로 수렴한다.
• GOE 일치 조건에서는 점근적 분포가 $\mathcal{N}(\log\sqrt{n!} - \frac{1}{4}\log n, \frac{1}{4}\log n)$로 나타나며, 이는 서로 다른 4차 모멘트 구조를 반영한다.
• 외진 성분에서 4차 모멘트, 대각 성분에서 2차 모멘트까지 일치하는 조건 하에서 중심극한정리가 성립함이 입증된다.
• 행렬식의 절댓값의 2차 모멘트는 점근적으로 $n!$과 일치하며, 이는 가우시안 행렬에 대한 알려진 항등식과 일致한다.
• 2-순환형을 갖는 순열의 기여를 제어함으로써, 그 총 기여 무게가 $O(n \cdot n!)$이며, $m \leq n/4$일 경우 $\gg n \cdot n!$임을 보였다.
• 첫 4차 모멘트가 GUE 또는 GOE와 일치하는 비가우시안 Wigner 행렬로도 결과가 확장됨이 확인되었다.