EUCLIDEAN STEINER SPANNERS: LIGHT AND SPARSE^*

Lightness and sparsity are two natural parameters for Euclidean (1 + ε)-spanners. Classical results show that, when the dimension d ∊ ℕ and ε > 0 are constant, every set S of n points in d-space admits a (1 + ε)-spanner with O(n) edges and weight proportional to that of the Euclidean minimum spanning tree of S. In a recent breakthrough, Le and Solomon [Proceedings of FOCS, 2019, pp. 1078-1100] established the precise dependencies on ε > 0, for constant d ∊ ℕ, of the minimum lightness and sparsity of (1 + ε)-spanners, and observed that Steiner points can substantially improve the lightness and sparsity of a (1 + ε)-spanner. They gave upper bounds of O^\~(ε ^- (d+1)/²) for the minimum lightness in dimensions d ≥ 3 and O^\~(ε ^- (^{d -} 1)/²) for the minimum sparsity in d-space for all d ≥ 1. Subsequently, Le and Solomon [LIPIcs Leibniz Int. Proc. Inform. 173, Schloss Dagstuhl, Wadern, 2020, pp. 67:1-67:22] constructed Steiner (1+ε)-spanners of lightness O(ε ^-1 log Δ) in the plane, where Δ ∊ Ω(√n) is the spread of S, defined as the ratio between the maximum and the minimum distance between a pair of points. In this work, we improve several bounds on the lightness and sparsity of Euclidean Steiner (1 + ε)-spanners. We establish lower bounds of Ω(ε ^- d/²) for the lightness and Ω(ε ^- (^{d -} 1)/²) for the sparsity of such spanners in Euclidean d-space for all constant d ≥ 2. Our lower bound constructions generalize previous constructions by Le and Solomon, but the analysis substantially simplifies previous work, using new geometric insight, focusing on the directions of edges. Next, we show that for every finite set of points in the plane and every ε ∊ (0, 1], there exists a Euclidean Steiner (1+ε)-spanner of lightness O(ε ^-1); this matches the lower bound for d = 2. We generalize the notion of shallow light trees, which may be of independent interest, and use directional spanners and a modified window partitioning scheme to achieve a tight weight analysis.