[論文レビュー] A weak definition of Delaunay triangulation

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

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

ひとこと要約

本論文は、単体がデローランの三角形分割に属するための十分かつ必要条件として、そのすべての部分単体が弱い見せかけを持つことであることを確立し、従来の強い見せかけ基準に代わる、より安定で確率的に実現可能な代替基準を提供する。主な貢献は、ユークリッド空間、双曲空間、半球面、重み付きデローラン設定において、強い見せかけ条件と弱い見せかけ条件が同値であることを証明したことであり、点群からの安定した位相的近似を可能にする。

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.

研究の動機と目的

• 強い見せかけに依存しない、より弱く安定したデローラン三角形分割の基準を確立すること。
• 弱い見せかけを用いて、離散的な点群からの多様体の信頼性の高い位相的近似を可能にすること。
• 球面空間や双曲空間を含む非ユークリッド幾何空間への弱い見せかけ条件の一般化。
• 計算位相的パイプラインにおいて弱い見せかけを用いる理論的根拠を提供すること。
• 実際の点群サンプリングにおいて、強い見せかけが確率的にゼロとなる問題を解決すること。

提案手法

• 弱い見せかけと強い見せかけの概念を導入：弱い見せかけは単体の頂点に対する距離不等式を満たすが、強い見せかけはすべての頂点と等距離である必要がある。
• 数学的帰納法を用いて、単体に強い見せかけが存在するための必要十分条件が、すべての部分単体が弱い見せかけを持つことであることを証明。
• 弱い見せかけの凸包を用いて強い見せかけを構成し、ユークリッド空間における連続性と分離性を応用。
• 球面幾何における摂動論法を用いて、一般性の条件下でのロバスト性を示す。
• 強い見せかけが存在しない場合でも、弱い見せかけ複体が正しく定義され、位相的に意味を持つことを示す。
• 幾何的双対性とボロノイ胞の交差を用いて、重み付きデローラン三角形分割および非ユークリッド幾何空間への枠組みの拡張。

実験結果

リサーチクエスチョン

• RQ1 デローラン三角形分割を、強い見せかけの代わりに弱い見せかけのみを用いて同値に定義できるか？
• RQ2 双曲空間や球面空間などの非ユークリッド幾何空間においても、弱い見せかけ条件と強い見せかけ条件が同値のままであるか？
• RQ3 弱い見せかけを用いて、有限な点群から安定的かつ位相的に正確な単体的複体を構築できるか？
• RQ4 特に球面幾何において、弱い見せかけが微小な摂動に対してどれほどロバストであるかを保証する条件は何か？
• RQ5 どのようなサンプリング条件下で、弱い見せかけによるデローラン複体が元の多様体とホモトピー同値となるか？

主な発見

• 単体がデローラン三角形分割に属するための必要十分条件は、すべての部分単体が弱い見せかけを持つことである。これにより、強い見せかけ基準と弱い見せかけ基準が同値であることが確立された。
• 弱い見せかけの凸包を用いることで、強い見せかけの存在が保証される。
• 球面幾何では、退化した配置が生じない一般性の条件下で、同値性が成立する。
• 弱い見せかけの定義により、有限な点群サンプルにおいて強い見せかけが確率的にゼロとなる問題を回避できる。
• 十分なサンプリングのもとで、弱い見せかけによるデローラン複体は、元の多様体とホモトピー同値となる。
• この枠組みは、重み付きデローラン三角形分割および非ユークリッド幾何空間（双曲空間、半球面空間など）へと一般化可能である。