[논문 리뷰] Convergence of the spectral radius of a random matrix through its characteristic polynomial

Charles Bordenave, Djalil Chafaï외 1명|arXiv (Cornell University)|2020. 12. 10.

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

한 줄 요약

이 논문은 평균이 0이고 분산이 1인 i.i.d. 성분을 가진 정규화된 랜덤 행렬의 고유값 반경이 행렬 차원이 무한해질 때 확률적으로 1로 수렴함을 증명한다. 증명은 전통적인 도구인 허미션화 또는 해리솔브 방법을 피하고, 역특성다항식이 초타원형 가우시안 해석함수와 관련된 무작위 해석함수로의 법칙 수렴을 이용한 새로운 접근 방식에 기반한다. 대신 고정된 거듭제곱의 추적에 대한 공동 중심극한정리와 코herence 추론을 사용한다.

ABSTRACT

Consider a square random matrix with independent and identically distributed entries of mean zero and unit variance. We show that as the dimension tends to infinity, the spectral radius is equivalent to the square root of the dimension in probability. This result can also be seen as the convergence of the support in the circular law theorem under optimal moment conditions. In the proof we establish the convergence in law of the reciprocal characteristic polynomial to a random analytic function outside the unit disc, related to a hyperbolic Gaussian analytic function. The proof is short and differs from the usual approaches for the spectral radius. It relies on a tightness argument and a joint central limit phenomenon for traces of fixed powers.

연구 동기 및 목표

• 행렬 차원이 증가함에 따라 정규화된 i.i.d. 랜덤 행렬의 고유값 반경이 거의 확실히 1로 수렴함을 확립하는 것.
• 기존 기법인 Girko 허미션화 또는 Gelfand 고유값 반경 공식을 피하는 새로운 증명 전략을 제공하는 것.
• 정규화된 행렬의 역특성다항식의 점근적 행동을 분석하고, 그 수렴이 법칙에 따라 무작위 해석함수로 일어남을 보이는 것.
• 고유값 반경 수렴에 있어 E[|a₁₁|²] = 1 조건이 최적임을 보이며, 유한한 네 번째 모멘트 조건이 필요 없음을 보이는 것.
• 역특성다항식의 수렴을 통해 고유값 분포의 글로벌 제2차 분석을 확립하는 것.

제안 방법

• 단위 원판 D 위에서 해석함수 수렴을 통해 고유값 반경을 분석하기 위해 역다항식 qₙ(z) = det(1 - zAₙ/√n)를 사용한다.
• 행렬의 부분행렬 행렬식으로의 직교 분해를 이용해 H(D) 공간에서의 해석함수들에 대한 수열 (qₙ)ₙ≥₁의 코herence를 증명한다.
• 분석을 유한한 성분으로 줄이기 위해 잘라내기 기법을 적용하여 중심극한정리의 적용을 가능하게 한다.
• 경로 시퀀스의 순환 구조를 조합적으로 세는 데 기반한 고정된 거듭제곱의 추적에 대한 공동 중심극한정리를 증명한다.
• Isserlis/Wick 공식을 사용해 추적의 곱의 모멘트를 계산함으로써 특성다항식 계수의 수렴을 가능하게 한다.
• 한계 객체가 F(z) = Σₖ≥₁ Xₖ zᵏ / √k 인 무작위 해석함수 F(z)로 표현되며, {Xₖ}는 E[Xₖ] = 0, E[|Xₖ|²] = 1, E[Xₖ²] = E[a₁₁²]ᵏ 를 만족하는 i.i.d. 복소 가우시안이고, 해석함수 κ(z)에 의해 스케일링됨.

실험 결과

연구 질문

• RQ1 최소한의 모멘트 조건 하에서 정규화된 i.i.d. 랜덤 행렬의 고유값 반경이 확률적으로 1로 수렴하는가?
• RQ2 고유값 반경 수렴을 연산자 노름 또는 해리솔브 방법에 의존하지 않고 확립할 수 있는가?
• RQ3 정규화된 랜덤 행렬의 역특성다항식의 점근적 행동은 어떠한가?
• RQ4 역다항식의 한계 해석함수는 초타원형 가우시안 해석함수와 같은 알려진 확률과정과 어떻게 관련되는가?
• RQ5 고정된 거듭제곱의 추적에 대한 공동 중심극한정리를 이용해 고유값 분포의 글로벌 제2차 성질을 유도할 수 있는가?

주요 결과

• 행렬 Aₙ/√n의 고유값 반경 ρₙ은 n → ∞ 일 때 확률적으로 1로 수렴하며, 네 번째 모멘트가 유한하지 않아도 성립한다.
• 역특성다항식 qₙ(z)는 H(D)에서 κ(z) exp(−F(z))로 법칙 수렴한다. 여기서 F(z) = Σₖ≥₁ Xₖ zᵏ / √k 이며, {Xₖ}는 E[Xₖ] = 0, E[|Xₖ|²] = 1, E[Xₖ²] = E[a₁₁²]ᵏ 를 만족하는 i.i.d. 복소 가우시안이다.
• E[a₁₁²] = 0 이면 한계 함수는 exp(−F(z))로 간소화되며, 이는 L=2 Bergman GAF의 원시함수인 특수한 초타원형 가우시안 해석함수의 퇴화된 경우이다.
• 역다항식의 수렴은 경험적 고유값 측도의 Cauchy–Stieltjes 변환에서 n/z 를 뺀 것이 C ar{D} 위에서 가우시안 해석함수로 수렴함을 의미하며, 공분산은 Bergman 커널로 주어진다.
• 복소해석학과 코쉬 적분 공식을 이용해 단위 원판 근처의 해석함수에 대한 선형 고유값 통계의 중심극한정리를 증명한다.
• 고차 추적과 해리솔브 기법을 피하고, 조합적 모멘트 수치 계산과 코herence에 기반한 방법을 사용하며, 핵심 통찰은 한계에 기여하는 것은 오직 이중 순환(짝을 이룬 정점이 있는 짝수 길이 순환)뿐임을 보여준다.