[論文レビュー] Stable Signatures for Dynamic Graphs and Dynamic Metric Spaces via Zigzag Persistence

Woojin Kim, Facundo Mémoli|arXiv (Cornell University)|Dec 11, 2017

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

ひとこと要約

本稿では、時間依存的なクラスタリング要約を提供する formigram を導入し、ジグザグホモロジーを用いて安定で計算可能なバーコードを生成する。バーコード間のボトルネック距離が、動的グラフ間の距離の多項式時間で計算可能な下界を提供することを証明しており、入力の摂動に対して安定であることを保証する。

ABSTRACT

When studying flocking/swarming behaviors in animals one is interested in quantifying and comparing the dynamics of the clustering induced by the coalescence and disbanding of animals in different groups. In a similar vein, studying the dynamics of social networks leads to the problem of characterizing groups/communities as they form and disperse throughout time. Motivated by this, we study the problem of obtaining persistent homology based summaries of time-dependent data. Given a finite dynamic graph (DG), we first construct a zigzag persistence module arising from linearizing the dynamic transitive graph naturally induced from the input DG. Based on standard results, we then obtain a persistence diagram or barcode from this zigzag persistence module. We prove that these barcodes are stable under perturbations in the input DG under a suitable distance between DGs that we identify. More precisely, our stability theorem can be interpreted as providing a lower bound for the distance between DGs. Since it relies on barcodes, and their bottleneck distance, this lower bound can be computed in polynomial time from the DG inputs. Since DGs can be given rise by applying the Rips functor (with a fixed threshold) to dynamic metric spaces, we are also able to derive related stable invariants for these richer class of dynamic objects. Along the way, we propose a summarization of dynamic graphs that captures their time-dependent clustering features which we call formigrams. These set-valued functions generalize the notion of dendrogram, a prevalent tool for hierarchical clustering. In order to elucidate the relationship between our distance between two DGs and the bottleneck distance between their associated barcodes, we exploit recent advances in the stability of zigzag persistence due to Botnan and Lesnick, and to Bjerkevik.

研究の動機と目的

• 時間発展するネットワークや距離空間のための安定的で持続的ホモロジーに基づく要約を開発し、グループ形成や解体といったクラスタリングダイナミクスを捉えること。
• 動的グラフにおける時間依存的クラスタリングをモデル化するための、階層的凝集法の一般化である formigram と呼ばれる新しいオブジェクトクラスを定義すること。
• 動的グラフ間の距離とそれらの持続的バーコード間のボトルネック距離を結ぶ安定性定理を確立すること。
• 固定しきい値を用いたリプス関手を適用することで、動的距離空間へのフレームワークの拡張を図り、より豊かな時間的データに対する安定不変量を可能にすること。
• バーコードから得られる多項式時間で計算可能な下界を用いて、動的グラフを計算的に効率的に比較する手法を提供すること。

提案手法

• 動的グラフの線形化された推移的閉包からジグザグホモロジー・モジュールを構築し、時間的クラスタリングの進化を符号化する。
• 標準的なジグザグホモロジー理論を適用して、ジグザグモジュールから持続的バーコードまたは図を導出する。
• エッジおよび頂点のタイムスタンプの摂動に基づいて、動的グラフ間の適切な距離を定義し、微小な変更に対しても安定性を保証する。
• Botnan と Lesnick、および Bjerkevik の最近の安定性結果を活用し、バーコード間のボトルネック距離が入力グラフ距離の下界であることを証明する。
• 固定しきい値を用いたリプス関手を動的距離空間に適用して動的グラフを生成し、これにより距離空間の動的ダイナミクスに対しても安定性が拡張されることを示す。
• 得られたバーコードを、グラフおよび距離空間の両方における時間発展するクラスタリングパターンの安定的で情報豊富な要約として用いる。

実験結果

リサーチクエスチョン

• RQ1 時間発展するクラスタリング行動を捉える安定的で持続的ホモロジーに基づく要約を、どのように構築できるか？
• RQ2 動的グラフ間の距離にどのようなメトリックを定義すれば、摂動に対して誘導されるバーコードが安定するか？
• RQ3 バーコード間のボトルネック距離は、動的グラフ間の元の距離とどのように関係するか？
• RQ4 formigram は、動的クラスタリングのための、従来のデンドログラムの一般化された時間認識型代替手段として機能できるか？
• RQ5 リプス構成を用いて、動的グラフから動的距離空間への安定性フレームワークを拡張できるか？

主な発見

• 本稿では、バーコード間のボトルネック距離が、動的グラフ間の距離の多項式時間で計算可能な下界を提供することを確立している。
• formigram は、時間依存的クラスタリングを捉えるデンドログラムの一般化として導入され、動的グループ構造のより豊かな分析を可能にする。
• 安定性定理により、入力動的グラフの微小な摂動が、ボトルネック距離におけるバーコードの変化を有界に保つことが保証される。
• 固定しきい値を用いたリプス関手を適用することで、フレームワークは動的距離空間へと拡張され、このような空間に対する安定不変量が得られる。
• ジグザグホモロジーの使用により、クラスタの合体と分裂の両方を時間経過とともにモデル化でき、複雑なダイナミクス行動を捉えることができる。
• Botnan と Lesnick、および Bjerkevik の理論的結果を活用することで、提案手法の安定性が裏付けられ、最近のジグザグホモロジーの進展に基づくものである。