Differentiating maps into L1, and the geometry of BV functions

Research output: Contribution to journalArticle

Abstract

This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps X →V and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].

Original languageEnglish (US)
Pages (from-to)1347-1385
Number of pages39
JournalAnnals of Mathematics
Volume171
Issue number2
DOIs
StatePublished - 2010

Fingerprint

BV Functions
Lipschitz Map
Heisenberg Group
Differentiability
Lipschitz
Counterexample
Metric Measure Space
Functions of Bounded Variation
Computer Science
Banach space
Metric
Series
Theorem
Geometry

ASJC Scopus subject areas

  • Statistics and Probability
  • Statistics, Probability and Uncertainty

Cite this

Differentiating maps into L1, and the geometry of BV functions. / Cheeger, Jeff; Kleiner, Bruce.

In: Annals of Mathematics, Vol. 171, No. 2, 2010, p. 1347-1385.

Research output: Contribution to journalArticle

@article{2a573997bb2f42d0981dda662e13868a,
title = "Differentiating maps into L1, and the geometry of BV functions",
abstract = "This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps X →V and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carath{\'e}odory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].",
author = "Jeff Cheeger and Bruce Kleiner",
year = "2010",
doi = "10.4007/annals.2010.171.1347",
language = "English (US)",
volume = "171",
pages = "1347--1385",
journal = "Annals of Mathematics",
issn = "0003-486X",
publisher = "Princeton University Press",
number = "2",

}

TY - JOUR

T1 - Differentiating maps into L1, and the geometry of BV functions

AU - Cheeger, Jeff

AU - Kleiner, Bruce

PY - 2010

Y1 - 2010

N2 - This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps X →V and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].

AB - This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps X →V and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].

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

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

U2 - 10.4007/annals.2010.171.1347

DO - 10.4007/annals.2010.171.1347

M3 - Article

VL - 171

SP - 1347

EP - 1385

JO - Annals of Mathematics

JF - Annals of Mathematics

SN - 0003-486X

IS - 2

ER -