[论文解读] On the Gaussian measure of the intersection of symmetric, convex sets

Gideon Schechtman, Schlumprecht, Thomas+1 more|arXiv (Cornell University)|Jul 18, 1996

Point processes and geometric inequalities参考文献 13被引用 18

一句话总结

该论文通过证明在半径为 $ c\sqrt{n} $ 的欧几里得球内对称凸集的情形下，高斯相关猜想取得显著进展，并且更有力地建立了该猜想在任意中心对称椭球上的成立。利用几何、概率和泛函分析技术——包括旋转不变性、对数凹性以及 Prekopa-Leindler 不等式——论文表明，两个对称凸集交集的高斯测度至少等于其各自测度的乘积。

ABSTRACT

The Gaussian Correlation Conjecture states that for any two symmetric, convex sets in n-dimensional space and for any centered, Gaussian measure on that space, the measure of the intersection is greater than or equal to the product of the measures. In this paper we obtain several results which substantiate this conjecture. For example, in the standard Gaussian case, we show there is a positive constant, c, such that the conjecture is true if the two sets are in the Euclidean ball of radius $c\sqrt{n}$. Further we show that if for every n the conjecture is true when the sets are in the Euclidean ball of radius $\sqrt{n}$, then it is true in general. Our most concrete result is that the conjecture is true if the two sets are (arbitrary) centered ellipsoids.

研究动机与目标

• 在特定几何约束下，建立对称凸集的高斯相关猜想。
• 通过将问题约化为涉及对数凹函数的泛函不等式，研究该猜想是否对一般凸集成立。
• 使用概率和测度论方法，在高维空间中探索该猜想的有效性。
• 提供该猜想的泛函版本，并在函数相关正则性条件下证明其成立。

提出的方法

• 使用猜想的泛函表述：对于非负、对称、拟凹函数 $ f $ 和 $ g $，有 $ \mathbb{E}_\mu(fg) \geq \mathbb{E}_\mu(f)\mathbb{E}_\mu(g) $，其中 $ \mu $ 为标准高斯测度。
• 应用 Prekopa-Leindler 不等式，表明在缩放高斯测度下，对数凹函数的期望在缩放矩阵为对角矩阵时最小化。
• 利用高斯测度的旋转不变性，将问题约化为对角矩阵，从而简化期望的分析。
• 使用积分表示和 Fubini 定理，将函数乘积的期望表示为在水平集上的积分。
• 分析对称凸函数水平集的结构，并利用对称性和凸性推导不等式。
• 证明：若该猜想对包含在半径为 $ \sqrt{n} $ 的欧几里得球内的集合成立，则其在一般情形下也成立，从而将问题约化为有界几何情形。

实验结果

研究问题

• RQ1 高斯相关猜想是否对包含在半径为 $ c\sqrt{n} $ 的欧几里得球内的对称凸集成立？
• RQ2 能否通过泛函不等式证明该猜想对任意中心椭球成立？
• RQ3 当一个函数为高斯密度而另一个为对数凹函数时，该猜想的泛函版本是否成立？
• RQ4 旋转不变性和对角化在简化期望比较中起什么作用？
• RQ5 能否通过积分变换将该猜想约化为对称凸函数水平集上的问题？

主要发现

• 该猜想对任意包含在半径为 $ c\sqrt{n} $ 的欧几里得球内的对称凸集成立，其中 $ c > 0 $ 为绝对常数。
• 该猜想在 $ \mathbb{R}^n $ 中对任意中心对称椭球成立，这是本文最强有力的具体结果。
• 当 $ f $ 为高斯密度而 $ g $ 为非负、对称、对数凹函数时，该猜想的泛函版本成立。
• 若该猜想对所有 $ n $ 在集合包含于半径为 $ \sqrt{n} $ 的欧几里得球内时成立，则其在一般情形下也成立。
• 该猜想等价于一个涉及高斯随机变量最大值的概率不等式：$ P(\max_{i\leq n}|X_i|\leq 1) \geq P(\max_{i\leq k}|X_i|\leq 1)P(\max_{k<i\leq n}|X_i|\leq 1) $。
• 本文表明，若在相关不等式中将因子 $ 2^{n/2} $ 替换为 $ 2^{o(n)} $，则可推出完整猜想，为一般性证明提供了一条潜在路径。