[论文解读] Subsets of Rectifiable curves in Hilbert Space-The Analyst's TSP

Raanan Schul|ArXiv.org|Feb 28, 2006

Advanced Numerical Analysis Techniques参考文献 10被引用 10

一句话总结

本文将分析员旅行商定理推广至无穷维希尔伯特空间，证明一个集合位于一条可求长曲线当且仅当其几何平方函数（衡量局部平坦性）的 ℓ² 范数有限。关键结果表明，该琼斯型平方函数的 ℓ² 范数与包含该集合的连通集的豪斯多夫长度下确界相当，且估计结果与环境维度无关。

ABSTRACT

We study one dimensional sets (Hausdorff dimension) lying in a Hilbert space. The aim is to classify subsets of Hilbert spaces that are contained in a connected set of finite Hausdorff length. We do so by extending and improving results of Peter Jones and Kate Okikiolu for sets in $\R^d$. Their results formed the basis of quantitative rectifiability in $\R^d$. We prove a quantitative version of the following statement: a connected set of finite Hausdorff length (or a subset of one), is characterized by the fact that inside balls at most scales around most points of the set, the set lies close to a straight line segment (which depends on the ball). This is done via a quantity, similar to the one introduced in \cite{Jones90}, which is a geometric analog of the Square function. This allows us to conclude that for a given set $K$, the $\ell_2$ norm of this quantity (which is a function of $K$) has size comparable to a shortest (Hausdorff length) connected set containing $K$. In particular, our results imply that, with a correct reformulation of the theorems, the estimates in \cite{Jones90,Okik92} are {\bf independent of the ambient dimension}.

研究动机与目标

• 表征希尔伯特空间中位于有限豪斯多夫长度可求长曲线上的子集。
• 将彼得·琼斯和凯特·奥基库卢在 ℝᵈ 中的结果推广至无穷维希尔伯特空间。
• 在希尔伯特空间中建立分析员旅行商问题的定量版本。
• 证明几何平方函数（类比琼斯的 β-数）的 ℓ² 范数控制包含给定集合的连通集的最小长度。
• 证明几何估计与环境维度无关，从而将 ℝᵈ 中的结果推广至希尔伯特空间。

提出的方法

• 使用衡量集合在不同尺度球内平坦性的 β-数定义几何平方函数。
• 利用基于网的多分辨率球族覆盖，分析集合在所有尺度下的性质。
• 通过类似 dyadic 的分解和停止时间论证，将分析分解为非平坦和近乎平坦的弧段。
• 应用阿泽拉-阿斯科利定理，提取逼近曲线的收敛子列，确保极限为利普希茨曲线。
• 利用戈拉布定理和投影论证，在极限中保持豪斯多夫长度，证明包含该集合的最短连通集的存在性。
• 建立平方函数的 ℓ² 范数与包含给定集合的所有连通集的豪斯多夫长度下确界之间的比较关系。

实验结果

研究问题

• RQ1 希尔伯特空间中的哪些子集位于有限豪斯多夫长度的可求长曲线上？
• RQ2 分析员旅行商定理能否从 ℝᵈ 推广至无穷维希尔伯特空间？
• RQ3 当且仅当集合位于有限长度可求长曲线上时，基于 β-数的几何平方函数是否有限？
• RQ4 分析员TSP中的估计是否与环境维度无关，即使在无穷维情况下也成立？
• RQ5 平方函数的 ℓ² 范数与包含该集合的连通集的最小豪斯多夫长度之间存在何种关系？

主要发现

• 希尔伯特空间中的集合 $ K $ 位于有限豪斯多夫长度的可求长曲线上，当且仅当基于 β-数的几何平方函数的 ℓ² 范数有限。
• 平方函数的 ℓ² 范数与所有包含 $ K $ 的连通集的豪斯多夫长度下确界相当，且存在绝对常数。
• 证明表明琼斯（1990）和奥基库卢（1992）的估计与环境维度无关，可推广至希尔伯特空间。
• 通过阿泽拉-阿斯科利定理与戈拉布定理，证明了包含 $ K $ 的最短连通集（极限中的最小生成树，MST）的存在性。
• 极限曲线被证明为利普希茨曲线，其利普希茨常数有界于 $ 32 \mathcal{H}^1(\Gamma) $，其中 $ \Gamma $ 为最小连通集。
• 构造过程使用 $ 2^{-n} $-网和多分辨率族，以在所有尺度上控制平坦性，确保收敛至可求长曲线。