[논문 리뷰] Twice-Ramanujan Sparsifiers

Joshua Batson, Daniel A. Spielman외 1명|arXiv (Cornell University)|2008. 08. 01.

Graph theory and applications참고 문헌 15인용 수 5

한 줄 요약

이 논문은 모든 무방향 가중 그래프에 대해 스펙트럴 스퍼서피어를 구성하는 결정적 다항시간 알고리즘을 제안한다. 이 알고리즘은 스펙트럴 근사 비율 $\frac{d+1+2\sqrt{d}}{d+1-2\sqrt{d}}$을 달성하며, 정점 수의 선형 수준인 $\lceil d(n-1)\rceil$개의 간선만을 사용한다 — 라만두잔 확산자에 비해 약 두 배이다. 이 방법은 임의의 그래프로 확산자 그래프를 일반화하며, 선형 크기의 출력으로 거의 최적의 스펙트럴 근사를 제공한다.

ABSTRACT

We prove that every graph has a spectral sparsifier with a number of edges linear in its number of vertices. As linear-sized spectral sparsifiers of complete graphs are expanders, our sparsifiers of arbitrary graphs can be viewed as generalizations of expander graphs. In particular, we prove that for every $d>1$ and every undirected, weighted graph $G=(V,E,w)$ on $n$ vertices, there exists a weighted graph $H=(V,F, ilde{w})$ with at most $\lceil d(n-1) ceil$ edges such that for every $x \in \mathbb{R}^{V}$, \[ x^{T}L_{G}x \leq x^{T}L_{H}x \leq (\frac{d+1+2\sqrt{d}}{d+1-2\sqrt{d}})\cdot x^{T}L_{G}x \] where $L_{G}$ and $L_{H}$ are the Laplacian matrices of $G$ and $H$, respectively. Thus, $H$ approximates $G$ spectrally at least as well as a Ramanujan expander with $dn/2$ edges approximates the complete graph. We give an elementary deterministic polynomial time algorithm for constructing $H$.

연구 동기 및 목표

• 모든 무방향 가중 그래프에 대해 정점 수에 선형적인 간선 수를 가진 스펙트럴 스퍼서피어의 존재를 증명하는 것.
• 이러한 스퍼서피어를 이전의 랜덤화되거나 근사적인 방법들보다 향상된 다항시간 결정적 알고리즘으로 구성하는 것.
• 비정규 그래프에 대해서도 라만두잔 확산자 수준의 스펙트럴 근사 비율을 달성하거나 초월하는 것.
• 스펙트럴 스퍼서피어와 케디슨-사이먼 추측 사이의 연결 고리를 설정하여 기능 해석학 및 행렬 이론에 광범위한 함의를 제기하는 것.

제안 방법

• 라플라시안의 이차형식을 바탕으로 스펙트럴 근사에 가장 기여도가 높은 간선을 반복적으로 선택하는 근사적 결정적 알고리즘을 사용한다.
• 고유값의 교차 성질과 라플라시안 이차형식의 구조를 활용하여 근사 비율을 제한한다.
• 모든 일치 벡터에 수직인 벡터 투영과 관련된 레일리 몫의 핵심 부등식을 적용하여 스펙트럴 경계를 유도한다.
• 스퍼서피어 내의 가중 차수들이 $n$과 $n\kappa$ 사이로 유계임을 이용하여 고유값 집중 논증을 가능하게 한다.
• 근사 인자 $\kappa = \frac{d+1+2\sqrt{d}}{d+1-2\sqrt{d}}$가 하위항을 제외하고 점점 최적임을 증명한다.
• 스퍼서피케이션 정리의 더 강력한 형태가 추측의 해법을 암시하므로 케디슨-사이먼 추측과 연결한다.

실험 결과

연구 질문

• RQ1 모든 무방향 가중 그래프는 정점 수에 선형적인 크기의 그래프로 스펙트럴 근사를 보장하는 요소로 스퍼서피어로 변환될 수 있는가?
• RQ2 이러한 스펙트럴 스퍼서피어를 결정적 다항시간 알고리즘으로 구성할 수 있는가?
• RQ3 비정규 그래프에 대해서도 라만두잔 확산자 수준의 근사 인자를 달성할 수 있는가?
• RQ4 평균 차수 $d$를 가진 그래프에서 달성 가능한 최고의 근사 인자는 무엇인가?
• RQ5 이러한 스퍼서피어의 존재는 케디슨-사이먼 추측의 해법을 암시하는가?

주요 결과

• 모든 $d > 1$ 및 모든 $n$-정점 가중 그래프 $G$에 대해, $\lceil d(n-1)\rceil$개의 간선을 가진 스펙트럴 스퍼서피어 $H$가 존재하며, 모든 $x \in \mathbb{R}^V$에 대해 $x^T L_G x \leq x^T L_H x \leq \left(\frac{d+1+2\sqrt{d}}{d+1-2\sqrt{d}}\right) x^T L_G x$를 만족한다.
• 알고리즘은 결정적 $O(dn^3m)$ 시간 내에 $H$를 구성하며, 이는 이전의 랜덤화되거나 근사적인 방법보다 크게 향상된다.
• 근사 인자 $\kappa = \frac{d+1+2\sqrt{d}}{d+1-2\sqrt{d}}$는 점점 최적이다. 평균 차수 $d$를 가진 어떤 그래프도 $1 + \frac{2}{\sqrt{d}} - O\left(\frac{\sqrt{d}}{n}\right)$보다 더 좋은 $\kappa$를 달성할 수 없다.
• 스퍼서피어는 라만두잔 확산자를 일반화한다: $G$가 완전 그래프일 경우, $H$는 스펙트럴 성질이 라만두잔 경계와 일치하는 가중 비정규 확산자가 된다.
• 결과적으로, 효과적 저항이 충분히 작은 그래프는 두 개의 부분그래프로 분할될 수 있으며, 각 부분그래프는 원래 그래프를 스펙트럴로 근사한다.
• 스퍼서피케이션 정리의 강화된 형태는 케디슨-사이먼 추측의 해법을 암시하며, 스펙트럴 그래프 이론과 기능 해석학 사이의 깊은 연결 고리를 확립한다.