Dependable Spanners via Unreliable Edges

TL;DR

This paper introduces dependable geometric spanners that maintain near-optimal connectivity despite edge failures, with constructions that are size-efficient and preserve short paths in high-dimensional spaces.

Contribution

The authors present the first constructions of dependable geometric spanners that are resilient to random edge failures, achieving near-linear size and preserving short paths.

Findings

Exact dependable spanner in 1D of size O(n/ψ log n)

High-dimensional dependable spanners of size O(C n log n)

Most vertex pairs have short (≤4 hops) connecting paths

Abstract

Let $P$ be a set of $n$ points in $\mathbb{R}^d$, and let $\varepsilon,\psi \in (0,1)$ be parameters. Here, we consider the task of constructing a $(1+\varepsilon)$-spanner for $P$, where every edge might fail (independently) with probability $1-\psi$. For example, for $\psi=0.1$, about $90\%$ of the edges of the graph fail. Nevertheless, we show how to construct a spanner that survives such a catastrophe with near linear number of edges. The measure of reliability of the graph constructed is how many pairs of vertices lose $(1+\varepsilon)$-connectivity. Surprisingly, despite the spanner constructed being of near linear size, the number of failed pairs is close to the number of failed pairs if the underlying graph was a clique. Specifically, we show how to construct such an exact dependable spanner in one dimension of size $O(\tfrac{n}{\psi} \log n)$, which is optimal. Next, we build an $(1+\varepsilon)$-spanners for a set $P \subseteq \mathbb{R}^d$ of $n$ points, of size $O( C n \log n )$, where $C \approx 1/\bigl(\varepsilon^{d} \psi^{4/3}\bigr)$. Surprisingly, these new spanners also have the property that almost all pairs of vertices have a $\leq 4$-hop paths between them realizing this short path.