[论文解读] Confidence regions for means of multivariate normal distributions and a non-symmetric correlation inequality for gaussian measure

Stanisław J. Szarek, Elisabeth M. Werner|arXiv (Cornell University)|Jan 22, 1997

Statistical Methods and Inference参考文献 10被引用 8

一句话总结

本文建立了高斯测度下的非对称相关不等式，证明了若凸集 K 与层 L 在高斯测度下的质心重合，则其交集的测度满足 μ(K ∩ L) ≥ μ(K) · μ(L)。该结果推广了多变量正态分布置信区域的 Sidak 不等式，依赖于对高斯累积分布函数的新下界估计，为高维概率与统计推断提供了关键工具。

ABSTRACT

Let $μ$ be a Gaussian measure (say, on ${\bf R}^n$) and let $K, L \subset {\bf R}^n$ be such that K is convex, $L$ is a "layer" (i.e. $L = \{x : a \leq < x,u > \leq b \}$ for some $a$, $b \in {\bf R}$ and $u \in {\bf R}^n$) and the centers of mass (with respect to $μ$) of $K$ and $L$ coincide. Then $μ(K \cap L) \geq μ(K) \cdot μ(L)$. This is motivated by the well-known "positive correlation conjecture" for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses an apparently hitherto unknown estimate for the (standard) Gaussian cumulative distribution function: $Φ(x) > 1 - \frac{(8/π)^{1/2}}{3x + (x^2 +8)^{1/2}} e^{-x^2/2}$ (valid for $x > -1$).

研究动机与目标

• 解决高斯测度下正相关猜想的非对称变体问题。
• 在凸集与层的质心在高斯测度下重合的条件下，建立其相关不等式。
• 为标准高斯累积分布函数提供一个在 x > -1 范围内有效的新的下界估计。
• 加强关于多变量正态分布均值置信区域的现有结果。
• 为高维概率中的几何与函数不等式理论做出贡献。

提出的方法

• 推导标准高斯累积分布函数的新下界：当 x > -1 时，Φ(x) > 1 - (8/π)^{1/2} / (3x + (x² + 8)^{1/2}) · e^{-x²/2}。
• 将该下界应用于分析高斯测度下凸集与层之间交集的测度。
• 利用 K 与 L 的质心重合作为关键几何约束，推导出相关不等式。
• 运用泛函分析与凸几何的工具，特别是在 R^n 上的高斯测度背景下。
• 利用层（由线性不等式定义）的结构，将问题简化为一维估计。
• 结合概率与分析技术，证明在所述条件下 μ(K ∩ L) ≥ μ(K) · μ(L)。

实验结果

研究问题

• RQ1 在何种条件下，高斯测度下凸集与层的交集测度满足正相关不等式？
• RQ2 当两集合的质心重合时，能否为高斯测度建立非对称相关不等式？
• RQ3 在 x > -1 范围内，高斯累积分布函数的最紧可能下界是什么？
• RQ4 该新下界如何改进关于多变量正态分布均值置信区域的现有结果？
• RQ5 正相关猜想在对称集合之外的推广程度如何？

主要发现

• 本文证明：对于 R^n 上的高斯测度 μ，若 K 为凸集，L 为层，且在 μ 下 K 与 L 的质心重合，则 μ(K ∩ L) ≥ μ(K) · μ(L)。
• 建立了标准高斯累积分布函数的新下界：当 x > -1 时，Φ(x) > 1 - (8/π)^{1/2} / (3x + (x² + 8)^{1/2}) · e^{-x²/2}。
• 该下界在 x > -1 范围内优于先前估计，并在证明主相关不等式中起到关键作用。
• 该结果将多变量正态分布置信区域的 Sidak 不等式推广至非对称情形。
• 不等式在最小几何假设下成立——仅需 K 的凸性与 L 的层结构，以及质心对齐。
• 证明方法引入了一项新颖的分析估计，可能在涉及高斯测度与集中现象的其他问题中具有应用价值。