## Metric cotype (2005)

### Cached

### Download Links

- [www.cims.nyu.edu]
- [www.cims.nyu.edu]
- [math.nyu.edu]
- [www.cims.nyu.edu]
- [cims.nyu.edu]
- [math.nyu.edu]
- [research.microsoft.com]
- [www.cims.nyu.edu]
- [www.cims.nyu.edu]
- [math.nyu.edu]
- [www.cims.nyu.edu]
- [cims.nyu.edu]
- [math.nyu.edu]
- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [www.cims.nyu.edu]
- [cims.nyu.edu]
- [math.nyu.edu]
- DBLP

### Other Repositories/Bibliography

Citations: | 28 - 16 self |

### BibTeX

@TECHREPORT{Mendel05metriccotype,

author = {Manor Mendel and Assaf Naor},

title = {Metric cotype},

institution = {},

year = {2005}

}

### OpenURL

### Abstract

We introduce the notion of metric cotype, a property of metric spaces related to a property of normed spaces, called Rademacher cotype. Apart from settling a long standing open problem in metric geometry, this property is used to prove the following dichotomy: A family of metric spaces F is either almost universal (i.e., contains any finite metric space with any distortion> 1), or there exists α> 0, and arbitrarily large n-point metrics whose distortion when embedded in any member of F is at least Ω ((log n) α). The same property is also used to prove strong non-embeddability theorems of Lq into Lp, when q> max{2, p}. Finally we use metric cotype to obtain a new type of isoperimetric inequality on the discrete torus. 1

### Citations

581 |
Metric structures for Riemannian and non-Riemannian spaces
- Gromov
- 1974
(Show Context)
Citation Context ...non-trivial (and non-linear) interactions between cuts. Strong nonembeddability results for Lp. To state these results we need the following weak notion of distance respecting embedding due to Gromov =-=[18]-=-. DEFINITION 1.4. Let (M, dM) and (N , dN ) be metric spaces. A mapping f : M → N is called a coarse embedding if there exists two non-decreasing functions α, β : [0, ∞) → [0, ∞) such that limt→∞ α(t)... |

467 | and André Haefliger, Metric spaces of non-positive curvature - Bridson - 1999 |

459 | The geometry of graphs and some of its algorithmic applications
- Linial, London, et al.
- 1995
(Show Context)
Citation Context ... this notion in what follows. i.e.2. there exists α > 0 and a sequence of metric spaces {Mn}n≥1, such that |Mn| = n, and cF(Mn) = Ω ((log n) α ). For Hilbert space H, sup{cH(M) : |M| = n} = Θ(log n) =-=[8, 26]-=-. We do not know whether there exists a class of metric spaces F which is not almost universal, but for which sup{cF(M) : |M| = n} = O ( (log n) β) , for some β ∈ (0, 1). Theorem 1.2 is proved using a... |

328 | Probabilistic approximation of metric spaces and its algorithmic applications
- Bartal
- 1996
(Show Context)
Citation Context ...ithm design. One approach in this vein is to reduce optimization problems over general metric spaces to a class of “special” metrics which has more structure (e.g., convex combination of tree metrics =-=[1, 5]-=-), and solve the optimization problem over the class of special metrics. The class of special metric spaces is chosen to balance between the structure needed for developing an algorithmic solution, an... |

323 | The volume of convex bodies and Banach space geometry - Pisier - 1989 |

280 |
On Lipschitz embedding of finite metric spaces in Hilbert space
- Bourgain
- 1985
(Show Context)
Citation Context ...n University of Israel, mendelma@gmail.com ‡ Microsoft Research, anaor@microsoft.com The smallest such distortion is denoted cN (M), cN (M) := inf{dist(f) : f : M ↩→ N }. Bourgain’s embedding theorem =-=[8]-=- and Bartal’s probabilistic embedding theorem [5, 16] established Hilbert spaces, ℓ1, and and convex combination of tree metrics as useful host spaces for which the distortion of embedding npoint metr... |

271 | A tight bound on approximating arbitrary metrics by tree metrics
- Fakcharoenphol, Rao, et al.
- 2003
(Show Context)
Citation Context ...osoft Research, anaor@microsoft.com The smallest such distortion is denoted cN (M), cN (M) := inf{dist(f) : f : M ↩→ N }. Bourgain’s embedding theorem [8] and Bartal’s probabilistic embedding theorem =-=[5, 16]-=- established Hilbert spaces, ℓ1, and and convex combination of tree metrics as useful host spaces for which the distortion of embedding npoint metrics is O(log n). It is therefore interesting to find ... |

268 |
Lindenstrauss : Geometrical Nonlinear Functional Analysis, vol 1
- Benyamini, J
(Show Context)
Citation Context ...omorphic to ℓd 2, and d = ΩqX ,η(n2/qX ). The notions of type and cotype are clearly linear notions, since their definition involves addition and multiplication by scalars. However, in 1976 Ribe (see =-=[7]-=-) proved that if X and Y are uniformly homeomorphic Banach spaces (i.e., there exists a bijection f which is uniformly continuous and f −1 is also uniformly continuous) then X is finitely representabl... |

239 |
Extremum problems with inequalities as subsidiary conditions
- John
- 1948
(Show Context)
Citation Context ...ove. For perspective, we mention some previous examples of this interaction between Banach space theory and computer science: I. Bourgain’s famous embedding theorem [8] is motivated by John’s theorem =-=[22]-=-. Bourgain’s embedding technique has found many applications in computer science (see [21]). II. Bourgain’s work on the metric interpretation of superreflexivity [9] has been followed up by computer s... |

213 | Filling Riemannian manifolds - Gromov - 1983 |

156 | Asymptotic theory of finite-dimensional normed spaces. With an appendix by M - Milman, Schechtman - 1986 |

148 | Fourier Analysis on Groups - Rudin - 1991 |

136 | Metric spaces and positive definite functions - Schoenberg - 1938 |

121 | A graph-theoretic game and its application to the k-server problem
- Alon, Karp, et al.
- 1995
(Show Context)
Citation Context ...ithm design. One approach in this vein is to reduce optimization problems over general metric spaces to a class of “special” metrics which has more structure (e.g., convex combination of tree metrics =-=[1, 5]-=-), and solve the optimization problem over the class of special metrics. The class of special metric spaces is chosen to balance between the structure needed for developing an algorithmic solution, an... |

119 | Algorithmic applications of low-distortion geometric embeddings - Indyk |

109 | Banach-Mazur distances and finite-dimensional operator ideals - Tomczak-Jaegermann - 1989 |

108 | Factrization of linear operators and geometry of Banach spaces - Pisier - 1986 |

93 | Random walk in random groups - Gromov |

86 |
Séries de variables aléatoires vectorielles indépendantes et propriétés géométriques des espaces de Banach
- Maurey, Pisier
- 1976
(Show Context)
Citation Context ...ilbert space if and only if it has type 2 and cotype 2. 2. Denote by pX the supremum over p such that X has type p, and by by qX the infimum over q such that X has cotype q. The Maurey-Pisier theorem =-=[35, 32]-=- states that for any n ∈ N, and any η > 0, X linearly contains copies of ℓn qX and ℓnpX with distortion at most 1 + η. 3. Dvoretzky’s theorem (see [31, Chap. 14]) states that for any η > 0 and n ∈ N, ... |

81 | The dimension of almost spherical sections of convex bodies
- Figiel, Lindenstrauss, et al.
(Show Context)
Citation Context ...ar subspace Y ⊆ X that is isomorphic to ℓ d 2 with distortion 1 + η, where d = Ωη(log n). The logarithmic estimate on d is known to be asymptotically tight. However, Figiel, Lindenstrauss, and Milman =-=[17]-=- have shown that it is possible find such Y which is 1 + η isomorphic to ℓd 2, and d = ΩqX ,η(n2/qX ). The notions of type and cotype are clearly linear notions, since their definition involves additi... |

76 | The coarse Baum-Connes conjecture for spaces which admit a uniform embedding into Hilbert space - Yu - 2000 |

74 |
Probabilistic methods in the geometry of Banach spaces
- Pisier
- 1986
(Show Context)
Citation Context ... it remains open. Secondly, we do not know if (1.4) is a useful notion, in the sense that it yields metric variants of certain theorems from the linear theory of type. The first issue is addressed in =-=[10, 36]-=- where it is shown that for Banach spaces, Rademacher type p implies Enflo type p ′ for every 0 < p ′ < p, and the same holds for a variant of Enflo type called BMW type. The second issue turned out n... |

69 | On metric Ramsey-type phenomena
- Bartal, Linial, et al.
(Show Context)
Citation Context ...Markov type, was introduced by Ball [4] in his study of the Lipschitz extension problem. This important notion has since found applications to various problems in metric geometry and computer science =-=[27, 6, 34]-=-. Despite the vast amount of research on non-linear type, a non-linear notion of cotype remained elusive. Indeed, the problem of finding a notion of cotype which makes sense for arbitrary metric space... |

67 |
The metrical interpretation of superreflexivity in Banach spaces
- Bourgain
- 1986
(Show Context)
Citation Context ...ns of this phenomenon for specific local properties of Banach spaces (such as type, cotype and super-reflexivity), has long been a major driving force in the bi-Lipschitz theory of metric spaces (see =-=[9]-=- for a discussion of this research program). Once this is achieved, one could define the notion of type and cotype of a metric space, and then hopefully transfer some of the deep theory of type and co... |

67 | Absolutely summing operators, Cambridge - DIESTEL, JARCHOW, et al. - 1995 |

63 | Lectures on discrete geometry, volume 212 of Graduate Texts in Mathematics - Matouˇsek - 2002 |

60 | Metric spaces of nonpositive curvature, volume 319 - Bridson, Haefliger - 1999 |

54 |
Markov chains, Riesz transforms and Lipschitz maps
- Ball
- 1992
(Show Context)
Citation Context ...mentioned above, yielding a characterization of metric spaces which contain bi-Lipschitz copies of the Hamming cube. A stronger notion of non-linear type, known as Markov type, was introduced by Ball =-=[4]-=- in his study of the Lipschitz extension problem. This important notion has since found applications to various problems in metric geometry and computer science [27, 6, 34]. Despite the vast amount of... |

53 |
Geometry of Cuts and Metrics, volume 15 of Algorithms and Combinatorics
- Deza, Laurent
- 1997
(Show Context)
Citation Context ...of our knowledge, all the known non-embeddability results for L1 are based on Poincaré type inequalities in which distances are raised to the power 1. By the cutcone representation of L1 metrics (see =-=[11]-=-) it is enough to prove any such inequality for cut metrics, which are particularly simple. Theorem 1.3 seems to be the first truly “infinite dimensional” metric inequality in L1. We believe that unde... |

52 | The Lp-spaces - Lindenstrauss, Rosenthal - 1969 |

49 | 2004. Low-distortion embeddings of finite metric spaces
- Indyk, Matousek
(Show Context)
Citation Context ... space theory and computer science: I. Bourgain’s famous embedding theorem [8] is motivated by John’s theorem [22]. Bourgain’s embedding technique has found many applications in computer science (see =-=[21]-=-). II. Bourgain’s work on the metric interpretation of superreflexivity [9] has been followed up by computer scientists regarding the embeddability of of tree metrics in Euclidean spaces [19, 28, 30, ... |

46 |
On type or metric spaces
- BOURGAIN, MILMAN, et al.
- 1986
(Show Context)
Citation Context ... it remains open. Secondly, we do not know if (1.4) is a useful notion, in the sense that it yields metric variants of certain theorems from the linear theory of type. The first issue is addressed in =-=[10, 36]-=- where it is shown that for Banach spaces, Rademacher type p implies Enflo type p ′ for every 0 < p ′ < p, and the same holds for a variant of Enflo type called BMW type. The second issue turned out n... |

46 | Probability in Banach spaces, volume 23 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3 - Ledoux, Talagrand - 1991 |

46 | Finite metric spaces - combinatorics, geometry and algorithms - Linial - 2002 |

45 | Markov chains in smooth Banach spaces and Gromov-hyperbolic metric spaces
- Naor, Peres, et al.
(Show Context)
Citation Context ...Markov type, was introduced by Ball [4] in his study of the Lipschitz extension problem. This important notion has since found applications to various problems in metric geometry and computer science =-=[27, 6, 34]-=-. Despite the vast amount of research on non-linear type, a non-linear notion of cotype remained elusive. Indeed, the problem of finding a notion of cotype which makes sense for arbitrary metric space... |

45 | Holomorphic semi-groups and the geometry of Banach spaces - Pisier - 1982 |

42 |
Isomorphic characterizations of inner product spaces by orthogonal series with vector valued coefficients
- Kwapień
- 1972
(Show Context)
Citation Context ...verse aspects of the local theory of Banach spaces. We refer to the full version of this paper for references on these topics. Here we mention only few highlights of this theory: 1. Kwapien’s Theorem =-=[24]-=- generalizes the isometric characterization of Hilbert space into an isomorphic one: A Banach space X is isomorphic (i.e., has a linear bijection with finite distortion) to Hilbert space if and only i... |

39 |
On the nonexistence of uniform homeomorphisms between Lp-spaces
- Enflo
- 1969
(Show Context)
Citation Context ...could define the notion of type and cotype of a metric space, and then hopefully transfer some of the deep theory of type and cotype to the context of arbitrary metric spaces. Enflo’s pioneering work =-=[12, 13, 14, 15]-=- resulted in the formulation of a non-linear notion of type, known today as Enflo type. The basic idea is that given a Banach space X and x1, . . . , xn ∈ X, one can consider the linear function f : {... |

39 |
Uniform embeddings of metric spaces and of Banach spaces into Hilbert spaces
- Aharoni, Maurey, et al.
- 1985
(Show Context)
Citation Context ...er C[0, 1] is uniformly homeomorphic to a subset of M (the space C[0, 1] can be replaced here by c0 due to Aharoni’s theorem [1]). Enflo proved that c0 does not uniformly embed into Hilbert space. In =-=[2]-=-, Aharoni, Maurey and Mityagin systematically studied metric spaces which are uniformly homeomorphic to a subset of Hilbert space, and obtained an elegant characterization of Banach spaces which are u... |

36 | On bases, finite dimensional decompositions and weaker structures in Banach spaces - Johnson, Rosenthal, et al. - 1971 |

33 |
Embeddings and extensions in analysis
- Wells, Williams
- 1975
(Show Context)
Citation Context ...m 1.6 generalizes a recent result of Johnson and Randrianarivony [23] who proved a special case of Theorem 1.6 when p ∈ [1, 2]. This completes the coarse classification of Lp spaces since it is known =-=[37, 33]-=- that Lq coarsely embeds in Lp when q ≤ p or when q ≤ 2. Similar results hold for another type of weak embedding called uniform embedding. We will not discuss this topic here, and refer to the full ve... |

32 | Applications of ultrapowers to the uniform and Lipschitz classification of Banach spaces - Heinrich, Mankiewicz - 1982 |

31 | Probability in Banach spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete (3 - Ledoux, Talagrand - 1991 |

30 | Euclidean quotients of finite metric spaces
- Mendel, Naor
(Show Context)
Citation Context ...m 1.6 generalizes a recent result of Johnson and Randrianarivony [23] who proved a special case of Theorem 1.6 when p ∈ [1, 2]. This completes the coarse classification of Lp spaces since it is known =-=[37, 33]-=- that Lq coarsely embeds in Lp when q ≤ p or when q ≤ 2. Similar results hold for another type of weak embedding called uniform embedding. We will not discuss this topic here, and refer to the full ve... |

30 | The moduli of smoothness and convexity and the Rademacher averages of trace classes - Tomczak-Jaegermann - 1974 |

29 | Remarks on non linear type and Pisier’s inequality - Naor, Schechtman |

29 | Some results on Banach spaces without local unconditional structure - PISIER - 1978 |

27 | Banach spaces for analysts, Cambridge - Wojtaszczyk - 1991 |

26 | On Hilbertian subsets of finite metric spaces - Bourgain, Figiel, et al. - 1986 |

24 |
Every separable metric space is Lipschitz equivalent to a subset of c0
- Aharoni
- 1974
(Show Context)
Citation Context ...f L1 need not have finite nonlinear cotype (while L1 has cotype 2). Additionally, the space Lip(M) ∗ is very hard to compute: for example it is an intriguing open problem whether even the unit square =-=[0, 1]-=- 2 has nonlinear cotype 2 under the above definition. In this paper we introduce a notion of cotype of metric spaces, and show that it coincides with Rademacher cotype when restricted to the category ... |