b9b554668236acd2.tex
1: \begin{abstract}
2: A metric space $X$ has {\em Markov type\/} $2$, if for any
3: reversible finite-state Markov chain $\{Z_t\}$ (with $Z_0$ chosen
4: according to the stationary distribution) and any map $f$ from the
5: state space to $X$, the distance $D_t$ from $f(Z_0)$ to $f(Z_t)$
6: satisfies $\E(D_t^2) \le K^2\, t\, \E(D_1^2)$ for some
7: $K=K(X)<\infty$.
8: %grows at most at a uniform linear rate.
9: This notion is due to K.\,Ball (1992), who showed its importance
10: for the Lipschitz extension problem. However until now, only
11: Hilbert space (and its bi-Lipschitz equivalents) were
12:  known to have Markov type 2.
13: %K. Ball conjectured that a large class of Banach spaces should share this property.
14: We show that every Banach space with modulus of smoothness of
15: power type $2$ (in particular, $L_p$ for $p>2$)
16:  has Markov type $2$; this proves a conjecture of Ball. We also show that trees,
17: hyperbolic groups and simply connected Riemannian manifolds of
18: pinched negative curvature have Markov type $2$.
19: Our results are applied
20: to settle several conjectures on Lipschitz extensions
21: and embeddings. In particular, we answer a question
22: posed by Johnson and Lindenstrauss in 1982, by showing
23: that for $1<q<2<p<\infty$, any Lipschitz mapping from a subset of $L_p$
24: to $L_q$ has a  Lipschitz extension defined on all of $L_p$.
25: \end{abstract}
26: