[論文レビュー] On the Equivalence of the Entropic Curvature-Dimension Condition and Bochner's Inequality on Metric Measure Spaces

Matthias Erbar, Kazumasa Kuwada+1 more|arXiv (Cornell University)|Mar 18, 2013

Geometric Analysis and Curvature Flows参考文献 29被引用数 12

ひとこと要約

この論文は、無限小ヒルベルト空間における測度付き距離空間において、エントロピー的曲率次元条件（CD^e(K,N)）とボッハラー不等式（BE(K,N)）の等価性を確立している。線形熱流動の仮定の下で、両条件が等価であることを証明した。主な貢献は、曲率次元束縛のオイラー的（ボッハラー型）およびラグランジュ的（最適輸送）定式化の完全な一対一対応を確立することであり、特に関数的不等式の鋭いスペクトルギャップ推定やW_2-収縮に関する応用を含む。

ABSTRACT

We prove the equivalence of the curvature-dimension bounds of Lott-Sturm-Villani (via entropy and optimal transport) and of Bakry--Émery (via energy and Γ_2$-calculus) in complete generality for infinitesimally Hilbertian metric measure spaces. In particular, we establish the full Bochner inequality on such metric measure spaces. Moreover, we deduce new contraction bounds for the heat flow on Riemannian manifolds and on mms in terms of the $L^2$-Wasserstein distance.

研究の動機と目的

• 測度付き距離空間におけるエントロピー的曲率次元条件（CD^e(K,N)）とボッハラー不等式（BE(K,N)）の完全な等価性を確立すること。
• 無限小ヒルベルト空間における測度付き距離空間においてボッハラー不等式が成立することを示し、リーマン的結果を特異空間へ一般化すること。
• L^2-Wasserstein距離を用いた熱流動の新しい鋭い収縮境界を導出すること。
• 鋭いリヒネロヴィッチスペクトルギャップ不等式が曲率次元条件と同値であることを証明すること。
• 測度付き距離空間における曲率次元束縛のオイラー的（ボッハラー）およびラグランジュ的（最適輸送）アプローチを統一すること。

提案手法

• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。
• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。
• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。
• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。
• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。
• リーマン的曲率次元条件（RCD^*(K,N)）とボッハラー不等式（BE(K,N)）の等価性を、熱流動の線形性を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 無限小ヒルベルト空間における測度付き距離空間において、ボッハラー不等式はエントロピー的曲率次元条件と同値か？
• RQ2 同じ設定において、リーマン的曲率次元条件（RCD^*(K,N)）はボッハラー不等式によって特徴付けられるか？
• RQ3 曲率次元条件の下で、L^2-Wasserstein距離を用いた熱流動の鋭い収縮境界は何か？
• RQ4 測度付き距離空間におけるラプラシアンのスペクトルギャップは、曲率次元束縛とどのように関係するか？
• RQ5 オイラー的（ボッハラー）およびラグランジュ的（最適輸送）定式化の間の曲率次元束縛の等価性は完全に確立できるか？

主な発見

• RCD^*(K,N) 条件を満たすすべての無限小ヒルベルト空間における測度付き距離空間において、ボッハラー不等式が成立し、古典的なリーマン的結果が特異空間へ一般化される。
• 無限小ヒルベルト空間における測度付き距離空間において、エントロピー的曲率次元条件 CD^e(K,N) とボッハラー不等式 BE(K,N) は同値である。
• 鋭いリヒネロヴィッチスペクトルギャップ不等式が、最適定数 KN/(N-1) で成立し、モデル空間の固有値と一致する。
• 熱流動は鋭い W_2-収縮推定を満たす：2つの熱流動間の L^2-Wasserstein 距離は、e^{-Kt} のレートで収縮し、次元に依存する補正項を伴う。
• 空間が無限小ヒルベルト的であり、RCD^*(K,N) を満たすとき、ディリクレ形式に付随する内在的距離 d_E は元の距離 d と一致する。
• 曲率次元条件とボッハラー不等式の等価性は、RCD^*(K,N) 条件の下で、すべての関数的不等式（例：対数ソボレフ、ポンカラ）が同値であることを示唆する。