[논문 리뷰] Outliers in the Single Ring Theorem

Florent Benaych-Georges, Jean Rochet|arXiv (Cornell University)|2013. 08. 14.

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

한 줄 요약

이 논문은 등방성 비에르미트 랜덤 행렬의 유한 랭크 변형을 연구하며, 고립된 고유값(단일 고리 외부의 고유값)이 변형 행렬 P의 고유값이 단일 고리의 스펙트럼 지지부를 초월할 경우에만 발생함을 증명한다. 또한 이러한 고립된 고유값의 변동은 비정규 분포이며, P의 재귀 기저 표준형에 의해 결정되며, 서로 다른 수렴 속도와 장거리 상관관계를 가질 수 있음을 규명한다.

ABSTRACT

This text is about spiked models of non Hermitian random matrices. More specifically, we consider matrices of the type $A+P$, where the rank of $P$ stays bounded as the dimension goes to infinity and where the matrix $A$ is a non Hermitian random matrix, satisfying an isotropy hypothesis: its distribution is invariant under the left and right actions of the unitary group. The macroscopic eigenvalue distribution of such matrices is governed by the so called Single Ring Theorem, due to Guionnet, Krishnapur and Zeitouni. We first prove that if $P$ has some eigenvalues out of the maximal circle of the single ring, then $A+P$ has some eigenvalues (called outliers) in the neighborhood of those of $P$, which is not the case for the eigenvalues of $P$ in the inner cycle of the single ring. Then, we study the fluctuations of the outliers of $A$ around the eigenvalues of $P$ and prove that they are distributed as the eigenvalues of some finite dimensional random matrices. Such facts had already been noticed for Hermitian models. More surprising facts are that outliers can here have very various rates of convergence to their limits (depending on the Jordan Canonical Form of $P$) and that some correlations can appear between outliers at a macroscopic distance from each other (a fact already noticed by Knowles and Yin in the Hermitian case, but only in the case of non Gaussian models, whereas spiked Gaussian matrices belong to our model and can have such correlated outliers). Our first result generalizes a previous result by Tao for matrices with i.i.d. entries, whereas the second one (about the fluctuations) is new.

연구 동기 및 목표

• 유한 랭크 변형 하에서 비에르미트 랜덤 행렬 모델의 고유값의 거시적 및 중간 척도 행동을 이해하기 위해.
• A가 등방성 랜덤 행렬이고 P가 유한 랭크 변형일 때, A + P의 스펙트럼에 고립된 고유값이 나타나는 조건을 규명하기 위해.
• 이러한 고립된 고유값의 점근적 변동을 특성화하기 위해, 특히 그 비정규성과 P의 재귀 기저 표준형에 대한 의존성을 다루기 위해.
• 에르미트 스피iked 모델에서 알려진 결과를 비에르미트 설정으로 확장하기 위해, 특히 수렴 속도와 먼 거리에 있는 고립된 고유값 간의 상관관계에 초점을 맞추기 위해.

제안 방법

• 분석은 등방성 비에르미트 행렬 A의 점근적 스펙트럼 분포를 제어하는 단일 고리 정리에 기반하며, 고유값이 링 형태 영역에 집중됨을 보여준다.
• 변형 행렬 P는 유계 operator 노름과 유한 랭크를 가지며, 그 고유값이 잠재적 고립된 고유값의 위치를 결정한다.
• 핵심 기법으로는 하르 분포를 가진 유니터리 행렬의 모멘트를 계산하기 위해 위ン게르텐 미적분을 사용하며, 이는 스펙트럼 추적의 점근적 기대값 유도에 기여한다.
• 저자들은 P의 재귀 블록에 대한 의존성을 분석함으로써, 고유값의 연관 모멘트를 분석하여 고립된 고유값의 두 번째 순서 변동에 대한 정확한 표현을 도출한다.
• 고립된 고유값이 그 한계에 수렴하는 속도는 P의 재귀 블록 크기에 따라 달라지며, 크기가 p인 블록에 대해서는 속도가 n^{-1/(2p)}임을 보였다.
• 고립된 고유값 간의 매크로스코픽 거리 상관관계는 변형의 구조를 통해 발생함을 보였으며, 이는 이전에 비정규 분포 모델에서만 관찰된 바 있었다.

실험 결과

연구 질문

• RQ1 A가 등방성 비에르미트 랜덤 행렬이고 P가 유한 랭크 변형일 때, A + P의 스펙트럼에 고립된 고유값이 나타나는 조건은 무엇인가?
• RQ2 왜 고립된 고유값은 단일 고리의 외곽 경계를 초월한 P의 고유값에서만 나타나며, 내부 원 안에 있는 고유값에서는 나타나지 않는가?
• RQ3 비에르미트 케이스에서 고립된 고유값의 변동은 에르미트 스피iked 모델에서 관찰된 정규 분포와 어떻게 다를까?
• RQ4 고립된 고유값의 수렴 속도는 변형 행렬 P의 재귀 기저 표준형에 어떻게 의존하는가?
• RQ5 기저 행렬 집합이 정규 분포일지라도, 비에르미트 스피iked 모델에서 장거리 상관관계를 가진 고립된 고유값이 발생할 수 있는가?

주요 결과

• A + P의 고립된 고유값은 단일 고리의 외부 반지름을 초월한 P의 고유값 주변에 나타나며, 내부 원 안에 있는 P의 고유값에서는 고립된 고유값이 발생하지 않는다.
• 주어진 고유값 θ로 수렴하는 고립된 고유값의 수는 P의 재귀 기저 표준형에서 θ의 대수적 중복도와 같다.
• 고립된 고유값이 그 한계 위치로 수렴하는 속도는 재귀 블록의 크기에 따라 달라지며, 크기가 p인 블록에 대해서는 속도가 n^{-1/(2p)}이다.
• 고립된 고유값의 변동은 비정규 분포이며, 유한 차원 랜덤 행렬의 고유값 분포와 동일하며, 점근적 분포는 P의 재귀 기저 구조에 따라 달라진다.
• 매크로스코픽 거리에 있는 고립된 고유값 간의 상관관계는 발생할 수 있으며, 이는 정규 분포 모델에서도 관찰될 수 있다. 이는 이전에는 비정규 분포 모델에서만 관찰된 현상이었다.
• 고립된 고유값의 두 번째 순서 변동은 위ン게르텐 미적분을 통해 유도되었으며, 변형과 그 거듭제곱의 추적을 포함하는 명시적 점근 표현식을 도출하였다.