[论文解读] Markov chains in smooth Banach spaces and Gromov hyperbolic metric spaces

Assaf Naor, Yuval Peres+2 more|arXiv (Cornell University)|Oct 19, 2004

Geometric Analysis and Curvature Flows参考文献 42被引用 9

一句话总结

该论文证明了具有二阶平滑模的巴拿赫空间（例如 $L_p$，其中 $p > 2$）具有马尔可夫类型 2，从而解决了巴尔的猜想。此外，论文还证明了格罗莫夫双曲度量空间（包括树和双曲群）也具有马尔可夫类型 2，从而为从 $L_p$ 到 $L_q$ 空间（其中 $1 < q < 2 < p < ∞$）的利普希茨映射建立了新的利普希茨延拓定理。关键贡献在于为双曲空间建立了统一的马尔可夫类型 2 常数，其在延拓理论和嵌入几何中有应用。

ABSTRACT

A metric space $X$ has {\em Markov type} 2, if for any reversible finite-state Markov chain $\{Z_t\}$ (with $Z_0$ chosen according to the stationary distribution) and any map $f$ from the state space to $X$, the distance $D_t$ from $f(Z_0)$ to $f(Z_t)$ satisfies $\E(D_t^2) \le K^2 t \E(D_1^2)$ for some $K=K(X)2$) has Markov type 2; this proves a conjecture of Ball. We also show that trees, hyperbolic groups and simply connected Riemannian manifolds of pinched negative curvature have Markov type 2. Our results are applied to settle several conjectures on Lipschitz extensions and embeddings. In particular, we answer a question posed by Johnson and Lindenstrauss in 1982, by showing that for $1

研究动机与目标

• 为解决 K. 巴尔猜想：$L_p$ 空间（$p > 2$）具有马尔可夫类型 2。
• 为具有二阶平滑模的巴拿赫空间建立马尔可夫类型 2。
• 证明格罗莫夫双曲度量空间（包括树和双曲群）具有马尔可夫类型 2。
• 将这些结果应用于解决从 $L_p$ 到 $L_q$ 的映射的约翰逊-林登施特劳斯利普希茨延拓问题，其中 $1 < q < 2 < p < \infty$。

提出的方法

• 在具有二阶平滑性的巴拿赫空间中引入一种新颖的鞅型不等式，利用二阶平滑性条件控制期望平方距离的增长。
• 将杜布的 $L^2$ 最大值不等式应用于具有二阶平滑性的巴拿赫空间中的鞅，利用范数的詹森不等式。
• 利用格罗莫夫乘积和 $\delta$-双曲性来界定双曲度量空间中期望平方位移，引入 $\delta^2 (\log t)^2$ 误差项。
• 通过利普希茨映射下马尔可夫链的位移，建立马尔可夫类型 2 与度量空间几何之间的联系。
• 结合概率论、泛函分析和几何群论的技术，统一了巴拿赫空间与双曲空间中的结果。
• 将该理论应用于证明：从 $L_p$ 的子集到 $L_q$ 的利普希茨映射可以以受控畸变扩展到整个空间，利用马尔可夫类型 2 性质。

实验结果

研究问题

• RQ1 每个具有二阶平滑模的巴拿赫空间是否都具有马尔可夫类型 2？
• RQ2 格罗莫夫双曲度量空间（如树和双曲群）是否具有马尔可夫类型 2？
• RQ3 从 $L_p$ 的子集到 $L_q$ 的利普希茨映射（其中 $1 < q < 2 < p < \infty$）是否可以以受控利普希茨常数扩展到整个空间？
• RQ4 双曲空间的马尔可夫类型 2 常数是否在所有双曲性常数 $\delta$ 下有统一有界？
• RQ5 马尔可夫类型 2 是否在一般度量空间中蕴含最大马尔可夫类型 2？

主要发现

• 每个具有二阶平滑模的巴拿赫空间都具有马尔可夫类型 2，从而证实了巴尔的猜想。
• 对于 $L_p$（其中 $2 \leq p < \infty$），马尔可夫类型 2 常数满足 $M_2(L_p) \leq 4\sqrt{p-1}$。
• 每个 $\delta$-双曲度量空间都具有马尔可夫类型 2，且存在一个统一常数 $C$，满足 $\mathbb{E}[d(f(Z_t), f(Z_0))^2] \leq C^2 t \, \mathbb{E}[d(f(Z_1), f(Z_0))^2] + C^2 \delta^2 (\log t)^2$。
• 无限 3-正则树满足 $M_2(T) \geq \sqrt{3}$，且 $M_2(T) \leq 8$，表明该常数有限且有界。
• 从 $L_p$ 的子集到 $L_q$ 的利普希茨映射（其中 $1 < q < 2 < p < \infty$）可以以畸变 $O(\sqrt{(p-1)/(q-1)})$ 扩展到整个空间，从而解决了约翰逊与林登施特劳斯于 1982 年提出的问题。
• 这些结果意味着存在一个非线性延拓定理，类似于包雷的定理，对所有具有二阶平滑性和二阶强凸性的巴拿赫空间都成立。