How to complete a doubling metric

  • Authors:
  • Anupam Gupta;Kunal Talwar

  • Affiliations:
  • Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;Microsoft Research, Mountain View, CA

  • Venue:
  • LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
  • Year:
  • 2008

Quantified Score

Hi-index 0.01

Visualization

Abstract

In recent years, considerable advances have been made in the study of properties of metric spaces in terms of their doubling dimension. This line of research has not only enhanced our understanding of finite metrics, but has also resulted in many algorithmic applications. However, we still do not understand the interaction between various graphtheoretic (topological) properties of graphs, and the doubling (geometric) properties of the shortest-path metrics induced by them. For instance, the following natural question suggests itself: given a finite doubling metric (V, d), is there always an unweighted graph (V′,E′) with V ⊆ V′ such that the shortest path metric d′ on V′ is still doubling, and which agrees with d on V. This is often useful, given that unweighted graphs are often easier to reason about. A first hurdle to answering this question is that subdividing edges can increase the doubling dimension unboundedly, and it is not difficult to show that the answer to the above question is negative. However, surprisingly, allowing a (1 + Ɛ) distortion between d and d′ enables us bypass this impossibility: we show that for any metric space (V, d), there is an unweighted graph (V′, E′) with shortest-path metric d′ : V′ × V′ → R≥0 such that - for all x, y ∈ V , the distances d(x, y) ≤ d′(x, y) ≤ (1 + Ɛ) ċ d(x, y), and - the doubling dimension for d′ is not much more than that of d, where this change depends only on Ɛ and not on the size of the graph. We show a similar result when both (V, d) and (V′, E′) are restricted to be trees: this gives a simple proof that doubling trees embed into constant dimensional Euclidean space with constant distortion. We also show that our results are tight in terms of the tradeoff between distortion and dimension blowup.