[论文解读] On the Topology of the Restricted Delaunay Triangulation and Witness Complex in Higher Dimensions

Steve Oudot|ArXiv.org|Mar 9, 2008

Topological and Geometric Data Analysis参考文献 8被引用 9

一句话总结

该论文表明，受限Delaunay三角剖分和见证复形——在1维和2维流形中可靠的拓扑近似——在更高维度（≥3）下无法保持正确的拓扑结构。即使在强采样条件下，受限Delaunay三角剖分也可能与底层流形不同胚或不同伦等价，且见证复形可能不被包含在其中，从而削弱了其在高维重建与网格化中的应用。

ABSTRACT

It is a well-known fact that, under mild sampling conditions, the restricted Delaunay triangulation provides good topological approximations of 1- and 2-manifolds. We show that this is not the case for higher-dimensional manifolds, even under stronger sampling conditions. Specifically, it is not true that, for any compact closed submanifold M of R^n, and any sufficiently dense uniform sampling L of M, the Delaunay triangulation of L restricted to M is homeomorphic to M, or even homotopy equivalent to it. Besides, it is not true either that, for any sufficiently dense set W of witnesses, the witness complex of L relative to M contains or is contained in the restricted Delaunay triangulation of L.

研究动机与目标

• 研究受限Delaunay三角剖分和见证复形是否在维度大于二的紧致闭流形上保持正确的拓扑结构。
• 确定强采样条件（例如，均匀ε-采样且ε < c·rch(M)）是否能保证在高维中保持拓扑正确性。
• 评估在高维流形中使用密集见证集时，见证复形是否仍被包含在受限Delaunay三角剖分内。
• 挑战Delaunay-based重建方法从1D和2D推广到高维流形的假设。

提出的方法

• 构造一个4维超曲面M，即超立方体与球体的Minkowski和的边界，其具有明确定义的可达性（reach）。
• 定义一个地标集L，作为M的ε-稀疏、O(ε)-采样，其中ε = μ·rch(M)，且μ < 1/3。
• 对流形M进行扰动，生成M⁺和M⁻，保持可达性和采样密度不变，以引发受限Delaunay三角剖分的组合变化。
• 利用Voronoi对偶性分析Delaunay单体：单体σ属于Dᴹ(L)当且仅当其对偶Voronoi面与M相交。
• 构造M中的见证集W ⊆ M，使得W中的点可见证特定单体，见证复形Cᵂ(L)被定义为所有被W中点见证的面构成的最大复形。
• 对流形和地标点施加无穷小扰动，以构造病态配置：Delaunay单体在不改变采样密度或可达性的情况下消失或出现。

实验结果

研究问题

• RQ1 对于紧致闭合的3维及以上流形，其足够密集的均匀采样是否仍使受限Delaunay三角剖分与流形同胚？
• RQ2 在高维中，相对于密集见证集W ⊆ M，是否能保证见证复形被包含在受限Delaunay三角剖分中？
• RQ3 在维度≥3时，强采样条件下受限Delaunay三角剖分是否与底层流形同伦等价？
• RQ4 即使采样和可达性保持不变，流形的小扰动是否仍可引起受限Delaunay三角剖分的组合变化？

主要发现

• 对于任意μ < 1/3，存在一个4维超曲面M和一个ε-稀疏、O(ε)-采样L（其中ε = μ·rch(M)），使得受限Delaunay三角剖分Dᴹ(L)与M不同胚。
• 受限Delaunay三角剖分可能不与流形同伦等价，如Dᴹ⁺(L)与Dᴹ⁻(L)之间欧拉示性数的差异所示，表明其同伦类型不同。
• 即使使用任意密集的见证集W ⊆ M，见证复形Cᵂ(L)也可能不被包含在Dᴹ(L)中，如一个被W中某点见证的四面体却未出现在Delaunay三角剖分中所示。
• 问题源于类似细长四面体的结构，其组合结构在小流形扰动下发生变化，尽管采样和可达性保持稳定。
• 反例依赖于Voronoi顶点附近的一个扰动凸起：当某见证点足够接近一个单体时可见证它，但Delaunay条件因几何不稳定性而失效。
• 结果表明，Delaunay-based重建与网格化方法无法在不引入额外稳定技术（如sliver exudation）的情况下直接推广到高维。