2025-11-14T15:52:11.365382

The Gaussian correlation inequality for centered convex sets and the case of equality

Nakamura, Tsuji

Inspired by Milman's recent observation, we prove that the Gaussian correlation inequality holds for convex sets having the same barycenter, and especially for centered ones. This gives an affirmative answer to the problem proposed by Szarek and Werner. We also characterize the equality case. The study of the equality case in the non-symmetric Gaussian correlation inequality relates to the following question: Let $X$ be a standard Gaussian random vector in $\mathbb{R}^n$. For which convex sets $K_1,K_2 \subset \mathbb{R}^n$, are the two events $\{X\in K_1\}$ and $\{X\in K_2\}$ independent? By imposing an additional normalization that $K_1$ and $K_2$ have the same barycenter, we give the necessary and sufficient conditions for this independence. The conditions also identify when $\|X\|_{K_1}$ and $\|X\|_{K_2}$ are independent as random variables.

academic

The Gaussian correlation inequality for centered convex sets and the case of equality

基本信息

论文ID: 2504.04337
标题: The Gaussian correlation inequality for centered convex sets and the case of equality
作者: Shohei Nakamura, Hiroshi Tsuji
分类: math.FA (Functional Analysis), math.MG (Metric Geometry), math.PR (Probability)
发表时间: 2025年4月 (arXiv v3: 2025年11月12日)
论文链接: https://arxiv.org/abs/2504.04337v3

摘要

本文受Milman最近观察的启发，证明了高斯相关不等式对具有相同重心的凸集成立，特别是对中心化凸集成立。这给出了Szarek和Werner提出问题的肯定答案。作者还刻画了等号成立的情况。对非对称高斯相关不等式等号情形的研究关联到如下问题：设 $X$ 是 $\mathbb{R}^n$ 中的标准高斯随机向量，对于哪些凸集 $K_1,K_2 \subset \mathbb{R}^n$ ，两个事件 $\{X\in K_1\}$ 和 $\{X\in K_2\}$ 是独立的？通过施加 $K_1$ 和 $K_2$ 具有相同重心的额外归一化条件，作者给出了这种独立性的充要条件，这些条件也刻画了何时 $\|X\|_{K_1}$ 和 $\|X\|_{K_2}$ 作为随机变量是独立的。

研究背景与动机

问题背景

经典高斯相关不等式：Royen (2014)证明的对称高斯相关不等式指出，对于任意对称凸集 $K_1,K_2 \subset \mathbb{R}^n$ 和标准高斯测度 $\gamma$ ，有 $\gamma(K_1 \cap K_2) \geq \gamma(K_1)\gamma(K_2)$

这一不等式有多个等价形式，包括Das Gupta等人的形式和Šidák-Khatri不等式。该问题经历了长期研究历程：

Khatri (1967)和Šidák (1967)独立证明了一维情况
Pitt (1977)证明了二维情况
多位学者证明了部分结果（椭球情况等）
Royen (2014)给出完整证明
Milman (2025)提供了新的简化证明

核心问题

非对称情况的挑战：对于非对称凸集，不等式不一定成立。例如，可以通过平移使两个凸体不相交，从而使 $\gamma(K_1 \cap K_2) = 0$ 。因此需要适当的归一化条件。

Szarek-Werner问题 (1999)：如果凸集 $K_1,K_2$ 的高斯重心相同，即 $\text{bar}_\gamma(K_1) := \int_{K_1} x\frac{d\gamma}{\gamma(K_1)} = \text{bar}_\gamma(K_2)$ 那么高斯相关不等式是否成立？

研究动机

理论完善：解决非对称情况下的高斯相关不等式，这是概率论和凸几何的基本问题
独立性刻画：理解高斯随机向量落入不同凸集的事件何时独立
方法创新：现有Royen和Milman的证明方法依赖对称性假设，需要新的技术处理中心化条件

核心贡献

本文的主要贡献包括：

解决Szarek-Werner问题（定理1.1）：证明了对于具有相同高斯重心的凸集 $K_1,K_2$ ，高斯相关不等式成立： $\gamma(K_1 \cap K_2) \geq \gamma(K_1)\gamma(K_2)$
独立性的充要条件（定理1.3）：完全刻画了在重心相同条件下，事件 $\{X \in K_1\}$ ${X \in K_{1}}$ 和 $\{X \in K_2\}$ ${X \in K_{2}}$ 独立的充要条件：
- 两个凸集必须都是中心化的（重心为零）
- 存在正交分解 $\mathbb{R}^n = E \oplus E^\perp$ 使得 $K_1 = E^\perp \times K_1$ ， $K_2 = E \times K_2$
- 其中 $E$ 是某个协方差矩阵对应特征值1的特征空间
多线性推广（定理1.5）：将结果推广到多个中心化凸集和一般协方差矩阵的情况
方法论贡献：发展了中心化条件下的逆Brascamp-Lieb不等式理论（定理2.4），这是比现有对称性假设更弱的条件
几何-概率联系：揭示了高斯相关不等式与漂移拉普拉斯算子谱间隙刚性问题的深刻联系

方法详解

核心技术路线

本文的证明策略显著不同于Royen和Milman的方法。主要创新在于：

1. 逆Brascamp-Lieb不等式框架

作者将高斯相关不等式嵌入到更一般的逆Brascamp-Lieb不等式框架中。对于Brascamp-Lieb数据 $(B, c, Q)$ （线性映射、权重、二次型矩阵），定义泛函： $BL(f) := \frac{\int_{\mathbb{R}^N} e^{\langle x,Qx\rangle}\prod_{i=1}^m f_i(B_ix)^{c_i} dx}{\prod_{i=1}^m \left(\int_{\mathbb{R}^{n_i}} f_i dx_i\right)^{c_i}}$

2. 正则化函数类

引入中心化和一致对数凹性的正则化： $F^{(o)}_{G,H}(\mathbb{R}^n) := \{f \in L^1_+(\mathbb{R}^n) : \text{centered}, \ G\text{-uniformly log-concave}, \ H\text{-semi log-convex}\}$

其中：

$f$ 是 $G$ -一致对数凹： $f/g_G$ 是对数凹的（ $g_G(x) = e^{-\frac{1}{2}\langle x,Gx\rangle}$ ）
$f$ 是 $H$ -半对数凸： $f/g_H$ 是对数凸的
中心化： $\int_{\mathbb{R}^n} xf dx = 0$

3. 高斯饱和原理（定理2.4）

核心技术定理：对于 $G_i > 0$ ， $I^{(o)}_G(B,c,Q) = I^{(G)}_G(B,c,Q)$ 其中左边是对所有中心化 $G_i$ -一致对数凹函数的下确界，右边是对高斯函数的下确界。

这表明：高斯函数是逆Brascamp-Lieb不等式的极值函数。

证明技术细节

步骤1：极值函数的存在性（引理3.7）

利用Fradelizi的中心化对数凹函数最大值界（引理3.1）： $f(0) \leq \|f\|_\infty \leq e^n f(0)$

结合正则性条件，证明极值函数存在。关键是建立点态界（引理3.2）： $\frac{\lambda}{4}|x|^2 + \phi(0) - 2n \leq \phi(x) \leq \Lambda|x|^2 + \phi(0) + n$ 其中 $f = e^{-\phi}$ ， $\lambda$ 是 $G$ 的最小特征值， $\Lambda$ 是 $H$ 的最大特征值。

步骤2：Ball不等式（引理3.8）

对于自卷积，建立单调性： $BL(f)^2 \geq I^{(o)}_{G,H}(B,c,Q) \cdot BL(2^{n_1/2}f_1 * f_1(\sqrt{2}\cdot), \ldots, 2^{n_m/2}f_m * f_m(\sqrt{2}\cdot))$

关键观察：自卷积保持中心化条件和正则性（通过Prékopa-Leindler不等式）。

步骤3：迭代与中心极限定理

迭代应用Ball不等式 $k$ 次，得到 $2^k$ 重卷积。由中心极限定理，当 $k \to \infty$ 时： $(2^k)^{n_i/2} f_i^{(2^k)}(2^{k/2}\cdot) \to \gamma_{\Sigma_i}$ 其中 $\Sigma_i = \text{Cov}(f_i)$ 是协方差矩阵。应用Fatou引理得到高斯下界。

步骤4：处理退化情况

通过逼近技术处理 $G_i = 0$ 的情况：

构造紧支撑逼近（命题3.10）
利用Fokker-Planck流获得正则性（命题3.9）
取极限 $G_i \to 0$ （定理2.4的完整证明）

等号情形的刻画

矩阵不等式的等号条件（引理5.1）

对于矩阵不等式 $\frac{\det(A_1)\det(A_2)}{\det(A_1 + A_2 - \text{id}_n)} \geq 1, \quad A_1, A_2 \geq \text{id}_n$

等号成立当且仅当存在正交分解使得： $E_{\text{id}}(A_2) \supset E_{\text{id}}(A_1)^\perp$ 其中 $E_{\text{id}}(A) = \{u : Au = u\}$ 是特征值1对应的特征空间。

测度分裂定理（推论5.4）

利用Gigli-Ketterer-Kuwada-Ohta的RCD空间刚性定理：如果 $\mu$ 是中心化1-一致对数凹概率测度，则 $d\mu(x) = d\gamma(x_E)d\mu(x_{E^\perp})$ 其中 $E = E_{\text{id}}(\text{Cov}(\mu))$ 。

这建立了协方差矩阵的谱分解与测度点态分解的对应关系。

实验设置

本文是纯理论数学论文，不涉及数值实验。所有结果都是严格的数学证明。

实验结果

主要定理陈述

定理1.1（非对称高斯相关不等式）：对于任意凸集 $K_1,K_2 \subset \mathbb{R}^n$ 满足 $\text{bar}_\gamma(K_1) = \text{bar}_\gamma(K_2)$ ，有 $\gamma(K_1 \cap K_2) \geq \gamma(K_1)\gamma(K_2)$

特别地，对所有中心化凸集成立。

推论1.2（独立性的存在性）：对任意凸体 $K_1,K_2$ ，存在平移 $a_1,a_2$ 使得事件 $\{X \in K_1+a_1\}$ 和 $\{X \in K_2+a_2\}$ 独立。

定理1.3（独立性充要条件）：设 $K_1,K_2$ 满足 $\text{bar}_\gamma(K_1) = \text{bar}_\gamma(K_2)$ ，则 $\{X \in K_1\}$ 和 $\{X \in K_2\}$ 独立当且仅当：

$\text{bar}_\gamma(K_1) = \text{bar}_\gamma(K_2) = 0$ （中心化）
存在正交分解 $\mathbb{R}^n = E \oplus E^\perp$ 使得 $K_1 = E^\perp \times K_1, \quad K_2 = E \times K_2$ 其中 $E = \{x : \text{Cov}(\mu)x = x\}$ ， $d\mu = \frac{1}{\gamma(K_1)}1_{K_1}d\gamma$

定理1.5（多线性推广）：设 $\Sigma_0^{-1} \geq \Sigma_1^{-1}, \ldots, \Sigma_m^{-1}$ ，对于中心化凸集 $K_1,\ldots,K_m$ （关于各自的高斯测度），有 $\gamma_{\Sigma_0}\left(\bigcap_{i=1}^m K_i\right) \geq \prod_{i=1}^m \gamma_{\Sigma_i}(K_i)$

关键引理

引理4.1（矩阵不等式）：设 $\Sigma_0^{-1} \geq \Sigma_i^{-1}$ ，对于 $A_i \geq \Sigma_i^{-1}$ ，有 $\frac{\prod_{i=1}^m \det(A_i)}{\det(\sum_{i=1}^m(A_i - \Sigma_i^{-1}) + \Sigma_0^{-1})} \geq \frac{\prod_{i=1}^m \det(\Sigma_i^{-1})}{\det(\Sigma_0^{-1})}$