[논문 리뷰] Large deviations for the largest eigenvalues and eigenvectors of spiked random matrices

Giulio Biroli, Alice Guionnet|arXiv (Cornell University)|2019. 04. 03.

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

한 줄 요약

이 논문은 스파iked 가우시안 랜덤 행렬에서의 1차원 편향에 따른 최대 고유값과 그에 대응하는 고유벡터 성분의 동시 변동에 대한 대규모 이황 원리(LDP)를 수립한다. $\theta > 1$일 때, 고유벡터 성분 $u < 1 - 1/\theta$인 희귀 사건은 Wigner 반원법칙에서 두 번째 고유값이 분리됨을 유도하며, 이러한 이방행동을 지배하는 정확한 속도 함수를 유도한다. 이 결과는 위샤르트 집합으로 확장되고 다중 고유값의 경우에도 적용된다.

ABSTRACT

We consider matrices formed by a random $N imes N$ matrix drawn from the Gaussian Orthogonal Ensemble (or Gaussian Unitary Ensemble) plus a rank-one perturbation of strength $θ$, and focus on the largest eigenvalue, $x$, and the component, $u$, of the corresponding eigenvector in the direction associated to the rank-one perturbation. We obtain the large deviation principle governing the atypical joint fluctuations of $x$ and $u$. Interestingly, for $θ&gt;1$, in large deviations characterized by a small value of $u$, i.e. $u&lt;1-1/θ$, the second-largest eigenvalue pops out from the Wigner semi-circle and the associated eigenvector orients in the direction corresponding to the rank-one perturbation. We generalize these results to the Wishart Ensemble, and we extend them to the first $n$ eigenvalues and the associated eigenvectors.

연구 동기 및 목표

• 스파iked 랜덤 행렬 모델에서 최대 고유값과 그에 관련된 고유벡터 성분의 대규모 이황을 이해하는 것.
• 1차원 편향 방향에서 최대 고유값 $x$와 고유벡터 성분 $u$의 동시 이방행동을 특성화하는 것.
• 가우시안 직교/유니터리 집합(GOE/GUE)에서의 대규모 이황 분석을 위샤르트 집합과 첫 번째 $n$개의 고유값 및 고유벡터로 확장하는 것.
• 고차원 에너지 경관과 상관계수 행렬 분석에서 이러한 이황의 기하학적 및 통계적 의미를 명확히 하는 것.

제안 방법

• 스파iked GOE/GUE 행렬에서 최대 고유값 $x$와 고유벡터 성분 $u$의 공동 대규모 이황 원리(LDP)를 유도하기 위해 고유값-고유벡터 밀도의 명시적 계산을 수행한다.
• 고유값과 고유벡터의 명시적 공동 분포를 사용하여 $x$와 $u$의 공동 변동에 대한 양호한 속도 함수(GRF)를 계산한다.
• 두 번째로 큰 고유값 $y(u)$가 $u$의 함수로 어떻게 행동하는지 분석하여 LDP 내의 계층 전이를 식별한다. 특히 $y(u)$가 반원법칙의 지지역역을 떠나는 경우를 중심으로 분석한다.
• 이를 통해 $\theta > 1$일 때 속도 함수의 최솟값이 $u_\theta = \frac{\theta x - \sqrt{(\theta x)^2 - 4\theta^2}}{2\theta^2}$에서 발생함을 증명하며, 이 값은 $x \geq 2$일 때 $1/\theta$보다 작다.
• 스파iked 공분산 구조 하에서 위샤르트 집합에 동일한 방법을 적용하기 위해 고유값과 고유벡터의 공동 분포를 유도한다. 이는 위샤르트 행렬 밀도를 사용하고 고유값 순서에 조건을 붙여 수행한다.
• 첫 번째 $n$개의 고유값과 그에 관련된 고유벡터로도 동일한 LDP 프레임워크를 적용하여, 최대 고유값을 넘어서는 일반화된 결과를 도출한다.

실험 결과

연구 질문

• RQ1 스파iked GOE/GUE 행렬에서 최대 고유값과 그 고유벡터 성분의 공동 변동에 대한 대규모 이황 속도 함수는 무엇인가?
• RQ2 작은 고유벡터 성분 $u$를 가진 대규모 이황에서 두 번째로 큰 고유값은 어떻게 행동하는가?
• RQ3 최대 고유값이 반원법칙에서 분리되는 데에 필요한 편향 강도 $\theta$의 임계 임계값은 무엇인가?
• RQ4 신호가 표본 공분산 행렬에 임베딩된 위샤르트 집합으로의 결과 확장은 어떻게 이루어지는가?
• RQ5 스파iked 모델에서 첫 번째 $n$개의 고유값과 그에 관련된 고유벡터로 대규모 이황 원리가 일반화될 수 있는가?

주요 결과

• 모든 $\theta > 1$일 때, $u$가 증가함에 따라 두 번째로 큰 고유값 $y(u)$는 감소하며, $\theta(1 - u) < 1$일 때 반원법칙 지지역역(즉, 2 이하)을 떠나게 되어 고유값 스펙트럼 내 계층 전이가 발생함을 나타낸다.
• 속도 함수의 최솟값은 $u_\theta = \frac{\theta x - \sqrt{(\theta x)^2 - 4\theta^2}}{2\theta^2}$에서 발생하며, 이 값은 $x \geq 2$일 때 $1/\theta$보다 엄격히 작다. 또한 이 값은 $x \geq 1 + \theta^{-2}$일 때에만 비음수이다.
• 모든 $\theta \geq 1$이고 $x > \theta + 1/\theta$일 때, 속도 함수는 $u_\theta$까지 감소하다가 이후 증가하므로, $u_\theta$에서 유일한 최솟값을 가진다.
• 모든 $\theta < 1$일 때, 속도 함수의 최솟값은 $u = 0$ 또는 $u_\theta$에 위치하며, 이는 $u_\theta$가 양수이면 조건에 따라 달라진다. 이 경우 두 번째 고유값은 모든 $u$에서 2를 유지한다.
• 특히 $x_2 = 2$일 때, $u_2$에 대한 속도 함수의 최솟값은 $u_2 = 0$에서 도달한다. 이는 두 번째 고유값이 반원법칙의 가장자리에 있을 때 고유벡터 성분이 억제됨을 보여준다.
• 위샤르트 집합으로의 확장 결과로, 최대 고유값 $\lambda_M$과 $|\langle e, u_M \rangle|^2 = u$에 대한 공동 LDP를 도출하였으며, 이 속도 함수는 잔여 고유값에 대한 조건부 기대값과 수정된 역온도 매개변수 $\theta = \gamma/(1 + \gamma)$를 포함한다.