154 research outputs found
Many Sparse Cuts via Higher Eigenvalues
Cheeger's fundamental inequality states that any edge-weighted graph has a
vertex subset such that its expansion (a.k.a. conductance) is bounded as
follows: \phi(S) \defeq \frac{w(S,\bar{S})}{\min \set{w(S), w(\bar{S})}}
\leq 2\sqrt{\lambda_2} where is the total edge weight of a subset or a
cut and is the second smallest eigenvalue of the normalized
Laplacian of the graph. Here we prove the following natural generalization: for
any integer , there exist disjoint subsets ,
such that where
is the smallest eigenvalue of the normalized Laplacian and
are suitable absolute constants. Our proof is via a polynomial-time
algorithm to find such subsets, consisting of a spectral projection and a
randomized rounding. As a consequence, we get the same upper bound for the
small set expansion problem, namely for any , there is a subset whose
weight is at most a \bigO(1/k) fraction of the total weight and . Both results are the best possible up to constant
factors.
The underlying algorithmic problem, namely finding subsets such that the
maximum expansion is minimized, besides extending sparse cuts to more than one
subset, appears to be a natural clustering problem in its own right
- β¦