[논문 리뷰] Small Lifts of Expander Graphs are Expanding.

Naman Agarwal, Alexandra Kolla외 1명|arXiv (Cornell University)|2013. 11. 13.

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

한 줄 요약

이 논문은 d-정규 확산 그래프의 소규모 무작위 k-리프트가 강한 확산 성질을 유지함을 증명한다: 기저 그래프의 비자명한 고유값이 절댓값으로 λ 이하일 경우, 높은 확률로 리프트의 모든 비자명한 고유값은 O(λ) 이하이며, 중간 정도로 확산되는 경우 λ + O(√d) 이하가 된다. 이 결과는 k가 유계일 때 최초로 스펙트럼 상한을 확보한 것으로, 라만두잔 그래프의 일반적인 소규모 리프트가 거의 라만두잔임을 시사한다.

ABSTRACT

A k-lift of an n-vertex base-graph G is a graph H on n × k vertices, where each vertex of G is replaced by k vertices and each edge (u, v) in G is replaced by a matching representing a bijection piuv so that the edges of H are of the form (u, i), (v, piuv(i)). H is a (uniformly) random lift of G if for every edge (u, v) the bijection piuv is chosen uniformly and independently at random. The main motivation for studying lifts has been understanding Ramanujan expander graphs via two key questions: Is a “typical ” lift of an expander graph also an expander; and how can we (efficiently) construct Ramanujan expanders using lifts? Lately, there has been an increased interest in lifts and their close relation to the notorious Unique Games Conjecture [Kho02]. In this paper, we analyze the spectrum of random k-lifts of d-regular graphs. We show that, for random shift k-lifts, if all the nontrivial eigenvalues of the base graph G are at most λ in absolute value, then with high probability depending only on the number n of nodes of G (and not on k), the absolute value of every nontrivial eigenvalue of the lift is at most O(λ). Moreover, if G is moderately expanding, then this bound can be improved to λ +O(√d). While previous results on random lifts were asymptotically true with high probability in the degree of the lift k, our result is the first upperbound on spectra of lifts for bounded k. In particular, it implies that a typical small lift of a Ramanujan graph is almost Ramanujan, and we believe it will prove crucial in constructing large Ramanujan expanders of all degrees. We also establish a novel characterization of the spectrum of shift lifts by the spectrum of certain k symmetric matrices, that generalize the signed adjacency matrix (e.g. see [BL06]). We believe this characterization is of independent interest.

연구 동기 및 목표

• 소규모 k-리프트가 기저 확산 그래프일 경우에도 여전히 양호한 확산 그래프인지 여부를 규명하는 것.
• k가 증가하는 데 대한 이전의 점근적 결과를 뛰어넘어, k가 유계일 때 무작위 k-리프트의 스펙트럼 행동을 해결하는 것.
• 리프트 기반 방법을 통해 큰 라만두잔 확산 그래프를 구성하는 구체적인 길을 제시하는 것.
• k×k 대칭 행렬을 일반화한 방식으로 시프트 리프트의 스펙트럼을 새롭게 특성화하는 것.

제안 방법

• 모서리 매칭을 나타내는 무작위 치환 행렬을 블록 행렬로 구성한 인접 행렬을 모델링하여, 무작위 시프트 k-리프트의 스펙트럼을 분석한다.
• 스펙트럼 분해 기법을 사용하여 리프트 그래프의 고유값을 기저 그래프의 스펙트럼 갭에 따라 상한을 구한다.
• 기존의 부호가 붙은 인접 행렬 프레임워크를 초월하여, k개의 대칭 행렬의 고유값을 통해 시프트 리프트 스펙트럼을 새롭게 특성화한다.
• 확률적 방법을 적용하여 고유값이 O(λ) 근처에 집중되며, 이는 k에 관계없이 오직 n에만 의존하는 높은 확률을 보장한다.
• 스펙트럼 인터라싱 추론을 통해 리프트의 고유값을 기저 그래프의 고유값과 연결한다.
• 리프트에서 무작위 치환 행렬의 구조를 활용하여 절댓값 기준 두 번째로 큰 고유값에 대한 날카로운 상한을 유도한다.

실험 결과

연구 질문

• RQ1 d-정규 기저 그래프의 일반적인 소규모 k-리프트가 k가 유계일 경우에도 여전히 양호한 확산 그래프인가?
• RQ2 k가 작고 고정되어 있을 때, 기저 그래프의 스펙트럼 성질이 무작위 k-리프트에 그대로 유지되는가?
• RQ3 기저 그래프의 스펙트럼 갭에 대해, 무작위 k-리프트의 비자명한 고유값에 대한 최선의 가능한 상한은 무엇인가?
• RQ4 부호가 붙은 인접 행렬 프레임워크를 초월하여 시프트 리프트의 스펙트럼을 어떻게 대수적으로 특성화할 수 있는가?
• RQ5 이 스펙트럼 제어 기법을 사용하여 모든 차수에 대해 거의 라만두잔 그래프를 구성할 수 있는가?

주요 결과

• 모든 비자명한 고유값이 절댓값으로 λ 이하인 d-정규 기저 그래프 G에 대해, 무작위 k-리프트는 고유값이 O(λ) 이하로 유한하게 제한되며, 이는 오직 n에만 의존하는 높은 확률로 성립한다.
• 기저 그래프가 중간 정도로 확산되는 경우, 상한은 λ + O(√d)로 향상되어 더 엄밀한 스펙트럼 제어를 가능하게 한다.
• 이 결과는 k가 유계일 때도 성립하며, k의 증가와 무관한 최초의 스펙트럼 상한을 제공한다.
• 시프트 리프트의 스펙트럼은 기존의 부호가 붙은 인접 행렬을 일반화한 k개의 대칭 행렬의 고유값을 통해 완전히 특성화된다.
• 이 방법은 일반적인 소규모 라만두잔 그래프의 리프트가 거의 라만두잔임을 시사하며, 큰 라만두잔 확산 그래프를 구성하는 실현 가능한 길을 제시한다.
• 스펙트럼 특성화는 리프트 분석을 위한 새로운 대수적 도구를 제공하며, 확산 이외의 응용 가능성도 있다.