### Optimal Euclidean Spanners: Really Short, Thin, and LankyOptimal Euclidean Spanners: Really Short, Thin, and Lanky

Access Restriction
Subscribed

 Author Elkin, Michael ♦ Solomon, Shay Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©2015 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Subject Keyword Doubling metrics ♦ Euclidean spaces ♦ Euclidean spanners Abstract The degree, the (hop-)diameter, and the weight are the most basic and well-studied parameters of geometric spanners. In a seminal STOC'95 paper, titled “Euclidean spanners: short, thin and lanky”, Arya et al. [1995] devised a construction of Euclidean (1+ε)-spanners that achieves constant degree, diameter $\textit{O}(log$ $\textit{n}),$ weight $O(log^{2}n)$ ċ $ω(\textit{MST}),$ and has running time $\textit{O}(\textit{n}$ ċ log $\textit{n}).$ This construction applies to $\textit{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, and within the same running time. This conjecture of Arya et al. became one of the most central open problems in the area of Euclidean spanners. Nevertheless, the only progress since 1995 towards its resolution was achieved in the lower bounds front: Any spanner with diameter $\textit{O}(log$ $\textit{n})$ must incur weight Ω(log $\textit{n})$ ċ $ω(\textit{MST}),$ and this lower bound holds regardless of the stretch or the degree of the spanner [Dinitz et al. 2008; Agarwal et al. 2005]. In this article we resolve the long-standing conjecture of Arya et al. in the affirmative. We present a spanner construction with the same stretch, degree, diameter, and running time, as in Arya et al.'s result, but with optimal weight $\textit{O}(log$ $\textit{n})$ ċ $ω(\textit{MST}).$ So our spanners are as thin and lanky as those of Arya et al., but they are $\textit{really}$ short! Moreover, our result is more general in three ways. First, we demonstrate that the conjecture holds true not only in constant-dimensional Euclidean spaces, but also in doubling metrics. Second, we provide a general trade-off between the three involved parameters, which is tight in the entire range. Third, we devise a transformation that decreases the lightness of spanners in general metrics, while keeping all their other parameters in check. Our main result is obtained as a corollary of this transformation. ISSN 00045411 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 2015-11-02 Publisher Place New York e-ISSN 1557735X Journal Journal of the ACM (JACM) Volume Number 62 Issue Number 5 Page Count 45 Starting Page 1 Ending Page 45

#### Open content in new tab

Source: ACM Digital Library