[論文レビュー] Learning Simplicial Complexes from Persistence Diagrams

Robin Belton, Brittany Terese Fasy+7 more|arXiv (Cornell University)|May 27, 2018

Topological and Geometric Data Analysis参考文献 16被引用数 7

ひとこと要約

本稿では、O(n²) 個の方向付き持久図を用いて、頂点の次数差を用いた幾何学的バタフライ結び法により、ℝ² に埋め込まれた平面グラフを多項式時間で再構築するアルゴリズムを提示する。主な貢献は、頂点位置の特定に3つの図を、辺検出に二次の数を用いることで、正確に頂点と辺を再構築できる有限かつ有界な再構築フレームワークを確立したことである。

ABSTRACT

Topological Data Analysis (TDA) studies the shape of data. A common topological descriptor is the persistence diagram, which encodes topological features in a topological space at different scales. Turner, Mukeherjee, and Boyer showed that one can reconstruct a simplicial complex embedded in R^3 using persistence diagrams generated from all possible height filtrations (an uncountably infinite number of directions). In this paper, we present an algorithm for reconstructing plane graphs K=(V,E) in R^2 , i.e., a planar graph with vertices in general position and a straight-line embedding, from a quadratic number height filtrations and their respective persistence diagrams.

研究の動機と目的

• 可算でない無限個の方向ではなく、有限個の持久図から埋め込み単体的複体を再構築するという未解決問題に取り組む。
• ℝ² における直線埋め込みを伴う1次元単体的複体（平面グラフ）の正確な再構築のための理論的かつアルゴリズム的枠組みを提供する。
• 再構築に必要な方向付き持久図の数を制限し、先行研究における無限方向の仮定を越える。
• 高さフィルトレーションと位相的不変量（次数差）を活用して、グラフ構造を回復する幾何的再構築アルゴリズムを開発する。
• 高次元単体的複体への再構築の拡張を基盤とし、各図の情報の豊かさを活用して必要な図の数を低減する。

提案手法

• 頂点集合 V を、定理5を用いて3つの方向付き持久図により再構築する。各頂点を通る直線の配置と、近傍の巡回順序を利用する。
• 各頂点対 (v, v') に対して、ベクトル (v'−v) に垂直な方向と角度 ±θ をなす2つの方向 s₁ と s₂ を用いてバタフライ領域を定義する。ここで θ < min_v θ(v) とする。
• 方向 s₁ と s₂ に沿った高さフィルトレーションを構築し、フィルトレーションの下位集合における頂点 v の次数をそれぞれ Indeg(v, s₁) と Indeg(v, s₂) と表記する。
• 補題7 と補題9 を適用して辺を検出する：|Indeg(v, s₁) − Indeg(v, s₂)| = 1 ならば、辺 (v, v') が存在する。さもなくば存在しない。
• バタフライ領域に他に1つの頂点 (v') のみが存在することを活用して、辺検出を各頂点対に対して明確かつ局所的に保証する。
• 頂点再構築と辺検出を統合し、O(n²) 個の持久図を用いた完全なアルゴリズムを構築し、K = (V, E) を多項式時間で正確に再構築する。

実験結果

リサーチクエスチョン

• RQ1 ℝ² に埋め込まれた平面グラフは、可算でない無限個の方向ではなく、有限個の方向付き持久図から再構築可能か？
• RQ2 平面グラフの頂点および辺構造を一意に再構築するために必要な最小の持久図の数は何か？
• RQ3 頂点の角度や方向的可視性といった幾何的性質を用いて、有限かつアルゴリズム的な再構築プロセスを設計可能か？
• RQ4 2つの注意深く選ばれたフィルトレーションにおける次数差を用いて、2頂点間の辺の存在を検出可能か？
• RQ5 この手法を高次元単体的複体へ一般化可能か、あるいは各図の情報の豊かさを活用して、二次未塔の図にまで数を削減可能か？

主な発見

• 頂点集合 V は、巡回順序と角度解析を用いて、3つの方向付き持久図のみで再構築可能である。
• 辺集合 E は、各頂点対ごとに1つの方向付き持久図を用い、高さフィルトレーションにおける次数差を分析することで、完全に回復可能である。
• 各図の計算に O(T) 時間を要する場合、アルゴリズム全体の実行時間は O(Tn²) であり、頂点再構築には O(T + n log n) 時間を要する。
• 頂点が一般位置にあり、グラフが直線辺を伴って埋め込まれていると仮定すれば、頂点位置と辺接続の両方を正確に再構築可能である。
• バタフライの使用により、2つの方向フィルトレーションが定義する領域内に他に1つの頂点 (v') のみが存在することが保証され、明確な辺検出が可能になる。
• 本手法は、先行研究[15]が要請する無限方向の仮定とは対照的に、有限かつ多項式時間の解法を提供する。