On Notions of Distortion and an Almost Minimum Spanning Tree with Constant Average Distortion

Minimum Spanning Trees of weighted graphs are fundamental objects in numerous applications. In particular in distributed networks, the minimum spanning tree of the network is often used to route messages between network nodes. Unfortunately, while being most efficient in the total cost of connecting all nodes, minimum spanning trees fail miserably in the desired property of approximately preserving distances between pairs. While known lower bounds exclude the possibility of the worst case distortion of a tree being small, it was shown in [4] that there exists a spanning tree with constant average distortion. Yet, the weight of such a tree may be significantly larger than that of the MST. In this paper, we show that any weighted undirected graph admits a spanning tree whose weight is at most (1 + ρ) times that of the MST, providing constant average distortion O(1/ρ2).1 The constant average distortion bound is implied by a stronger property of scaling distortion, i.e., improved distortion for smaller fractions of the pairs. The result is achieved by first showing the existence of a low weight spanner with small prioritized distortion, a property allowing to prioritize the nodes whose associated distortions will be improved. We show that prioritized distortion is essentially equivalent to coarse scaling distortion via a general transformation, which has further implications and may be of independent interest. In particular, we obtain an embedding for arbitrary metrics into Euclidean space with optimal prioritized distortion.

[1]  Shang-Hua Teng,et al.  Lower-stretch spanning trees , 2004, STOC '05.

[2]  Michael Elkin,et al.  Light Spanners , 2014, SIAM J. Discret. Math..

[3]  Christian Wulff-Nilsen,et al.  Near-Optimal Light Spanners , 2016, SODA.

[4]  Michael Elkin,et al.  Terminal embeddings , 2017, Theor. Comput. Sci..

[5]  Jon M. Kleinberg,et al.  Triangulation and embedding using small sets of beacons , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[6]  Samir Khuller,et al.  Balancing Minimum Spanning and Shortest Path Trees , 1993, SODA.

[7]  Shiri Chechik,et al.  Approximate Distance Oracles with Improved Bounds , 2015, STOC.

[8]  H. Pollak,et al.  Steiner Minimal Trees , 1968 .

[9]  Ittai Abraham,et al.  Volume in General Metric Spaces , 2014, Discrete & Computational Geometry.

[10]  Shay Solomon,et al.  The Greedy Spanner is Existentially Optimal , 2016, PODC.

[11]  Ittai Abraham,et al.  Embedding metrics into ultrametrics and graphs into spanning trees with constant average distortion , 2007, SODA '07.

[12]  Ittai Abraham,et al.  Nearly Tight Low Stretch Spanning Trees , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[13]  Yair Bartal,et al.  On approximating arbitrary metrices by tree metrics , 1998, STOC '98.

[14]  Michael Dinitz,et al.  Spanners with Slack , 2006, ESA.

[15]  Ittai Abraham,et al.  Advances in metric embedding theory , 2006, STOC '06.

[16]  Yair Bartal,et al.  Probabilistic approximation of metric spaces and its algorithmic applications , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[17]  Michael Elkin,et al.  Prioritized Metric Structures and Embedding , 2015, STOC.

[18]  Jon M. Kleinberg,et al.  Metric embeddings with relaxed guarantees , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[19]  Satish Rao,et al.  A tight bound on approximating arbitrary metrics by tree metrics , 2003, STOC '03.

[20]  J. Bourgain On lipschitz embedding of finite metric spaces in Hilbert space , 1985 .

[21]  Giri Narasimhan,et al.  New sparseness results on graph spanners , 1995, Int. J. Comput. Geom. Appl..

[22]  Noga Alon,et al.  A Graph-Theoretic Game and Its Application to the k-Server Problem , 1995, SIAM J. Comput..

[23]  Ittai Abraham,et al.  Using petal-decompositions to build a low stretch spanning tree , 2012, STOC '12.

[24]  Yair Bartal Graph Decomposition Lemmas and Their Role in Metric Embedding Methods , 2004, ESA.

[25]  Michael Elkin,et al.  Terminal Embeddings , 2015, APPROX-RANDOM.