# Sparsification of Balanced Directed Graphs

Sparsification, where the cut values of an input graph are approximately preserved by a sparse graph (called a cut sparsifier) or a succinct data structure (called a cut sketch), has been an influential tool in graph algorithms. But, this tool is restricted to undirected graphs, because some directed graphs are known to not admit sparsification. Such examples, however, are structurally very dissimilar to undirected graphs in that they exhibit highly unbalanced cuts. This motivates us to ask: can we sparsify a balanced digraph? To make this question concrete, we define balance β of a digraph as the maximum ratio of the cut value in the two directions (Ene et al., STOC 2016). We show the following results: For-All Sparsification: If all cut values need to be simultaneously preserved (cf. Benczúr and Karger, STOC 1996), then we show that the size of the sparsifier (or even cut sketch) must scale linearly with β. The upper bound is a simple extension of sparsification of undirected graphs (formally stated recently in Ikeda and Tanigawa (WAOA 2018)), so our main contribution here is to show a matching lower bound. For-Each Sparsification: If each cut value needs to be individually preserved (Andoni et al., ITCS 2016), then the situation is more interesting. Here, we give a cut sketch whose size scales with √(β), thereby beating the linear lower bound above. We also show that this result is tight by exhibiting a matching lower bound of √(β) on "for-each" cut sketches. Our upper bounds work for general weighted graphs, while the lower bounds even hold for unweighted graphs with no parallel edges.

• 139 publications
• 29 publications
• 4 publications
research
11/10/2020

### On the cut dimension of a graph

Let G = (V,w) be a weighted undirected graph with m edges. The cut dimen...
research
12/29/2017

### Optimal Lower Bounds for Sketching Graph Cuts

We study the space complexity of sketching cuts and Laplacian quadratic ...
research
04/20/2023

### Bounds on Maximum Weight Directed Cut

We obtain lower and upper bounds for the maximum weight of a directed cu...
research
12/22/2022

### Bridge Girth: A Unifying Notion in Network Design

A classic 1993 paper by Althőfer et al. proved a tight reduction from sp...
research
11/28/2019

### Quantum Lower Bounds for 2D-Grid and Dyck Language

We show quantum lower bounds for two problems. First, we consider the pr...
research
09/16/2022

### On Weighted Graph Sparsification by Linear Sketching

A seminal work of [Ahn-Guha-McGregor, PODS'12] showed that one can compu...
research
07/06/2020

### Quantum Lower and Upper Bounds for 2D-Grid and Dyck Language

We study the quantum query complexity of two problems. First, we consi...