[論文レビュー] Observable concentration of mm-spaces into nonpositively curved manifolds

Kei Funano|ArXiv.org|Jan 19, 2007

Geometric Analysis and Curvature Flows参考文献 17被引用数 5

ひとこと要約

この論文は、1-Lipschitz写像の観察可能直径を分析することにより、mm-空間が非正曲率多様体に集中する条件を確立する。非正曲率で十分に大きな場合、集中は失敗する。それ以外の場合、観察可能直径が消えると集中が成立し、Gromovの枠組みを曲率制約付きの非リーマン的スクリーンに一般化する。

ABSTRACT

The measure concentration property of an mm-space $X$ is roughly described as that any 1-Lipschitz map on $X$ to a metric space $Y$ is almost close to a constant map. The target space $Y$ is called the screen. The case of $Y=\mathbb{R}$ is widely studied in many literature (see \cite{gromov}, \cite{ledoux}, \cite{mil2}, \cite{milsch}, \cite{sch}, \cite{tal}, \cite{tal2} and its reference). M. Gromov developed the theory of measure concentration in the case where the screen $Y$ is not necessarily $\mathbb{R}$ (cf. \cite{gromovcat}, {gromov2}, \cite{gromov}). In this paper, we consider the case where the screen $Y$ is a nonpositively curved manifolds. We also show that if the screen $Y$ is so big, then the mm-space $X$ does not concentrate.

研究の動機と目的

• ユークリッド的およびコンパクトなスクリーンに限らないGromovの測度集中理論を、非正曲率リーマン多様体へ拡張すること。
• mm-空間からの1-Lipschitz写像の集中において、曲率と次元が果たす役割を調査すること。
• 特に、標的多様体が大きいか、高次元である場合に、集中が失敗する条件を特定すること。
• 観察可能直径と標的多様体の幾何的性質との間の定量的関係を確立すること。
• 曲率と分離性の性質を用いて、非リーマン的スクリーンにおけるLévy族の概念を一般化すること。

提案手法

• 1-Lipschitz写像の押し出し測度に関する上界を用いて定義される、観察可能直径を集中の尺度として用いる。
• 測度空間におけるpre-Lévy平均および関連する木構造を用いて、集中の挙動を分析する。
• 測度分布に基づいて観察可能直径を評価するため、分離関数 Sep(μ; m/3, κ/2) を導入する。
• 非正曲率空間における木構造および測地線を用いた幾何的議論により、直径の上限を導出する。
• 測度の広がりを制御するため、Gromovの重心法と曲率に基づく比較定理を活用する。
• 標的多様体が十分に大きい場合、観察可能直径が0から離れていることから、集中が失敗することを証明する。

実験結果

リサーチクエスチョン

• RQ1 mm-空間が1-Lipschitz写像によって非正曲率多様体に集中する条件は何か？
• RQ2 標的多様体の次元と曲率は、mm-空間の観察可能直径にどのように影響するか？
• RQ3 標的多様体が十分に大きいまたは複雑な場合、集中の失敗をどのように特徴づけられるか？
• RQ4 pre-Lévy平均と分離関数は、非正曲率空間における集中を制御するために果たす役割は何か？
• RQ5 標的が非正曲率多様体であり、次元が増加する際、観察可能直径はどのように振る舞うか？

主な発見

• 非正曲率多様体へ写像されるmm-空間の観察可能直径は、2倍の分離関数 Sep(μ; m/3, κ/2) で上から抑えられる。
• 標的多様体が十分に大きい場合、観察可能直径が0から離れているため、集中は失敗する。
• 標的多様体が非正曲率で、観察可能直径が0に近づくならば、mm-空間はその多様体に集中する。
• 標的空間にpre-Lévy平均が存在することは、1-Lipschitz写像の集中挙動を制御するために不可欠である。
• この手法は、Gromovの重心法を非正曲率多様体へ一般化し、集中推定を保持する。
• 本論文は鋭い閾値を確立する：集中は、曲率と次元の観点で、標的多様体があまりに大きくない・複雑でない場合にのみ成立する。