Almost Optimal Local Graph Clustering Using Evolving SetsAlmost Optimal Local Graph Clustering Using Evolving Sets

Access Restriction
Subscribed

 Author Andersen, Reid ♦ Gharan, Shayan Oveis ♦ Peres, Yuval ♦ Trevisan, Luca Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©2016 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Subject Keyword Cheeger’s inequality ♦ Local graph clustering ♦ Random walks ♦ Sparsest cut Abstract Spectral partitioning is a simple, nearly linear time algorithm to find sparse cuts, and the Cheeger inequalities provide a worst-case guarantee for the quality of the approximation found by the algorithm. A local graph partitioning algorithm finds a set of vertices with small conductance (i.e., a sparse cut) by adaptively exploring part of a large graph $\textit{G},$ starting from a specified vertex. For the algorithm to be local, its complexity must be bounded in terms of the size of the set that it outputs, with at most a weak dependence on the number $\textit{n}$ of vertices in $\textit{G}.$ Previous local partitioning algorithms find sparse cuts using random walks and personalized PageRank [Spielman and Teng 2013; Andersen et al. 2006]. In this article, we introduce a simple randomized local partitioning algorithm that finds a sparse cut by simulating the volume-biased evolving set process, which is a Markov chain on sets of vertices. We prove that for any ε > 0, and any set of vertices $\textit{A}$ that has conductance at most φ, for at least half of the starting vertices in $\textit{A}$ our algorithm will output (with constant probability) a set of conductance $\textit{O}(&sqrt;φ$ /ε). We prove that for a given run of the algorithm, the expected ratio between its computational complexity and the volume of the set that it outputs is $vol(A)^{ε}φ^{&mins;1/2}polylog(n),$ where $vol(\textit{A})$ = $∑\textit{v}$ ∈ $\textit{A}\textit{d}(\textit{v})$ is the volume of the set $\textit{A}.$ This gives an algorithm with the same guarantee (up to a constant factor) as the Cheeger’s inequality that runs in time slightly superlinear in the size of the output. This is the first sublinear (in the size of the input) time algorithm with almost the same guarantee as the Cheeger’s inequality. In comparison, the best previous local partitioning algorithm, by Andersen et al. [2006], has a worse approximation guarantee of $\textit{O}(&sqrt;φ$ log $\textit{n})$ and a larger ratio of $φ^{&mins;1}$ $polylog(\textit{n})$ between the complexity and output volume. As a by-product of our results, we prove a bicriteria approximation algorithm for the expansion profile of any graph. For 0 < $\textit{k}$ ⩽ $vol(\textit{V})/2,$ let $φ(\textit{k})$ ≔ min $\textit{S}:$ $vol(\textit{S})$ ⩽ $\textit{k}φ(\textit{S}).$ There is a polynomial time algorithm that, for any $\textit{k},$ ε > 0, finds a set $\textit{S}$ of volume $vol(\textit{S})$ ⩽ $\textit{O}(\textit{k}1$ + ε) and expansion $φ(\textit{S})≤$ $\textit{O}(&sqrt;φ$ $(\textit{k})/ε).$ As a new technical tool, we show that for any set $\textit{S}$ of vertices of a graph, a lazy $\textit{t}-step$ random walk started from a randomly chosen vertex of $\textit{S}$ will remain entirely inside $\textit{S}$ with probability at least (1 ™ $φ(S)/2)^{t}.$ This itself provides a new lower bound to the uniform mixing time of any finite state reversible Markov chain. ISSN 00045411 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 2016-05-04 Publisher Place New York e-ISSN 1557735X Journal Journal of the ACM (JACM) Volume Number 63 Issue Number 2 Page Count 31 Starting Page 1 Ending Page 31

Open content in new tab

Source: ACM Digital Library