Graph Sparsification by Effective Resistances

Graph Sparsification by Effective Resistances

November 18, 2009 | Daniel A. Spielman, Nikhil Srivastava
The paper presents a nearly-linear time algorithm for constructing high-quality spectral sparsifiers of weighted graphs. Given a weighted graph \( G = (V, E, w) \) and a parameter \( \epsilon > 0 \), the algorithm produces a weighted subgraph \( H = (V, \tilde{E}, \tilde{w}) \) with \( |\tilde{E}| = O(n \log n / \epsilon^2) \) edges such that for all vectors \( x \in \mathbb{R}^V \): \[ (1 - \epsilon) \sum_{uv \in E} (x(u) - x(v))^2 w_{uv} \leq \sum_{uv \in \tilde{E}} (x(u) - x(v))^2 \tilde{w}_{uv} \leq (1 + \epsilon) \sum_{uv \in E} (x(u) - x(v))^2 w_{uv}. \] This improves upon previous constructions by Spielman and Teng, which had \( O(n \log^c n) \) edges for some large constant \( c \), and Benczúr and Karger, which only satisfied the spectral sparsification guarantee for vectors \( x \in \{0, 1\}^V \). A key component of the algorithm is a subroutine for computing approximate effective resistances between any two vertices in a graph in \( O(\log n) \) time. The effective resistance of an edge is defined as the probability that the edge appears in a random spanning tree of the graph, and it is shown that this can be approximated efficiently using Spielman and Teng's linear equation solver and the Johnson-Lindenstrauss Lemma. The main result is a theorem stating that if \( q = 9 C^2 n \log n / \epsilon^2 \), where \( C \) is a constant, then the Laplacians of the original graph \( L \) and the sparsifier \( \tilde{L} \) are close in spectral norm, ensuring that the sparsifier preserves many properties of the original graph. The paper also discusses the robustness of the sparsifier to changes in sampling probabilities and proves an additional property that ensures the sparsifier can be used to solve linear systems efficiently.The paper presents a nearly-linear time algorithm for constructing high-quality spectral sparsifiers of weighted graphs. Given a weighted graph \( G = (V, E, w) \) and a parameter \( \epsilon > 0 \), the algorithm produces a weighted subgraph \( H = (V, \tilde{E}, \tilde{w}) \) with \( |\tilde{E}| = O(n \log n / \epsilon^2) \) edges such that for all vectors \( x \in \mathbb{R}^V \): \[ (1 - \epsilon) \sum_{uv \in E} (x(u) - x(v))^2 w_{uv} \leq \sum_{uv \in \tilde{E}} (x(u) - x(v))^2 \tilde{w}_{uv} \leq (1 + \epsilon) \sum_{uv \in E} (x(u) - x(v))^2 w_{uv}. \] This improves upon previous constructions by Spielman and Teng, which had \( O(n \log^c n) \) edges for some large constant \( c \), and Benczúr and Karger, which only satisfied the spectral sparsification guarantee for vectors \( x \in \{0, 1\}^V \). A key component of the algorithm is a subroutine for computing approximate effective resistances between any two vertices in a graph in \( O(\log n) \) time. The effective resistance of an edge is defined as the probability that the edge appears in a random spanning tree of the graph, and it is shown that this can be approximated efficiently using Spielman and Teng's linear equation solver and the Johnson-Lindenstrauss Lemma. The main result is a theorem stating that if \( q = 9 C^2 n \log n / \epsilon^2 \), where \( C \) is a constant, then the Laplacians of the original graph \( L \) and the sparsifier \( \tilde{L} \) are close in spectral norm, ensuring that the sparsifier preserves many properties of the original graph. The paper also discusses the robustness of the sparsifier to changes in sampling probabilities and proves an additional property that ensures the sparsifier can be used to solve linear systems efficiently.
Reach us at info@study.space
Understanding Graph sparsification by effective resistances