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

ひとこと要約

本稿では、ユークリッド空間内の部分多様体を再構築するための新規なアルゴリズムを提示する。入力として距離行列のみを必要とし、明示的な座標やデローランの複体のような複雑なデータ構造を必要としない。パワー保護の概念を導入し、重み付き点を用いたウェッジンス複体を活用することで、内在次元に関して指数関数的でありながら、埋め込み次元に関して線形である計算量で、忠実な位相的・幾何学的再構築を達成する。

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.

研究の動機と目的

• 明示的な点座標を必要とせず、距離行列のみからなる多様体再構築アルゴリズムの開発。
• ボロノイ図やデローラン複体のような計算コストが高く次元に敏感な複雑な幾何的データ構造の維持を回避すること。
• 基本的なデータ構造のみを用いて、位相的に正しくかつ幾何的に近い再構築を達成すること。
• 計算量の埋め込み次元依存性を低減しつつ、内在多様体次元にのみ指数関数的依存性を保ちながらの再構築。
• 新しいパワー保護の概念を用いて、最小のサンプリング仮定のもとで安定性と正しさの理論的保証を確立すること。

提案手法

• 重み付き点集合におけるデローラン単体のパワー保護の概念を導入し、デローラン三角形分割の安定性結果をウェッジイング複体フレームワークに拡張する。
• ウェッジイング複体をコアデータ構造として採用し、単体が距離比較による「可視性」を満たす場合にのみ含まれるよう定義することで、座標依存の述語を回避する。
• 球の空間（ラグレール幾何）へのリフト写像を用いてパワー保護と安定性を分析し、摂動に対して頑健な性質を実現する。
• 局所幾何から導かれる点の重みを用いた重み付きウェッジイング複体構成を適用し、良好に保護された単体のみを保持するようにする。
• パワー保護の安定性に依存することで、入力の小さな摂動が再構築された複体の位相構造を破壊しないことを保証する。
• 幾何的射影と角度の上限（例えば、接空間と法線フラットの間の角度）を用いて、再構築された複体が元の多様体とホメオモーティックであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 明示的な座標を必要とせず、ペアワイズ距離のみから部分多様体の忠実な再構築が可能か？
• RQ2 完全なデローラン複体やボロノイ複体の構築を回避しながらも、位相的正しさと幾何的忠実性を保証できるか？
• RQ3 新しい保護の概念を用いて、デローラン三角形分割の安定性をウェッジイング複体フレームワークに拡張できるか？
• RQ4 アルゴリズムの計算量が、内在次元にのみ指数関数的依存し、埋め込み次元に線形依存であるか？
• RQ5 球の空間におけるパワー保護が、サンプリングノイズや幾何的摂動に対して頑健性を確保できるか？

主な発見

• 提案されたアルゴリズムは、距離行列のみを入力として用い、部分多様体を位相的に正しくかつ幾何的に近い形で忠実に再構築する。
• 明示的な座標計算を回避し、デローラン複体やボロノイ複体の維持を不要としており、構造的複雑性を顕著に低減する。
• 計算量は、多様体の内在次元 $ m $ に関して指数関数的であり、埋め込み次元 $ d $ に関して線形である。これはこの文脈において最適である。
• 重み付きデローラン単体のためのパワー保護を導入し、ウェッジイング複体フレームワークにおける安定性保証を可能にする。
• パワー保護を用いて構築されたウェッジイング複体は、射影写像による明確な幾何的対応関係を有する、多様体の忠実な近似であることが示された。
• 理論的分析により、適切なサンプリングおよびリーチ条件のもとで、再構築された複体が局所的近傍で元の多様体と微分同相写像であることが証明された。