[論文レビュー] The genealogy of convex solids

G. Domokos, Zsolt Lángi+1 more|arXiv (Cornell University)|Apr 24, 2012

Topological and Geometric Data Analysis被引用数 1

ひとこと要約

本稿では、凸体の重心からの距離関数のモース・スマール複体として、球面上の任意の2色付き四角形分割が得られることを確立している。この結果は、凸性を保つ帰納的頂点分割アルゴリズムを用いて得られ、既存の分類を一般化し、S² 上の凸モース・スマール関数のクラスが、このような複体のすべての組合せ的型を捉えていることを示している。

ABSTRACT

The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.

研究の動機と目的

• 滑らかで、凸的かつ一様な凸体の重心への距離関数から生じる、すべての可能なモース・スマール複体を分類すること。
• M_C と表記される、このような関数のクラスが、S² 上の一般のモース・スマール関数の全組合せ的複雑性を示すかどうかを特定すること。
• すべての有効な2色付き球面四角形分割に対応する凸体を生成する、構成的かつ凸性を保つアルゴリズムを開発すること。
• 計算トポロジーにおける既存の分類スキームを、凸幾何学の範囲にまで拡張することで一般化すること。

提案手法

• パスグラフ P₂ から出発し、帰納的頂点分割操作をモース・スマール複体に施して、より複雑な四角形分割を生成する。
• 各頂点分割は、局所的で凸性を保つ表面変形によって実装され、体の凸性が維持される。
• この構成により、球面上のすべての2色付き四角形分割が、M_C 内のある関数のモース・スマール複体と同型であることが保証される。
• このアルゴリズムは、Edelsbrunner らの階層的粗化法の双対であり、彼らの簡略化プロセスに対するリファインメントベースの代替手法を提供する。
• 四角形分割とモース・スマール複体の間の組合せ的同型は、明示的構成と位相的同値性によって確立される。
• この手法は、S² 上のモース・スマール関数およびその関連する勾配流れグラフの理論に依拠しており、凸体に制限されている。

実験結果

リサーチクエスチョン

• RQ1 球面上の任意の2色付き四角形分割が、凸体の重心への距離関数のモース・スマール複体として実現可能か？
• RQ2 一般のS² 上のモース・スマール関数と比較して、凸体から生じるモース・スマール複体に、何らかの組合せ的制約が存在するか？
• RQ3 最小の出発点から、すべてのこのようなモース・スマール複体を構成的かつ凸性を保つ方法で生成できるか？
• RQ4 提案されたアルゴリズムは、計算トポロジーにおける既存の階層的簡略化技術とどのように関係しているか？

主な発見

• 球面上のすべての2色付き四角形分割は、滑らかで凸的な体の重心からの距離関数のモース・スマール複体と同型である。この関数のクラスは M_C と表記される。
• 帰納的アルゴリズムは、各段階で凸性を保ちながら、M_C 内のすべての組合せ的に可能なモース・スマール複体に対応する凸体を効果的に生成する。
• このアルゴリズムは、[36] における分類スキームを拡張することで、すべての可能な2色付き四角形分割へと一般化されている。
• この構成により、幾何的制約があるにもかかわらず、M_C が S² 上のモース・スマール関数の全組合せ的複雑性を捉えていることが証明された。
• この手法は、Edelsbrunner らの粗化アルゴリズムの双対的手続きを提供し、モース・スマール複体の階層的リファインメントを可能にする。
• パスグラフ P₂ がモース・スマール複体として実現可能な凸体が存在することは、基本ケースを確認し、帰納的拡張を可能にする。