[論文レビュー] Cohomotopy groups capture robust properties of zero sets.

Peter Franek, Marek Krčál|arXiv (Cornell University)|Jul 11, 2015

Topological and Geometric Data Analysis被引用数 3

ひとこと要約

この論文は、連続写像 $ f: X \to \mathbb{R}^n $ の零集合のロバストな位相的性質を記述するための計算可能で完全な記述子として、コhomotopy群を導入する。写像への摂動に対して感度の低い特徴を球面へのホモトピー類によって符号化することで、特に $ \dim X \leq 2n-3 $ の場合に、well グループよりも優れた記述力と計算可能性を有する持久モジュールを構築する。勾配を含めた場合、このフレームワークは最適である。

ABSTRACT

We study robust properties of zero sets of continuous maps $f:X o\mathbb{R}^n$. Formally, we analyze the family $Z_r(f)=\{g^{-1}(0):\,\,\|g-f\|<r\}$ of all zero sets of all continuous maps $g$ closer to $f$ than $r$ in the max-norm. The fundamental geometric property of $Z_r(f)$ is that all its zero sets lie outside of $A:=\{x:\,|f(x)|\ge r\}$. We claim that once the space $A$ is fixed, $Z_r(f)$ is \emph{fully} determined by an element of a so-called cohomotopy group which---by a recent result---is computable whenever the dimension of $X$ is at most $2n-3$. More explicitly, the element is a homotopy class of a map from $A$ or $X/A$ into a sphere. By considering all $r>0$ simultaneously, the pointed cohomotopy groups form a persistence module---a structure leading to the persistence diagrams as in the case of \emph{persistent homology} or \emph{well groups}. Eventually, we get a descriptor of persistent robust properties of zero sets that has better descriptive power (Theorem A) and better computability status (Theorem B) than the established well diagrams. Moreover, if we endow every point of each zero set with gradients of the perturbation, the robust description of the zero sets by elements of cohomotopy groups is in some sense the best possible (Theorem C).

研究の動機と目的

• 連続的摂動に対する零集合のロバストな位相的性質を特定し、形式化すること。
• well グループを、より記述力があり計算可能な代替手段として、コhomotopy群に置き換えること。
• 多スケールのロバスト性解析のための、ポイント付きコhomotopy群に基づく持久モジュール構造を確立すること。
• 摂動の勾配が考慮された場合に、コhomotopyに基づく記述子が最適であることを証明すること。

提案手法

• すべての写像 $ g $ について $ \|g - f\| < r $ を満たすものに対する零集合の集合として、族 $ Z_r(f) $ を定義し、$ r $-摂動におけるロバスト性を捉える。
• $ Z_r(f) $ が、$ A = \{x : |f(x)| \geq r\} $ における $ \pi^k(A) $ もしくは $ \pi^k(X/A) $ のコhomotopy類によって完全に決定されることを示す。
• 最近得られた結果を活用し、$ \dim X \leq 2n - 3 $ のとき、コhomotopy群 $ \pi^k(X/A) $ が計算可能であることを示す。
• すべての $ r > 0 $ におけるポイント付きコhomotopy群から、恒常ホモロジーに類似した持久モジュールを構築する。
• 得られたコhomotopy持久図を用いて、零集合の恒常的ロバストな特徴を記述する。
• 摂動の勾配データを統合し、定理 C を用いて記述子の最適性を確立する。

実験結果

リサーチクエスチョン

• RQ1 コhomotopy群は、連続的摂動下での零集合のロバストな位相的構造を完全に捉えることができるか？
• RQ2 記述力と計算可能性の観点から、コhomotopyに基づく記述子は well グループと比べてどのように異なるか？
• RQ3 特に $ \dim X \leq 2n - 3 $ の場合に、コhomotopy持久モジュールは低次元設定でも計算可能か？
• RQ4 摂動の勾配が含まれる場合、コhomotopy記述子が最適であることを示せるか？
• RQ5 コhomotopy持久モジュールと、恒常ホモロジー もしくは well グループといった既存の枠組みとの関係は何か？

主な発見

• 族 $ Z_r(f) $ は、$ A = \{x : |f(x)| \geq r\} $ における $ \pi^k(A) $ もしくは $ \pi^k(X/A) $ のコhomotopy類によって完全に決定される。
• コhomotopy群は、$ \dim X \leq 2n - 3 $ のとき常に計算可能であり、ロバストな零集合特徴のアルゴリズム的解析を可能にする。
• コhomotopy持久モジュールは、定理 A で形式化された通り、well 図よりも厳密に優れた記述力を有する記述子を提供する。
• 定理 B で確立された通り、コhomotopy記述子は well グループよりも優れた計算可能性を達成する。
• 摂動の勾配が含まれる場合、定理 C で示されるように、コhomotopyに基づく記述子は明確な数学的意味で最適である。
• このフレームワークは、零集合のロバスト性、持久性、計算可能性を1つの位相的記述子に統合する。