[论文解读] Spectral gaps, symmetries and log-concave perturbations

Franck Barthe, Bo’az Klartag|arXiv (Cornell University)|Jul 3, 2019

Point processes and geometric inequalities参考文献 33被引用 8

一句话总结

本文建立了 $ \mathbb{R}^n$ 上对数凹概率测度的 Poincaré 常数的维数依赖界，表明即使在 $ \mathbb{R}^n$ 中对称指数测度的对数凹扰动，其 Poincaré 常数也仅随维数对数增长。关键结果是：对于具有 $p$-范数和偶凸势能的测度，存在一个通用界 $C_P(\mu) \leq C(\log n)^{(2-p)/p}$，该结果在 $1 \leq p \leq 2$ 范围内成立，这为 $ \ell_p^n$ 截面的 KLS 猜想提供了部分证实。

ABSTRACT

We discuss situations where perturbing a probability measure on $\mathbb{R}^n$ does not deteriorate its Poincaré constant by much. A particular example is the symmetric exponential measure in $\mathbb{R}^n$, even log-concave perturbations of which have Poincaré constants that grow at most logarithmically with the dimension. This leads to estimates for the Poincaré constants of $(n/2)$-dimensional sections of the unit ball of $\ell_p^n$ for $1 \leq p \leq 2$, which are optimal up to logarithmic factors. We also consider symmetry properties of the eigenspace of the Laplace-type operator associated with a log-concave measure. Under symmetry assumptions we show that the dimension of this space is exactly $n$, and we exhibit a certain interlacing between the "odd" and "even" parts of the spectrum.

研究动机与目标

• 确定一个概率测度 $\nu^{n,Q}$ 的 Poincaré 常数是否在维数上保持一致有界，该测度结合了 $L^1$-范数和一个非负二次型 $Q$。
• 研究此类测度的 Poincaré 常数是否在 $Q=0$ 时达到最大，即当测度退化为拉普拉斯分布的乘积时。
• 为具有 $ \ell_p^n$-型范数和偶凸扰动的测度建立维数依赖的 Poincaré 常数上界，尤其针对 $1 \leq p < 2$ 的情形。
• 分析与偶对数凹测度相关的拉普拉斯型算子的谱结构，重点关注奇函数与偶函数特征函数的交错特性以及特征子空间的维数。

提出的方法

• 使用 Kolesnikov-Milman 比较技术，将测度的 Poincaré 常数与其实 level 集的 Poincaré 常数关联起来，特别针对 $ \ell_p^n$-范数。
• 通过下确界卷积和光滑化方法应用局部化论证，构造原始密度 $\rho$ 的光滑对数凹逼近 $\rho_k$，确保在 $L^1$ 范数和 a.e. 点态收敛。
• 利用 Jensen 不等式和卷积的性质，保持逼近过程中的凸性和利普希茨正则性。
• 证明对于偶对数凹测度，Poincaré 常数可仅通过奇函数测试来刻画，从而将变分问题简化至奇子空间。
• 利用 $\psi(x) = -\log \rho(x)$ 为凸函数且满足线性下界 $\psi(x) \geq A|x| - B$ 的事实，控制逼近密度的尾部衰减。
• 应用 Lebesgue 控制收敛定理，以证明涉及逼近密度 $\rho_k$ 的积分收敛于原始测度 $\rho$ 的积分。

实验结果

研究问题

• RQ1 测度 $\nu^{n,Q}$（结合 $L^1$-范数和非负二次型 $Q$）的 Poincaré 常数是否在维数上一致有界，且与 $Q$ 无关？
• RQ2 对称指数测度（即 $Q=0$）的 Poincaré 常数是否在所有此类扰动中达到最大？
• RQ3 对于具有 $\|x\|_p^p$ 和偶凸势能的测度，$1 \leq p \leq 2$ 时，Poincaré 常数的最优维数依赖关系是什么？
• RQ4 对称性和对数凹性如何影响相关拉普拉斯型算子的谱结构，特别是奇与偶特征值的交错特性？
• RQ5 $ \ell_p^n$-截面的 Poincaré 常数在多大程度上可被控制？这是否证实了 KLS 猜想至对数因子？

主要发现

• 对于 $ \mathbb{R}^n$ 上密度为 $e^{-\|x\|_p^p - F(x)}$ 的测度 $\mu$，其中 $F$ 为偶凸函数，其 Poincaré 常数满足 $C_P(\mu) \leq C(\log n)^{(2-p)/p}$，其中 $C$ 为通用常数，且对 $1 \leq p \leq 2$ 成立。
• 当 $p=2$ 时，该界简化为 $C_P(\mu) \leq C$，与维数无关，与高斯型测度的已知结果一致。
• 在 $n$ 维 $ \ell_p^n$-截面 $B_p^n \cap E$ 上的均匀测度的 Poincaré 常数满足 $c(\kappa) \cdot \log^{2/p}(n) \cdot \sup_{\theta \neq 0} \int_E \langle x, \theta/|\theta| \rangle^2 d\lambda_{B_p^n \cap E}(x)$，其中 $\kappa = \dim(E)/n$。
• 对于偶对数凹测度，Poincaré 常数由奇函数的下确界决定，即 $\lambda_P(\mu) = \inf_{f \text{ odd}} \frac{\int |\nabla f|^2 d\mu}{\mathrm{Var}_\mu(f)}$，表明奇函数足以捕捉谱隙。
• 偶函数在谱中并未显著滞后，表明在对称性下，奇偶部分的谱呈现平衡交错。
• 作者构造了一列光滑对数凹逼近 $\rho_k$ 逼近给定的对数凹密度 $\rho$，使得 $\rho_k \to \rho$ 在支撑集上局部一致收敛且在 $L^1$ 中收敛，从而保证了积分和 Poincaré 常数估计的收敛性。