ABSTRACT
Cheeger's fundamental inequality states that any edge-weighted graph has a vertex subset S such that its expansion (a.k.a. conductance) is bounded as follows: [ φ(S) def= (w(S,bar{S}))/(min set(w(S), w(bar(S)))) ≤ √(2 λ2) ] where w is the total edge weight of a subset or a cut and λ2 is the second smallest eigenvalue of the normalized Laplacian of the graph. Here we prove the following natural generalization: for any integer k ∈ [n], there exist ck disjoint subsets S1, ..., Sck, such that [ maxi φ(Si) ≤ C √(λk log k) ] where λk is the kth smallest eigenvalue of the normalized Laplacian and c<1,C>0 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 k, there is a subset S whose weight is at most a O(1/k) fraction of the total weight and φ(S) ≤ C √(λk log k). Both results are the best possible up to constant factors.
The underlying algorithmic problem, namely finding k 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.
Supplemental Material
- Sanjeev Arora, Boaz Barak, and David Steurer, Subexponential algorithms for unique games and related problems, FOCS, 2010. Google ScholarDigital Library
- Noga Alon, Eigenvalues and expanders, Combinatorica 6 (1986), no. 2, 83--96. Google ScholarDigital Library
- Noga Alon and V. D. Milman, lambda_1, isoperimetric inequalities for graphs, and superconcentrators, J. Comb. Theory, Ser. B 38 (1985), no. 1, 73--88.Google ScholarCross Ref
- Yonatan Aumann and Yuval Rabani, An O(log k) approximate min-cut max-flow theorem and approximation algorithm, SIAM J. Comput. 27 (1998), no. 1, 291--301. Google ScholarDigital Library
- Sanjeev Arora, Satish Rao, and Umesh V. Vazirani, Expander flows, geometric embeddings and graph partitioning, STOC (László Babai, ed.), ACM, 2004, pp. 222--231. Google ScholarDigital Library
- 1}bfk11Nikhil Bansal, Uriel Feige, Robert Krauthgamer, Konstantin Makarychev, Viswanath Nagarajan, Joseph Naor, and Roy Schwartz, Min-max graph partitioning and small set expansion, FOCS (Rafail Ostrovsky, ed.), IEEE, 2011, pp. 17--26. Google ScholarDigital Library
- Punyashloka Biswal, James R. Lee, and Satish Rao, Eigenvalue bounds, spectral partitioning, and metrical deformations via flows, J. ACM 57 (2010), no. 3. Google ScholarDigital Library
- Christer Borell, Geometric bounds on the ornstein-uhlenbeck velocity process, Probability Theory and Related Fields 70 (1985), 1--13, 10.1007/BF00532234.Google ScholarCross Ref
- Stephen T. Barnard and Horst D. Simon, Fast multilevel implementation of recursive spectral bisection for partitioning unstructured problems, Concurrency: Practice and Experience 6 (1994), no. 2, 101--117.Google Scholar
- Fan Chung, Spectral graph theory, American Mathematical Society, 1997.Google Scholar
- Moses Charikar, Konstantin Makarychev, and Yury Makarychev, Near-optimal algorithms for unique games, STOC, 2006, pp. 205--214. Google ScholarDigital Library
- Bruce Hendrickson and Robert Leland, An improved spectral graph partitioning algorithm for mapping parallel computations, SIAM J. Sci. Comput. 16 (1995), 452--469. Google ScholarDigital Library
- Jonathan A. Kelner, Spectral partitioning, eigenvalue bounds, and circle packings for graphs of bounded genus, SIAM J. Comput. 35 (2006), no. 4, 882--902. Google ScholarDigital Library
- Ravi Kannan, Santosh Vempala, and Adrian Vetta, On clusterings: Good, bad and spectral, J. ACM 51 (2004), no. 3, 497--515. Google ScholarDigital Library
- James R. Lee, Shayan Oveis Gharan, and Luca Trevisan, Multi-way spectral partitioning and higher-order cheeger inequalities, STOC (2012). Google ScholarDigital Library
- Nathan Linial, Eran London, and Yuri Rabinovich, The geometry of graphs and some of its algorithmic applications, Combinatorica 15 (1995), no. 2, 215--245.Google ScholarCross Ref
- Frank Thomson Leighton and Satish Rao, Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms, J. ACM 46 (1999), no. 6, 787--832. Google ScholarDigital Library
- Anand Louis, Prasad Raghavendra, Prasad Tetali, and Santosh Vempala, Algorithmic extensions of cheeger's inequality to higher eigenvalues and partitions, APPROX-RANDOM, Lecture Notes in Computer Science, vol. 6845, Springer, 2011, pp. 315--326. Google ScholarDigital Library
- Michel Ledoux and Michel Talagrand, Probability in banach spaces, Springer, 1991.Google ScholarCross Ref
- Prasad Raghavendra and David Steurer, Graph expansion and the unique games conjecture, STOC (Leonard J. Schulman, ed.), ACM, 2010, pp. 755--764. Google ScholarDigital Library
- Prasad Raghavendra, David Steurer, and Prasad Tetali, Approximations for the isoperimetric and spectral profile of graphs and related parameters, STOC, 2010, pp. 631--640. Google ScholarDigital Library
- Prasad Raghavendra, David Steurer, and Madhur Tulsiani, Reductions between expansion problems, Manuscript, 2010.Google Scholar
- Daniel A. Spielman and Shang-Hua Teng, Spectral partitioning works: Planar graphs and finite element meshes, FOCS, IEEE Computer Society, 1996, pp. 96--105. Google ScholarDigital Library
Index Terms
- Many sparse cuts via higher eigenvalues
Recommendations
Almost Optimal Local Graph Clustering Using Evolving Sets
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 ...
Multiway Spectral Partitioning and Higher-Order Cheeger Inequalities
A basic fact in spectral graph theory is that the number of connected components in an undirected graph is equal to the multiplicity of the eigenvalue zero in the Laplacian matrix of the graph. In particular, the graph is disconnected if and only if ...
Median eigenvalues of bipartite graphs
For a graph $$G$$G of order $$n$$n and with eigenvalues $$\lambda _1\geqslant \cdots \geqslant \lambda _n$$ 1 n, the HL-index $$R(G)$$R(G) is defined as $$R(G) ={\max }\left\{ |\lambda _{\lfloor (n+1)/2\rfloor }|, |\lambda _{\lceil (n+1)/2\rceil }|\...
Comments