[논문 리뷰] The Relativized Second Eigenvalue Conjecture of Alon

Joel Friedman, David-Emmanuel Kohler|arXiv (Cornell University)|2014. 03. 13.

Graph theory and applications참고 문헌 8인용 수 17

한 줄 요약

이 논문은 $d \geq 3$ 인 모든 $d$-정규 기저 그래프 $B$에 대해 알론의 두 번째 고유값 추측의 상대화된 판정을 증명하며, $B$의 무작위 $n$-커버가 $2\sqrt{d-1} + \epsilon$를 초과하는 새로운 고유값을 가질 확률이 $O(1/n)$임을 보여준다. 이는 추적 방법을 강화하기 위해 '확인된 추적'(certified trace)이라는 새로운 개념을 도입함으로써 달성되었으며, $B$가 라만두잔일 경우, 확률의 감쇠율을 $n^{-\eta_{\rm fund}(B)}$로 더욱 정교하게 유도하여 프리드먼의 원래 결과를 초월한다.

ABSTRACT

We prove a relativization of the Alon Second Eigenvalue Conjecture for all $d$-regular base graphs, $B$, with $d\ge 3$: for any $ε>0$, we show that a random covering map of degree $n$ to $B$ has a new eigenvalue greater than $2\sqrt{d-1}+ε$ in absolute value with probability $O(1/n)$. Furthermore, if $B$ is a Ramanujan graph, we show that this probability is proportional to $n^{-{η_{ m \,fund}}(B)}$, where ${η_{ m \,fund}}(B)$ is an integer depending on $B$, which can be computed by a finite algorithm for any fixed $B$. For any $d$-regular graph, $B$, ${η_{ m \,fund}}(B)$ is greater than $\sqrt{d-1}$. Our proof introduces a number of ideas that simplify and strengthen the methods of Friedman's proof of the original conjecture of Alon. The most significant new idea is that of a ``certified trace,'' which is not only greatly simplifies our trace methods, but is the reason we can obtain the $n^{-{η_{ m \,fund}}(B)}$ estimate above. This estimate represents an improvement over Friedman's results of the original Alon conjecture for random $d$-regular graphs, for certain values of $d$.

연구 동기 및 목표

• $d \geq 3$ 인 모든 $d$-정규 기저 그래프 $B$에 대해 알론의 상대화된 두 번째 고유값 추측을 해결하기 위해.
• 무작위 $n$-커버가 $2\sqrt{d-1} + \epsilon$를 초과하는 새로운 고유값을 가질 확률에 대한 날카운 상한을 설정하기 위해.
• 스펙트럼 분석을 단순화하고 강화하기 위한 새로운 도구로 '확인된 추적'의 개념을 도입하고 발전시키기 위해.
• 기저 그래프 $B$의 기본 거듭제곱 $\eta_{\rm fund}(B)$를 계산하여, $B$가 라만두잔일 경우 큰 새로운 고유값이 나타나는 확률의 감쇠율을 제어하기 위해.
• 기저 그래프 $B$의 구조적 제약 조건을 통합함으로써 프리드먼의 원래 알론 추측 증명을 일반화하기 위해.

제안 방법

• '확인된 추적'의 개념을 도입—구조적으로 통제된 꼬임을 가진 산책을 추적함으로써 스펙트럼 모멘트 추정치를 향상시키는 개선된 추적 방법.
• $B$-꼬임을 정의하고, 집합 $\operatorname{Tangle}_{<r,B}$를 사용하여 스펙트럼 모멘트에 기여하는 산책을 특성화.
• $\mathbb{I}_{{\rm TF}_{r,B}}$ 지표 함수를 사용하여 $r$-꼬임이 없는 그래프를 분리함으로써 추적 전개의 잘라내기 가능성을 확보.
• $\mathcal{W}(k,n)$ 산책 집합과 $(k,n)$-산책 합 $\operatorname{WalkSum}(\mathcal{W},k,n)$을 사용하여 커버의 인접행렬 모멘트를 계산.
• $r$-번째 확인된 추적 $\operatorname{CertTr}_{<r}(G,k)$를 구성하여 꼬임이 포함된 산책으로 인한 오차 항을 제어.
• 하시모토 행렬 $H_G$와 그 스펙트럼 반경 $\rho(H_G)$를 사용하여 인접행렬 스펙트럼과 후퇴하지 않는 산책을 연결하고, $\rho^\mathrm{new}_B(A_G)$에 대한 경계를 유도.

실험 결과

연구 질문

• RQ1 $d$-정규 기저 그래프 $B$의 무작위 $n$-커버가 $2\sqrt{d-1} + \epsilon$를 초과하는 새로운 고유값을 가질 확률은 얼마인가요?
• RQ2 이 확률의 감쇠율은 기저 그래프 $B$의 구조에 따라 어떻게 달라지나요?
• RQ3 추적 방법을 어떻게 개선하여 랜덤 커버의 스펙트럼 간격에 대한 더 강력한 경계를 얻을 수 있나요?
• RQ4 $B$-꼬임은 무작위 리프트의 스펙트럼 분포에서 어떤 역할을 하나요?
• RQ5 라만두잔 기저 그래프에 대해 확률 감쇠의 지수를 결정하는 계산 가능한 $B$의 불변량이 존재합니까?

주요 결과

• 모든 $d$-정규 기저 그래프 $B$에 대해 $d \geq 3$ 이면, 무작위 $n$-커버가 $2\sqrt{d-1} + \epsilon$를 초과하는 새로운 고유값을 가질 확률은 $O(1/n)$이다.
• 기저 그래프 $B$가 라만두잔일 경우, 이 확률은 $n^{-\eta_{\rm fund}(B)}$로 감쇠하며, 여기서 $\eta_{\rm fund}(B)$는 유한 알고리즘으로 계산 가능한 정수이다.
• 기본 거듭제곱 $\eta_{\rm fund}(B)$는 임의의 $d$-정규 그래프 $B$에 대해 $\eta_{\rm fund}(B) > \sqrt{d-1}$를 만족한다.
• '확인된 추적'의 도입은 추적 기반 스펙트럼 분석을 단순화하고 꼬임을 포함한 산책으로 인한 오차 항을 더 엄밀하게 제어할 수 있게 한다.
• 특정 경우에 대해 큰 새로운 고유값이 나타나는 확률의 감쇠율을 더 강력하게 제공함으로써, 이 방법은 프리드먼의 원래 알론 추측 증명을 개선한다.
• 이 틀은 $B$-꼬임을 통한 구조적 산책 패tern의 고립 및 제어를 통해, 랜덤 리프트의 스펙트럼 간격에 대한 체계적인 분석을 가능하게 한다.