[논문 리뷰] Markov chains in smooth Banach spaces and Gromov hyperbolic metric spaces

Assaf Naor, Yuval Peres외 2명|arXiv (Cornell University)|2004. 10. 19.

Geometric Analysis and Curvature Flows참고 문헌 42인용 수 9

한 줄 요약

이 논문은 $L_p$ 공간($p > 2$)와 같은 파wr 유형 2의 매끄러움 모듈러스를 가진 모든 바나흐 공간이 마르코프 유형 2를 갖는다는 것을 입증하며, 발의 추측을 해결한다. 또한 트리와 하이퍼볼릭 군을 포함한 곰프 비율 하이퍼볼릭 거리 공간들도 마르코프 유형 2를 갖는다는 것을 증명하여, $1 < q < 2 < p < \infty$인 $L_p$와 $L_q$ 공간 간의 사상에 대한 새로운 리프시츠 확장 정리들을 가능하게 한다. 핵심 기여는 하이퍼볼릭 공간들에 대한 보편적인 마르코프 유형 2 상수이며, 이는 확장 이론과 임bedding 기하학에 응용된다.

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

연구 동기 및 목표

• 바나흐 공간이 파워 유형 2의 매끄러움 모듈러스를 갖는 경우 $L_p$ 공간($p > 2$)이 마르코프 유형 2를 갖는다는 발의 추측을 해결하기 위해.
• 파워 유형 2의 매끄러움 모듈러스를 갖는 바나흐 공간들에 대해 마르코프 유형 2를 확립하기 위해.
• 곰프 하이퍼볼릭 거리 공간들, 즉 트리와 하이퍼볼릭 군을 포함하여 마르코프 유형 2를 갖는다는 것을 증명하기 위해.
• $1 < q < 2 < p < \infty$인 $L_p$에서 $L_q$로의 사상에 대해 존슨-린든스트라우스의 리프시츠 확장 문제를 해결하기 위해.

제안 방법

• 파워 유형 매끄러움 조건을 사용하여 매끄러운 바나흐 공간에서 새로운 마르팅게일 유형 부등식을 도입하여 기대 제곱 거리의 성장을 통제한다.
• 파워 유형 매끄러움 조건을 갖는 바나흐 공간의 마르팅게일에 대해 두브의 $L^2$ 최대부등식을 적용하며, 노름에 대해 젠센의 부등식을 활용한다.
• 곰프 곱과 $\delta$-하이퍼볼릭성을 사용하여 하이퍼볼릭 거리 공간에서 기대 제곱 이동을 유계로 둔다. 이 과정에서 $\delta^2 (\log t)^2$ 오차 항을 도입한다.
• 리프시츠 사상 하에서 마르코프 체인의 이동과 마르코프 유형 2 간의 연결 고리를 통해 거리 공간의 기하학과의 관계를 수립한다.
• 확률론, 함수해석학, 기하군론 기법을 융합하여 바나흐 공간과 하이퍼볼릭 공간 간의 결과를 통합한다.
• 마르코프 유형 2 성질을 활용하여 $L_p$의 부분집합에서 $L_q$로의 리프시츠 사상이 전체 공간으로 확장될 수 있으며, 이때 왜곡이 통제 가능하다는 것을 증명한다.

실험 결과

연구 질문

• 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년 존슨과 린든스트라우스가 제기한 문제를 해결한다.
• 이 결과들은 파워 유형 매끄러움과 파워 유형 볼록성 조건을 만족하는 모든 바나흐 공간에 대해 마우레이 정리와 유사한 비선형 확장 정리를 암시한다.