Computer Science > Data Structures and Algorithms
[Submitted on 7 Jul 2012 (this version), latest version 27 Nov 2012 (v4)]
Title:Optimal Euclidean spanners: really short, thin and lanky
View PDFAbstract:In a seminal STOC'95 paper, titled "Euclidean spanners: short, thin and lanky", Arya et al. \cite{ADMSS95} devised a construction of Euclidean $(1+\eps)$-spanners that achieves constant degree, diameter $O(\log n)$, and weight $O(\log^2 n) \cdot \omega(MST)$. This construction applies to $n$-point constant-dimensional Euclidean spaces. Moreover, Arya et al. conjectured that the weight bound can be improved by a logarithmic factor, without increasing the degree and the diameter of the spanner.
This conjecture of Arya et al. became one of the most central and fundamental open problems in the area of Euclidean spanners.
In this paper we resolve the long-standing conjecture of Arya et al. in the affirmative. Specifically, we present a construction of spanners with the same stretch, degree and diameter, as in Arya et al.'s result, but with \emph{optimal weight} $O(\log n) \cdot \omega(MST)$.
Moreover, our result is more general in two ways. First, we demonstrate that the conjecture holds true not only in constant-dimensional Euclidean spaces, but also in \emph{metrics of constant doubling dimension} (namely, doubling metrics). Second, we provide a general tradeoff between the three involved parameters, which is \emph{tight in the entire range}. Specifically, we prove that for any $n$-point doubling metric, any $\eps > 0$, and any parameter $\rho \ge 2$, there exists a $(1+\eps)$-spanner with degree $O(\rho)$, diameter $O(\log_\rho n)$, and weight $O(\rho \cdot \log_\rho n) \cdot \omega(MST)$.
To prove this result, we develop a general technique for transforming any given (possibly heavy-weight) spanner $H$ into a \emph{light-weight spanner} $H'$ that has (essentially) the same number of edges, stretch, degree and diameter as those of $H$. Our technique is not restricted to Euclidean or doubling metrics, but rather applies to general metrics.
Submission history
From: Shay Solomon [view email][v1] Sat, 7 Jul 2012 22:39:46 UTC (191 KB)
[v2] Wed, 24 Oct 2012 16:45:38 UTC (530 KB)
[v3] Fri, 23 Nov 2012 14:53:25 UTC (475 KB)
[v4] Tue, 27 Nov 2012 15:37:50 UTC (474 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.