Bilipschitz snowflakes and metrics of negative type

  • Authors:
  • James R. Lee;Mohammad Moharrami

  • Affiliations:
  • University of Washington, Seattle, WA, USA;University of Washington, Seattle, WA, USA

  • Venue:
  • Proceedings of the forty-second ACM symposium on Theory of computing
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that there exists a metric space (X,d) such that (X,√d) admits a bilipschitz embedding into L2, but (X,d) does not admit an equivalent metric of negative type. In fact, we exhibit a strong quantitative bound: There are n-point subsets Yn ⊆ X such that mapping (Yn, d) to a metric of negative type requires distortion ~Ω(log n)1/4. In a formal sense, this is the first lower bound specifically against bilipschitz embeddings into negative-type metrics, and therefore unlike other lower bounds, ours cannot be derived from a 1-dimensional Poincare inequality. This answers an open question about the strength of strong vs. weak triangle inequalities in a number of semi-definite programs. Our construction sheds light on the power of various notions of "dual flows" that arise in algorithms for approximating the Sparsest Cut problem. It also has other interesting implications for bilipschitz embeddings of finite metric spaces.