New Separations and Reductions for Directed Preservers and Hopsets

Gary Hoppenworth,Yinzhan Xu,Zixuan Xu

2024-11-13

Abstract:We study distance preservers, hopsets, and shortcut sets in $n$-node, $m$-edge directed graphs, and show improved bounds and new reductions for various settings of these problems. Our first set of results is about exact and approximate distance preservers. We give the following bounds on the size of directed distance preservers with $p$ demand pairs: 1) $\tilde{O}(n^{5/6}p^{2/3} + n)$ edges for exact distance preservers in unweighted graphs; and 2) $\Omega(n^{2/3}p^{2/3})$ edges for approximate distance preservers with any given finite stretch, in graphs with arbitrary aspect ratio. Additionally, we establish a new directed-to-undirected reduction for exact distance preservers. We show that if undirected distance preservers have size $O(n^{\lambda}p^{\mu} + n)$ for constants $\lambda, \mu > 0$, then directed distance preservers have size $O\left( n^{\frac{1}{2-\lambda}}p^{\frac{1+\mu-\lambda}{2-\lambda}} + n^{1/2}p + n\right).$ As a consequence of the reduction, if current upper bounds for undirected preservers can be improved for some $p \leq n$, then so can current upper bounds for directed preservers. Our second set of results is about directed hopsets and shortcut sets. For hopsets in directed graphs, we prove that the hopbound is: 1) $\Omega(n^{2/9})$ for $O(m)$-size shortcut sets, improving the previous $\Omega(n^{1/5})$ bound [Vassilevska Williams, Xu and Xu, SODA 2024]; 2) $\Omega(n^{2/7})$ for $O(m)$-size exact hopsets in unweighted graphs, improving the previous $\Omega(n^{1/4})$ bound [Bodwin and Hoppenworth, FOCS 2023]; and 3) $\Omega(n^{1/2})$ for $O(n)$-size approximate hopsets with any given finite stretch, in graphs with arbitrary aspect ratio. This result establishes a separation between this setting and $O(n)$-size approximate hopsets for graphs with polynomial aspect ratio, which have hopbound $\widetilde{O}(n^{1/3})$ [Bernstein and Wein, SODA 2023].

Data Structures and Algorithms

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on two aspects: the optimization problems of distance preservers and hopsets in directed graphs. Specifically, the authors hope to improve the bounds of these structures and explore the relationships between them and the transformation methods.

### 1. Distance Preservers

A distance preserver refers to finding a sparse sub - graph in a given graph so that the distances between specific pairs of nodes are preserved within a certain error range. For distance preservers in directed graphs, the main contributions of the paper include:

- **Exact Distance Preservers**: New upper and lower bounds are proposed. For example, in an unweighted graph, for the requirement of \(p\) pairs of nodes, the size of the exact distance preserver is \(\tilde{O}(n^{5/6}p^{2/3}+n)\).
- **Approximate Distance Preservers**: It is proved that for any finite stretch factor, the lower bound of the approximate distance preserver is \(\Omega(n^{2/3}p^{2/3})\).
- **Directed - to - Undirected Transformation**: A new reduction method from the distance preserver of a directed graph to that of an undirected graph is proposed. If the size of the distance preserver of an undirected graph is \(O(n^{\lambda}p^{\mu}+n)\), then the size of the distance preserver of a directed graph is \(O\left(\frac{n^{1/(2 - \lambda)}p^{(1+\mu-\lambda)/(2 - \lambda)}}{n^{1/2}p + n}\right)\).

### 2. Hopsets

A hopset refers to reducing the shortest - path lengths between all pairs of nodes in a graph by adding a small number of extra edges. The research on hopsets in directed graphs in this paper has made the following progress:

- **Approximate Hopsets**: For \(O(m)\)-sized hopsets, the paper improves the previous lower bounds. For example, for \(O(m)\)-sized approximate hopsets, the new lower bound is \(\Omega(n^{2/9})\), while the previous lower bound was \(\Omega(n^{1/5})\).
- **Exact Hopsets**: For \(O(m)\)-sized exact hopsets, the new lower bound is \(\Omega(n^{2/7})\), while the previous lower bound was \(\Omega(n^{1/4})\).
- **Shortcut Sets**: For \(O(m)\)-sized shortcut sets (only concerned with reachability), the new lower bound is \(\Omega(n^{2/9})\).

### Main Objectives of the Paper

The main objective of the paper is to further understand the properties of distance preservers and hopsets in directed graphs and reveal their internal relationships by introducing new bounds and reduction methods. Specifically, the authors hope to answer the following open questions through these studies:

1. Is there a separation between exact distance preservers and consistent tie - breaking schemes?
2. Is there a separation between approximate preservers with a finite stretch factor and approximate preservers with an infinite stretch factor?
3. Is there a separation between approximate hopsets with a finite stretch factor and approximate hopsets (shortcut sets) with an infinite stretch factor?

Through these studies, the paper not only improves the existing bounds but also provides new tools and perspectives for further research.