Measured Descent: A New Embedding Method for Finite Metrics

  • Authors:
  • Robert Krauthgamer;James R. Lee;Manor Mendel;Assaf Naor

  • Affiliations:
  • IBM Almaden Research Center;University of California at Berkeley;University of Illinois at Urbana-Champaign;Microsoft Research

  • Venue:
  • FOCS '04 Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We devise a new embedding technique, which we call measured descent, based on decomposing a metric space locally, at varying speeds, according to the density of some probability measure. This provides a refined and unified framework for the two primary methods of constructing Fr隆äechet embeddings for finite metrics, due to J. Bourgain and S. Rao. We prove that any n-point metric space (X, d) embeds in Hilbert space with distortion 0(\sqrt {\log \alpha \chi\cdot \log n}, where \alpha \chiis a geometric estimate on the decomposability of X. An an immediate corollary, we obtain an 0(\sqrt {\log \lambda \chi\cdot \log n} distortion embedding, where \lambda \chi is the doubling constant of X. Since \lambda \chi\leqslant n, this result recovers Bourgain's theorem, but when the metric X is, in a sense, "low-dimensional," improved bounds are achieved. Our embeddings are volume-respecting for subsets of arbitrary size. One consequence is the existence of (k, O(log n)) volume-respecting embeddings for all 1 \leqslant k \leqslant n, which is the best possible, and answers positively a question posed by U. Feige. Our techniques are also used to answer positively a question of Y. Rabinovich, showing that any weighted n-point planar graph embeds in \ell _\infty ^{0(\log n)} with O(1) distortion. The O(log n) bound on the dimension is optimal, and improves upon the previously known bound of O(log虏 n).