[論文レビュー] Stability of persistence spaces of vector-valued continuous functions

Andrea Cerri, Claudia Landi|arXiv (Cornell University)|May 28, 2013

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

ひとこと要約

本稿では、ベクトル値連続関数の多次元持続的ベッチ数を安定的かつ完全に表現するためのパーシsistエンス空間を導入する。持続的ベッチ数の不連続性から導かれる重複度を用いて点を定義することで、パーシステンス図の多次元設定への一般化としてのパーシステンス空間を構築し、安定性を証明する。パーシステンス空間間のハウスドルフ距離は、関数差の均等ノルムによって上限が与えられる。

ABSTRACT

Multidimensional persistence modules do not admit a concise representation analogous to that provided by persistence diagrams for real-valued functions. However, there is no obstruction for multidimensional persistent Betti numbers to admit one. Therefore, it is reasonable to look for a generalization of persistence diagrams concerning those properties that are related only to persistent Betti numbers. In this paper, the persistence space of a vector-valued continuous function is introduced to generalize the concept of persistence diagram in this sense. The main result is its stability under function perturbations: any change in vector-valued functions implies a not greater change in the Hausdorff distance between their persistence spaces.

研究の動機と目的

• 多次元パーシステンスにおいて、パーシステンス図に類似した離散的で安定な表現が欠如している問題に対処すること。
• パーシステンス図の概念を、安定的かつ再構成可能な持続的ベッチ数に限定して一般化すること。
• 多次元設定における持続的ベッチ数を完全に特徴付ける新しい対象「パーシステンス空間」を定義すること。
• 関数の摂動に対してこの表現の安定性を確立することで、ノイズに強い性質を保証すること。
• パーシステンス空間の点の座標がホモロジー的臨界値に対応することを示し、1次元図の主要構造的性質を保存すること。

提案手法

• 各点が持続的ベッチ数関数の不連続性に対応する、R^n 上の重複度付き点の多重集合としてパーシステンス空間を定義する。
• 部分レベル集合間の準同型写像のランク差から得られる重みを用いて、点に重みを割り当てる。
• 多次元表現定理を用いて、パーシステンス空間が持続的ベッチ数関数を完全に再構成できることを証明する。
• 関数 f と g のパーシステンス空間間のハウスドルフ距離を ||f - g||_∞ で上限付けることで、安定性を確立する。
• セーチホモロジーおよびコーナーポイント解析の性質を用いて、非対角成分の座標をホモロジー的臨界値として特徴付ける。
• セーチホモロジー理論の結果を活用し、空間の位相次元を超えるホモロジー次数では持続的ベッチ数が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 パーシステンスモジュールが離散的分解を持たない場合でも、多次元持続的ベッチ数の安定的かつ完全な表現を構築できるか？
• RQ2 安定性とベッチ数からの再構成性といった重要な性質を保持する、パーシステンス図の一般化は存在するか？
• RQ3 パーシステンス空間間のハウスドルフ距離は、関数差の均等ノルムによって上限が与えられるか？
• RQ4 パーシステンス空間の点の座標は、多次元設定においてホモロジー的臨界値として特定可能か？
• RQ5 離散的状況では、ホモロジー的臨界値の集合を有限の代表集合に削減できるか？これにより、効率的なボトルネック距離の計算が可能になるか？

主な発見

• パーシステンス空間は、ベクトル値関数への一般化としての多次元持続的ベッチ数の完全かつ離散的な表現を提供する。
• パーシステンス空間は安定的である：関数 f と g のパーシステンス空間間のハウスドルフ距離は、||f - g||_∞ 未満である。
• パーシステンス空間の非対角成分の座標はホモロジー的臨界値であり、1次元パーシステンス図の主要な性質を拡張する。
• 次元 d のコンパクトな三角形分割空間に対して、ホモロジー次数 k > d では持続的ベッチ数が消え、ホモロジー的臨界値の集合は n 次元ルベーグ測度がゼロの非稠密集合である。
• 離散的状況では、ホモロジー的臨界値の集合に有限の代表集合が存在し、効率的なボトルネック距離の計算が可能である可能性を示唆する。
• パーシステンス空間の構成は、滑らかさのカテゴリーにおけるパレート臨界性と整合的であり、座標が関数のパレート臨界値に射影されることを示す。