[論文レビュー] 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) を満たすことを証明する。この結果は、多変量正規分布の信頼領域に対するシダクの不等式を拡張し、x > -1 の範囲で有効なガウス累積分布関数の新たな下界を提供する。これは、高次元確率論および統計的推論における重要な道具である。

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 上のガウス測度の文脈において、関数解析および凸幾何学の道具を用いる。
• 線形不等式によって定義されるレイヤーの構造を活用し、問題を1次元の推定に還元する。
• 確率論的および解析的技法を組み合わせ、与えられた条件下で μ(K ∩ L) ≥ μ(K) · μ(L) を証明する。

実験結果

リサーチクエスチョン

• RQ1 ガウス測度のもとで凸集合とレイヤーの交差測度が正の相関不等式を満たす条件は何か？
• RQ2 凸集合の重心が一致する場合、ガウス測度に対して非対称な相関不等式を確立できるか？
• RQ3 x > -1 の範囲で有効なガウス累積分布関数の最も鋭い下界は何か？
• RQ4 この新たな下界は、多変量正規分布の平均に関する既存の信頼領域の結果をどのように改善するか？
• RQ5 正の相関予想は、対称な集合を超えてどの程度一般化可能か？

主な発見

• 本稿は、R^n 上のガウス測度 μ に対して、K が凸かつ L がレイヤーで、両者の重心が μ のもとで一致する場合、μ(K ∩ L) ≥ μ(K) · μ(L) が成り立つことを証明した。
• 標準ガウス累積分布関数の新たな下界が確立された：x > -1 に対して Φ(x) > 1 - (8/π)^{1/2} / (3x + (x² + 8)^{1/2}) · e^{-x²/2} が成り立つ。
• この下界は、x > -1 の範囲で従来の推定よりも鋭く、主な相関不等式の証明に不可欠な役割を果たす。
• この結果は、多変量正規分布の信頼領域に対するシダクの不等式を非対称な設定に拡張したものである。
• 幾何的仮定は最小限に抑えられており、K の凸性と L のレイヤー構造に加え、重心の一致のみが条件となる。
• 証明技法は、ガウス測度と集中現象を扱う他の問題においても有用な、新規の解析的推定を導入している。