[论文解读] The Gaussian Correlation Inequality for Symmetric Convex Sets

Qing-Yang Guan|arXiv (Cornell University)|Dec 3, 2010

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

一句话总结

该论文在标准高斯测度下证明了对称凸集的高斯相关不等式，确立了任意两个此类集合交集的测度至少等于其各自测度的乘积。证明依赖于相关参数的导数估计、对数凹函数逼近，以及对维纳空间和次生布朗运动的推广，当集合未链接或退化时等号成立。

ABSTRACT

The paper is to prove the Gaussian correlation conjecture stating that, under the standard Gaussian measure, the measure of the intersection of any two symmetric convex sets is greater than or equal to the product of their measures. Characterization of the equality and some applications are given.

研究动机与目标

• 在标准高斯测度下证明对称凸集的高斯相关猜想。
• 表征高斯相关不等式中等号成立的条件。
• 将不等式推广至维纳空间和次生布朗运动过程。
• 在对称凸区域上建立狄利克雷拉普拉斯算子的谱间隙不等式。
• 通过使用对数凹函数和相关参数的导数估计，建立统一框架。

提出的方法

• 通过哈吉不等式和布朗运动耦合技术，对相关参数使用导数估计。
• 应用海森矩阵估计，将对称凸集与对数凹函数关联。
• 通过维纳空间中时间点的可数稠密序列，将问题约化为有限维近似。
• 使用变换 $ F_m $ 解耦勒维过程的增量，并应用有限维高斯相关不等式。
• 利用对称凸集在线性变换下的稳定性及Radau测度逼近。
• 利用斯科罗霍德拓扑收敛性和紧致性论证，将有限维结果推广至路径空间。

实验结果

研究问题

• RQ1 在何种条件下，两个对称凸集交集的高斯测度会超过其各自测度的乘积？
• RQ2 在对称凸集的高斯相关不等式中，何时等号成立？
• RQ3 高斯相关不等式能否从有限维空间推广至维纳空间？
• RQ4 相关不等式与对称凸区域上狄利克雷拉普拉斯算子的谱间隙有何关联？
• RQ5 该不等式是否可推广至次生布朗运动过程？

主要发现

• 该高斯相关不等式对所有 $ \mathbb{R}^n $ 中的对称凸集成立，且对所有 $ A, B \in \mathcal{C}_n $ 满足 $ \mu_n(A \cap B) \geq \mu_n(A)\mu_n(B) $。
• 等号成立当且仅当其中一个集合退化，或通过正交变换可使两集合的闭包未链接。
• 不等式可推广至维纳空间，验证了Li和Shao（2005）以及Lata{\l}a（2002）的猜想。
• 对 $ \mathbb{R}^n $ 中的开对称凸集，谱间隙不等式 $ \lambda_{A \cap B} \leq \lambda_A + \lambda_B $ 成立，其中 $ \lambda_D $ 表示区域 $ D $ 上狄利克雷拉普拉斯算子的谱间隙。
• 相关不等式在次生化下保持不变，从而将结果推广至次生布朗运动过程。
• 通过时间离散化路径的有限维近似在斯科罗霍德拓扑下收敛，使结果可推广至路径空间。