[논문 리뷰] Combinatorial Persistent Homology Transform

Brittany Terese Fasy, Amit Patel|arXiv (Cornell University)|2022. 08. 10.

Topological and Geometric Data Analysis참고 문헌 18인용 수 4

한 줄 요약

이 논문은 추상 순서 집합 위에서 함자적 영속 호몰로지의 활용을 통해, 영속 호몰로지 변환(Persistent Homology Transform, PHT)의 조합론적 재구성인 셀 구조의 코셰프(co)sheaf로 제안한다. 구체적으로, 구면 $\mathbb{S}^N$의 유한 셀 분할에 따라 필터링을 색인화함으로써 PHT는 유한하고 조합론적으로 구조화된 코셰프가 되며, 기하 복합체의 정확하고 안정적인 표현을 가능하게 하는 범주론적 및 셰프 이론적 도구를 적용할 수 있다.

ABSTRACT

The combinatorial interpretation of the persistence diagram as a Möbius inversion was recently shown to be functorial. We employ this discovery to recast the Persistent Homology Transform of a geometric complex as a representation of a cellulation on $\mathbb{S}^n$ to the category of combinatorial persistence diagrams. Detailed examples are provided. We hope this recasting of the PH transform will allow for the adoption of existing methods from algebraic and topological combinatorics to the study of shapes.

연구 동기 및 목표

• 유한 생성 복합체에 대해서조차 기하 복합체의 영속 다이어그램이 불가측한 무수히 많은 개수로 생성되는 전통적 PHT의 한계를 해결하기 위해.
• 실수 색인 영속 호몰로지에서 조합론적으로 동치이지만 위상적으로 다른 다이어그램 간의 범주론적 불일치 문제를 해결하기 위해.
• 추상 순서 집합 위에서 조합론적 영속 호몰로지를 활용하여 PHT의 유한하고 셀 기반 표현을 개발하기 위해.
• PHT를 셀 코셰프로 재구성하여 셰프 이론과 범주론을 활용한 형태 분석에 응용하기 위해.
• 코셰프 호몰로지, 전역 단면(global sections), 그리고 매개변수화된 영속 호몰로지에서의 안정성에 대한未래 연구의 기초를 마련하기 위해.

제안 방법

• McClearly와 Patel의 조합론적 영속 호몰로지 프레임워크를 채택하여, 실수 $\mathbb{R}$ 대신 추상적으로 전체 순서 집합(poset)에 따라 필터링을 색인화한다.
• 같은 셀 내의 방향들이 동일한 조합론적 영속 다이어그램을 유도하도록, $\mathbb{S}^N$의 유한 셀 분할을 구성한다.
• PH 변환을 코셰프 $F: \mathcal{C} \to \mathsf{Fnc}$로 정의한다. 여기서 $\mathcal{C}$는 셀 분할이고, $\mathsf{Fnc}$는 영속 모듈의 범주이다.
• 셀 분할의 면 관계를 활용하여 정점 등가 클래스 간의 순서 집합 사상(poset maps)을 유도하고, 이를 코셰프 구조의 근간으로 삼는다.
• 영속 호몰로지의 함자성(functoriality)을 활용하여, 셀 포함 관계 간의 다이어그램 호환성을 보장한다.
• 셀 코셰프 이론을 적용하여 전체 PHT를 유한하고 응집된 객체로 표현함으로써, 대수적 및 위상적 분석에 적합한 형태로 만든다.

실험 결과

연구 질문

• RQ1 영속 호몰로지 변환은 조합론적 영속 다이어그램의 셀 코셰프로 재구성될 수 있는가? 이를 통해 형태의 범주론적 분석이 가능해지는가?
• RQ2 유한한 셀 분할이 $\mathbb{S}^N$에서 같은 셀 내의 방향들이 조합론적으로 동치인 영속 다이어그램을 유도하도록 보장하는 방식은 무엇인가?
• RQ3 함자성은 PHT에서 잘 정의된 코셰프 구조를 구성하는 데 어떤 역할을 하는가?
• RQ4 기존의 (코)셰프 이론 및 범주론 도구는 결과로 얻어진 영속 다이어그램의 코셰프에 어떻게 적용될 수 있는가?
• RQ5 이러한 코셰프의 전역 단면(global sections)과 코homological 불변량(cohomological invariants)은 무엇이며, 형태 복원과는 어떤 관계가 있는가?

주요 결과

• PL-임bed된 유한 심플리시얼 복합체의 PH 변환은, 동일한 셀 내의 모든 방향이 동일한 조합론적 영속 다이어그램을 유도하는 유한한 셀 분할로 분해 가능하다.
• PHT는 조합론적 영속 다이어그램의 셀 코셰프와 동형이며, 따라서 코셰프의 범주에서 유한한 객체이다.
• 코셰프 구조는 셀 분할의 면 관계에서 유래하며, 이는 높이 함수에 따른 정점 등가 클래스 간의 순서 집합 사상에 의해 생성된다.
• 유형-1과 유형-2의 0차원 셀은 각각 삼점 및 이중 쌍 등가 클래스에 대응하며, 위상적 모순으로 인해 존재할 수 없는 레이블링이 발생한다.
• 코셰프 프레임워크는 모든 방향에 걸친 영속 다이어그램을 통합적이고 응집된 방식으로 표현할 수 있게 하여, 범주론을 통한 전역 분석이 가능하게 한다.
• 이 방법은 원래 형태의 안정적이고 완전하며 유한한 표현을 제공함으로써, 전통적 PHT의 불가측성과 비동형성 문제를 해결한다.