[论文解读] Functional versions of L_p-affine surface area and entropy inequalities

Umut Caglar, Matthieu Fradelizi+4 more|arXiv (Cornell University)|Feb 13, 2014

Point processes and geometric inequalities参考文献 12被引用 4

一句话总结

本文将 $L_p$-仿射曲面面积的概念推广至对数凹函数和 $s$-凹函数，建立了对偶关系与仿射等周不等式。推导出 $s$-凹密度的新反向对数 Sobolev 不等式，推广了经典结果，并在 $s \to 0$ 的极限下恢复了对数 Sobolev 不等式。该方法利用函数形式的 Blaschke-Santaló 不等式与 Legendre 对偶性，为函数空间中的熵与仿射等周不等式提供了一个统一的框架。

ABSTRACT

In contemporary convex geometry, the rapidly developing L_p-Brunn Minkowski theory is a modern analogue of the classical Brunn Minkowski theory. A cornerstone of this theory is the L_p-affine surface area for convex bodies. Here, we introduce a functional form of this concept, for log concave and s-concave functions. We show that the new functional form is a generalization of the original L_p-affine surface area. We prove duality relations and affine isoperimetric inequalities for log concave and s-concave functions. This leads to a new inverse log-Sobolev inequality for s-concave densities.

研究动机与目标

• 将 $L_p$-仿射曲面面积的概念从凸体推广至对数凹函数和 $s$-凹函数。
• 在 $s$-凹函数与对数凹函数的设定下，建立函数形式的对偶关系与仿射等周不等式。
• 为 $s$-凹密度推导一个新的反向对数 Sobolev 不等式，推广已知结果。
• 通过函数形式的 Blaschke-Santaló 对偶性，为对数凹测度的反向对数 Sobolev 不等式提供一个简化的证明。

提出的方法

• 通过与对数凹或 $s$-凹密度 $f = e^{-\psi}$ 相关的凸函数 $\psi$ 的 Hessian 行列式，定义函数形式的 $L_p$-仿射曲面面积。
• 利用 Legendre 变换 $\psi^*$ 和函数形式的 Blaschke-Santaló 不等式，推导 $f$ 与其极 $f_{(s)}^\circ$ 之间的对偶关系。
• 应用反向 Hölder 不等式与 Jensen 不等式，关联熵 $S(\mu)$ 与 $\log \det(\nabla^2 \psi)$ 的积分。
• 利用函数形式的 Blaschke-Santaló 不等式，将乘积 $\int f\,dx \cdot \int f_{(s)}^\circ\,dx$ 控制在高斯型积分的范围内。
• 通过结合对偶关系与熵及 Hessian 行列式项，推导出反向对数 Sobolev 不等式。
• 通过极值情形 $f(x) = c_0(1 - s|Ax|^2)^{1/(2s)}$（其中 $A$ 为正定矩阵）刻画不等式的等号成立条件。

实验结果

研究问题

• RQ1 如何将 $L_p$-仿射曲面面积的概念从凸体推广至对数凹函数与 $s$-凹函数？
• RQ2 在函数形式的 $L_p$-设定下，函数与其极之间存在何种对偶关系？
• RQ3 能否为 $s$-凹函数建立仿射等周不等式？它们与经典不等式有何关联？
• RQ4 $s$-凹密度的函数形式反向对数 Sobolev 不等式是什么？
• RQ5 当 $s \to 0$ 时，新的反向对数 Sobolev 不等式如何收敛至经典对数 Sobolev 不等式？

主要发现

• 通过与关联凸势函数 $\psi$ 的 Hessian 行列式，为 $s$-凹函数定义了函数形式的 $L_p$-仿射曲面面积。
• 函数形式的 Blaschke-Santaló 不等式导出了 $f$ 与其极 $f_{(s)}^\circ$ 之间的对偶关系，进而导出新的反向对数 Sobolev 不等式。
• 对 $s$-凹密度的反向对数 Sobolev 不等式为 $\int \log \det(\nabla^2 \psi)\, d\mu \leq \int \log\left(\left(1 + s(\langle x,\nabla\psi\rangle - \psi)\right)^{1/s + n}\right) d\mu - S(\mu) + \log\left(\left(\frac{\pi}{s}\right)^n \frac{(\Gamma(1+1/(2s)))^2}{(\Gamma(1+n/2+1/(2s)))^2}(1+ns)\right)$。
• 当且仅当 $f(x) = c_0(1 - s|Ax|^2)^{1/(2s)}$（$A$ 为正定矩阵），且 $c_0$ 满足 $\int f\,dx = 1$ 时，不等式取等。
• 当 $s \to 0$ 时，$s$-凹函数的反向对数 Sobolev 不等式收敛至对数凹测度的经典反向对数 Sobolev 不等式。
• 新方法通过函数对偶性与 Blaschke-Santaló 不等式，为反向对数 Sobolev 不等式（包括等号情形）提供了简洁且通用的证明。