[论文解读] Only distances are required to reconstruct submanifolds

Jean‐Daniel Boissonnat, Ramsay Dyer+2 more|arXiv (Cornell University)|Oct 26, 2014

Topological and Geometric Data Analysis参考文献 46被引用 4

一句话总结

本文提出一种新颖算法，仅使用距离矩阵作为输入，在无需显式坐标或复杂数据结构（如Delaunay复合体）的情况下，对欧几里得空间中的子流形进行重建。通过引入幂保护（power protection）概念，并结合带权点的观测复形（witness complex），该方法实现了忠实的拓扑与几何重建，其复杂度在内在维数上呈指数增长，但在环境维数上呈线性增长。

ABSTRACT

In this paper, we give the first algorithm that outputs a faithful reconstruction of a submanifold of Euclidean space without maintaining or even constructing complicated data structures such as Voronoi diagrams or Delaunay complexes. Our algorithm uses the witness complex and relies on the stability of power protection, a notion introduced in this paper. The complexity of the algorithm depends exponentially on the intrinsic dimension of the manifold, rather than the dimension of ambient space, and linearly on the dimension of the ambient space. Another interesting feature of this work is that no explicit coordinates of the points in the point sample is needed. The algorithm only needs the distance matrix as input, i.e., only distance between points in the point sample as input.

研究动机与目标

• 开发一种仅从距离矩阵出发的流形重建算法，消除对显式点坐标的依赖。
• 避免维护如Voronoi图或Delaunay复形等复杂几何数据结构，这些结构计算成本高且对维度敏感。
• 仅使用基本数据结构，实现对底层子流形的忠实重建——拓扑正确且几何上接近。
• 降低计算复杂度对环境维数的依赖，同时仅在内在流形维数上保持指数依赖。
• 通过一种新颖的幂保护概念，在最小采样假设下建立稳定性与正确性的理论保证。

提出的方法

• 为加权点集中的Delaunay单体引入幂保护概念，将Delaunay剖分的稳定性结果扩展至观测复形框架。
• 以观测复形为核心数据结构，其中若一个单体被某观测点通过距离比较视为‘可见’，则被包含其中，从而避免依赖坐标的谓词判断。
• 通过将点映射到球面空间（Laguerre几何）来分析幂保护与稳定性，实现对扰动的鲁棒性。
• 采用基于局部几何信息导出的点权重的加权观测复形构造方法，确保仅保留受良好保护的单体。
• 依赖幂保护的稳定性，确保输入中的微小扰动不会破坏重建复形的拓扑结构。
• 利用几何投影与角度界限（例如切空间与法向平面之间的夹角）证明，重建复形与原始流形同胚。

实验结果

研究问题

• RQ1 能否仅使用成对距离而无需显式坐标，实现对子流形的忠实重建？
• RQ2 是否可能在不构建完整Delaunay或Voronoi复形的同时，仍保证拓扑正确性与几何保真度？
• RQ3 能否通过一种新的保护概念，将Delaunay三角剖分的稳定性扩展至观测复形框架？
• RQ4 该算法的复杂度是否仅对内在维数呈指数依赖，对环境维数呈线性依赖？
• RQ5 球面空间中的幂保护能否确保对采样噪声与几何扰动的鲁棒性？

主要发现

• 所提出的算法仅以距离矩阵为输入，即可忠实重建子流形，实现同胚且几何上接近。
• 该算法避免显式坐标计算，且无需维护Delaunay或Voronoi复形，显著降低了结构复杂度。
• 计算复杂度在流形的内在维数 $ m $ 上呈指数增长，在环境维数 $ d $ 上呈线性增长，此为该场景下的最优复杂度。
• 该方法为加权Delaunay单体引入了幂保护，使观测复形框架下具备稳定性保证。
• 通过幂保护构建的观测复形被证明是流形的忠实近似，且通过投影映射建立了明确定义的几何对应关系。
• 理论分析证明，在适当的采样与可达性条件下，重建复形在局部邻域内是原始流形的微分同胚副本。