Ultrametric skeletons

Manor Mendel, Assaf Naor

Research output: Contribution to journalArticle

Abstract

We prove that for every ε ∈ (0,1) there exists Cε ∈ (0,∞) with the following property. If (X,d) is a compact metric space and μ is a Borel probability measure on X then there exists a compact subset S X that embeds into an ultrametric space with distortion O(1/ε), and a probability measure ν supported on S satisfying ν(B d(x,r))≤(μ(Bd(x,Cεr)) 1-ε for all x ∈ X and r ∈ (0,∞). The dependence of the distortion on ε is sharp. We discuss an extension of this statement to multiple measures, as well as how it implies Talagrand's majorizing measure theorem.

Original languageEnglish (US)
Pages (from-to)19256-19262
Number of pages7
JournalProceedings of the National Academy of Sciences of the United States of America
Volume110
Issue number48
DOIs
StatePublished - Nov 26 2013

Fingerprint

Skeleton

Keywords

  • Bi-Lipschitz embeddings
  • Majorizing measures
  • Metric geometry

ASJC Scopus subject areas

  • General

Cite this

Ultrametric skeletons. / Mendel, Manor; Naor, Assaf.

In: Proceedings of the National Academy of Sciences of the United States of America, Vol. 110, No. 48, 26.11.2013, p. 19256-19262.

Research output: Contribution to journalArticle

Mendel, Manor ; Naor, Assaf. / Ultrametric skeletons. In: Proceedings of the National Academy of Sciences of the United States of America. 2013 ; Vol. 110, No. 48. pp. 19256-19262.
@article{3b604ad08a624c9c955f810c90949e75,
title = "Ultrametric skeletons",
abstract = "We prove that for every ε ∈ (0,1) there exists Cε ∈ (0,∞) with the following property. If (X,d) is a compact metric space and μ is a Borel probability measure on X then there exists a compact subset S X that embeds into an ultrametric space with distortion O(1/ε), and a probability measure ν supported on S satisfying ν(B d(x,r))≤(μ(Bd(x,Cεr)) 1-ε for all x ∈ X and r ∈ (0,∞). The dependence of the distortion on ε is sharp. We discuss an extension of this statement to multiple measures, as well as how it implies Talagrand's majorizing measure theorem.",
keywords = "Bi-Lipschitz embeddings, Majorizing measures, Metric geometry",
author = "Manor Mendel and Assaf Naor",
year = "2013",
month = "11",
day = "26",
doi = "10.1073/pnas.1202500109",
language = "English (US)",
volume = "110",
pages = "19256--19262",
journal = "Proceedings of the National Academy of Sciences of the United States of America",
issn = "0027-8424",
number = "48",

}

TY - JOUR

T1 - Ultrametric skeletons

AU - Mendel, Manor

AU - Naor, Assaf

PY - 2013/11/26

Y1 - 2013/11/26

N2 - We prove that for every ε ∈ (0,1) there exists Cε ∈ (0,∞) with the following property. If (X,d) is a compact metric space and μ is a Borel probability measure on X then there exists a compact subset S X that embeds into an ultrametric space with distortion O(1/ε), and a probability measure ν supported on S satisfying ν(B d(x,r))≤(μ(Bd(x,Cεr)) 1-ε for all x ∈ X and r ∈ (0,∞). The dependence of the distortion on ε is sharp. We discuss an extension of this statement to multiple measures, as well as how it implies Talagrand's majorizing measure theorem.

AB - We prove that for every ε ∈ (0,1) there exists Cε ∈ (0,∞) with the following property. If (X,d) is a compact metric space and μ is a Borel probability measure on X then there exists a compact subset S X that embeds into an ultrametric space with distortion O(1/ε), and a probability measure ν supported on S satisfying ν(B d(x,r))≤(μ(Bd(x,Cεr)) 1-ε for all x ∈ X and r ∈ (0,∞). The dependence of the distortion on ε is sharp. We discuss an extension of this statement to multiple measures, as well as how it implies Talagrand's majorizing measure theorem.

KW - Bi-Lipschitz embeddings

KW - Majorizing measures

KW - Metric geometry

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

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

U2 - 10.1073/pnas.1202500109

DO - 10.1073/pnas.1202500109

M3 - Article

VL - 110

SP - 19256

EP - 19262

JO - Proceedings of the National Academy of Sciences of the United States of America

JF - Proceedings of the National Academy of Sciences of the United States of America

SN - 0027-8424

IS - 48

ER -