Optimal Bounds for Spanners and Tree Covers in Doubling Metrics

It is known that any n-point set in the d-dimensional Euclidean space ℝᵈ, for d = O (1), admits: 1) A (1+ε) -spanner with maximum degree Õ (ε^-d+1) and with lightness Õ (ε^-d), for any ε > 0. 2) A (1+ε) -tree cover with Õ (n ⋅ ε^-d+1) trees and maximum degree of O (1) in each tree. Moreover, all the parameters in these constructions are optimal: For any 2 ≤ d = O (1), there exists an n-point set in ℝᵈ, for which any (1+ε) -spanner has Ω̃ (n⋅ε^-d+1) edges and lightness Ω̃ (ε^-d). The upper bounds for Euclidean spanners rely heavily on the spatial property of cone partitioning in ℝᵈ, which does not seem to extend to the wider family of doubling metrics, i. e. , metric spaces of constant doubling dimension. In doubling metrics, a simple spanner construction from two decades ago, the net-tree spanner, has Õ (n⋅ε^-d) edges, and it could be transformed into a spanner of maximum degree Õ (ε^-d) and lightness Õ (n⋅ε^- (d+1) ) by pruning redundant edges. Moreover, a careful refinement of the net-tree spanner yields a (1+ε) -tree cover with Õ (ε^-d) trees. Despite a large body of work, the problem of obtaining tight bounds for spanners and tree covers in the wider family of doubling metrics has remained elusive. We resolve this problem by presenting: 1) A surprisingly simple and tight lower bound, which shows that the net-tree spanner and its pruned version are optimal with respect to all the involved parameters. 2) A new construction of (1+ε) -tree covers with Õ (n⋅ε^-d) trees, with maximum degree O (1) in each tree. This construction is optimal with respect to the number of trees and maximum degree.