[论文解读] $(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)$-凸性框架、加权 Ricci 曲率 $\mathrm{Ric}_N$ 以及曲率-维数条件 $\mathrm{CD}(K,N)$ 扩展至 $N$ 的负值，将博赫纳不等式、布伦-闵可夫斯基不等式以及 $\mathrm{Ric}_N \geq K$ 与 $\mathrm{CD}(K,N)$ 之间的等价性等关键结果推广至负 $N$ 范畴。在熵曲率-维数条件 $\mathrm{CD}^e(K,N)$ 下，建立了新的函数不等式，包括 $K>0$、$N<0$ 时的非平凡 $N$-Talagrand 不等式与 $N$-对数 Sobolev 不等式。

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)$-凸性、加权 Ricci 曲率 $\mathrm{Ric}_N$ 以及曲率-维数条件 $\mathrm{CD}(K,N)$ 的理论扩展至 $N$ 的负值，此前该理论仅适用于 $N>0$。
• 将博赫纳不等式、布伦-闵可夫斯基不等式以及 $\mathrm{Ric}_N \geq K$ 与 $\mathrm{CD}(K,N)$ 之间等价性的基本结果推广至 $N<0$ 的情形。
• 在熵曲率-维数条件 $\mathrm{CD}^e(K,N)$ 下，建立新的函数不等式，特别是针对 $K>0$、$N<0$ 的 $N$-Talagrand 不等式与 $N$-对数 Sobolev 不等式。
• 为 Lipschitz $(K,N)$-凸函数在负 $N$ 设置下的梯度流提供严谨的框架，包括此类流的展开界。

提出的方法

• 在黎曼流形与度量空间上引入 $(K,N)$-凸函数的定义，将 Erbar–Kuwada–Sturm 的框架扩展至 $N<0$ 的情形。
• 在黎曼设置下推导梯度曲线上的演化变分不等式，作为正则化估计的基础。
• 通过演化变分不等式（定理 3.8）建立黎曼流形上 Lipschitz $(K,N)$-凸函数梯度流的展开界。
• 利用加权 Ricci 曲率 $\mathrm{Ric}_N$ 将博赫纳不等式与 Lichnerowicz 不等式推广至负 $N$。
• 为 $N<0$ 定义曲率-维数条件 $\mathrm{CD}(K,N)$，并证明其在黎曼设置下与 $\mathrm{Ric}_N \geq K$ 的等价性（定理 4.10）。
• 应用熵曲率-维数条件 $\mathrm{CD}^e(K,N)$ 推导函数不等式，包括 $N$-Talagrand 与 $N$-对数 Sobolev 不等式（推论 4.18 与 4.19），利用 $E_N$-泛函的测地线凸性。

实验结果

研究问题

• RQ1 $(K,N)$-凸性框架能否在 $N$ 为负值时有意义地扩展？
• RQ2 当 $N<0$ 时，$\mathrm{CD}(K,N)$ 与 $\mathrm{Ric}_N \geq K$ 之间的等价性是否仍然成立？
• RQ3 Talagrand 不等式与对数 Sobolev 不等式等函数不等式能否推广至负 $N$ 范畴？
• RQ4 当 $N<0$ 时，$(K,N)$-凸函数的梯度流行为如何？
• RQ5 在负 $N$ 情况下，$E_N$-泛函的测地线凸性性质如何导致新不等式的推导？

主要发现

• 本文证明了博赫纳不等式在 $N<0$ 时依然成立，将这一关键分析工具扩展至负维数范畴。
• 在 $N<0$ 时建立了 $\mathrm{CD}(K,N)$ 与 $\mathrm{Ric}_N \geq K$ 之间的等价性，推广了正 $N$ 情况下的核心结果。
• 推导出 Lipschitz $(K,N)$-凸函数梯度流的展开界，为负 $N$ 设置下的正则化估计提供了支持（定理 3.8）。
• 证明了一个非平凡的 $N$-Talagrand 不等式：在 $\mathrm{CD}^e(K,N)$ 条件下，对 $K>0$、$N<0$，有 $\mathrm{Ent}_{\mathfrak{m}}(\mu) \geq -N \log \left[ \cosh\left( \sqrt{-K/N} \, W_2(\mathfrak{m},\mu) \right) \right] $。
• 建立了 $N$-对数 Sobolev 不等式：$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$ 处对导数进行渐近分析，导出了上述函数不等式。