[論文レビュー] Improved Hölder and reverse Hölder inequalities for correlated Gaussian random vectors

Wei-Kuo Chen, Nikos Dafnis+1 more|arXiv (Cornell University)|Jun 11, 2013

Point processes and geometric inequalities参考文献 23被引用数 3

ひとこと要約

本稿では、共分散行列の比較に基づく代数的基準を導入することで、相関のあるガウス確率的ベクトルの関数の積に対する、改良されたホルダーおよび逆ホルダー不等式を確立する。主な貢献は、古典的なホルダーおよび逆ホルダー不等式を一般化し、既知の結果（例えばガウス型超合同性やプリコーパ＝レインドル不等式）を回復する、鋭い共分散依存型不等式を提供することである。さらに、ガウス測度における幾何学的ブロスキャンプ＝ライブ不等式を通じて、解析学の二大分野を統一する枠組みを提供する。

ABSTRACT

We propose algebraic criteria that yield sharp Hölder types of inequalities for the product of functions of Gaussian random vectors with arbitrary covariance structure. While our lower inequality appears to be new, we prove that the upper inequality gives an equivalent formulation for the geometric Brascamp-Lieb inequality for Gaussian measures. As an application, we retrieve the Gaussian Hypercontractivity as well as its reverse and we present a generalization of the sharp Young and reverse Young inequalities. From the latter, we recover several known inequalities in literatures including the Prékopa-Leindler and Barthe inequalities.

研究の動機と目的

• 相関ガウス確率的ベクトルの関数の積の期待値に対する、古典的ホルダー不等式を凌駕する改善された両側バインディングを導出すること。
• 全共分散行列 T とブロック対角行列 P = diag(p₁T₁₁, ..., pₘTₘₘ) の比較に基づく代数的基準を確立し、ホルダー型不等式が成り立つ条件を特定すること。
• 上界不等式 (1.4) がガウス測度における幾何学的ブロスキャンプ＝ライブ不等式と同値であることを示し、解析学の二大分野を統一すること。
• ガウス型超合同性、逆超合同性、鋭いヤングおよび逆ヤング不等式といった既知の不等式を回復・一般化すること。
• 導出されたバインディングを用いて、ガウス設定におけるエントロピー不等式および関数的不等式の新しい枠組みを提示すること。

提案手法

• 行列不等式の条件を提唱：T ≤ P（ここで P = diag(p₁T₁₁, ..., pₘTₘₘ)）ならば、pᵢ > 1 に対して 𝔼[∏fᵢ(Xᵢ)] ≤ ∏(𝔼fᵢ(Xᵢ)^{pᵢ})^{1/pᵢ} が成り立つ。
• テスト関数 fᵢ(xᵢ) = exp(⟨αᵢ, xᵢ⟩) を用いて、不等式条件 T ≤ P および T ≥ P が、それぞれのバインディングが普遍的に成り立つために必要かつ十分であることを示す。
• ラグランジュ乗数法およびガウスモーメント計算を用いて、不等式が成り立つための臨界条件 (T − P) ≥ 0 もしくは ≤ 0 を導出する。
• Lᵖ ノルムを p = 1 で微分することで、エントロピー不等式への一般化を図り、積分、ノルム、エントロピーを含む三項の連鎖不等式を導出する。
• フィビニの定理および変数変換を用いて、多変量ガウス関数の Lᵖ ノルムとエントロピー表現との関係を確立する。
• 新しいエントロピー不等式 (6.15) を導出し、周辺分布のエントロピーが個々のエントロピーの重み付き和と、共分散構造を含む行列式補正項によって上界で抑えられることを示す。

実験結果

リサーチクエスチョン

• RQ1 共分散行列 T および指数 pᵢ がどのような条件下で、期待値 𝔼[∏fᵢ(Xᵢ)] が古典的不等式を改善するホルダー型上界を満たすか？
• RQ2 共分散行列 T が行列 P = diag(p₁T₁₁, ..., pₘTₘₘ) に対してどのような構造を示すと、上界または下界不等式が成立するか？
• RQ3 改善されたホルダー不等式が、ガウス測度における幾何学的ブロスキャンプ＝ライブ不等式と同値であることを示せるか？
• RQ4 新しい不等式枠組みが、ガウス型超合同性やプリコーパ＝レインドル不等式といった既知の結果をどの程度回復・一般化できるか？
• RQ5 導出されたエントロピー不等式 (6.15) における行列式項およびエントロピー項の役割は何か？また、それらはガウスベクトルの従属構造をどのように反映しているか？

主な発見

• 上界不等式 (1.4) が成り立つのは、全共分散行列 T が T ≤ P = diag(p₁T₁₁, ..., pₘTₘₘ) を満たす場合に限り、改善されたホルダーバインディングの鋭い行列ベースの基準を提供する。
• 逆不等式 (1.5) が成り立つのは、T ≥ P のときであり、fᵢ がほとんど確実に定数でなく、T ≫ P である場合には厳密な不等式が成立する。
• 上界不等式 (1.4) はガウス測度における幾何学的ブロスキャンプ＝ライブ不等式と同値であり、関数的不等式と幾何学的不等式の深い関係を確立する。
• この枠組みは、m = 2 かつ p₁, p₂ がホルダーの条件を満たす場合に、ガウス型超合同性およびその逆を特別な場合として回復する。
• この手法により、鋭いヤングおよび逆ヤング不等式の一般化が得られ、それらは逆にプリコーパ＝レインドル不等式およびバールト不等式を特別な場合として回復する。
• 新しいエントロピー不等式 (6.15) が導出され、周辺分布のエントロピーが個々のエントロピーの重み付き和と、共分散構造を含む行列式補正項によって上界で抑えられることを示している。