[論文レビュー] Topological simplification guided by forbidden regions

Jakub Leśkiewicz, Bartosz Furmanek+2 more|arXiv (Cornell University)|Mar 17, 2026

Topological and Geometric Data Analysis被引用数 0

ひとこと要約

導入されたトポロジ的簡略化フレームワークは、禁制領域と深さ偏序を用いて、離散微分同相函数における非連続でない持続対の安全な取消を行い、対角化へのアルゴリズム的道筋と最悪計算時間を O(c · n) にする。

ABSTRACT

Topological simplification is the process of reducing complexity of a function while maintaining its essential features. Its goal is to find a new filter function, which reorders cells of the input complex in a way which eliminates some persistent homological features, without affecting the rest. We present a new approach to simplification based on the concept of forbidden regions and combinatorial dynamics. It allows us to reorder and cancel critical values, whose cancellation is not possible using existing methods because they are not consecutive in the total order. Each such cancellation takes O(c$\cdot$n) time in the worst case, where c is the number of birth-death pairs and n is the size of the input complex.

研究の動機と目的

• ゼロまたはコディメンション-1 の持続変化を超えるトポロジ的簡略化を動機付け正式化する。
• 禁制領域を用いて持続対を同定し安全に除去するためのフレームワークを開発する。
• ホモトピーと経路反転中の関係変化を追跡する構成的証明とアルゴリズムを提供する。

提案手法

• 深さ偏序と持続関係を用いてbirth/deathセルの禁制領域を定義する。
• 怠惰な縮約を用いて R, U, および U^⊥ 行列を計算し birth–death 対を識別する。
• 可逆的で浅い対を特徴づけ、残留対に影響を与えず Lefschetz 取消を可能にする。
• 禁制領域が分離され、かつ一意の勾配経路が存在する場合、構成された離散モース函数 h' によって対を diagonal に移動させることができることを証明する。

Figure 1: Two vector fields differing by a reversal of the path between components of a birth-death pair $\alpha$ . Critical cells are shown with colored nodes, and arrows between them symbolize paths created by vectors. Above each vector field is the boundary matrix of the corresponding Morse compl

実験結果

リサーチクエスチョン

• RQ1 禁制領域をどのように定義すれば、持続対を除去しても他の持続図に影響を及ぼさないことを保証できるか。
• RQ2 Lefschetz 取消を浅い対を超えて拡張し、任意の次元でより広範かつ安全な簡略化を提供できるか。
• RQ3 他の対を変えずに対を対角線へ移動させるための厳密条件（禁制領域、唯一の勾配経路）は何か。
• RQ4 簡略化過程全体で関係の変化を追跡する構成的ホモトピーをどのように構築できるか。
• RQ5 これらの安全な取消を実践的に実行する計算複雑性はどれくらいか。

主な発見

• 禁制領域の新しいフレームワークにより、標準順序で連続していない特定の birth–death 対を安全に除去できる。
• 禁制領域が分離され、一意の勾配経路が存在する場合、他の持続対を変えずに対を diagonal に reversibly 移動させる構成的証明とアルゴリズムが存在する。
• Lefschetz 取消を介した取消は他の対付構造を保持し、モース複体を逐次的に簡略化するよう反復可能である。
• 本手法は深さ偏序に基づき、既存の怠惰縮約関係およびモース複体理論と結びつく。
• 適用可能な各取消は最悪ケースで O(c · n) 時間で実行できる。ここで c は birth–death 対の数、n は入力サイズである。

Figure 2: Left: $(n-1)$ -st dimensional persistence diagram of some complex $X$ , with $D_{n}$ in the bottom-right corner. In the diagram, we denote by $\times$ homological relations between pairs, and by $\otimes$ relations which are homological and cohomological at the same time. To decide if movi