[논문 리뷰] Rank-based persistence

Mattia G. Bergomi, Pietro Vertechi|arXiv (Cornell University)|2019. 05. 22.

Topological and Geometric Data Analysis인용 수 4

한 줄 요약

이 논문은 정칙 및 아벨 범주에서 순위 함수를 공리화하여 지속 homology의 통합된 범주적 프레임워크를 제안한다. 이는 벡터 공간이나 집합을 초월한 일반화된 지속 모듈을 가능하게 하며, 단순 아벨 범주에서 교차와 다색 블로킹 거리가 동일함을 증명한다. 이는 군 작용이나 레이블이 부여된 점구름과 같은 대칭성 또는 레이블을 가진 데이터의 체계적인 분석을 다색 지속 다이어그램을 통해 가능하게 한다.

ABSTRACT

Persistence has proved to be a valuable tool to analyze real world data robustly. Several approaches to persistence have been attempted over time, some topological in flavor, based on the vector space-valued homology functor, other combinatorial, based on arbitrary set-valued functors. To unify the study of topological and combinatorial persistence in a common categorical framework, we give axioms for a generalized rank function on objects in a target category, so that functors to that category induce persistence functions. We port the interleaving and bottleneck distances to this novel framework and generalize classical equalities and inequalities. Unlike sets and vector spaces, in many categories the rank of an object does not identify it up to isomorphism: to preserve information about the structure of persistence modules, we define colorable ranks, persistence diagrams and prove the equality between multicolored bottleneck distance and interleaving distance in semisimple Abelian categories. To illustrate our framework in practice, we give examples of multicolored persistent homology on filtered topological spaces with a group action and labeled point cloud data.

연구 동기 및 목표

• 순위 함수를 이용해 위상적 및 조합론적 지속 이론을 동일한 범주적 프레임워크로 통합하는 것.
• 기존의 지속 도표, 교차, 블로킹 거리와 같은 고전적 지속 도구들을 임의의 정칙 및 아벨 범주로 일반화하는 것.
• 군 작용이나 레이블이 부여된 점구름과 같은 구조적 데이터로 지속 homology를 확장하기 위해 색상화된 순위와 다색 지속 도표를 도입하는 것.
• 단순 아벨 범주에서 다색 블로킹 거리가 교차 거리와 동일함을 증명하여 고전적 안정성 결과를 일반화하는 것.
• 레이블 정보를 위상 유사성 측정에 통합함으로써 기계학습에서의 구조적 데이터 분석 기반을 마련하는 것.

제안 방법

• 객체에 정수 값을 부여하는 순위 함수를 갖춘 정칙 범주를 순위가 부여된 범주로 정의하여 차원과 기수를 일반화한다.
• 순위가 부여된 범주로의 함자를 통해 범주론적 지속 함수를 구성하며, [4]의 일관된 샘플링 방법을 더 풍부한 대상 범주로 확장한다.
• 순서별로 순위 함수를 체계적으로 구성하는 방법을 도입하여, 차원과 기수를 특수한 경우로 복원한다.
• 범주론적 설정에서 역점과 그 중복도를 통해 지속 도표를 정의하여 고전적 구성 방식을 일반화한다.
• 구조적 정보(예: 군 작용 또는 레이블)를 유지하기 위해 지속 도표에 색상을 도입하여 다색 블로킹 거리를 유도한다.
• 단순 아벨 범주에서 색상 보존 이항사상 하에 교차 거리가 다색 블로킹 거리와 동일함을 증명한다.

실험 결과

연구 질문

• RQ1 순위 함수를 이용해 위상적 및 조합론적 지속 이론을 통합하는 범주적 프레임워크를 일반화할 수 있는가?
• RQ2 임의의 범주에서 지속 도표와 안정된 거리를 지원하기 위해 순위 함수가 만족해야 할 공리 조건은 무엇인가?
• RQ3 군 작용이 있는 필터링된 위상공간이나 레이블이 부여된 점구름과 같은 구조적 데이터로 지속성을 어떻게 확장할 수 있는가?
• RQ4 일반화된 지속 프레임워크에서 다색 블로킹 거리가 교차 거리와 동일한 조건은 무엇인가?
• RQ5 다색 지속 도표는 레이블이나 대칭성과 같은 추가적인 데이터 구조를 존중하는 위상적 유사성 측정을 제공할 수 있는가?

주요 결과

• 논문은 정칙 및 아벨 범주에서 순위 함수를 이용한 지속성의 일반적 프레임워크를 수립하여 고전적 및 조합론적 접근을 통합한다.
• 단순 아벨 범주에서 색상 보존 이항사상 하에 교차 거리가 다색 블로킹 거리와 동일함을 증명한다.
• 군 작용이 있는 필터링된 위상공간에 대해 다색 지속 도표를 구성할 수 있으며, 이를 통해 군 표현 구조를 유지할 수 있다.
• 레이블이 부여된 점구름 데이터는 레이블이 색상으로 정의되는 다색 지속성을 통해 분석 가능하며, 이를 통해 체계적인 유사성 측정이 가능하다.
• 일반화된 지속 프레임워크는 임의의 함수에 대해 교차와 $\epsilon$-교차를 유지하므로, 범주 간 계층적 분석이 가능하다.
• 순서별로 순위를 구성하는 방법은 벡터 공간에서의 차원과 집합에서의 기수를 특수한 경우로 복원한다.