[논문 리뷰] Expanders have a spanning Lipschitz subgraph with large girth

Gábor Kun|arXiv (Cornell University)|2013. 03. 20.

Advanced Topology and Set Theory참고 문헌 23인용 수 18

한 줄 요약

이 논문은 스펙트럼 갭이 크거나 짧은 사이클의 밀도가 낮은 강한 확산 성질을 가진 유한 그래프가, 러브라즈 로컬 렘마를 사용하여 큰 둘레를 가지면서도 확산 성질을 유지하는 스패닝 서브그래프를 가짐을 증명한다. 주요 결과는 이러한 서브그래프가 최대 차수와 스펙트럼 갭의 함수로 아래로 유계인 체이저 상수를 유지함을 보여주며, 짧은 사이클을 제거하기 위해 간선을 삭제한 후에도 성립한다.

ABSTRACT

We show that every regular graph with good local expansion has a spanning Lipschitz subgraph with large girth and minimum degree. In particular, this gives a finite analogue of the dynamical solution to the von Neumann problem by Gaboriau and Lyons. We give a new proof and strengthen the Gaboriau-Lyons result, that allows us to answer two questions of Monod about geometric random subgroups. Our finite theorems are kind of converse to the theorem of Bourgain and Gamburd showing that large girth implies expansion for Cayley graphs of SL_2(F_p). We apply these to the regular case of Thomassen's conjecture stating that every finite graph with large average degree has a subgraph with large girth and average degree. Our main tool is an infinite version of the Lovasz Local Lemma developed in this paper.

연구 동기 및 목표

• 강한 확산 성질이 존재할 경우, 간선 제거를 통해 둔근을 증가시키되 확산 성질을 유지할 수 있음을 보여주어 확산성과 둔근 간의 갈등을 해결하고자 한다.
• 고스펙트럼 갭 또는 짧은 사이클 밀도가 낮은 그래프가 잘려나간 후에도 양호한 확산 성질을 유지하면서 큰 둔근을 가지는 스패닝 서브그래프를 유지할 수 있음을 증명하고자 한다.
• 러브라즈 로컬 렘마를 통한 구조적 존재 증명을 통해 큰 둔근과 유계 체이저 상수를 가진 스패닝 서브그래프의 존재를 보장하고자 한다.
• 확산 수열이 동시에 큰 둔근과 강한 확산 성질을 가질 수 있는지에 대한 열린 문제를 다루며, 특히 랜덤 그래프와 라만두잔 그래프에서의 가능성을 탐색하고자 한다.
• 특히 소규모 집합 확장 문제와 관련하여 이러한 서브그래프를 효율적으로 구성하는 데 있어 알고리즘적 가능성과 제약 조건을 탐색하고자 한다.

제안 방법

• 짧은 사이클과 부분집합에서의 열악한 확산 성질에 대응하는 악성 사건의 집합을 정교하게 구성한 후, 러브라즈 로컬 렘마를 적용한다.
• 각 정점 주변의 국소적 제약 조건을 사용하여, 짧은 사이클의 존재 또는 크기에 비해 간선 경계가 작은 부분집합의 존재를 악성 사건으로 정의한다.
• 확률적 방법을 사용하여, 무작위 간선 제거 과정이 모든 악성 사건을 피할 수 있는 양의 확률이 존재함을 보여, 큰 둔근과 양호한 확산 성질을 확보한다.
• 원래 그래프의 간선 경계와 차수를 포함하는 선형 부등식을 통해 결과 서브그래프의 체이저 상수에 하한을 설정한다.
• 스펙트럼 그래프 이론을 활용: 체이저 상수를 조합적 라플라시안의 두 번째 고유값과 연결하여 스펙트럼 조건을 확산 임계값으로 번역한다.
• 스펙트럼 갭과 최대 차수를 사용하여 서브그래프의 체이저 상수에 정량적 경계를 도출하며, 특정 조건 하에서 여전히 Ω(log Δ)의 순서를 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 최대 차수 Δ와 높은 확산 성질을 가진 유한 그래프는 둔근을 크게 하면서도 비어 있지 않은 체이저 상수를 유지할 수 있는가?
• RQ2 어떤 스펙트럼 조건 또는 국소적 사이클 밀도 조건이 큰 둔근과 강한 확산 성질을 가진 스패닝 서브그래프의 존재를 보장하는가?
• RQ3 러브라즈 로컬 렘마는 이러한 서브그래프를 구성하는 데 충분한가? 그리고 구성의 알고리즘화에 있어 제약 조건은 무엇인가?
• RQ4 결과 서브그래프의 체이저 상수는 원래 그래프의 스펙트럼 갭과 최대 차수의 함수로 아래로 유계가 될 수 있는가?
• RQ5 이 방법은 고차원 확산성 또는 측정 가능한 구조를 가진 무한 그래프로 일반화될 수 있는가?

주요 결과

• 모든 최대 차수 Δ와 스펙트럼 갭 λ₂(G) ≥ Δ − Δ/(192(log Δ + 2))를 가진 유한 그래프에 대해, 둔근이 적어도 g 이상이고 체이저 상수 h(H) ≥ 0.99(log Δ + 2)인 스패닝 서브그래프 H가 존재한다.
• 모든 k ≤ g에 대해 정점당 k-사이클 수가 (Δ/(8δ))ᵏ 이하로 유계이면, 둔근 ≥ g이고 h(H) ≥ (δ/(2Δ))h(G) − (2 log Δ + 4)인 스패닝 서브그래프 H가 존재하며, 약간의 조건 하에서 성립한다.
• 결과 서브그래프 H의 체이저 상수는 원래 그래프의 스펙트럼 갭과 최대 차수의 함수로 아래로 유계이며, 비어 있지 않은 확산 성질을 보장한다.
• h(H)에 대한 경계는 정량적으로 강력하다: 라만두잔 그래프와 랜덤 d-정규 그래프의 경우, 서브그래프는 원래의 확산 수준과 동일한 순서 Ω(√d)의 확산 성질을 유지한다.
• 큰 d에 대해 이 결과는 비어 있지 않다: λ₂(G) ≥ Δ − Δ/(192(log Δ + 2))일 경우, H의 체이저 상수는 최소 0.99(log Δ + 2)이며, 이는 Δ에 대해 로그적으로 증가한다.
• 이 방법은 러브라즈 로컬 렘마에 의존하며, 악성 사건 수(짧은 사이클과 열악한 확산 집합)가 지수적으로 많아도 적용 가능하지만, 악성 사건의 효율적 탐지는 여전히 과제이다.