[논문 리뷰] Computing Topological Persistence for Simplicial Maps

Tamal K. Dey, Fengtao Fan외 1명|arXiv (Cornell University)|2012. 08. 24.

Topological and Geometric Data Analysis참고 문헌 12인용 수 9

한 줄 요약

이 논문은 단순 복합체 사상의 단조 수열에 대해 위상적 영속성을 효율적으로 계산하는 알고리즘을 제안하며, 간단한 단순체 표기법을 사용하여 지그재그 전환을 피한 직접 계산을 가능하게 한다. 주요 기여는 이전에 다루지 않은, 정점 축소를 통한 일관된 코호몰로지 및 호모로지 기저 유지 기법을 제안한 점이며, 특히 그래프 유도 복합체를 통한 리프스 복합체 영속성 근사와 같은 응용 분야에서 기존의 단순한 콘 기반 접근보다 성능 향상을 이룬다.

ABSTRACT

Algorithms for persistent homology and zigzag persistent homology are well-studied for persistence modules where homomorphisms are induced by inclusion maps. In this paper, we propose a practical algorithm for computing persistence under $\mathbb{Z}_2$ coefficients for a sequence of general simplicial maps and show how these maps arise naturally in some applications of topological data analysis. First, we observe that it is not hard to simulate simplicial maps by inclusion maps but not necessarily in a monotone direction. This, combined with the known algorithms for zigzag persistence, provides an algorithm for computing the persistence induced by simplicial maps. Our main result is that the above simple minded approach can be improved for a sequence of simplicial maps given in a monotone direction. A simplicial map can be decomposed into a set of elementary inclusions and vertex collapses--two atomic operations that can be supported efficiently with the notion of simplex annotations for computing persistent homology. A consistent annotation through these atomic operations implies the maintenance of a consistent cohomology basis, hence a homology basis by duality. While the idea of maintaining a cohomology basis through an inclusion is not new, maintaining them through a vertex collapse is new, which constitutes an important atomic operation for simulating simplicial maps. Annotations support the vertex collapse in addition to the usual inclusion quite naturally. Finally, we exhibit an application of this new tool in which we approximate the persistence diagram of a filtration of Rips complexes where vertex collapses are used to tame the blow-up in size.

연구 동기 및 목표

• 일반적인 단순체 사상에 의한 위상적 영속성 계산을 위한 효율적인 알고리즘을 개발하는 것.
• 맵핑 цили드르를 통한 지그재그 영속성 시뮬레이션의 계산 비효율성을 피하기 위해 큰 중간 복합체를 생성하지 않도록 하는 것.
• annotation 기반 영속 호모로지 기법을 정점 축소와 같은 포함관계도 아니고 삭제도 아닌 연산에까지 확장하는 것.
• 그래프 유도 복합체를 이용한 대규모 리프스 복합체의 영속성 다이어그램 근사를 위한 방법의 유효성을 입증하는 것.
• 비단순 또는 복잡한 맵핑 유도 필터레이션을 포함한 위상적 데이터 분석 워크로드에 실용적이고 효율적인 구현을 제공하는 것.

제안 방법

• 이 방법은 포함 및 정점 축소와 같은 기본 연산의 시퀀스를 통해 단순체 사상을 시뮬레이션하며, 간단한 단순체 표기법을 이용해 두 연산 모두 효율적으로 지원한다.
• 표기법은 이러한 연산 전반에 걸쳐 일관된 코호몰로지 기저를 유지하며, 쌍대성에 의해 일관된 호모로지 기저도 보장된다.
• 정점 축소는 표기법 업데이트를 통해 처리되며, 이는 이전 방법이 포함만 지원했던 데 비해 새로운 기여이다.
• 이 방법은 콘 기반 지그재그 시뮬레이션과 같은 큰 중간 복합체를 생성하지 않아, 지그재그 영속성 시뮬레이션 대비 공간 및 시간 오버헤드를 줄인다.
• 알고리즘은 $\mathbb{Z}_2$ 계수를 기반으로 하며, 표기된 단순체에 대한 이진 행렬 연산을 효율적으로 처리할 수 있는 데이터 구조를 활용한다.
• 이 방법은 원본 필터레이션과 교차하는 그래프 유도 복합체(GICs)를 구성하여 리프스 복합체의 영속성을 효율적으로 근사하는 데 응용된다.

실험 결과

연구 질문

• RQ1 일반적인 단순체 사상에 의한 필터레이션, 특히 포함관계에 의한 필터레이션 외에도 영속 호모로지가 효율적으로 계산될 수 있는가?
• RQ2 포함관계도 아니고 삭제도 아닌 연산인 정점 축소는 annotation 기반 영속 호모로지 계산에 어떻게 통합될 수 있는가?
• RQ3 맵핑 유도 필터레이션에서 콘 기반 지그재그 시뮬레이션을 피할 수 있는가?
• RQ4 단순한 지그재그 영속성 시뮬레이션 대비 이 방법이 단순체 사상에 대해 어떤 성능 향상을 보이는가?
• RQ5 이 방법을 통해 그래프 유도 복합체를 이용해 대규모 리프스 복합체의 영속성 다이어그램을 확장 가능하게 근사할 수 있는가?

주요 결과

• 제안된 알고리즘은 비포함 사상에도 불구하고 포함 기반 영속성과 동일한 $O(n^3)$ 시간 복잡도로 단조 단순체 사상에 대한 영속성을 계산한다.
• 정점 축소가 표기 프레임워크에 성공적으로 통합되어, 이전에 다루지 않은 과제였던 일관된 코호몰로지 기저 유지가 가능해졌다.
• 콘 기반 지그재그 시뮬레이션에서처럼 큰 중간 복합체를 생성하지 않아, 공간 및 시간 오버헤드가 크게 감소했다.
• 알고리즘은 원본 리프스 필터레이션과 교차하는 그래프 유도 복합체(GICs)를 구성함으로써 리프스 복합체 영속성의 효율적 근사를 가능하게 했다.
• 실험 결과, GICs의 크기가 전체 리프스 복합체에 비해 훨씬 작았으며, 이는 대규모 위상적 데이터 분석에서 공간과 시간 간의 실용적인 트레이드오프를 제공함을 보여주었다.
• 실용적인 성능 향상을 보이는 SimpPers라는 효율적인 구현이 제공되며, 기존의 지그재그 기반 접근보다 실용성과 성능 향상을 입증했다.