[论文解读] Compression bounds for Lipschitz maps from the Heisenberg group to $L_1$

Jeff Cheeger, Bruce Kleiner+1 more|ArXiv.org|Oct 11, 2009

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

一句话总结

该论文通过单调集的新型稳定性分析和运动学公式，建立了Heisenberg群在Carnot-Carathéodory度量下嵌入到$L_1$空间的精确定量双Lipschitz非嵌入界。关键结果是Heisenberg群在$L_1$中的畸变的下界，该结果意味着Goemans-Linial稀疏割问题半定规划松弛的超常数整数间隙。

ABSTRACT

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem.

研究动机与目标

• 建立Heisenberg群到$L_1$的定量双Lipschitz非嵌入定理。
• 使用几何与分析技术，分析Heisenberg群在Lipschitz映射到$L_1$下的畸变。
• 将畸变界应用于推导Goemans-Linial半定规划松弛在稀疏割问题中的整数间隙下界。
• 证明Heisenberg群中单调集的稳定性，建立非单调性与远离半空间的几何偏差之间的定量联系。
• 基于强制性、单调性和有界性几何量，建立分析几何刚性在不同尺度下成立的框架。

提出的方法

• 通过几何约化论证，将非嵌入问题转化为Heisenberg群中单个单调集的稳定性问题。
• 利用Heisenberg群中有限Perimeter集的运动学公式，分析小周长切口的行为。
• 引入$\delta$-单调集的概念，并证明其在小非单调性下的稳定性，将其与接近半空间的性质联系起来。
• 使用定量内部与边界正则性论证，控制不同尺度下单调集的结构。
• 应用Heisenberg群中单调集的分类定理，表明其本质上为半空间。
• 在初始配置上建立非退化条件，以确保稳定性论证在所有尺度上一致成立。

实验结果

研究问题

• RQ1 Heisenberg群在Carnot-Carathéodory度量下，$L_1$畸变的精确下界是什么？
• RQ2 Heisenberg群中集合的非单调性如何与其远离半空间的几何偏差相关？
• RQ3 能否建立Heisenberg群中单调集的定量稳定性定理，其对非嵌入定理有何含义？
• RQ4 Goemans-Linial半定规划松弛在稀疏割问题中的整数间隙是多少，其与度量空间的$L_1$畸变有何关系？
• RQ5 如何利用强制性、单调性和有界性几何量，推导子黎曼几何中尺度相关的稳定性估计？

主要发现

• 本文证明了Heisenberg群在$L_1$中的畸变存在精确下界，表明$c_1(\text{Heisenberg group}) \gtrsim (\log n)^\delta$，其中$\delta > 0$，且$n$为点集的大小。
• 研究建立了Heisenberg群中度量球内集合$E$的非单调性控制其与半空间的距离，提供了定量稳定性结果。
• Goemans-Linial半定规划松弛在稀疏割问题中的整数间隙至少为$\gtrsim (\log n)^\delta$，与$L_1$畸变的下界一致。
• 作者证明了Heisenberg群中的单调集本质上为半空间，且非单调性较小的集合在定量意义上接近半空间。
• 推导出$\delta$-单调集的新运动学公式，使在不同尺度下分析周长和测度性质成为可能。
• 该方法表明，稳定性成立的尺度由强制性、单调性和有界性量在各尺度上的和应用Markov不等式所控制。