[論文レビュー] On some inequalities for Gaussian measures

Rafał Latała|ArXiv.org|Apr 22, 2003

Point processes and geometric inequalities参考文献 26被引用数 56

ひとこと要約

この論文は、ガウス測度に関する基本的な不等式、特にガウス等周不等式、エールハルトの不等式、ボブコフの不等式、S-不等式、および長年の未解決であったガウス相関予想をレビューする。幾何学的・関数的不等式の包括的概要を提示し、凸幾何学、測度の集中、確率過程との深い関係を強調する。主な結果は、対称化と対数凸性の技法を用いて確立されている。

ABSTRACT

We review several inequalities concerning Gaussian measures - isoperimetric inequality, Ehrhard's inequality, Bobkov's inequality, S-inequality and correlation conjecture.

研究の動機と目的

• ガウス測度に関する主要な幾何学的不等式を提示・統合し、それらの理論的・応用的意義を強調すること。
• 対称化と対数凸性がエールハルトの不等式や等周不等式の導出において果たす役割を明確にすること。
• 未解決のガウス相関予想を検討し、凸集合および確率過程へのその影響を明らかにすること。
• これらの幾何的結果から導かれる関数的不等式およびモーメント不等式を、特にバナッハ空間値ガウスベクトルの文脈で探求すること。
• S-不等式を回転対称測度へ拡張する可能性や、球面上の体積比較に関する未解決の予想を提示・議論すること。

提案手法

• ステインャー対称化にインspiredされたガウス対称化技法を用いて、凸集合に対するエールハルトの不等式を証明する。
• 境界測度 $\gamma_n^+(A) \geq I(\gamma_n(A))$ を用いた等周不等式の微分形を適用する。ここで $I(t) = \varphi(\Phi^{-1}(t))$ である。
• ガウス測度の対数凸性と凸集合におけるブルン＝ミンコフスキーの不等式を用いて関数的不等式を導出する。
• 無限次元ガウス測度の独立同一分布標準正規確率変数を用いた級数表現を用い、有限次元の結果を近似する。
• 関数 $\Phi^{-1}(\mu(tA))$ の凹性と $\frac{1}{t}\Psi^{-1}(\mu(tA))$ の単調性を用いて、S-不等式および関連する予想を分析する。
• 相関予想を偶関数で凸な等高線集合を含む等価な形に還元し、ストリップや楕円体に対する既知の結果を用いて部分的解決を達成する。

実験結果

リサーチクエスチョン

• RQ1 ガウス測度における等周不等式の鋭い形は何か？ また、測度の集中とどのように関係しているか？
• RQ2 エールハルトの不等式は凸集合を超えて拡張可能か？ また、ミンコフスキー加法におけるガウス測度の挙動に何を示唆するか？
• RQ3 非減少径方向密度をもつ一般の回転対称測度について、S-不等式は成り立つか？
• RQ4 すべての $\mathbb{R}^n$ 内の凸対称集合についてガウス相関予想は真か？ 特別な場合における進展は何か？
• RQ5 偶関数で対数凸関数に対して、相関不等式の関数的形を確立できるか？ また、それらは小さな球確率にどのような影響を及えるか？

主な発見

• ガウス等周不等式は、同じガウス測度を持つ集合の中で、半空間が $t$-近傍の測度を最小化することを示し、アフィン半空間で等号が成立する。
• エールハルトの不等式は、凸集合 $A,B$ と $\lambda \in [0,1]$ に対して、$\Phi^{-1}(\gamma_n(\lambda A + (1-\lambda)B)) \geq \lambda \Phi^{-1}(\gamma_n(A)) + (1-\lambda)\Phi^{-1}(\gamma_n(B))$ を満たす。
• S-不等式は、対称凸集合 $A,B$ について $\gamma_n(A) \geq \gamma_n(B)$ かつ $s \geq 1$ のとき $\gamma_n(sA) \geq \gamma_n(sB)$ を意味し、モーメント比較における最良定数を導く。
• 中心を持つガウスベクトルについて、$p \geq q \geq 0$ に対して不等式 $({\mathbf{E}}\|X\|^{p})^{1/p} \leq \frac{c_p}{c_q}({\mathbf{E}}\|X\|^{q})^{1/q}$ が成り立つ。ここで $c_p = ({\mathbf{E}}|g_1|^p)^{1/p}$ である。
• クラス・シダクの定理は、凸対称集合 $A$ と対称楕円体 $B$ に対して $\mu(A \cap B) \geq \mu(A)\mu(B)$ を示し、偶関数で凸関数への関数的形への拡張がなされている。
• 相関予想は $n \geq 3$ では未解決のままだが、$n=2$、対称ストリップ、楕円体では成立することが知られており、すべての $\lambda \in [0,1]$ に対して $\mu(A \cap B) \geq \mu(\lambda A)\mu(\sqrt{1-\lambda^2}B)$ という弱い形の不等式も確立されている。