[論文レビュー] The algebraic stability for persistent Laplacians

Jian Liu, Jingyan Li+1 more|arXiv (Cornell University)|Feb 8, 2023

Topological and Geometric Data Analysis被引用数 11

ひとこと要約

この論文は、持続的ラプラシアンのカテゴリ的枠組みを開発し、ラプラシアン木を導入し、これらの木に対する代数的安定性定理を証明し、実数値関数を持つ単体複体および有向グラフに結果を適用する。

ABSTRACT

The stability of topological persistence is one of the fundamental issues in topological data analysis. Numerous methods have been proposed to address the stability of persistent modules or persistence diagrams. Recently, the concept of persistent Laplacians has emerged as a novel approach to topological persistence, attracting significant attention and finding applications in various fields. In this paper, we investigate the stability of persistent Laplacians. We introduce the notion of ``Laplacian trees'', which captures the collection of persistent Laplacians that persist from a given parameter. To formalize our study, we construct the category of Laplacian trees and establish an algebraic stability theorem for persistent Laplacian trees. Notably, our stability theorem is applied to the real-valued functions on simplicial complexes and digraphs.

研究の動機と目的

• 標準的な持続図（パースペクティブダイアグラム）を超えるトポロジカル持続性の安定性問題に動機づけるため、persistent Laplaciansに焦点を当てる。
• 持続的ラプラシアンの構造化されたカテゴリ的集合として、Laplacian treesを導入する。
• 微分階層内積空間とそれらのLaplacian treeのカテゴリー内で、代数的安定性定理を構築する。
• 理論が関手的構成を通じて、持続的ホモロジーと持続的調和空間を回復・関連付ける方法を示す。
• 単体複体と有向グラフ上の実数値関数への具体的応用を提供し、安定性の結果を説明する。

提案手法

• カテゴリ (R,≤) の持続オブジェクトを、微分階層内積空間 (DGI) に写像するように定義する。
• DGIs 間の射と含み上げを用いて持続的ラプラシアン Δ^{a,b}_{S} を確立し、持続的ハodge分解（定理 3.10）を導出する。
• 射によってパラメータ付けされたラプラシアンの族をエンコードするカテゴリ的オブジェクト (V,A) として Laplacian trees を構築し、その性質を研究する。
• 持続的ラプラシアン木が ε-インタリーヴィング等価であることが、基礎となる持続的 DGI の ε-インタリーヴィングと同値であることを示す代数的安定性定理を証明する（定理 1.3）。
• Laplacian trees のインタリーヴ距離が基盤となる持続オブジェクトのインタリーヴ距離に一致することを示す（系論 1.4）。
• この枠組みを、単体複体および有向グラフ上の実数値関数へ適用し、安定性を例示する（定理 1.5–1.6）。

実験結果

リサーチクエスチョン

• RQ1 持続的ラプラシアンを安定性分析を支えるようにカテゴリ的に組織するにはどうすればよいか？
• RQ2 持続ダイアグラムに用いられるインタリーヴィングの枠組みを、持続ラプラシアン木に拡張できるか？
• RQ3 この代数的枠組みの中で、持続的調和空間と持続的ホモロジーの正確な関係は何か？
• RQ4 単体複体と有向グラフ上の実数値関数に対する安定性境界が、持続ラプラシアン木の安定性境界にどのように翻訳されるか？

主な発見

• 持続的調和空間と持続的ホモロジーが、持続性モジュールとして自然同型である（定理 1.1）
• 持続的ラプラシアン木は、基礎となる持続 DGI がε-インタリーヴィングである場合に限りε-インタリーヴされる（定理 1.3）
• Laplacian trees のインタリーヴ距離は、基盤となる持続オブジェクトのインタリーヴ距離と一致する（Corollary 1.4）
• 単体複体上の非減少実数値関数について、これらの持続ラプラシアン木のインタリーヴ距離は、関数間の infinity-ノルム距離によって上界付けられる（定理 1.5）
• 有向グラフの設定では、代数的安定性定理が、ラプラシアンのインタリーヴ距離に対して、持続的調和空間と持続的ホモロジーを関連づける（定理 1.6）
• 系論は、グラフに対する関数差と infinity-ノルムに基づく明示的な境界を提供する（Corollary 1.7）