[论文解读] Poincar\'e inequality for non euclidean metrics and transportation cost inequalities on $\mathbb{R}^d$

Nathaël Gozlan|arXiv (Cornell University)|Jul 19, 2007

Geometric Analysis and Curvature Flows参考文献 23被引用 9

一句话总结

本文提出了一种基于 $\mathbb{R}^d$ 上非欧几里得度量的广义 Poincaré 不等式，该度量通过函数 $ω$ 对坐标进行变换而定义。通过将这些不等式与运输成本不等式及下确界卷积不等式联系起来，作者推导出适用于乘积测度的精确、维度无关的集中界，覆盖从指数到高斯甚至更广范围的速率。其主要贡献在于构建了一个统一框架，通过单一的函数不等式体系捕捉广泛的集中行为。

ABSTRACT

In this paper, we consider Poincar\'e inequalities for non euclidean metrics on $\mathbb{R}^d$. These inequalities enable us to derive precise dimension free concentration inequalities for product measures. This technique is appropriate for a large scope of concentration rate: between exponential and gaussian and beyond. We give different equivalent functional forms of these Poincar\'e type inequalities in terms of transportation-cost inequalities and infimum convolution inequalities. Workable sufficient conditions are given and a comparison is made with generalized Beckner-Latala-Oleszkiewicz inequalities.

研究动机与目标

• 开发一种基于 $\mathbb{R}^d$ 上非欧几里得度量的广义 Poincaré 不等式，以捕捉乘积测度中广泛的集中行为。
• 建立所提出的 Poincaré 型不等式与运输成本不等式及下确界卷积不等式之间的等价性。
• 为新 Poincaré 不等式提供可操作的充分条件，特别是关于推前测度 $ω\sharp\mu$ 的条件。
• 通过展示各种已知的集中速率（指数型、高斯型及更广范围）可统一纳入单一框架，从而统一理解集中测度现象。

提出的方法

• 通过满足特定单调性和对称性条件的函数 $ω$，定义度量 $d_\omega(x,y) = \left(\sum_{i=1}^d |\omega(x_i) - \omega(y_i)|^2\right)^{1/2}$。
• 引入不等式 $SG(\omega, C)$，其中测度 $μ$ 在度量 $d_\omega$ 下满足常数为 $C$ 的 Poincaré 不等式。
• 证明 $μ$ 满足 $SG(\omega, C)$ 当且仅当推前测度 $ω\sharp\mu$ 满足经典 Poincaré 不等式，且常数为 $C$。
• 利用容量-测度不等式和 Muckenhoupt 准则，推导出 $SG(\omega, C)$ 的充分条件，特别关注 $μ$ 的密度和势函数。
• 通过容量-测度不等式框架，利用函数 $Θ$ 的次可加性和单调性，建立 $SG(\omega, C)$ 与运输成本不等式之间的等价性。
• 将理论应用于具体例子，如 $ω_p(x) = \max(x, x^p)$，推导出涉及 $ι^p$-球与欧几里得球的显式集中界。

实验结果

研究问题

• RQ1 在非欧几里得度量下的 Poincaré 不等式是否能捕捉经典指数型与高斯型速率之外的集中行为？
• RQ2 广义 Poincaré 不等式 $SG(\omega, C)$ 与运输成本不等式之间的确切关系是什么？
• RQ3 如何推导出 $SG(\omega, C)$ 的可操作且适用于广泛测度类的充分条件？
• RQ4 所提出的框架在多大程度上能统一已知的集中结果，包括指数型与高斯型测度的情形？

主要发现

• 不等式 $SG(\omega, C)$ 暗示乘积测度 $\mu^n$ 具有维度无关的集中性，其界同时涉及 $\ell^2$ 和 $\ell^p$-球，具体取决于 $\omega$。
• 对于 $\omega_p(x) = \max(x, x^p)$ 且 $p \in [1,2]$，集中界为 $\mu^n(A + 2\sqrt{h}B_2 + 2h^{1/p}B_p) \geq 1 - e^{-K(C)h/d}$，表明其介于指数型与高斯型速率之间。
• 对于 $p \geq 2$，集中界简化为 $\mu^n(A + 2\sqrt{h}B_2) \geq 1 - e^{-K(C)h/d}$ 和 $\mu^n(A + 2h^{1/p}B_p) \geq 1 - e^{-K(C)h/d}$，表明衰减速度快于指数型。
• 在 $SG(\omega, C)$ 中最优常数 $C_{\text{opt}}$ 满足 $\max(D_-^\omega, D_+^\omega) \leq C_{\text{opt}} \leq 4\max(D_-^\omega, D_+^\omega)$，其中 $D_-^\omega$ 和 $D_+^\omega$ 是涉及 $\omega'$ 及测度尾部的积分。
• 该框架表明 $SG(\omega, C)$ 等价于一个容量-测度不等式，后者又蕴含 $\omega\sharp\mu$ 的经典 Poincaré 不等式。
• 对于具有密度 $e^{-V(x)}$ 的 $\mu$，若 $\liminf_{|x|\to\infty} \frac{1}{u^2} \sum_{i=1}^d \left( \frac{1}{4}(\partial_i V)^2 - \partial_i^2 V \right) \frac{1}{\omega'(x_i)^2} > dM$，则 $\mu$ 满足 $SG(\tilde{\omega}, C)$，其中 $\tilde{\omega}(x) = \omega(ux)$。