[論文レビュー] Persistence for Circle Valued Maps

Dan Burghelea, Tamal K. Dey|arXiv (Cornell University)|Apr 29, 2011

Topological and Geometric Data Analysis参考文献 19被引用数 15

ひとこと要約

本稿は、実数値関数の上位レベル集合のパーシステンスの一般化として、円周値写像のための持続的理論を導入する。これは、単体複体上の行列の削減を用いて計算される、バー・コードとジョルダン細胞という新たな不変量を導入することで、位相的データ解析を実数値関数の範囲を超えて拡張する。主な貢献は、元の空間のホモロジーとその部分空間のホモロジーを、これらの不変量と結びつける計算可能な枠組みを確立したことである。また、入力行列から同時にバー・コードとジョルダン細胞を計算するアルゴリズムを提供する。

ABSTRACT

We study circle valued maps and consider the persistence of the homology of their fibers. The outcome is a finite collection of computable invariants which answer the basic questions on persistence and in addition encode the topology of the source space and its relevant subspaces. Unlike persistence of real valued maps, circle valued maps enjoy a different class of invariants called Jordan cells in addition to bar codes. We establish a relation between the homology of the source space and of its relevant subspaces with these invariants and provide a new algorithm to compute these invariants from an input matrix that encodes a circle valued map on an input simplicial complex.

研究の動機と目的

• 実数値関数の標準的な下位レベルパーシステンスを一般化し、円周値写像のためのパーシステンス理論を構築すること。
• 円周値写像固有の新たな位相的不変量—バー・コードとジョルダン細胞—を同定し、特徴づけること。
• 元の空間のホモロジーとその部分空間のホモロジーを、これらの不変量と結びつける計算フレームワークを確立すること。
• 単体複体上の円周値写像を行列で表現した入力から、同時にバー・コードとジョルダン細胞を計算するアルゴリズムを提供すること。
• 理論が実数値写像の特別な場合として適用可能であることを示し、リャプノフ閉形式を持つベクトル場に対しても有効であることを示すこと。

提案手法

• 理論は、循環クイオットの表現論に基づく。これにより、円周値写像のレベル集合ホモロジーのパーシステンスの完全な不変量集合が得られる。
• 元の単体複体のインシデント行列から、レベル集合のホモロジー群間の準同型を符号化するブロック行列が構成される。
• 繰り返しの行列削減をブロック行列に適用し、バー・コードを消去する。列操作を用いて列階段形を達成する。
• 得られた可逆行列をジョルダン標準形に変換することでジョルダン細胞を抽出する。標準的な線形代数技術を用いる。
• アルゴリズムは、臨界レベル集合と正則レベル集合を順次処理し、行および列の操作を用いてブロック行列を変更することで、不変量を段階的に計算する。
• この方法は、ジグザグパーシステンスを一般化でき、その文脈でバー・コードを計算する代替手段としても利用可能であり、ジョルダン細胞の計算という追加機能を有する。

実験結果

リサーチクエスチョン

• RQ1 円周を被覆とする写像の位相的パーシステンスを、被覆のトポロジー的複雑性を考慮して、実数値写像からどのように拡張できるか？
• RQ2 実数値パーシステンスで用いられる標準的なバー・コードとは異なる、円周値写像のパーシステンスにおいて新たに現れる不変量は何か？
• RQ3 円周値写像のパーシステンス不変量から、元の空間のホモロジーとその部分空間のホモロジーを完全に再構成できるか？
• RQ4 行列表現から、バー・コードとジョルダン細胞を同時に効率的に計算するアルゴリズムは存在するか？
• RQ5 これらの不変量を計算する計算量の複雑性は何か？ また、ジグザグパーシステンスなどの既存手法と比較してどうか？

主な発見

• 円周値写像のパーシステンスは、標準的な実数値パーシステンスに存在しない、新たな不変量クラス—ジョルダン細胞—を導入する。それに加え、洗練されたバー・コードも得られる。
• 定理3.1および3.2で形式化されたように、元の空間のホモロジーとその部分空間のホモロジーは、バー・コードとジョルダン細胞から完全に再構成可能である。
• アルゴリズムの時間計算量は $ O(m^2n^2M(n) + M(mn)) $ であり、ここで $ n $ は単体の数、$ m $ は臨界値の数、$ M(n) $ は $ n \times n $ 行列の乗算に要する時間である。
• この方法はジグザグパーシステンスを一般化でき、その文脈でバー・コードを計算する代替手段としても利用可能であり、ジョルダン細胞の計算という追加機能を有する。
• 理論は実数値写像を特別な場合として含み、既知の結果を回復するとともに、それらのホモロジー的構造に対する新たな洞察を提供する。
• このフレームワークはモース＝ノヴィコフ理論に基づいて数学的に裏付けられており、リャプノフ閉形式を持つベクトル場の力学的挙動に対しても応用可能性を有する。