[論文レビュー] 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

ひとこと要約

この論文は、ユークリッド球内に含まれる対称的で凸な集合に対して、ガウス相関予想の顕著な進展を示しており、さらに強力な形で、任意の中心付き楕円体に対しても予想が成り立つことを確立している。幾何学的・確率的・関数解析的技法——回転不変性、対数凸性、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 関数 $f$ がガウス密度で、関数 $g$ が非負で、対称的で、対数凸な関数である場合、関数的バージョンの予想は成立するか？
• 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)}$ に置き換えることで、完全な予想が示されることを示しており、一般証明への可能性ある道筋を提供している。