[논문 리뷰] Outlier eigenvalues for non-Hermitian polynomials in independent i.i.d. matrices and deterministic matrices

Serban T. Belinschi, Charles Bordenave외 2명|arXiv (Cornell University)|2019. 06. 25.

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

한 줄 요약

이 논문은 i.i.d. 랜덤 행렬 $ Y $ 와 결정론적 행렬 $ A $ 로 구성된 비에르미트 랜덤 매트릭스 다항식 $ P(Y, A) $ 의 이방성 고유값이 점점 $ P(0, A) $ 의 고유값으로 수렴하는 조건을 확립한다. 이는 $ P(c, a) $ 의 스펙트럼 외부에서 성립하며, 여기서 $ c $ 는 $ a $ 와 자유로운 원형 시스템이다. 주요 결과는 $ A_N $ 이 잘 조건화되어 있을 경우, 이방성 고유값이 안정화되고 $ P(0, A) $ 의 고유값과 일치함을 보여주며, 고전적 랜덤 매트릭스 이론을 비가환 다항식 설정으로 확장한다.

ABSTRACT

We consider a square random matrix of size $N$ of the form $P(Y,A)$ where $P$ is a noncommutative polynomial, $A$ is a tuple of deterministic matrices converging in $\\ast$-distribution, when $N$ goes to infinity, towards a tuple $a$ in some $\\mathcal{C}^*$-probability space and $Y$ is a tuple of independent matrices with i.i.d. centered entries with variance $1/N$. We investigate the eigenvalues of $P(Y,A)$ outside the spectrum of $P(c,a)$ where $c$ is a circular system which is free from $a$. We provide a sufficient condition to guarantee that these eigenvalues coincide asymptotically with those of $P(0,A)$.

연구 동기 및 목표

• i.i.d. 랜덤 행렬과 결정론적 행렬을 포함하는 비에르미트 랜덤 매트릭스 다항식에서 이방성 고유값의 점점 수렴하는 행동을 이해하는 것.
• 고전적 결과(예: Ginibre, Tao)를 덧셈 항등 변형에서 일반적인 비가환 다항식 함수로 확장하여 랜덤 및 결정론적 행렬의 이방성 안정성에 대해 일반화하는 것.
• 스펙트럼 $ \mathrm{spec}(P(c, a)) $ 외부의 $ P(Y, A) $ 고유값이 $ P(0, A) $ 와 점점 일치하는 데 필요한 충분조건을 자유 확률론과 해석적 분석을 통해 확립하는 것.
• 비다항식 매트릭스 모델로의 잘 조건화된 행렬 개념을 확장하고, 이방성 영역에서 스펙트럼 측도의 수렴을 증명하는 것.

제안 방법

• 자유 확률론을 사용하여 $ c $ 가 $ a $ 와 자유로운 원형 연산자일 때, $ P(Y, A) $ 의 점점 수렴하는 스펙트럼 분포를 모델링한다.
• 해석적 분석과 스펙트럼 갭 추정을 적용하여 $ R_N(z) $ 와 $ R'_N(z) $ 의 노름을 제어함으로써 이방성 영역에서의 안정성을 확보한다.
• 특이값 분해와 모멘트 유계를 사용하여 $ Y_N $ 을 포함하는 행렬 곱의 성장을 제어하며, i.i.d. 항목에 대해 Bai-Yin 정리를 활용한다.
• 행렬 $ A_N $ 에 대해 잘 조건화된 조건을 도입하여, $ z \notin \mathrm{spec}(c + a) $ 에 대해 $ s_N(A_N - zI_N) > \eta_z > 0 $ 이 되도록 하여 임의의 고유값을 방지한다.
• Rouché 정리를 사용하여 $ P(Y, A) $ 와 $ P(0, A) $ 의 특성 다항식의 영점 수를 비교함으로써, 복소 평면에서 $ \mathrm{spec}(P(c, a)) $ 를 제외한 컴acts부분에서 고유값 수렴을 증명한다.
• 지배 수렴 정리와 거의 확실 수렴 추론을 적용하여, $ \|Q_N R_N(z) P_N - Q_N R'_N(z) P_N\| \to 0 $ 이 $ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 의 컴팩트 부분집합 $ \Gamma $ 에서 균일하게 성립함을 보인다.

실험 결과

연구 질문

• RQ1 i.i.d. 항목을 가진 $ Y $ 와 결정론적 행렬 $ A $ 를 포함하는 $ P(Y, A) $ 의 이방성 고유값이 어떤 조건에서 $ P(0, A) $ 의 고유값으로 수렴하는가?
• RQ2 행렬 $ A_N $ 이 잘 조건화되어 있을 때, $ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 에서 부정확한 이방성 고유값이 발생하지 않는 이유는 무엇인가?
• RQ3 고전적 이방성 안정성 결과(예: 덧셈 항등 변형에 대한)를 랜덤 및 결정론적 행렬의 비가환 다항식 함수로 확장할 수 있는가?
• RQ4 자유 확률론은 $ P(Y, A) $ 의 점점 수렴하는 스펙트럼 분포를 특별히 이방성 영역에서 어떻게 특성화하는가?
• RQ5 해석적 분석과 특이값 제어를 어떻게 활용하여 비에르미트이고 덧셈이 아닌 설정에서 스펙트럼 측도의 수렴을 증명할 수 있는가?

주요 결과

• 컴팩트 부분집합 $ \Gamma \subset \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 에서 $ A_N $ 이 잘 조건화되어 있을 경우, $ P(Y, A) $ 의 이방성 고유값은 거의 확실하게 $ P(0, A) $ 의 고유값으로 수렴한다.
• $ \|Q_N R_N(z) P_N - Q_N R'_N(z) P_N\| \to 0 $ 이 $ \mathbb{C} \setminus \mathrm{spec}(P(c, a)) $ 의 컴팩트 부분집합 $ \Gamma $ 에서 균일하게 성립하며, 이는 스펙트럼 안정성을 보장한다.
• $ \Gamma $ 의 각 $ z \in \Gamma $ 에 대해, 해석적 분석의 노름 $ \|R_N(z)\| $ 과 $ \|R'_N(z)\| $ 은 무한대에서 균일하게 멀리 떨어져 있으며, 이는 $ \tilde{\gamma}_z $ 와 $ \tilde{\eta}_z $ 에 따라 달라진다.
• 행렬 $ \sum_k \beta_k \otimes (A_N^{(k)})^{\prime\prime} $ 의 특이값은 균일하게 유계이므로, 행렬 곱의 노름을 제어할 수 있다.
• Rouché 정리를 사용하여 $ P(Y, A) $ 와 $ P(0, A) $ 가 $ \Gamma $ 에서 같은 수의 고유값을 가짐을 확인함으로써, 이방성 영역에서 고유값의 일치를 증명한다.
• 모멘트 조건 $ \mathbb{E}[|X_{11}|^4] < \infty $ 하에서, 경험적 스펙트럼 측도의 수렴과 이방성 고유값의 안정성을 보장한다.