[論文レビュー] Interactive Visualization of 2-D Persistence Modules

Michael Lesnick, Matthew Wright|arXiv (Cornell University)|Dec 1, 2015

Topological and Geometric Data Analysis参考文献 40被引用数 103

ひとこと要約

この論文は、トポロジカルデータ解析における2次元のパーシステントモジュールのインタラクティブ可視化を可能にするソフトウェアツールRIVETを紹介する。本研究では、平面の直線配置データ構造を用いて、2次元パーシステントモジュールの1次元アフィンスライスにおけるバーコードの動的探索を可能にし、効率的な照会性能を実現することで、標準的な1次元パーシステントホモロジーを超えた複雑な多次元不変量の実用的解析を可能にする。

ABSTRACT

The goal of this work is to extend the standard persistent homology pipeline for exploratory data analysis to the 2-D persistence setting, in a practical, computationally efficient way. To this end, we introduce RIVET, a software tool for the visualization of 2-D persistence modules, and present mathematical foundations for this tool. RIVET provides an interactive visualization of the barcodes of 1-D affine slices of a 2-D persistence module $M$. It also computes and visualizes the dimension of each vector space in $M$ and the bigraded Betti numbers of $M$. At the heart of our computational approach is a novel data structure based on planar line arrangements, on which we can perform fast queries to find the barcode of any slice of $M$. We present an efficient algorithm for constructing this data structure and establish bounds on its complexity.

研究の動機と目的

• 探索的データ解析における多次元パーシステントホモロジーのための実用的でインタラクティブなツールの不足に対処すること。
• 計算効率と使いやすさを兼ね備えた2次元設定への標準的な1次元パーシステントホモロジーのパイプラインの拡張。
• 2次元パーシステントモジュールの1次元スライスに沿ったバーコードの高速かつインタラクティブな照会を可能にするデータ構造とアルゴリズムフレームワークの開発。
• スライスに沿ったキーモジュール不変量の可視化：ベクトル空間の次元、ビグレイデッド・ベッチ数、バーコードテンプレート。
• 2次元パーシステントモジュールのスケーラブルで効率的な解析の理論的および計算的基盤の確立。

提案手法

• 平面の直線配置に基づく2次元パーシステントモジュールの拡張配置の概念を導入する。
• 任意の1次元アフィンスライスのバーコードを計算するためのO(log n)時間照会をサポートするデータ構造を構築する。
• フロントゥールスイープ法を用いてレベルセットとバーコードテンプレートを効率的に計算し、時間計算量をO(m log m + mκ)とする。ここでmは生成子の数、κは任意の行または列に含まれる点の最大数である。
• コレキコグラフィカル順序付けとソーティングを用いて、計算中の効率的な走査とリスト挿入を保証する。
• RIVETを用いたインタラクティブ可視化を実装し、ユーザーがグラフィカルインターフェースを介してバーコードと不変量を動的にナビゲートできるようにする。
• 線分パラメータとパーシステンス図を正規化し、異なるスケール間で一貫した可視化を実現する。

実験結果

リサーチクエスチョン

• RQ1 2次元パーシステントモジュールを、1次元スライスに沿ったバーコード構造の効率的探索を支援する方法で、どのようにインタラクティブに可視化できるか。
• RQ2 任意の1次元スライスの2次元パーシステントモジュールのバーコードを、高速かつスケーラブルに計算するためのデータ構造は何か。
• RQ3 ベクトル空間の次元とビグレイデッド・ベッチ数を、バーコードとともに効率的に計算・可視化するにはどうすればよいか。
• RQ4 拡張配置と関連データ構造の構築にかかる計算コストを低減するためのアルゴリズム的最適化は何か。
• RQ5 このフレームワークをより高次元に拡張できる限界はどこか。また、インターフェースとパフォーマンスの観点から、実用的な制限は何か。

主な発見

• 提案された拡張配置データ構造は、2次元パーシステントモジュールの任意の1次元アフィンスライスのバーコード照会をO(log n)時間で効率的にサポートする。
• フロントゥールスイープ法は、生成子の数mと各行または各列の最大点数κを用いて、O(m log m + mκ)時間でレベルセットとバーコードテンプレートを計算する。
• RIVETは、バーコード、ベクトル空間の次元、ビグレイデッド・ベッチ数のインタラクティブな探索を可能にし、2次元パーシステント不変量の解釈可能性を著しく向上させる。
• ソフトウェアツールRIVETは、探索的データ解析における実用的利用を想定して設計されており、公開されており、デモ用に利用可能であり、完全版はhttp://rivet.onlineで入手可能予定である。
• 理論的枠組みは、拡張配置の複雑さに関する境界を提供し、実世界のデータセットにおけるスケーラビリティを支援する。
• 線分パラメータとパーシステンス図の正規化により、異なるスケールやパrameterization間で一貫性があり、解釈可能な可視化が保証される。