Abstract:The notion of vertex sparsification (in particular cut-sparsification) is introduced in (Moitra, 2009), where it was shown that for any graph $G = (V, E)$ and any subset of $k$ terminals $K \subset V$, there is a polynomial time algorithm to construct a graph $H = (K, E_H)$ \emph{on just the terminal set} so that simultaneously for all cuts $(A, K-A)$, the value of the minimum cut in $G$ separating $A$ from $K -A$ is approximately the same as the value of the corresponding cut in $H$. Then approximation algorithms can be run directly on $H$ as a proxy for running on $G$. We give the first super-constant lower bounds for how well a cut-sparsifier $H$ can simultaneously approximate all minimum cuts in $G$. %In fact, we prove that in general we cannot hope for approximation factors better than We prove a lower bound of $\Omega(\log^{1/4} k)$ – this is polynomially-related to the known upper bound of $O(\log k/\log \log k)$. Independently, a similar lower bound is given in (Makarychev, Makarychev, 2010). This is an exponential improvement on the $\Omega(\log \log k)$ bound given in (Leighton, Moitra, 2010) which in fact was for a stronger vertex sparsification guarantee, and did not apply to cut sparsifiers. Despite this negative result, we show that for many natural optimization problems, we do not need to incur a multiplicative penalty for our reduction. Roughly, we show that any rounding algorithm which also works for the $0$-extension relaxation can be used to construct good vertex-sparsifiers for which the optimization problem is easy. Using this, we obtain optimal $O(\log k)$-competitive Steiner oblivious routing schemes, which generalize the results in (Raecke, 2008). We also demonstrate that for a wide range of graph packing problems (which includes maximum concurrent flow, maximum multiflow and multicast routing, among others, as a special case), the integrality gap of the linear program is always at most $O(\log k)$ times the integrality gap restricted to trees. Lastly, we use our ideas to give an efficient construction for vertex-sparsifiers that match the current best existential results – this was previously open. Our algorithm makes novel use of Earth-mover constraints.

Reachability Preservers: New Extremal Bounds and Approximation Algorithms

Improved Online Reachability Preservers

Almost optimal super-constant-pass streaming lower bounds for reachability

Improved Approximations for Relative Survivable Network Design

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More

Deterministic Fully Dynamic SSSP and More

New Separations and Reductions for Directed Preservers and Hopsets

Breaching the 2-Approximation Barrier for Connectivity Augmentation: a Reduction to Steiner Tree

Restless reachability problems in temporal graphs

Decentralized Low-Stretch Trees via Low Diameter Graph Decompositions

A Note on Approximation of Spanning Tree Congestion

Demand-Aware Network Design with Steiner Nodes and a Connection to Virtual Network Embedding

New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners

Vertex Sparsifiers and Abstract Rounding Algorithms

Dynamic complexity of Reachability: How many changes can we handle?

Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

Efficiently Answering Span-Reachability Queries in Large Temporal Graphs

Vertex Sparsifiers and Abstract Rounding Algorithms.

Optimal Lower Bounds for Distributed and Streaming Spanning Forest Computation

Universally-Optimal Distributed Algorithms for Known Topologies