[논문 리뷰] Spectral radii of sparse random matrices

Florent Benaych-Georges, Charles Bordenave외 1명|arXiv (Cornell University)|2017. 04. 10.

Random Matrices and Applications참고 문헌 21인용 수 15

한 줄 요약

이 논문은 비정규적 랜덤 행렬의 스펙트럼 반경에 대한 날카운 경계를 설정하며, 비백트래킹 행렬의 스펙트럼 반경과의 새로운 연결 고리를 도입함으로써, 비정규적 랜덤 행렬, 특히 이질적 Erdős-Rényi 그래프와 스토하스틱 블록 모델의 스펙트럼 반경에 대해 날카운 경계를 도출한다. 주요 결과는 $ G(n, d/n) $에서 극단적 고유값이 $ d / \text{log } n \to \infty $ 일 때 점 渐진적으로 고유값 지지의 경계로 수렴하며, $ d \asymp \text{log } n $ 에서 날카운 전이점이 존재함을 보여주며, 랜덤 행렬 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We establish bounds on the spectral radii for a large class of sparse random matrices, which includes the adjacency matrices of inhomogeneous Erdős-Rényi graphs. Our error bounds are sharp for a large class of sparse random matrices. In particular, for the Erdős-Rényi graph $G(n,d/n)$, our results imply that the smallest and second-largest eigenvalues of the adjacency matrix converge to the edges of the support of the asymptotic eigenvalue distribution provided that $d \gg \log n$. Together with the companion paper [3], where we analyse the extreme eigenvalues in the complementary regime $d \ll \log n$, this establishes a crossover in the behaviour of the extreme eigenvalues around $d \sim \log n$. Our results also apply to non-Hermitian sparse random matrices, corresponding to adjacency matrices of directed graphs. The proof combines (i) a new inequality between the spectral radius of a matrix and the spectral radius of its nonbacktracking version together with (ii) a new application of the method of moments for nonbacktracking matrices.

연구 동기 및 목표

• 희박한 랜덤 행렬의 광범위한 클래스에 대해 스펙트럼 반경에 대한 날카운, 정량적 경계를 도출하는 것. 이는 이질적 Erdős-Rényi 및 스토하스틱 블록 모델 그래프를 포함한다.
• $ d / \text{log } n \to \infty $ 인 영역에서 Erdős-Rényi 그래프 $ G(n, d/n) $의 극단적 고유값의 행동을 규명하여, 점 渐진적으로 고유값 지지의 경계로 수렴함을 보이는 것.
• $ d \asymp \text{log } n $ 에서 고유값 행동의 전이를 규명함으로써, 이전에 $ d / \text{log } n \to 0 $ 인 희박 영역에서의 결과를 보완하는 것.
• 비에르미트 행렬로의 방법 확장: 방향성 있는 랜덤 그래프 및 독립적, 평균이 0인 항목을 가진 일반적인 희박한 랜덤 행렬을 포함하는 것.
• 비희박한 행렬을 위한 비백트래킹 행렬 기법과 정교한 모멘트 방법 응용을 융합한 새로운 분석 프레임워크 개발.

제안 방법

• 행렬 $ H $의 스펙트럼 반경과 그 비백트래킹 행렬 $ B $의 스펙트럼 반경 간의 결정론적 부등식을 도입하며, 스펙트럼을 연결하는 Ihara-Bass 유형의 공식을 사용한다.
• $ \ell^2 \to \ell^\infty $ 와 $ \ell^1 \to \ell^\infty $ 노름에 대한 $ H $ 의 경계를 확립하며, 이는 일반적으로 농도 불등식을 통해 다룰 수 있다.
• $ \mathbb{E} \operatorname{Tr} B^\ell B^{*\ell} $ 에 대해 모멘트 방법을 적용하고, 다중그래프 위의 비백트래킹 보행을 분석하여 $ B $ 의 스펙트럼 반경을 제어한다.
• 보정과 경로 삭제를 통한 보행의 부드러운 조합적 축소를 도입하며, 두 번째 차수의 정점들을 제거한 후 최소한도로도 3 이상의 차수를 가진 정점들을 가진 그래프에 집중한다.
• 보행 쌍의 동치류를 매개변수화하는 $ (U, \zeta, k) $ 를 정의한다. 여기서 $ U $ 는 유도된 다중그래프이며, $ \zeta $ 는 정규 경로의 쌍이며, $ k $ 는 경로의 다중성에 기반한 간선에 가중치를 할당한다.
• 정규화된 보행 구성의 이중사상(비둘기집 원리)을 통해 표준형으로 매핑함으로써 기여하는 보행 유형의 정확한 수를 세고, 추적 모멘트를 경계화한다.

실험 결과

연구 질문

• RQ1 Erdős-Rényi 그래프 $ G(n, d/n) $ 의 극단적 고유값 행동이 국소화에서 점 渐진적으로 고유값 지지의 경계로 전이되는 임계점은 무엇인가?
• RQ2 비백트래킹 보행을 사용하여, 정규적 또는 동질적 그래프를 초월하여 희박한 랜덤 행렬의 스펙트럼 반경에 대해 날카운 경계를 도출할 수 있는가?
• RQ3 독립적, 평균이 0인 항목을 가진 비에르미트 희박한 랜덤 행렬의 스펙트럼 반경은 어떻게 행동하며, 이는 비백트래킹 보행을 통해 분석할 수 있는가?
• RQ4 $ d \asymp \text{log } n $ 임계점이 희박한 랜덤 행렬의 스펙트럼 행동에서 정확히 어떤 역할을 하는가? 그래프의 연결성과의 관계는 무엇인가?
• RQ5 비백트래킹 보행을 위한 모멘트 방법을 얼마나 정교하게 다듬을 수 있으며, 이는 희박한 행렬의 스펙트럼 분석에서 날카운 오차 경계를 도출하는 데 기여하는가?

주요 결과

• Erdős-Rényi 그래프 $ G(n, d/n) $ 에서 인접행렬의 최소 고유값과 두 번째로 큰 고유값은 $ d / \text{log } n \to \infty $ 일 때 점 渐진적으로 고유값 분포의 지지의 경계로 수렴하며, 날카운 오차 경계를 가진다.
• 논문은 $ d \asymp \text{log } n $ 에서 극단적 고유값 행동의 날카운 전이를 규명하며, 이는 랜덤 그래프의 연결성 임계점과 일치하며, 스펙트럼 그래프 이론에서 핵심적인 열린 문제를 해결한다.
• 이 방법은 주요 항에서 날카운 경계를 제공하며, 이전의 접근 방식(예: Bandeira와 Van Handel, HLY17)과 비교해 보조 항에서 우수한 성능을 보이며, 특히 매우 희박한 영역에서 유리하다.
• 독립적, 평균이 0인 항목을 가진 비에르미트 희박한 랜덤 행렬의 스펙트럼 반경은 동일한 프레임워크를 사용하여 경계가 가능하며, 항목의 독립성이 자연스럽게 추적 모멘트 분석에서 비백트래킹 구조를 유도한다.
• $ \mathbb{E} \operatorname{Tr} H^\ell H^{*\ell} \leq n \sum_{\xi \in \mathcal{C}_0} n^{-g(G_\xi)} \kappa^{g(G_\xi)} q^{2|E(G_\xi)| - 2\ell} $ 라는 경계가 성립한다. 여기서 $ \mathcal{C}_0 $ 는 정규 보행 쌍의 집합이며, $ g(G_\xi) $ 는 그래프 $ G_\xi $ 의 사이클 수이다. 이 경계는 정밀한 모멘트 제어를 가능하게 한다.
• 이 프레임워크는 에르미트 및 비에르미트 행렬 모두에 동일하게 적용되며, 이질적 Erdős-Rényi 및 스토하스틱 블록 모델 행렬을 포함하여 광범위한 일반성과 강건성을 보여준다.