[论文解读] 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

一句话总结

本文通过基于协方差矩阵比较的代数准则，为相关高斯随机向量函数乘积建立了改进的 Hölder 不等式与反向 Hölder 不等式。核心贡献是一个精确的、依赖协方差的不等式，该不等式推广了经典的 Hölder 与反向 Hölder 不等式，恢复了已知结果如高斯超收缩性与 Prékopa-Leindler 不等式，并通过高斯测度下的几何 Brascamp-Lieb 不等式为两个主要分析领域提供了统一框架。

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.

研究动机与目标

• 推导相关高斯随机向量函数乘积期望的改进双向界，超越经典 Hölder 不等式。
• 基于完整协方差矩阵 T 与分块对角矩阵 P = diag(p₁T₁₁, ..., pₘTₘₘ) 的比较，建立确定 Hölder 型不等式成立的代数准则。
• 证明上界不等式 (1.4) 等价于高斯测度下的几何 Brascamp-Lieb 不等式，从而统一分析中的两大领域。
• 恢复并推广已知不等式，如高斯超收缩性、反向超收缩性，以及精确的 Young 与反向 Young 不等式。
• 通过推导的界，提出一种新的高斯设定下熵不等式与函数不等式的框架。

提出的方法

• 提出矩阵不等式条件：若 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。
• 通过在 p = 1 处对乘积函数的 Lᵖ 范数求导，将结果推广至熵不等式，导出涉及积分、范数与熵的三重链式不等式。
• 利用 Fubini 定理与变量替换，将多变量高斯函数的 Lᵖ 范数与熵表达式关联起来。
• 推导出一个新的熵不等式 (6.15)，其表明边际分布的熵被个体熵的加权和与一个涉及协方差结构的行列式修正项所界定。

实验结果

研究问题

• RQ1 在协方差矩阵 T 与指数 pᵢ 满足何种条件时，期望 𝔼[∏fᵢ(Xᵢ)] 满足改进的 Hölder 型上界？
• RQ2 协方差矩阵 T 相对于矩阵 P = diag(p₁T₁₁, ..., pₘTₘₘ) 的结构如何决定上界或下界不等式成立？
• RQ3 能否证明改进的 Hölder 不等式等价于高斯测度下的几何 Brascamp-Lieb 不等式？
• RQ4 该新不等式框架在多大程度上可恢复或推广已知结果，如高斯超收缩性与 Prékopa-Leindler 不等式？
• RQ5 在推导出的熵不等式 (6.15) 中，行列式项与熵项的作用是什么？它们如何反映高斯向量的依赖结构？

主要发现

• 当且仅当完整协方差矩阵 T 满足 T ≤ P = diag(p₁T₁₁, ..., pₘTₘₘ) 时，上界不等式 (1.4) 成立，提供了改进 Hölder 界的精确矩阵准则。
• 当且仅当 T ≥ P 时，反向不等式 (1.5) 成立，且当 fᵢ 几乎必然非常数且 T ≫ P 时，不等式严格成立。
• 上界不等式 (1.4) 等价于高斯测度下的几何 Brascamp-Lieb 不等式，建立了函数不等式与几何不等式之间的深刻联系。
• 当 m = 2 且 p₁, p₂ 满足 Hölder 条件时，该框架可作为高斯超收缩性及其反向形式的特例被恢复。
• 该方法推广了精确的 Young 与反向 Young 不等式，后者又可作为 Prékopa-Leindler 与 Barthe 不等式的特例被恢复。
• 推导出一个新的熵不等式 (6.15)，表明边际分布的熵被个体熵的加权和与一个涉及协方差结构的行列式修正项所界定。