[논문 리뷰] A new proof of Friedman's second eigenvalue Theorem and its extension to random lifts

Bordenave, Charles|arXiv (Cornell University)|2015. 02. 16.

Graph theory and applications인용 수 11

한 줄 요약

이 논문은 무작위 d-정규 그래프의 스펙트럼 간격에 관한 프리드먼의 정리에 대해 더 단순화된 증명을 제시하며, 두 번째로 큰 고유값이 거의 확실하게 $2ackslashsqrt{d-1} + o(1)$ 이하임을 보여준다. 이 방법은 그래프의 랜덤 리프트로 확장되어, 가중치가 부여된 경로 분석과 수정된 경로 행렬의 연산자 노름 제어를 통해, 비백트래킹 고유값에 대한 약한 라마누잔 성질을 입증한다.

ABSTRACT

It was conjectured by Alon and proved by Friedman that a random $d$-regular graph has nearly the largest possible spectral gap, more precisely, the largest absolute value of the non-trivial eigenvalues of its adjacency matrix is at most $2\sqrt{d-1} +o(1)$ with probability tending to one as the size of the graph tends to infinity. We give a new proof of this statement. We also study related questions on random $n$-lifts of graphs and improve a recent result by Friedman and Kohler.

연구 동기 및 목표

• 무작위 d-정규 그래프의 스펙트럼 간격에 관한 프리드먼의 두 번째 고유값 정리에 대해 더 단순하고 투명한 증명을 제공하는 것.
• 특히 비백트래킹 행렬 고유값에 중점을 두고, 임의의 기본 그래프의 랜덤 n-리프트로 스펙트럼 간격 분석을 확장하는 것.
• 희귀 부분구조(틀어진 구조, tangles)로 인한 편차를 제어하여 랜덤 리프트에 대해 약한 라마누잔 성질을 확립하는 것.
• 비균일한 기대값을 가진 무작위 그래프 스펙트럼을 다루기 위한 고순도 추적 추정과 행렬 투영 기반의 강력한 방법을 개발하는 것.
• 스펙트럼 간격을 $ (\log \log n / \log n)^2 $ 항을 포함한 명시적 오차 항과 함께 정량화하여 이전의 확률적 경계를 향상시키는 것.

제안 방법

• 스펙트럼 문제를 인접행렬 $ A $ 가 아닌 비백트래킹 행렬 $ B $ 를 사용하여 재구성하고, Ihara-Bass 공식을 활용하여 고유값을 연결한다.
• 틀어진 구조를 만난 길을 제거함으로써, tangle-free 그래프로의 집중을 보장하는 수정된 행렬 $ B^{(\ell)} $ 를 도입한다.
• 모든 일치 벡터 $ \chi $ 의 수직보완에 대한 투영을 적용하여 비자명한 고유값을 분리하고, 연산자 노름을 통한 $ \|B^{(\ell)}\| $ 의 경계를 설정한다.
• 고순도 추적 방법 적용: $ m \sim \log n / \log \log n $ 인 경우, 경로 가중 행렬 $ C $ 에 대해 $ \mathbb{E}\|C\|^{2m} \leq \mathbb{E}\operatorname{tr}((CC^*)^m) $ 를 유계화한다.
• 길이 $ k = 2m\ell $ 인 가중 경로의 기여를 동형류로 분할하고, 정점 수, 간선 수, 순환수와 같은 그래프 불변량을 통해 이러한 동형류의 수를 유계화한다.
• 조합적 수세기와 구성 모델에 대한 확률적 추정을 통한 결정론적 스펙트럼 노름 상한을 확립하며, 여유 간선과 순환 시간을 신중하게 다룬다.

실험 결과

연구 질문

• RQ1 무작위 d-정규 그래프에 대한 프리드먼의 두 번째 고유값 정리에 대해 더 단순하고 투명한 증명을 제시할 수 있는가?
• RQ2 완전 그래프와 같은 틀어진 부분구조(예: 완전 그래프)는 인접행렬의 고차수 추적의 기대값을 어느 정도 왜곡하는가?
• RQ3 기본 그래프의 랜덤 리프트의 스펙트럼 간격은 비백트래킹 고유값에 대해 약한 라마누잔 성질을 만족하는가?
• RQ4 희귀하고 영향력이 큰 부분구조가 존재할 경우, 고순도 추적 방법을 어떻게 수정하여 경로 행렬의 연산자 노름을 제어할 수 있는가?
• RQ5 무작위 d-정규 그래프에서 두 번째로 큰 고유값이 알론-보파나 경계로 수렴하는 정량적 속도는 무엇인가?

주요 결과

• 새로운 증명을 통해, 임의의 $ 0 < a < 1 $ 에 대해 $ c > 0 $ 가 존재하여 $ \mathbb{P}(\mu_2 \vee |\mu_n| \geq 2\sqrt{d-1} + c(\log \log n / \log n)^2) \leq n^{-a} $ 임을 보였으며, 이는 이전의 정성적 $ o(1) $ 경계를 향상시킨다.
• 이 방법은 임의의 그래프의 랜덤 리프트로 확장되어, 비백트래킹 스펙트럼 반경이 기본 그래프의 비백트래킹 행렬의 프로넨 고유값 $ \rho_1 $ 근처로 집중됨을 증명한다.
• 랜덤 n-리프트의 경우, 비백트래킹 고유값은 약한 라마누잔 성질을 만족한다: 적절한 조건 하에 거의 확실하게 $ \lambda_1 \leq \sqrt{\rho_1} + o(1) $ 이다.
• 틀어진 경로의 기여를 동형류 수세기로 제어하여, 이러한 경로의 수가 $ \rho^s (c\ell m)^{16m g + 22m} $ 이하로 유계임을 보였다. 여기서 $ g $ 는 순환수이다.
• 수정된 경로 행렬 $ R_k^{(\ell)} $ 의 연산자 노름에 대해 $ \mathbb{E}\|R_k^{(\ell)}\|^{2m} \leq (c\ell m)^{38m} \rho^{2\ell m} $ 를 유도하였으며, 이는 고확률 스펙트럼 경계를 이끈다.
• 최종적으로 스펙트럼 반경에 대해 $ \|B_n^{(\ell)}\| \leq (\log n)^{15} \rho^{\ell/2} + o(1) $ 이며, 이는 $ \ell \sim \kappa \log_{d-1} n $, $ \kappa < 1/4 $ 일 때 $ \lambda_1 \leq \sqrt{\rho_1} + o(1) $ 을 의미한다.