---
title: Distance Preservers in Graphs
url: https://www.emergentmind.com/topics/distance-preservers
type: topic
---

# Distance Preservers in Graphs

A distance preserver is a sparse subgraph of a given graph that exactly preserves the shortest-path distance for a prescribed set of pairs, termed *demand pairs*. The study of distance preservers is central to extremal combinatorics, graph sparsification, metric compression, and distance labeling. Recent work has yielded sharp, nearly optimal upper and lower bounds on their size, powerful reductions between directed and undirected instances, and insights into both their algorithmic construction and computational complexity.

## 1. Formal Definition and Foundational Properties

Let $G=(V,E)$ be a (possibly directed, possibly weighted) graph, and let $P \subseteq V \times V$ be a set of $p$ demand pairs. A subgraph $H \subseteq G$ is a *distance preserver* for $(G, P)$ if:
\[
\forall (s, t) \in P :\quad \operatorname{dist}_H(s,t) = \operatorname{dist}_G(s,t)
\]
For undirected graphs, $(s, t)$ may be treated as unordered. Two important special cases are *pairwise* preservers (arbitrary $P$) and *subsetwise* (all pairs in $S \subseteq V$). The extremal quantity of interest is, for each $n$ and $p$, the smallest possible number of edges in a preserver for some $n$-node graph and $p$ demand pairs.

Trivial lower bounds are immediate: a preserver must retain every edge forming a unique shortest path for its associated pair. In an unweighted clique with $p$ demands, $\Omega(p)$ edges are needed. In a path of length $n-1$ and $P={(s,t)}$, all $n-1$ edges are required [1505.05599].

## 2. Combinatorial Upper and Lower Bounds

Historically, distance preserver construction relied on properties of *consistent tiebreaking* for shortest paths. Here, a tiebreaking scheme $\pi$ is consistent if, for any four vertices $w, x, y, z$, the intersection $\pi(w,x) \cap \pi(y,z)$ is either empty or a contiguous subpath in both [1505.05599].

Coppersmith–Elkin (2006) established that, under any consistent scheme, the union of $p$ respective demand-paths yields a preserver with
\[
O\bigl(\min\{n+n^{1/2}p,\;n p^{1/2}\}\bigr)
\]
edges in an $n$-node undirected unweighted graph [1505.05599]. This was shown tight for consistent schemes via a finite field grid-line construction.

Recent advances decisively surpassed these bounds. Bodwin and Vassilevska Williams introduced a fundamentally new peeling technique, demonstrating that
\[
O(n^{2/3}p^{2/3} + n p^{1/3})
\]
edges always suffice in an undirected unweighted $n$-vertex graph, for any set of $p$ demand pairs [1505.05599]. The proof leverages a density-based iterative rerouting via low-diameter “chokepoint” sets and branching event arguments. The resulting curve interpolates and improves on all prior regimes. Currently, the best known upper bounds for key settings are summarized below.

| Graph type                    | Upper Bound                                    | Reference      |
|-------------------------------|------------------------------------------------|---------------|
| Undirected, unweighted        | $O(n^{2/3}p^{2/3} + n p^{1/3})$                | [1505.05599]  |
| Directed, weighted            | $O(n + n^{2/3} p)$                             | [1605.01106]  |
| Exact, unweighted directed    | $\widetilde{O}(n^{5/6}p^{2/3} + n)$            | [2411.08151]  |
| Undirected, unweighted, linear-in-$p$ regime | $O(p + n^2/rs(n))$ (see below)          | [1605.01106]  |

**Lower bounds** are known from classical and recent combinatorial constructions:
- At least $\Omega(n^{2/3}p^{2/3})$ edges are required for certain parameter regimes in both weighted and directed settings [1605.01106, 2411.08151].
- For subsetwise preservers, there are parameter regions where $\omega(\sigma^2)$ edges are necessary to preserve all pairwise distances within a set of $\sigma$ nodes, even in unweighted undirected graphs [1605.01106].

A major refinement, due to Bodwin [1605.01106], established that in undirected unweighted graphs with $p \geq \Omega(n^2/rs(n))$, there are preservers of size $O(p)$, where $rs(n)$ is the Ruzsa–Szemerédi function—the maximal $r$ such that any graph of $n^2/r$ edges can be partitioned into $n$ induced matchings. The best known is $2^{\Omega(\log^* n)} \leq rs(n) \leq 2^{O(\sqrt{\log n})}$.

## 3. Directed, Weighted, and Approximate Preservers

The situation in directed and/or weighted graphs is more intricate:
- In directed weighted graphs, $O(n + n^{2/3}p)$ suffices, and $O(n)$ can be achieved if $p = O(n^{1/3})$ [1605.01106].
- For unweighted directed graphs, recent work shows an upper bound of $\widetilde{O}(n^{5/6}p^{2/3} + n)$ [2411.08151], improving prior $O(n^{2/3}p + n)$ from consistent tiebreaking.
- Critically, a *directed-to-undirected reduction* has been established: improvements in the undirected preserver regime immediately translate (via an explicit exponent transformation) to better directed preservers [2411.08151].

For $\alpha$–approximate preservers (allowing for a finite stretch), lower bounds reveal that approximate preservers can require asymptotically as many edges as exact ones in certain regimes; for all finite $\alpha$, $\Omega(n^{2/3}p^{2/3})$ edges may still be required [2411.08151]. For near-exact $(1+\epsilon)$–preservers, the best bounds in weighted directed graphs are
\[
\tilde{O}_\epsilon\bigl(n \, p^{2/5} + (n p)^{2/3}\bigr)
\]
as a consequence of reductions from hopset constructions [2211.06920].

## 4. Algorithmic Construction and Complexity

Several explicit algorithms have been developed for constructing (sub)optimal distance preservers:
- The “hitting set” framework and slack stitching arguments yield polylog-free ($O(1)$-factor) constructions, modulo randomness, for numerous related preserves and additive spanners [2001.07741].
- The parameterized complexity of the *minimum distance preserver* problem has recently been mapped [2603.21442]. Both the subsetwise and pairwise variants are NP-hard and W[1]-hard parameterized by numbers of terminals even on grid subgraphs; however, they become FPT on full grids or graphs of bounded treewidth.
- The minimum-weight preserver and cost-sharing variants are highly inapproximable. For weighted graphs, the cost-sharing pairwise preserver (CSPDP) cannot be approximated within a factor $O(|E|^{1/6-\epsilon})$ unless Label-Cover$_\max$ improves, and the best available algorithm achieves $O(|E|^{1/2+\epsilon})$-approximation in time $O((|P||E|)^{2.38}/\epsilon)$ [2007.07554].

## 5. Structural and Fault-Tolerant Generalizations

Several extensions of the preserver paradigm have been studied:
- **Distance-preserving trees:** Characterize when a single spanning tree preserves distances from two vertices; necessary and sufficient conditions are given in terms of unique shortest paths and a partitioning dictated by unique nearest points [1407.6416]. The general $r$-vertex case remains open.
- **Fault-tolerant preservers:** For an integer $f \geq 1$, an $f$-fault-tolerant preserver ensures distances are preserved even after up to $f$ edge (or vertex) failures. For $f=1$, subquadratic-size preservers exist, but for $f \geq 2$ and weighted (or directed) graphs, $\Theta(n^2)$ edges may be necessary [1703.10293].
- **Distributed preserver construction:** In the CONGEST model, distributed algorithms yield 2-fault-tolerant preservers with $O(|S|^{1/8} n^{15/8})$ edges and $\widetilde O(D + n^{7/8}|S|^{1/8} + |S|^{5/4}n^{3/4})$ rounds for $|S|$ sources [2010.01503].

## 6. Connections, Generalizations, and Open Problems

Distance preservers are deeply connected to:
- **Additive spanner constructions:** The best-known preservers power additive spanners with $O(n)$ edges and $+O(n^{3/7+\varepsilon})$ stretch [1505.05599].
- **Hopsets:** General reductions from hopset constructions have enabled improved near-exact preserver bounds in both directed and undirected settings [2211.06920]. However, reductions are currently one-way (hopsets $\Rightarrow$ preservers).
- **Induced-matchings and the Ruzsa–Szemerédi problem:** In specific parameter regimes, the size of the best preserver is governed by $rs(n)$, which is a central open problem in extremal combinatorics related to induced-matching decompositions [1605.01106].

Several open problems remain:
- The conjectured optimal bound in undirected unweighted graphs is $O(n^{2/3}p^{2/3} + n)$, but the precise dependence on $p$ for small $p$ remains unresolved [1505.05599].
- The subsetwise preserver regime for intermediate subset size still has a gap between upper and lower bounds [1605.01106].
- Uniform improvements in undirected preservers, particularly in the challenging $p \gg \sqrt{n}$ regime, would automatically transfer via current reductions to the directed setting [2411.08151].
- Generalizations to multiroot distance-preserving trees and to negative-weight or directed graphs invite further investigation [1407.6416].

In summary, distance preservers constitute a central object at the interface of extremal graph theory, algorithmic metric compression, and graph sparsification. The landscape of optimal size bounds is nearly but not completely mapped, especially beyond the simplest undirected, unweighted, pairwise regime. Recent advances have revealed deep combinatorial phenomena, clarified computational hardness, and created bridges between previously disparate sparsification techniques. The field remains open to both combinatorial advances and algorithmic innovation.

Source: https://www.emergentmind.com/topics/distance-preservers