[论文解读] Displacement convexity of generalized relative entropies

Shin‐ichi Ohta, Asuka Takatsu|arXiv (Cornell University)|May 8, 2010

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

一句话总结

本文引入了 $m$-相对熵作为加权黎曼与芬斯勒流形上广义的相对熵泛函，证明其位移 $K$-凸性等价于加权 Ricci 曲率 $\operatorname{Ric}_N \geq 0$（其中 $N = 1/(1-m)$）与权重函数 $\Psi$ 的 $K$-凸性这两个条件的联合成立。该等价关系使得可推导出 Talagrand、HWI 与对数 Sobolev 不等式的新变体，以及测度集中性结果，并表明 $H_m$ 的梯度流生成了多孔介质或快扩散方程的解。

ABSTRACT

We investigate the $m$-relative entropy, which stems from the Bregman divergence, on weighted Riemannian and Finsler manifolds. We prove that the displacement $K$-convexity of the $m$-relative entropy is equivalent to the combination of the nonnegativity of the weighted Ricci curvature and the $K$-convexity of the weight function. We use this to show appropriate variants of the Talagrand, HWI and the logarithmic Sobolev inequalities, as well as the concentration of measures. We also prove that the gradient flow of the $m$-relative entropy produces a solution to the porous medium equation or the fast diffusion equation.

研究动机与目标

• 引入并研究 $m$-相对熵，作为基于 Bregman 散度与 Tsallis/Rényi 熵的相对熵的推广。
• 以流形与权重函数的几何条件来刻画 $H_m(\cdot|\nu)$ 的位移 $K$-凸性。
• 在所推导的凸性条件下，导出新的函数不等式——Talagrand、HWI、对数 Sobolev 不等式。
• 通过 Wasserstein 几何在 $\mathcal{P}(M)$ 上的联系，将 $H_m$ 的梯度流与多孔介质方程和快扩散方程关联起来。

提出的方法

• 通过 $m$-指数函数的 Bregman 散度定义 $m$-相对熵 $H_m(\mu|\nu)$，在 $m \to 1$ 的极限下推广 Kullback-Leibler 散度。
• 利用概率测度空间 $\mathcal{P}(M)$ 上的 Wasserstein 几何，配备 $L^2$-Wasserstein 距离 $W_2$，分析 $H_m$ 的凸性。
• 建立 $H_m$ 的位移 $K$-凸性与以下几何条件的等价性：$\operatorname{Ric}_N \geq 0$（其中 $N = 1/(1-m)$）与 $\operatorname{Hess} \Psi \geq K$。
• 利用位移凸性推导函数不等式，借助曲率-维数条件框架与 $m$-指数函数的性质。
• 在 Wasserstein 空间中分析 $H_m$ 的梯度流，表明其对应于反向多孔介质或快扩散方程的弱解。
• 利用雅可比公式与连续性方程计算 $H_m$ 的 Wasserstein 梯度，证明可微性条件，并通过连续性方程推导出 PDE。

实验结果

研究问题

• RQ1 在何种几何条件下，$m$-相对熵 $H_m(\cdot|\nu)$ 在 $\mathcal{P}(M)$ 上具有位移 $K$-凸性？
• RQ2 通过其梯度流，$m$-相对熵如何与多孔介质方程和快扩散方程关联？
• RQ3 从 $H_m$ 的位移凸性中可导出哪些函数不等式（Talagrand、HWI、对数 Sobolev）？
• RQ4 权重函数 $\Psi$ 与参数 $m$ 如何影响 $H_m$ 的凸性与曲率界？
• RQ5 $m$-指数函数在定义 $m$-相对熵及其几何性质中起什么作用？

主要发现

• 位移 $K$-凸性 $H_m(\cdot|\nu)$ 成立当且仅当 $\operatorname{Ric}_N \geq 0$（其中 $N = 1/(1-m)$）且 $\operatorname{Hess} \Psi \geq K$。
• $m$-相对熵在 $m \to 1$ 的极限下恢复标准相对熵，且通过 $m$-指数函数的 Bregman 散度定义。
• $H_m$ 的梯度流在 $(\mathcal{P}(M), W_2)$ 中生成反向多孔介质或快扩散方程的弱解：$\partial_t \rho = \operatorname{div}_\omega \left[ \rho \overleftarrow{\nabla} \left( \frac{\rho^{m-1} - \sigma^{m-1}}{m-1} \right) \right]$。
• $H_m$ 在 $\mu = \rho\omega$ 处可微当且仅当 $\rho^{m-1} - \sigma^{m-1} \in H^1(M, \mu)$，其 Wasserstein 梯度为 $\nabla_W[-H_m(\cdot|\nu)](\mu) = \nabla\left( \frac{\rho^{m-1} - \sigma^{m-1}}{1 - m} \right)$。
• $H_m$ 的位移凸性在所推导的曲率界下蕴含 Talagrand、HWI 与对数 Sobolev 不等式，以及测度集中性。
• 参数 $m \in [(n-1)/n, 1) \cup (1, \infty)$ 允许 $N = 1/(1-m)$ 为负，从而将加权 Ricci 曲率分析的适用范围扩展至标准设定之外。