New doubling spanners: Better and simpler

T. H.Hubert Chan, Mingfei Li, Li Ning, Shay Solomon

Research output: Contribution to journalArticlepeer-review

Abstract

In a seminal STOC 1995 paper, Arya et al. conjectured that spanners for lowdimensional Euclidean spaces with constant maximum degree, hop-diameter O (log n ), and lightness O (log n ) (i.e., weight O (log n ) • w (MST)) can be constructed in O (n log n ) time. This conjecture, which became a central open question in this area, was resolved in the affirmative by Elkin and Solomon in STOC 2013. In fact, Elkin and Solomon proved that the conjecture of Arya et al. holds even in doubling metrics. However, Elkin and Solomon's spanner construction is complicated. In this work we present a significantly simpler construction of spanners for doubling metrics with the same guarantees as above. Our construction is based on the basic net-tree spanner framework. However, by employing well-known properties of the net-tree spanner in conjunction with numerous new ideas, we managed to get significantly stronger results. First and foremost, our construction extends in a simple and natural way to provide k -fault tolerant spanners with maximum degree O (k2), hopdiameter O (log n ), and lightness O (k2 log n ). This is the first construction of fault-tolerant spanners (even for Euclidean metrics) that achieves good bounds (polylogarithmic in n and polynomial in k) on all the involved parameters simultaneously. Second, we show that the lightness bound of our construction can be improved to O (k2) (with high probability), for random points in [0, 1] D , where 2 ≤ D = O (1).

Original languageEnglish
Pages (from-to)37-53
Number of pages17
JournalSIAM Journal on Computing
Volume44
Issue number1
DOIs
StatePublished - 2015
Externally publishedYes

Keywords

  • Arya et al. Stoc 1995 conjecture
  • Fault-tolerant doubling spanners
  • Lightness
  • Optimal hop-diameter
  • Small degree

Fingerprint

Dive into the research topics of 'New doubling spanners: Better and simpler'. Together they form a unique fingerprint.

Cite this