[論文レビュー] $(K,N)$-convexity and the curvature-dimension condition for negative $N$

Shin‐ichi Ohta|arXiv (Cornell University)|Oct 30, 2013

Geometric Analysis and Curvature Flows参考文献 32被引用数 4

ひとこと要約

本稿は、$(K,N)$-凸性枠組み、重み付きリッチ曲率$\mathrm{Ric}_N$、および曲率次元条件$\mathrm{CD}(K,N)$を$N$の負の値へと拡張し、ボッハラーの不等式、ブルン＝ミンコフスキーの不等式、$\mathrm{Ric}_N \geq K$と$\mathrm{CD}(K,N)$の同値性といった主要な結果を、$N<0$の領域へ一般化する。$K>0$、$N<0$の下で、エントロピック曲率次元条件$\mathrm{CD}^e(K,N)$の下で、非自明な$N$-タラガランド不等式および$N$-対数ソボレフ不等式を含む新しい関数不等式を確立する。

ABSTRACT

We extend the range of $N$ to negative values in the $(K,N)$-convexity (in the sense of Erbar--Kuwada--Sturm), the weighted Ricci curvature $Ric_N$ and the curvature-dimension condition $CD(K,N)$. We generalize a number of results in the case of $N&gt;0$ to this setting, including Bochner's inequality, the Brunn--Minkowski inequality and the equivalence between $Ric_N \ge K$ and $CD(K,N)$. We also show an expansion bound for gradient flows of Lipschitz $(K,N)$-convex functions.

研究の動機と目的

• $(K,N)$-凸性、重み付きリッチ曲率$\mathrm{Ric}_N$、曲率次元条件$\mathrm{CD}(K,N)$の理論を、$N>0$に制限されていた範囲から$N<0$へ拡張すること。
• ボッハラーの不等式、ブルン＝ミンコフスキーの不等式、$\mathrm{Ric}_N \geq K$と$\mathrm{CD}(K,N)$の同値性といった基本的結果を$N<0$の状況へ一般化すること。
• エントロピック曲率次元条件$\mathrm{CD}^e(K,N)$の下で、$K>0$、$N<0$の下で、$N$-タラガランド不等式および$N$-対数ソボレフ不等式を含む新しい関数不等式を確立すること。
• リーマン多様体上でのリップシッツ$(K,N)$-凸関数の勾配フローに対する、$N<0$の状況における厳密な枠組みを提供すること。特に、このようなフローの拡張バウンドを導出すること。

提案手法

• リーマン多様体および距離空間上での$(K,N)$-凸関数の定義を導入し、エルバール＝クワダ＝シュトゥルムの枠組みを$N<0$へ拡張する。
• リーマン的状況における勾配曲線に沿った変分不等式の導出を実施し、正則化推定の基礎を築く。
• 変分不等式を用いて、リーマン多様体上でのリップシッツ$(K,N)$-凸関数の勾配フローの拡張バウンドを確立する（定理3.8）。
• 重み付きリッチ曲率$\mathrm{Ric}_N$を用いて、ボッハラーの不等式およびリヒネロヴィッチの不等式を$N<0$へ一般化する。
• $N<0$のための曲率次元条件$\mathrm{CD}(K,N)$を定義し、リーマン的状況で$\mathrm{Ric}_N \geq K$と同値であることを証明する（定理4.10）。
• エントロピック曲率次元条件$\mathrm{CD}^e(K,N)$を適用し、$E_N$-汎関数の測地的凸性を用いて、$N$-タラガランド不等式および$N$-対数ソボレフ不等式を導出する（系4.18および4.19）。

実験結果

リサーチクエスチョン

• RQ1 $(K,N)$-凸性枠組みは、$N$の負の値へ意味的に拡張可能か？
• RQ2 $\mathrm{CD}(K,N)$と$\mathrm{Ric}_N \geq K$の同値性は$N<0$でも成立するか？
• RQ3 タラガランド不等式および対数ソボレフ不等式といった関数不等式は、$N<0$の領域へ一般化可能か？
• RQ4 $(K,N)$-凸関数の勾配フローは$N<0$のときどのように振る舞うか？
• RQ5 $E_N$-汎関数の測地的凸性の性質は、$N<0$の場合にどのように新しい不等式を導くか？

主な発見

• 本稿は、$N<0$においてボッハラーの不等式が成り立つことを証明し、解析的ツールを負の次元領域へ拡張した。
• $\mathrm{CD}(K,N)$と$\mathrm{Ric}_N \geq K$の同値性が$N<0$において確立され、正の$N$の場合の中心的結果が一般化された。
• リップシッツ$(K,N)$-凸関数の勾配フローの拡張バウンドが導出され、$N<0$の状況における正則化推定を提供する（定理3.8）。
• 非自明な$N$-タラガランド不等式が証明された：$K>0$、$N<0$の下で$\mathrm{CD}^e(K,N)$の下で、$\mathrm{Ent}_{\mathfrak{m}}(\mu) \geq -N \log \left[ \cosh\left( \sqrt{-K/N} \, W_2(\mathfrak{m},\mu) \right) \right] $。
• $N$-対数ソボレフ不等式が確立された：$KN \left( \exp(2\mathrm{Ent}_{\mathfrak{m}}(\mu)/N) - 1 \right) \leq I_{\mathfrak{m}}(\mu)$、これは$E_N$-汎関数の測地的凸性に関する正の条件の下で有効である（系4.19）。
• 本稿は、$E_N$-汎関数が最小測地線に沿って凸不等式を満たすことを示し、$t=0$における導関数の漸近的解析を用いて、上記の関数不等式を導出することに成功した。