TY - JOUR

T1 - Volume in General Metric Spaces

AU - Abraham, Ittai

AU - Bartal, Yair

AU - Neiman, Ofer

AU - Schulman, Leonard J.

N1 - Funding Information:
Yair Bartal was supported in part by a Grant from the Israeli Science Foundation (1609/11) and in part by a Grant from the National Science Foundation (NSF CCF-0652536). Ofer Neiman was supported in part by ISF Grant No. (523/12) and by the European Union’s Seventh Framework Programme (FP7/2007-2013) under Grant Agreement No. 303809. Leonard J. Schulman was supported in part by NSF CCF-0515342 and NSA H98230-06-1-0074. Part of the research was done while Yair Bartal was at the Center of the Mathematics of Information, Caltech, CA, USA.

PY - 2014/1/1

Y1 - 2014/1/1

N2 - A central question in the geometry of finite metric spaces is how well can an arbitrary metric space be "faithfully preserved" by a mapping into Euclidean space. In this paper we present an algorithmic embedding which obtains a new strong measure of faithful preservation: not only does it (approximately) preserve distances between pairs of points, but also the volume of any set of k points. Such embeddings are known as volume preserving embeddings. We provide the first volume preserving embedding that obtains constant average volume distortion for sets of any fixed size. Moreover, our embedding provides constant bounds on all bounded moments of the volume distortion while maintaining the best possible worst-case volume distortion. Feige, in his seminal work on volume preserving embeddings defined the volume of a set S = {v1, ..., vk of points in a general metric space: the product of the distances from vi to {v1, ..., vi-1}, normalized by 1/(k-1)!, where the ordering of the points is that given by Prim's minimum spanning tree algorithm. Feige also related this notion to the maximal Euclidean volume that a Lipschitz embedding of S into Euclidean space can achieve. Syntactically this definition is similar to the computation of volume in Euclidean spaces, which however is invariant to the order in which the points are taken. We show that a similar robustness property holds for Feige's definition: the use of any other order in the product affects volume1/(k-1) by only a constant factor. Our robustness result is of independent interest as it presents a new competitive analysis for the greedy algorithm on a variant of the online Steiner tree problem where the cost of buying an edge is logarithmic in its length. This robustness property allows us to obtain our results on volume preserving embedding.

AB - A central question in the geometry of finite metric spaces is how well can an arbitrary metric space be "faithfully preserved" by a mapping into Euclidean space. In this paper we present an algorithmic embedding which obtains a new strong measure of faithful preservation: not only does it (approximately) preserve distances between pairs of points, but also the volume of any set of k points. Such embeddings are known as volume preserving embeddings. We provide the first volume preserving embedding that obtains constant average volume distortion for sets of any fixed size. Moreover, our embedding provides constant bounds on all bounded moments of the volume distortion while maintaining the best possible worst-case volume distortion. Feige, in his seminal work on volume preserving embeddings defined the volume of a set S = {v1, ..., vk of points in a general metric space: the product of the distances from vi to {v1, ..., vi-1}, normalized by 1/(k-1)!, where the ordering of the points is that given by Prim's minimum spanning tree algorithm. Feige also related this notion to the maximal Euclidean volume that a Lipschitz embedding of S into Euclidean space can achieve. Syntactically this definition is similar to the computation of volume in Euclidean spaces, which however is invariant to the order in which the points are taken. We show that a similar robustness property holds for Feige's definition: the use of any other order in the product affects volume1/(k-1) by only a constant factor. Our robustness result is of independent interest as it presents a new competitive analysis for the greedy algorithm on a variant of the online Steiner tree problem where the cost of buying an edge is logarithmic in its length. This robustness property allows us to obtain our results on volume preserving embedding.

KW - Metric embedding

KW - Volume preserving embedding

UR - http://www.scopus.com/inward/record.url?scp=84907367958&partnerID=8YFLogxK

U2 - 10.1007/s00454-014-9615-4

DO - 10.1007/s00454-014-9615-4

M3 - Article

AN - SCOPUS:84907367958

SN - 0179-5376

VL - 52

SP - 366

EP - 389

JO - Discrete and Computational Geometry

JF - Discrete and Computational Geometry

IS - 2

ER -