[論文レビュー] Data structures for real multiparameter persistence modules

Ezra Miller|arXiv (Cornell University)|Sep 24, 2017

Topological and Geometric Data Analysis参考文献 36被引用数 20

ひとこと要約

本稿は、トポロジカルに扱える計算可能性を備えたデータ構造を、実数パラメータを伴う多パラメータ恒常ホモロジーに導入する。これは、トポロジカルななめらかさを捉える有限符号化条件を導入することで達成される。実数および離散的ポリハedral群上の完全なホモロジー代数理論を確立し、バーコードとエルドール則の一般化であるファンクター的QRコードとエルドール準同型を導入する。最小限のフリンジ表現と正規の一次分解により、安定で幾何学的に意味のある不変量を実現する。

ABSTRACT

A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace the noetherian hypothesis in the general setting of modules over posets, a "finitely encoded" condition is defined combinatorially and developed algebraically. It captures topological tameness of persistent homology. Poset-modules satisfying it can be specified by "fringe presentations" that reflect birth-and-death descriptions of persistence. A syzygy theorem characterizes finitely encoded modules as admitting appropriately finite presentations and resolutions. The geometric and algebraic theory focuses on modules over real polyhedral groups (real vector spaces with polyhedral positive cones) and a parallel theory over discrete polyhedral groups (abelian groups with finitely generated positive cones). Existence of primary decomposition is proved over arbitrary polyhedral partially ordered abelian groups, but the real and discrete cases carry enough geometry and, crucially in the real case, topology to induce complete theories of minimal primary and secondary decomposition, associated and attached faces, minimal generators and cogenerators, socles and tops, minimal upset covers and downset hulls, Matlis duality, and minimal fringe presentation. Real semialgebraic properties of data are preserved by functorial constructions. Tops and socles become functorial birth and death spaces for multiparameter persistence modules. They yield functorial "QR codes" and "elder morphisms" for modules over real and discrete polyhedral groups that generalize and categorify the bar code and elder rule for persistent homology in one parameter. The disparate ways that QR codes and elder morphisms model bar codes coalesce, in one parameter, to functorial bar codes.

研究の動機と目的

• 実数パラメータを伴う多パラメータ恒常ホモロジーに、計算可能でトポロジカルに解釈可能なデータ構造を構築すること。
• 順序集合モジュール理論におけるノエター的仮定を、トポロジカルななめらかさを捉える組合せ的有限符号化条件に置き換えること。
• 実数および離散的ポリハedral群上のモジュールに対して、完全なホモロジー代数学フレームワーク（最小限の表現と分解を含む）を確立すること。
• バーコードとエルドール則の一般化であるファンクター的不変量（QRコードやエルドール準同型）を定義すること。
• 入力データの微小な摂動に対してもこれらの不変量が安定することを証明し、データ解析への適性を保証すること。

提案手法

• ノエター的性質の代わりに、計算可能性とトポロジカルななめらかさを保証する組合せ的有限符号化条件を導入する。
• 有限生成モジュールを、上集合および下集合モジュールの直和を用いた有限表現または分解によって特徴づけるシジージー定理を構築する。
• トーブスとソクルを、ファンクター的出生および死の空間として定義し、1パラメータ恒常ホモロジーにおける出生・死の概念を一般化する。
• 上集合および下集合を用いて、ホモロジー類の出生・死の記述を反映する最小フリンジ表現を構築する。
• 実数ポリハedral群上のモジュールに対して、関連付ける面および付随する面を持つ正規の一次および二次分解を確立する。
• マトリス双対性を適用し、閉じた生成子および余生成子ファンクターを導入して、出生・死の順序集合の幾何構造をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、実数パラメータを伴う多パラメータ恒常ホモロジーに、計算可能でトポロジカルに解釈可能なデータ構造を定義できるか？
• RQ2 ノエター的性質を置き換える組合せ的条件は何か？これにより、有限符号化モジュールがトポロジカルになめらかで計算可能になるか？
• RQ3 ファンクター的QRコードとエルドール準同型は、1パラメータの場合のバーコードとエルドール則をどのように一般化するか？
• RQ4 最小限の表現、一次分解、およびソクルは、ホモロジー類の出生・死を特徴づけるために果たす役割は何か？
• RQ5 データの微小な摂動がホモロジー不変量に与える影響は何か？また、これらの不変量が安定するための条件は何か？

主な発見

• 有限符号化条件はノエター的性質の組合せ的置き換えを提供し、モジュールが有限データで指定可能であり、トポロジカルななめらかさを反映することを保証する。
• 有限符号化モジュールに対して最小フリンジ表現が存在し、上集合および下集合を用いてホモロジー類の出生・死が直接符号化される。
• トーブスとソクルはファンクター的出生および死の空間として機能し、1パラメータの場合の一般化であるQRコードとエルドール準同型の構成を可能にする。
• 実数ポリハedral群上のモジュールに対して、関連付ける面および付随する面を持つ正規の一次および二次分解が存在し、幾何的および代数的構造が与えられる。
• ファンクター的QRコードおよびエルドール準同型は、実順序集合 ${\mathbb{R}}^n$ の連続性および上集合・下集合の幾何的制御のおかげで、入力データの微小な摂動に対して安定である。
• モジュールが群自体の部分商モジュールである場合、最小の一次および二次分解は正規であり、マトリス双対性を用いた完全な双対性フレームワークが理論によって支えられる。