New $(α,β)$ Spanners and Hopsets

Abstract

An $f(d)$-spanner of an unweighted $n$-vertex graph $G=(V,E)$ is a subgraph $H$ satisfying that $dist_H(u, v)$ is at most $f(dist_G(u, v))$ for every $u,v \in V$. We present new spanner constructions that achieve a nearly optimal stretch of $O(\lceil k /d \rceil)$ for any distance value $d \in [1,k^{1-o(1)}]$, and $d \geq k^{1+o(1)}$. We show the following: 1. There exists an $f(d)$-spanner $H \subseteq G$ with $f(d)\leq 7k$ for any $d \in [1,\sqrt{k}/2]$ with expected size $O_{k}(n^{1+1/k})$. This in particular gives $(α,β)$ spanners with $α=O(\sqrt{k})$ and $β=O(k)$. 2. For any $ε\in (0,1/2]$, there exists an $(α,β)$-spanner with $α=O(k^ε)$, $β=O_ε(k)$ and of expected size $O_{k}(n^{1+1/k})$. This implies a stretch of $O(\lceil k/d \rceil)$ for any $d \in [\sqrt{k}/2, k^{1-ε}]$, and for every $d\geq k^{1+ε}$. In particular, it provides a constant stretch already for vertex pairs at distance $k^{1+o(1)}$ (improving upon $d=(\log k)^{\log k}$ that was known before). Up to the $o(1)$ factor in the exponent, and the constant factor in the stretch, this is the best possible by the girth argument. 3. For any $ε\in (0,1)$ and integer $k\geq 1$, there is a $(3+ε, β)$-spanner with $β=O_ε(k^{\log(3+8/ε)})$ and $O_{k,ε}(n^{1+1/k})$ edges. We also consider the related graph concept of hopsets introduced by [Cohen, J. ACM '00]. We present a new family of $(α,β)$ hopsets with $\widetilde{O}(k \cdot n^{1+1/k})$ edges and $α\cdot β=O(k)$. Most notably, we show a construction of $(3+ε,β)$ hopset with $\widetilde{O}_{k,ε}(n^{1+1/k})$ edges and hop-bound of $β=O_ε(k^{\log(3+9/ε)})$, improving upon the state-of-the-art hop-bound of $β=O(\log k /ε)^{\log k}$ by [Elkin-Neiman, '17] and [Huang-Pettie, '17].