[논문 리뷰] Cohomotopy groups capture robust properties of zero sets.

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

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 $ 의 연속적인 변형 하에서 영집합의 강건한 위상적 성질을 식별하고 형식화하는 것.
• 지속적인 영집합 분석을 위한 더 나은 서술 능력과 계산 가능성을 지닌 코호모티피 군으로 잘 군을 대체하는 것.
• 다중 척도적 강건성 분석을 위한 포인트드 코호모티피 군 기반의 영속성 모듈 구조를 수립하는 것.
• 편미분의 기울기가 고려될 경우 코호모티피 기반 기법의 최적성을 증명하는 것.

제안 방법

• 모든 $ g $ 에 대해 $ \|g - f\| < r $ 를 만족하는 영집합의 집합으로서 $ Z_r(f) $ 를 정의하여, $ r $-변형 하에서의 강건성을 캡처하는 것.
• $ Z_r(f) $ 가 $ A = \{x : |f(x)| \geq r\} $ 에서의 코호모티피 군 $ \pi^k(A) $ 또는 $ \pi^k(X/A) $ 의 호모토피류에 의해 완전히 결정됨을 보이는 것.
• 최근에 얻어진 결과를 활용하여, $ \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) $ 는 $ A = \{x : |f(x)| \geq r\} $ 에서의 코호모티피 군 $ \pi^k(A) $ 또는 $ \pi^k(X/A) $ 의 호모토피류에 의해 완전히 결정된다.
• 코호모티피 군은 $ \dim X \leq 2n - 3 $ 일 때 항상 계산 가능하므로, 강건한 영집합 특징의 알고리즘적 분석이 가능하다.
• 코호모티피 영속성 모듈은 잘 다이어그램보다 엄밀히 뛰어난 서술 능력을 지닌 기법을 제공하며, 이는 정리 A 에 의해 형식화되어 있다.
• 코호모티피 기반 기법은 잘 군보다 더 뛰어난 계산 가능성을 확보하고 있으며, 이는 정리 B 에 의해 입증되었다.
• 편미분의 기울기가 포함될 경우, 코호모티피 기반 기법은 정확한 수학적 의미에서 최적이며, 이는 정리 C 에 의해 입증되었다.
• 이 프레임워크는 영집합에 대한 강건성, 영속성, 계산 가능성의 세 가지 요소를 하나의 위상적 기법으로 통합한다.