[论文解读] On some inequalities for Gaussian measures

Rafał Latała|ArXiv.org|Apr 22, 2003

Point processes and geometric inequalities参考文献 26被引用 56

一句话总结

本文综述了高斯测度的基本不等式，包括高斯等周不等式、Ehrhard 不等式、Bobkov 不等式、S-不等式以及长期悬而未决的高斯相关猜想。文章全面回顾了涉及高斯测度的几何与函数不等式，强调其与凸几何、测度集中现象及随机过程的深刻联系，关键结果通过对称化与对数凹性技术得以建立。

ABSTRACT

We review several inequalities concerning Gaussian measures - isoperimetric inequality, Ehrhard's inequality, Bobkov's inequality, S-inequality and correlation conjecture.

研究动机与目标

• 呈现并统一高斯测度的主要几何不等式，突出其理论与应用意义。
• 阐明对称化与对数凹性在推导 Ehrhard 不等式及等周不等式等结果中的作用。
• 探讨尚未解决的高斯相关猜想及其对凸集与随机过程的影响。
• 探索由这些几何结果导出的函数不等式与矩不等式，特别是巴拿赫空间值高斯向量背景下的情形。
• 提出并讨论若干开放猜想，包括 S-不等式向旋转对称测度的推广，以及球面上体积比较问题。

提出的方法

• 采用受 Steiner 对称化启发的高斯对称化技术，证明凸集上的 Ehrhard 不等式。
• 通过边界测度形式的等周不等式 $\gamma_n^+(A) \geq I(\gamma_n(A))$（其中 $I(t) = \varphi(\Phi^{-1}(t))$）应用其微分形式。
• 利用高斯测度的对数凹性及凸集的 Brunn-Minkowski 不等式，推导函数不等式。
• 通过独立同分布的标准正态变量的级数表示，将无限维高斯测度近似为有限维结果。
• 利用 $\Phi^{-1}(\mu(tA))$ 的凹性与 $\frac{1}{t}\Psi^{-1}(\mu(tA))$ 的单调性，分析 S-不等式及相关猜想。
• 将相关猜想约化为涉及偶函数、凸水平集的等价形式，并利用关于柱面与椭球体的已知结果，获得部分解。

实验结果

研究问题

• RQ1 高斯测度的等周不等式是否存在最优形式？其与测度集中现象有何关联？
• RQ2 Ehrhard 不等式能否超越凸集进行推广？其在 Minkowski 加法下对高斯测度行为有何启示？
• RQ3 对于具有非减径向密度的一般旋转对称测度，S-不等式是否成立？
• RQ4 在 $\mathbb{R}^n$ 中，高斯相关猜想是否对所有对称凸集成立？特殊情形下已取得哪些进展？
• RQ5 能否为偶函数、对数凹函数建立相关不等式的函数形式？其对小球概率有何影响？

主要发现

• 高斯等周不等式表明：在所有具有相同高斯测度的集合中，半空间使 $t$-邻域的测度最小，且当集合为仿射半空间时取等。
• Ehrhard 不等式表明：对凸集 $A,B$ 及 $\lambda \in [0,1]$，有 $\Phi^{-1}(\gamma_n(\lambda A + (1-\lambda)B)) \geq \lambda \Phi^{-1}(\gamma_n(A)) + (1-\lambda)\Phi^{-1}(\gamma_n(B))$。
• S-不等式表明：对对称凸集 $A,B$，若 $\gamma_n(A) \geq \gamma_n(B)$ 且 $s \geq 1$，则 $\gamma_n(sA) \geq \gamma_n(sB)$，并可给出矩比较中的最优常数。
• 对中心高斯向量，不等式 $({\mathbf{E}}\|X\|^{p})^{1/p} \leq \frac{c_p}{c_q}({\mathbf{E}}\|X\|^{q})^{1/q}$ 对 $p \geq q \geq 0$ 成立，其中 $c_p = ({\mathbf{E}}|g_1|^p)^{1/p}$。
• Khatri-Šidák 定理证明：对对称凸集 $A$ 与对称椭球体 $B$，有 $\mu(A \cap B) \geq \mu(A)\mu(B)$，该结果已推广至偶函数、凸函数的函数形式。
• 相关猜想在 $n \geq 3$ 时仍为开放问题，但已知其对 $n=2$、对称柱面及椭球体成立；对所有 $\lambda \in [0,1]$，较弱形式 $\mu(A \cap B) \geq \mu(\lambda A)\mu(\sqrt{1-\lambda^2}B)$ 已被证明。