[论文解读] Stratified $β$-numbers and traveling salesman in Carnot groups

Sean Li|arXiv (Cornell University)|Feb 8, 2019

Mathematical Dynamics and Fractals参考文献 14被引用 5

一句话总结

本文引入了分层 $eta$-numbers 作为Carnot群的精细化度量工具，通过旅行商定理实现了对1-可rectifiable集合的完整刻画。通过利用群的分层结构，并发展关于范数行为和直线间漂移的新估计，作者证明：在任意Carnot群中，存在有限长度的可rectifiable曲线当且仅当分层 $eta$-能量与直径均为有限，从而弥补了先前工作中存在的关键空白。

ABSTRACT

We introduce a modified version of P. Jones's $β$-numbers for Carnot groups which we call {\it stratified $β$-numbers}. We show that an analogue of Jones's traveling salesman theorem on 1-rectifiability of sets holds for any Carnot group if we replace previous notions of $β$-numbers in Carnot groups with stratified $β$-numbers. As we generalize both directions of the traveling salesman theorem, we get a characterization of subsets of Carnot groups that lie on finite length rectifiable curves. Our proof expands upon previous analysis of the Hebisch-Sikora norm for Carnot groups. In particular, we find new estimates on the drift between almost parallel line segments that take advantage of the stratified $β$'s and also develop a Taylor expansion technique of the norm. We also give an example of a Carnot group for which a traveling salesman theorem based on the unmodified $β$-numbers must exhibit a gap between the necessary and sufficient directions.

研究动机与目标

• 通过用一种更具结构敏感性的新变体替代标准 $\beta$-numbers，以解决Carnot群中缺乏完整旅行商定理的问题。
• 建立Carnot群中一个集合位于有限长度可rectifiable曲线上所需的充要条件。
• 发展专用于Carnot群非欧几里得、分层结构的几何与分析工具，特别关注水平直线与齐次范数。
• 弥合先前结果中必要条件与充分条件之间的差距，尤其是在Heisenberg群与更高阶Carnot群中的情况。

提出的方法

• 引入分层 $\beta$-numbers，用于测量集合在Carnot群李代数分解各层中与水平直线的距离。
• 使用Hebisch-Sikora范数定义群上的齐次度量，从而精确控制距离与伸缩变换。
• 利用分层结构对几乎平行的水平线段之间的'漂移'发展新估计，以增强对逼近曲线长度的控制。
• 对齐次范数应用泰勒展开技术，以分析度量结构中的曲率类似效应。
• 构造一组逼近该集合的抽象图，然后将边替换为拟凸曲线，以构建极限可rectifiable曲线。
• 在紧致逼近上使用对角线论证法，提取出一条长度有限的极限曲线。

实验结果

研究问题

• RQ1 能否在一般Carnot群中，通过修改后的 $eta$-numbers概念建立完整的旅行商定理？
• RQ2 在Carnot群中刻画1-可rectifiable集合的积分条件中，$eta$-numbers的正确指数为何？
• RQ3 为何先前的 $eta$-number定义在某些Carnot群（尤其是Heisenberg群）中无法给出充分条件？
• RQ4 如何利用Carnot群的非欧几里得几何特性来控制 $eta$-number估计中距离与投影的行为？

主要发现

• 作者引入的分层 $eta$-numbers在群的伸缩变换下保持不变，并能捕捉李代数分解中每一层的几何特性。
• 对于任意Carnot群，一个集合位于有限长度可rectifiable曲线上当且仅当其直径与 $s$-次幂的分层 $eta$-numbers 的积分之和为有限，其中 $s$ 为群的阶数。
• 在Heisenberg群中，充分条件要求 $p=4$，与必要条件一致，从而填补了早期工作中存在的间隙。
• 证明表明，对球体上加权 $r^{-Q}dr$ 的 $eta_{\text{strat}}^2$ 的积分，等价于欧几里得情形中使用的Carleson型积分。
• 利用分层 $eta$-numbers，推导出关于几乎平行水平线段间漂移的新估计，这对控制逼近曲线的长度至关重要。
• 对齐次范数进行泰勒展开，可精确控制群中距离近似时的误差，这对长度估计具有决定性作用。