[论文解读] Differentiating maps into L^1 and the geometry of BV functions

Jeff Cheeger, Bruce Kleiner|ArXiv.org|Nov 30, 2006

Geometric Analysis and Curvature Flows参考文献 14被引用 33

一句话总结

本文为从某些度量测度空间（如 $\mathbb{R}^n$ 和海森堡群 $\mathbb{H}$）到 $L^1$ 的利普希茨映射建立了一种新型可微性形式，尽管在此设定下经典可微性不成立。关键结果证明海森堡群无法进行双利普希茨嵌入到 $L^1$，从而证实了李和瑙尔的猜想，并为理论计算机科学中的戈梅斯-林戈尔猜想提供了一个自然反例。

ABSTRACT

This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability for certain X, including R^n and H, the Heisenberg group with its Carnot-Cartheodory metric. It follows that H does not bi-Lipschitz embed into L^1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counter example to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L^1 and functions of bounded variation, which permits us to exploit recent work on the structure of BV functions on the Heisenberg group.

研究动机与目标

• 在经典可微性失效的情况下，为映射到 $L^1$ 的利普希茨映射建立一种新的可微性形式。
• 解决李和瑙尔提出的猜想，即海森堡群无法双利普希茨嵌入到 $L^1$。
• 为理论计算机科学中的戈梅斯-林戈尔猜想提供一个自然反例。
• 通过截面测度，将 $L^1$-取值利普希茨映射与有界变差函数（BV）联系起来，利用海森堡群上最新的 BV 结构理论。
• 构建一个分析截面测度在尺度缩放下渐近行为的框架，使用半空间逼近和周长控制。

提出的方法

• 通过分析相关截面测度的尺度缩放极限，为 $L^1$-取值映射引入一种新型可微性概念。
• 利用 $L^1$-取值映射与截面测度之间的对应关系，特别是 FP（费勒纳–庞加莱）截面测度，将可微性转化为度量收敛。
• 通过庞加莱不等式和体积增长估计控制总坏周长测度，确保截面度量之间的差异较小。
• 构造一个支持在半空间上的近似截面测度，在尺度缩放下渐近匹配原始截面测度。
• 利用 [FSSC01] 中海森堡群上 BV 函数的结构理论，控制 $L^1$-取值映射的水平集周长。
• 使用三角不等式和 $L^1$-范数估计，控制小球上原始与近似截面度量之间的差异。

实验结果

研究问题

• RQ1 当经典可微性失效时，能否为映射到 $L^1$ 的利普希茨映射建立一种可微性形式？
• RQ2 具有卡诺-卡拉泰奥多里度量的海森堡群是否能双利普希茨嵌入到 $L^1$？
• RQ3 海森堡群上 BV 函数的结构能否用于分析 $L^1$-取值映射的渐近行为？
• RQ4 是否存在 $L^1$-取值映射与截面测度之间的联系，使得可通过半空间实现度量逼近？
• RQ5 是否由于新型可微性结构的出现，可以解释 $L^1$ 目标空间的非嵌入定理的失效？

主要发现

• 尽管经典可微性不成立，从 $\mathbb{R}^n$ 和海森堡群 $\mathbb{H}$ 到 $L^1$ 的利普希茨映射仍具有新型可微性形式。
• 海森堡群无法双利普希茨嵌入到 $L^1$，证实了李和瑙尔的猜想。
• 证明表明，相关 FP 截面测度的爆破极限在几乎所有点处收敛到一个在半空间上支撑的平移不变截面测度。
• 在尺度缩小时，缩放后截面度量与其半空间近似之间的 $L^1$-距离趋于零，其收敛速率受 $r \cdot \epsilon \delta^{-1}$ 和 $r \cdot \tau \delta$ 控制。
• 通过庞加莱不等式和体积加倍性质控制总坏周长测度，确保截面度量之间的差异保持较小。
• 该方法为理论计算机科学中的戈梅斯-林戈尔猜想提供了一个反例，揭示了某些度量空间无法嵌入 $L^1$ 的自然几何障碍。