[论文解读] A weak definition of Delaunay triangulation

Vin de Silva|ArXiv.org|Oct 16, 2003

Computational Geometry and Mesh Generation参考文献 2被引用 13

一句话总结

本文证明，当且仅当其所有子单纯形均具有弱见证时，一个单纯形才属于Delaunay三角剖分，从而为传统的强见证准则提供了一种更稳健、概率上可行的替代方案。主要贡献在于证明了在欧几里得、双曲、半球面及加权Delaunay设定下，强见证条件与弱见证条件等价，从而实现了从点云中稳定地进行拓扑近似。

ABSTRACT

We show that the traditional criterion for a simplex to belong to the Delaunay triangulation of a point set is equivalent to a criterion which is a priori weaker. The argument is quite general; as well as the classical Euclidean case, it applies to hyperbolic and hemispherical geometries and to Edelsbrunner's weighted Delaunay triangulation. In spherical geometry, we establish a similar theorem under a genericity condition. The weak definition finds natural application in the problem of approximating a point-cloud data set with a simplical complex.

研究动机与目标

• 建立Delaunay三角剖分的更弱、更稳定的准则，避免对罕见强见证的依赖。
• 通过弱见证实现从离散点样本中对流形进行可靠拓扑近似的手段。
• 将弱见证条件推广至非欧几里得几何，包括球面与双曲空间。
• 为计算拓扑流程中使用弱见证提供理论依据。
• 解决在实际点云采样中强见证以零概率存在的问题。

提出的方法

• 引入弱见证与强见证的概念：弱见证满足相对于单纯形顶点的距离不等式，而强见证还需满足与所有顶点等距的条件。
• 通过归纳法证明：一个单纯形具有强见证，当且仅当其所有子单纯形均具有弱见证。
• 利用弱见证的凸包构造强见证，借助欧氏空间中的连续性与分离性。
• 在球面几何中应用扰动论证，证明在一般性条件下具有鲁棒性。
• 证明弱见证复形即使在强见证不存在时也具有良好的定义性与拓扑意义。
• 通过几何对偶性与Voronoi单元交集，将框架扩展至加权Delaunay三角剖分及非欧几里得几何。

实验结果

研究问题

• RQ1 是否可以仅使用弱见证而非强见证来等价地定义Delaunay三角剖分？
• RQ2 在非欧几里得几何（如双曲或球面空间）中，弱见证条件是否仍与强见证条件等价？
• RQ3 弱见证能否用于从有限点云中构建稳定且拓扑准确的单纯复形？
• RQ4 在何种条件下，弱见证对小扰动具有鲁棒性，特别是在球面几何中？
• RQ5 在何种采样条件下，弱见证Delaunay复形与底层流形同伦等价？

主要发现

• 一个单纯形属于Delaunay三角剖分，当且仅当其每个子单纯形都具有弱见证，从而确立了强见证与弱见证准则的等价性。
• 弱见证条件足以通过弱见证的凸包构造保证强见证的存在。
• 在球面几何中，当满足确保无退化构型的一般性条件时，等价性依然成立。
• 弱见证定义避免了在有限点样本中强见证以零概率存在的问题。
• 该方法可构建一个与底层流形同伦等价的弱见证Delaunay复形，前提是采样足够充分。
• 该框架可推广至加权Delaunay三角剖分及非欧几里得几何，包括双曲与半球面空间。