[논문 리뷰] Eigenvectors of Sample Covariance Matrices: Universality of global fluctuations

Ali Bouferroum|arXiv (Cornell University)|2013. 06. 18.

Random Matrices and Applications참고 문헌 27인용 수 4

한 줄 요약

이 논문은 일반적인 모멘트 조건 하에서, 표본 공분산 행렬의 고유벡터의 전역적 변동성이 보편적임을 증명함으로써, 제곱 고유벡터 성분에서 구성된 이변량 랜덤 과정이 분포 수렴하여 브라운 운동 다리로 수렴함을 보였다. 이 결과는 큰 표본 공분산 행렬의 고유벡터가 점차적으로 유니터리 또는 올림프틱 군 위에서 하르 분포를 이룬다는 추측을 뒷받침한다.

ABSTRACT

In this paper, we prove a universality result of convergence for a bivariate random process defined by the eigenvectors of a sample covariance matrix. Let $V_n=(v_{ij})_{i \leq n,\, j\leq m}$ be a $n imes m$ random matrix, where $(n/m) o y > 0$ as $ n o \infty$, and let $X_n=(1/m) V_n V^{*}_n $ be the sample covariance matrix associated to $V_n \:$. Consider the spectral decomposition of $X_n$ given by $ U_n D_n U_n^{*}$, where $U_n=(u_{ij})_{n imes n}$ is an eigenmatrix of $X_n$. We prove, under some moments conditions, that the bivariate random process $ >_{(s,t)\in[0,1]^2} $ converges in distribution to a bivariate Brownian bridge. This type of result has been already proved for Wishart matrices (LOE/LUE) and Wigner matrices. This supports the intuition that the eigenmatrix of a sample covariance matrix is in a way "asymptotically Haar distributed". Our analysis follows closely the one of Benaych-Georges for Wigner matrices, itself inspired by Silverstein works on the eigenvectors of sample covariance matrices.

연구 동기 및 목표

• 표본 공분산 행렬의 고유벡터 전역적 변동성에 대한 보편성 결과를 확립하기 위해.
• 표본 공분산 행렬의 고유행렬이 점차적으로 유니터리 또는 올림프틱 군 위에서 하르 분포를 이룬다는 직관을 수식화하기 위해.
• 이전의 위셔 및 위셔트 행렬에 대한 결과를 i.i.d. 성분을 가진 일반적인 표본 공분산 행렬로 확장하기 위해.
• 제곱 고유벡터 성분에서 형성된 이변량 과정의 점근적 행동을 분석하기 위해.

제안 방법

• 고유벡터 성분의 블록에 걸쳐 $ |u_{ij}|^2 - 1/n $ 의 합을 기반으로 이변량 랜덤 과정 $ B_{s,t}^n $ 을 정의한다.
• 표본 공분산 행렬 $ X_n = (1/m)V_n V_n^* $ 에서 고유벡터를 추출하기 위해 스펙트럼 분해 $ X_n = U_n D_n U_n^* $ 를 사용한다.
• 모멘트 방법을 적용하고, 12차까지 일치하는 조건을 활용하여 하르 분포 사례와 비교한다.
• 고유벡터 성분의 $ L^4 $ 및 $ L^2 $ 유계성 조건을 이용하여 수렴 분포의 유일성과 코어성(타이트니스)을 증명한다.
• 하르 분포를 가진 행렬의 경우 $ B_{s,t}^n $ 이 알려진 공분산 구조를 가진 이변량 브라운 운동 다리로 약한 수렴함을 이용한다.
• 점프의 균일한 제어 및 모멘트 유계성 조건을 통해 $ B_{s,t}^n $ 이 브라운 운동 다리로 분포 수렴함을 확립한다.

실험 결과

연구 질문

• RQ1 표본 공분산 행렬의 고유벡터 구조는 성분의 분포에 관계없이 보편적인 변동 행동를 보여주는가?
• RQ2 표본 공분산 행렬의 고유벡터 성분의 전역적 변동은 기저 성분 분포에 독립적인 보편적 극한 과정으로 묘사될 수 있는가?
• RQ3 표본 공분산 행렬의 고유행렬은 점차적으로 유니터리 또는 올림프틱 군 위에서 하르 분포를 이룬다 할 수 있는가?
• RQ4 성분의 모멘트에 어떤 조건이 성립하면 브라운 운동 다리로의 분포 수렴이 보장되는가?
• RQ5 최소한의 모멘트 가정 하에서 이변량 과정 $ B_{s,t}^n $ 의 수렴을 어떻게 확립할 수 있는가?

주요 결과

• 이변량 과정 $ B_{s,t}^n = \sqrt{\frac{\beta}{2}} \sum_{i \leq \lfloor ns \rfloor, j \leq \lfloor nt \rfloor} (|u_{ij}|^2 - 1/n) $ 은 $ n \to \infty $ 일 때 분포 수렴하여 이변량 브라운 운동 다리로 수렴한다.
• 극한 과정의 공분산은 $ \mathbb{E}[B_{s,t} B_{s',t'}] = (\min\{s,s'\} - ss')(\min\{t,t'\} - tt') $ 로, 표준 브라운 운동 다리의 특성과 일치한다.
• 12차까지 일치하는 모멘트 조건이 성립함으로써, 이 조건을 4차까지로 약화시킬 가능성도 제기된다.
• $ B^n $ 의 분포 수열은 $ C $-타이트하다. 즉, $[0,1]^2$ 에서 연속 함수 공간에서 유일한 축적점이 존재한다.
• $ n|u_{ij}|^2 - 1 $ 의 $ L^4 $-유계성과 블록 합의 $ L^2 $-유계성이 변동성에 대한 균일한 제어를 보장한다.
• 이 결과는 표본 공분산 행렬의 고유행렬이 점차적으로 하르 분포를 이룬다는 추측을 뒷받침하며, 기존의 위셔 및 위셔트 행렬 결과를 확장한다.