[논문 리뷰] Random matrices: Localization of the eigenvalues and the necessity of four moments

Terence Tao, Van Vu|arXiv (Cornell University)|2010. 05. 17.

Random Matrices and Applications참고 문헌 15인용 수 20

한 줄 요약

이 논문은 Wigner 랜덤 행렬의 고유값 국소화에 대해 정밀한 경계를 설정하며, 세 번째 모멘트가 0일 때, 고유값의 기대 제곱편차가 부스터 영역에서 $ O(n^{-c}) $ 스케일로 변화함을 보여준다. 또한 Four Moment Theorem에서의 네 번째 모멘트 조건이 필수적임을 입증하며, 네 번째 모멘트의 변화가 평균 고유값을 $ \Theta(n^{-1/2}) $ 만큼 이동시키며, $ n^{-1/2} $ 스케일에서 네 번째 모멘트에 대한 정밀한 점근적 의존성을 추측한다.

ABSTRACT

Consider the eigenvalues $λ_i(M_n)$ (in increasing order) of a random Hermitian matrix $M_n$ whose upper-triangular entries are independent with mean zero and variance one, and are exponentially decaying. By Wigner's semicircular law, one expects that $λ_i(M_n)$ concentrates around $γ_i \sqrt n$, where $\int_{-\infty}^{γ_i} ρ_{sc} (x) dx = \frac{i}{n}$ and $ρ_{sc}$ is the semicircular function. In this paper, we show that if the entries have vanishing third moment, then for all $1\le i \le n$ $$\E |λ_i(M_n)-\sqrt{n} γ_i|^2 = O(\min(n^{-c} \min(i,n+1-i)^{-2/3} n^{2/3}, n^{1/3+\eps})) ,$$ for some absolute constant $c>0$ and any absolute constant $\eps>0$. In particular, for the eigenvalues in the bulk ($\min \{i, n-i\}=Θ(n)$), $$\E |λ_i(M_n)-\sqrt{n} γ_i|^2 = O(n^{-c}). $$ oindent A similar result is achieved for the rate of convergence. As a corollary, we show that the four moment condition in the Four Moment Theorem is necessary, in the sense that if one allows the fourth moment to change (while keeping the first three moments fixed), then the \emph{mean} of $λ_i(M_n)$ changes by an amount comparable to $n^{-1/2}$ on the average. We make a precise conjecture about how the expectation of the eigenvalues vary with the fourth moment.

연구 동기 및 목표

• 세 번째 모멘트가 0일 때 Wigner 행렬의 고유값에 대한 날카운 농도 경계를 설정하는 것.
• 고유값 기대값이 행렬 원소의 네 번째 모멘트에 어떻게 의존하는지 정량화하는 것.
• Four Moment Theorem에서 네 번째 모멘트 조건이 필수적임을, 단지 충분한 것이 아니라 입증하는 것.
• 네 번째 모멘트 변화에 의한 기대 고유값 이동에 대한 정밀한 점근 공식을 추측하는 것.

제안 방법

• Talagrand의 농도 부등식과 정교한 모멘트 추정을 사용하여 고유값의 고전적 위치에서의 제곱편차의 두 번째 모멘트를 경계한다.
• 2-적합한 경로와 트리 분해를 통한 모멘트의 조합적 전개를 적용하여 고차 누적량 기여도를 분석한다.
• 고유값 이동과 네 번째 모멘트를 해석적 계속 및 코시 적분 공식을 통해 연결하는 함수 $ g(x) = \frac{1}{2\pi} \frac{x^4 - 4x^2 + 2}{\sqrt{4 - x^2}} $를 포함하는 모멘트 공식을 유도한다.
• 네 번째 모멘트 기여도를 분리하기 위해 정규화된 이동량 $ s_i = \sqrt{n}(\mathbb{E}\lambda_i - \mathbb{E}\lambda_i') - \frac{1}{4}(\gamma_i^3 - 2\gamma_i)\kappa_0 $을 도입한다.
• 리만 적분과 트라프레조이드 규칙 근사치를 사용하여 이산 고유값 합을 반원 밀도 $ \rho_{sc}(x) $에 대한 적분과 연결한다.
• 절단선 $[-2,2]$을 넘는 점프 공식을 사용하여 네 번째 모멘트 보정의 모멘트 생성 함수를 유도한다.

실험 결과

연구 질문

• RQ1 행렬 원소의 네 번째 모멘트는 부스터 영역에서 고유값의 기대 위치에 어떻게 영향을 미치는가?
• RQ2 네 번째 모멘트 변화에 의한 고유값 평균 이동의 정밀한 스케일은 무엇인가?
• RQ3 Four Moment Theorem에서 네 번째 모멘트 조건은 필수적인가, 아니면 단지 충분한가?
• RQ4 고유값 $ \mathbb{E}\lambda_i $에 대해 $ n^{-1/2} $ 스케일에서 네 번째 모멘트를 포함하는 날카운 점근 전개를 유도할 수 있는가?
• RQ5 모멘트 전개에서의 고차 누적량과 경로 분해는 고유값 국소화에 어떻게 기여하는가?

주요 결과

• 세 번째 모멘트가 0인 Wigner 행렬에 대해, 고유값의 기대 제곱편차는 부스터 영역에서 어떤 절대 상수 $ c > 0 $ 에 대해 $ O(n^{-c}) $ 이다.
• 고유값이 고전적 위치로 수렴하는 속도는 기대값에서 $ O(n^{-c}) $ 이며, 이는 이전의 $ O(n^{1/2 + \varepsilon}) $ 경계를 향상시킨다.
• 첫 번째 세 개의 모멘트가 고정되어 있을 때 네 번째 모멘트가 변할 수 있다면, 평균 고유값은 평균적으로 $ \Theta(n^{-1/2}) $ 이동한다.
• 논문은 $ \mathbb{E}\lambda_i = \sqrt{n}\gamma_i + n^{-1/2}C_{i,n} + \frac{1}{4\sqrt{n}}(\gamma_i^3 - 2\gamma_i)\mathbb{E}\eta^4 + O_{\delta}(n^{-1/2 - c}) $ 라는 공식을 추측하며, 네 번째 모멘트에 대한 명시적 의존성을 보여준다.
• 분석은 네 번째 모멘트 보정이 특정 스펙트럼 함수 $ g(x) $ 에서 기인하며, 이는 복소 평면에서의 해석적 계속 및 점프 공식을 통해 도출됨을 드러낸다.
• 결과는 Four Moment Theorem에서 네 번째 모멘트 조건이 국소 고유값 통계의 보편성에 대해 필수적이며, 뿐만 아니라 충분함을 의미한다.