[論文レビュー] 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

ひとこと要約

本稿では、1次元および2次元の多様体に対する信頼性の高い位相的近似である制限付きデローニ三角形分割とウェッジコンプレックスが、3次元以上の高次元では正しい位相を保持しないことを示している。強力なサンプリング条件のもとでも、制限付きデローニ三角形分割は元の多様体とホメオモーティックでないか、ホモトピー同値でない可能性があり、ウェッジコンプレックスはその中に含まれないことがある。これは、高次元の再構成やメッシュ生成におけるこれらの手法の利用を損なう。

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.

研究の動機と目的

• 3次元以上の次元におけるコンpactで閉じた多様体の制限付きデローニ三角形分割とウェッジコンプレックスが、正しい位相を保持するかどうかを調査すること。
• 均一なε-サンプリング（ε < c·rch(M)）などの強いサンプリング条件が、高次元における位相的正しさを保証するかどうかを特定すること。
• 高次元多様体における密度の高いウェッジ集合を用いた場合、ウェッジコンプレックスが制限付きデローニ三角形分割に含まれ続けるかどうかを評価すること。
• デローニに基づく再構成手法が1次元および2次元から高次元多様体へ一般化可能であるという仮定に疑問を呈すること。

提案手法

• ハイパーキューブと球のミンコフスキー和の境界として4次元超曲面 M を構築し、明確に定義されたリーチを持つようにする。
• ε-スパースかつO(ε)-サンプルであるランドマーク集合 L を定義し、ε = μ·rch(M)（μ < 1/3）とする。
• リーチとサンプリング密度を保ちつつ、制限付きデローニ三角形分割に組み合わせ的変化を引き起こすように、多様体 M を摂動して M⁺ と M⁻ を作成する。
• ボロノイ双対性を用いてデローニ単体を分析する：単体 σ が Dᴹ(L) に属するための必要十分条件は、その双対ボロノイ面が M と交差することである。
• M に含まれる点 W ⊆ M を用いて特定の単体を「見ること」を可能にするウェッジ集合 W を構築し、ウェッジコンプレックス Cᵂ(L) を、W の点によって「見られる」面を含む最大の複体として定義する。
• 多様体およびランドマーク点に無限小の摂動を加えることで、サンプリング密度やリーチが変化しないまま、デローニ単体が消失または出現する病理的配置を生成する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトで閉じた3次元以上の多様体の十分に密度の高い均一サンプルの制限付きデローニ三角形分割が、元の多様体とホメオモーティックのままであるかどうか？
• RQ2 密度の高いウェッジ集合 W ⊆ M に対して、ウェッジコンプレックスが高次元において制限付きデローニ三角形分割に含まれると保証できるか？
• RQ3 強いサンプリング条件のもとで、3次元以上において制限付きデローニ三角形分割が元の多様体とホモトピー同値であるかどうか？
• RQ4 多様体の小さな摂動が、サンプリングおよびリーチが変化しないまま、制限付きデローニ三角形分割に組み合わせ的変化を引き起こすことがあるか？

主な発見

• 任意の μ < 1/3 に対して、4次元超曲面 M と、ε = μ·rch(M) を満たす ε-スパースかつ O(ε)-サンプル L が存在し、その制限付きデローニ三角形分割 Dᴹ(L) は M とホメオモーティックでない。
• 制限付きデローニ三角形分割が多様体とホモトピー同値でない可能性があることが示されており、Dᴹ⁺(L) と Dᴹ⁻(L) のオイラー標跡の差が、異なるホモトピー型を示唆している。
• 任意に密度の高いウェッジ集合 W ⊆ M を用いても、ウェッジコンプレックス Cᵂ(L) が Dᴹ(L) に含まれないことがある。具体的には、W の点によって「見られる」単体がデローニ三角形分割に存在しない例が示されている。
• この失敗は、安定したサンプリングとリーチの下でも、幾何学的不安定性により、組み合わせ的構造が変化するスリバーパターンの単体に起因している。
• ボロノイ頂点付近の摂動されたバンプに起因する反例であり、ウェッジ点が特定の単体に十分近いためにそれを「見ること」ができるが、デローニ条件が幾何学的不安定性により満たされない。
• これらの結果は、スリバーリング除去などの追加の安定化技術がなければ、デローニに基づく再構成およびメッシュ生成手法を高次元に直接拡張できないことを示している。