[论文解读] On the role of Convexity in Isoperimetry, Spectral-Gap and Concentration

Emanuel Milman|ArXiv.org|Dec 26, 2007

Geometric Analysis and Curvature Flows参考文献 74被引用 6

一句话总结

本文在欧氏空间的凸区域中建立了切赫等周不等式、谱间隙、指数集中与尾部衰减之间的定量等价性，表明这些不等式在与维度无关的绝对常数范围内彼此等价。其关键贡献是通过CD(0,∞)曲率-维数条件，构建了一个统一框架，将几何、函数与概率不等式通过凸性与等周轮廓的凹性联系起来。

ABSTRACT

We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a-priori weakest requirement that Lipschitz functions have \emph{arbitrarily slow} uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, Gromov--Milman, Buser and Ledoux. As an application, we conclude a sharp quantitative stability result for the spectral gap of convex domains under convex perturbations which preserve volume (up to constants) and under maps which are ``on-average'' Lipschitz. We also provide a new characterization (up to constants) of the spectral gap of a convex domain, as one over the square of the average distance from the ``worst'' subset having half the measure of the domain. In addition, we easily recover and extend many previously known lower bounds on the spectral gap of convex domains, due to Payne--Weinberger, Li--Yau, Kannan--Lovász--Simonovits, Bobkov and Sodin. The proof involves estimates on the diffusion semi-group following Bakry--Ledoux and a result from Riemannian Geometry on the concavity of the isoperimetric profile. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the $CD(0,\infty)$ curvature-dimension condition of Bakry-Émery.

研究动机与目标

• 在凸区域中建立等周性、谱间隙与集中不等式之间的定量等价性。
• 将切赫、马祖亚、格罗莫夫–米尔曼、布泽尔与勒杜克斯的经典结果推广至统一框架。
• 提供谱间隙的新表征：即‘最差’测度一半子集的平均距离的平方的倒数。
• 在凸体积保持扰动与平均-Lipschitz 映射下，证明谱间隙的精确稳定性界。
• 将结果推广至满足CD(0,∞)曲率-维数条件的黎曼流形与密度函数。

提出的方法

• 利用巴克里–勒杜克斯的扩散半群估计，将热流与等周性联系起来。
• 应用黎曼几何中关于CD(0,∞)条件下等周轮廓凹性的结果。
• 采用‘最差’半测度集合的概念，通过平均距离表征谱间隙。
• 借助与维度无关的绝对常数，建立切赫不等式、谱间隙与集中性之间的等价性。
• 将欧氏空间中的结果扩展至满足CD(0,∞)条件的光滑正密度的黎曼流形。
• 依赖于具有密度的流形中等周极小化子的存在性与正则性，该结果基于现有理论与格吕特的正则性结果。

实验结果

研究问题

• RQ1 在凸区域中，切赫的等周不等式、谱间隙与指数集中是否具有定量等价性？
• RQ2 谱间隙能否通过‘最差’半测度集合的平均距离来表征？
• RQ3 在保持体积的凸扰动下，谱间隙的稳定性如何？
• RQ4 在满足CD(0,∞)条件的黎曼流形与密度下，这些函数不等式之间有何关系？
• RQ5 等周轮廓的凹性在多大程度上能推出几何与函数不等式之间的等价性？

主要发现

• 在凸区域中，切赫等周不等式、谱间隙、指数集中与缓慢尾部衰减均在绝对常数范围内定量等价。
• 凸区域的谱间隙（在常数范围内）可表征为‘最差’半测度集合的平均距离平方的倒数。
• 在凸体积保持扰动与‘平均’Lipschitz映射下，获得了谱间隙的精确定量稳定性结果。
• 在CD(0,∞)曲率-维数条件下，等周轮廓 $ I $ 在 $[0,1]$ 上为凹函数，这使得主要等价性结果得以成立。
• 结果恢复并推广了已知的谱间隙下界，包括佩恩–魏纳伯格、李–姚、卡南–洛瓦兹–西蒙诺维奇、博布科夫与索丁的结果。
• 该等价性在更广义的满足CD(0,∞)条件的黎曼流形与密度下成立，推广了欧氏空间的情形。