[論文レビュー] 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を有することを確立し、ボールの予想を解決した。さらに、ツリーと双曲的群を含む、グロモフ双曲的距離空間もマークフ型2を有することを証明し、$1 < q < 2 < p < \infty$ における $L_p$ と $L_q$ 間の写像に対する新しいリプシッツ拡張定理の構築を可能にした。主な貢献は、双曲的空間に対して普遍的なマークフ型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を有することを確立すること。
• ツリーと双曲的群を含むグロモフ双曲的距離空間がマークフ型2を有することを証明すること。
• $1 < q < 2 < p < \infty$ における $L_p$ から $L_q$ への写像に対するジョンソン＝リンデンストラウスのリプシッツ拡張問題を解くこと。

提案手法

• 滑らかなバナッハ空間におけるマーティングール型不等式を導入し、2次型滑らかさ条件を用いて期待値の二乗距離の増加を制御する。
• 2次型滑らかさを有するバナッハ空間におけるマーティングールにドーブの $L^2$ 最大不等式を適用し、ノルムのジャンセンの不等式を活用する。
• グロモフ積と $\delta$-双曲性を用いて、双曲的距離空間における期待値の二乗変位を評価し、$\delta^2 (\log t)^2$ の誤差項を導入する。
• リプシッツ写像下でのマークフ連鎖の変位を通じて、マークフ型2と距離空間の幾何学との関係を確立する。
• 確率論、関数解析学、幾何的群論の技術を用いて、バナッハ空間と双曲的空間の両方における結果を統合する。
• これらの理論を応用し、$L_p$ の部分集合から $L_q$ へのリプシッツ写像が、マークフ型2の性質を用いて、歪みが制御された形で全体空間へ拡張可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2次型滑らかさモジュラスを有する任意のバナッハ空間がマークフ型2を有するか？
• RQ2 ツリーと双曲的群を含むグロモフ双曲的距離空間がマークフ型2を有するか？
• RQ3 $1 < q < 2 < p < \infty$ における $L_p$ の部分集合から $L_q$ へのリプシッツ写像が、全体空間へ歪みが制御された形で拡張可能か？
• RQ4 双曲的空間のマークフ型2定数は、空間の双曲的定数 $\delta$ に依存しない一様有界性を示すか？
• RQ5 一般の距離空間においてマークフ型2は、一般に最大マークフ型2を意味するか？

主な発見

• 2次型滑らかさモジュラスを有する任意のバナッハ空間はマークフ型2を有する。これはボールの予想を確認する。
• $2 \leq p < \infty$ に対して、$L_p$ のマークフ型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正則ツリー $T$ に対しては $M_2(T) \geq \sqrt{3}$ かつ $M_2(T) \leq 8$ が成り立ち、定数が有限かつ有界であることが示された。
• $1 < q < 2 < p < \infty$ における $L_p$ の部分集合から $L_q$ へのリプシッツ写像は、歪み $O(\sqrt{(p-1)/(q-1)})$ で全体空間へ拡張可能であり、ジョンソンとリンデンストラウスが1982年に提起した問題を解決する。
• これらの結果は、2次型滑らかさおよび2次型凸性を有するすべてのバナッハ空間に対して、モアレイの定理に類似した非線形拡張定理を示唆する。