[论文解读] 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 $ 的零集鲁棒拓扑性质的可计算且完备的描述符。通过将扰动无关特征编码为到球面的同伦类，该框架在 $ \dim X \leq 2n-3 $ 时建立了描述能力更强且可计算性更优的持久性模组，优于传统同调群，尤其在低维情形下。当包含梯度信息时，该框架达到最优。

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).

研究动机与目标

• 识别并形式化连续映射 $ f: X \to \mathbb{R}^n $ 在映射连续扰动下的零集鲁棒拓扑性质。
• 将同调群替换为上同伦群，作为持久零集分析中更具描述力和可计算性的替代方案。
• 基于带基点的上同伦群构建持久性模组结构，以实现多尺度鲁棒性分析。
• 证明当考虑扰动梯度时，基于上同伦群的描述符具有最优性。

提出的方法

• 将族 $ Z_r(f) $ 定义为所有满足 $ \|g - f\| < r $ 的映射 $ g $ 的零集的集合，以捕捉 $ r $-扰动下的鲁棒性。
• 证明 $ Z_r(f) $ 完全由 $ \pi^k(A) $ 或 $ \pi^k(X/A) $ 中的上同伦类决定，其中 $ A = \{x : |f(x)| \geq r\} $。
• 利用近期结果：当 $ \dim X \leq 2n - 3 $ 时，上同伦群 $ \pi^k(X/A) $ 是可计算的。
• 从所有 $ r > 0 $ 的带基点上同伦群构建持久性模组，类比持久同调。
• 利用所得的上同伦持久性图描述零集的持久鲁棒特征。
• 通过引入扰动的梯度信息，利用定理 C 证明描述符的最优性。

实验结果

研究问题

• RQ1 上同伦群能否完全捕捉在连续扰动下零集的鲁棒拓扑结构？
• RQ2 与同调群相比，基于上同伦群的描述符在描述能力和可计算性方面有何差异？
• RQ3 在低维情形下，特别是当 $ \dim X \leq 2n - 3 $ 时，上同伦持久性模组是否可计算？
• RQ4 当包含扰动梯度时，能否证明上同伦描述符具有最优性？
• RQ5 上同伦持久性模组与持久同调或同调群等既有框架之间存在何种关系？

主要发现

• 族 $ Z_r(f) $ 完全由 $ \pi^k(A) $ 或 $ \pi^k(X/A) $ 中的上同伦类决定，其中 $ A = \{x : |f(x)| \geq r\} $。
• 当 $ \dim X \leq 2n - 3 $ 时，上同伦群是可计算的，从而支持对鲁棒零集特征的算法分析。
• 上同伦持久性模组提供的描述符在描述能力上严格优于同调图，如定理 A 所形式化。
• 上同伦描述符在可计算性方面优于同调群，如定理 B 所确立。
• 当包含扰动梯度时，基于上同伦群的描述符在精确的数学意义上达到最优，如定理 C 所示。
• 该框架在单一拓扑描述符中统一了鲁棒性、持久性和可计算性，适用于零集。