[논문 리뷰] On the Central Limit Theorem for the Eigenvalue Counting Function of Wigner and Covariance matrices

Sandrine Dallaporta|arXiv (Cornell University)|2010. 11. 17.

Random Matrices and Applications참고 문헌 18인용 수 2

한 줄 요약

이 논문은 타오–후의 4모멘트 정리에 의해 가우시안 에너지계에서의 결과를 확장하여, 위그너 행렬과 공분산 행렬의 고유값 수세기 함수에 대한 중심극한정리를 수립한다. 이는 반원법칙의 내부에서 고유값 수의 변동이 넓은 범주에 속하는 랜덤 행렬에 대해 정규분포로 수렴함을 보여주며, 가우시안성을 초월한 보편적인 극한 행동을 제공한다.

ABSTRACT

This note presents some central limit theorems for the eigenvalue counting function of Wigner matrices in the form of suitable translations of results by Gustavsson and O'Rourke on the limiting behavior of eigenvalues inside the bulk of the semicircle law for Gaussian matrices. The theorems are then extended to large families of Wigner matrices by the Tao and Vu Four Moment Theorem. Similar results are developed for covariance matrices.

연구 동기 및 목표

• 가우시안 위그너 행렬에서의 고유값 수세기 함수에 대한 중심극한정리를 비가우시안 위그너 행렬으로 확장하기.
• 유사한 조건 하에서 표본 공분산 행렬에 대해 유사한 결과를 수립하기.
• 타오–후의 4모멘트 정리를 통해 고유값 변동 극한의 보편성을 입증하기.
• 다양한 랜덤 행렬 에너지계에서 고유값 수의 극한 행동을 통합하기.

제안 방법

• 고유값 변동 분석의 기초로, 구스타프슨과 오라크의 가우시안 위그너 행렬에 관한 결과를 활용한다.
• 타오–후의 4모멘트 정리를 적용하여, 유한한 모멘트를 가진 일반 위그너 행렬로 가우시안 결과를 확장한다.
• 국소 반원법칙 추정치를 사용하여 고유값 수세기 함수의 변동을 중심극한정리 프레임워크로 변환한다.
• 유사한 모멘트 및 스펙트럼 가정 하에서 표본 고유값을 분석함으로써 이 방법을 공분산 행렬에 적응시킨다.
• 린데버그 유형의 추론과 모멘트 매칭을 사용하여 비가우시안 및 가우시안 에너지계 간의 차이를 제어한다.
• 정규화된 고유값 수세기 함수의 분포 수렴을 스펙트럼의 내부에서 정규분포로 확립한다.

실험 결과

연구 질문

• RQ1 비가우시안 경우를 초월하여 위그너 행렬의 고유값 수세기 함수 변동이 중심극한정리를 따르는가?
• RQ2 4모멘트 정리를 사용하여 가우시안 중심극한결과를 일반 위그너 에너지계로 확장할 수 있는가?
• RQ3 유사한 모멘트 조건 하에서 표본 공분산 행렬에 대해 유사한 중심극한정리가 성립하는가?
• RQ4 반원법칙의 내부에서 고유값 수세기 함수 변동의 보편성 클래스는 무엇인가?
• RQ5 가우시안성을 초월하여 고유값 수의 극한 분산은 어떤 방식으로 행렬 에너지계에 따라 달라지는가?

주요 결과

• 일반 위그너 행렬의 고유값 수세기 함수는 반원법칙의 내부에서 중심극한정리를 만족하며, 이는 이전의 가우시안 에너지계 결과를 확장한다.
• 고유값 수 변동의 극한 분산은 보편적이며, 동일한 모멘트 조건 하에서 가우시안 경우와 일치한다.
• 4모멘트 정리는 중심극한정리를 가우시안에서 비가우시안 위그너 행렬로 이전하는 데에 기여한다.
• 유사한 모멘트 및 스펙트럼 가정 하에서 표본 공분산 행렬에 대해서도 유사한 중심극한정리가 수립된다.
• 고유값 수세기 함수의 변동은 국소 반원법칙과 행렬 크기에 의해 결정되는 분산을 가진 정규분포로 수렴한다.
• 결과들은 다양한 랜덤 행렬 모델에서 고유값 수의 극한 행동이 보편적임을 입증한다.