[论文解读] Strong Brascamp-Lieb Inequalities

Lei Yu|arXiv (Cornell University)|Feb 13, 2021

Mathematical Analysis and Transform Methods参考文献 42被引用 6

一句话总结

本文利用信息论与耦合技术，在波兰空间上建立了精确的、非线性的、与维度无关的 Brascamp-Lieb 不等式，将经典结果推广至包含超收缩性、Rényi 散度和噪声稳定性的范畴。核心贡献是一个统一的框架，强化了 Mrs. Gerber 的引理，并通过 $L_p$-范数与熵之间的最优非线性权衡，刻画了 $q$-稳定性指数。

ABSTRACT

In this paper, we derive sharp nonlinear dimension-free Brascamp--Lieb inequalities (including hypercontractivity inequalities) for distributions on Polish spaces, which strengthen the classic Brascamp--Lieb inequalities. Applications include the extension of Mrs. Gerber's lemma to the cases of Rényi divergences and distributions on Polish spaces, the strengthening of small-set expansion theorems, and the characterization of the exponent of the $q$-stability. Our proofs in this paper are based on information-theoretic and coupling techniques.

研究动机与目标

• 推导一般分布在波兰空间上的精确、非线性、与维度无关的 Brascamp-Lieb 不等式，超越经典线性形式。
• 将 Mrs. Gerber 引理由高斯分布推广至 Rényi 散度与一般波兰空间分布，提供更强的函数不等式。
• 强化小集合膨胀定理，并通过 $L_p$-范数中的最优非线性权衡刻画 $q$-稳定性指数。
• 通过新颖的信息论框架，统一并推广超收缩性、等周性与噪声稳定性的现有结果。
• 建立 Brascamp-Lieb 不等式中最优常数与乘积空间中大偏差渐近行为之间的联系。

提出的方法

• 利用信息论技术，包括 Rényi 散度与 $L_p$-范数，推导相关性与范数之间的非线性权衡。
• 应用耦合方法分析函数在乘积测度下的联合行为，特别是在高维乘积空间中。
• 引入 $(p,\hat{p})$-熵的概念，以捕捉超越标准 $L_p$-范数的非线性依赖关系。
• 在乘积空间 $\mathcal{X}^n \times \mathcal{Y}^n$ 上进行大偏差分析，推导最优常数的渐近表达式。
• 定义并分析函数 $\underline{\Psi}(\alpha,\beta)$ 与 $\underline{\Psi}_q(\alpha)$，以刻画小集合膨胀与 $q$-稳定性中的最优指数。
• 使用 Jensen 不等式与单调性论证，证明渐近函数的非增/非减性质，将其与原始 Brascamp-Lieb 常数联系起来。

实验结果

研究问题

• RQ1 如何将经典 Brascamp-Lieb 不等式强化为一般波兰空间上的非线性、与维度无关的形式？
• RQ2 Mrs. Gerber 引理由高斯分布推广至 Rényi 散度与非高斯分布时，其适用范围在多大程度上可扩展？
• RQ3 相关性 $\langle f,g \rangle / \|f\|_{\hat{p}}\|g\|_{\hat{q}}$ 与归一化 $L_p$-范数 $\|f\|_p / \|f\|_{\hat{p}}$、$\|g\|_q / \|g\|_{\hat{q}}$ 之间的最优非线性权衡为何？
• RQ4 小集合膨胀与 $q$-稳定性中的最优常数如何与乘积测度的渐近行为相关联？
• RQ5 能否通过大偏差与基于熵的泛函刻画 Brascamp-Lieb 不等式中的最优指数？

主要发现

• 本文建立了精确的非线性 Brascamp-Lieb 不等式，推广了超收缩性，且与维度无关，对所有波兰空间均成立。
• Mrs. Gerber 引理由高斯分布推广至 Rényi 散度与一般波兰空间分布，提供了更强的相关性界。
• $q$-稳定性中的最优指数通过渐近函数 $\underline{\Theta}_q(\alpha)$ 刻画，该函数满足 $\underline{\Psi}_q(\alpha) = \underline{\Theta}_{q'}(\alpha) - \alpha$。
• $\underline{\Psi}(\alpha,\beta)$ 函数被证明在 $\alpha$ 与 $\beta$ 上均非增，与小集合膨胀及乘积空间大偏差相关联。
• Brascamp-Lieb 不等式中的最优常数被证明渐近等价于乘积测度的大偏差率函数。
• 相关性与 $L_p$-范数之间的非线性权衡通过 $\underline{\Psi}_q(\alpha)$ 的单调性与对偶性得到完整刻画，其中 $\underline{\Psi}_q(\alpha)$ 在 $q \geq 1$ 时关于 $\alpha$ 非减。