[논문 리뷰] Computing the Multicover Bifiltration

René Corbet, Michael Kerber외 2명|arXiv (Cornell University)|2021. 01. 01.

Topological and Geometric Data Analysis인용 수 2

한 줄 요약

이 논문은 에델브루너와 오산의 로모이드 타일링을 기반으로 한 다면체 이필터레이션을 사용하여, 위상적 데이터 분석에서 다중커버 이필터레이션에 대한 계산 효율적인 조합 모델을 제안한다. 이 방법은 차원 d에서 O(nd+1)의 크기 복잡도를 가지며, 2파rameter 지속 호몰로지의 확장 가능한 계산을 가능하게 하며, 실험 결과는 d = 2와 d = 3일 때 각각 크기와 시간이 비제곱 및 비세제곱 성장함을 보여준다.

ABSTRACT

Given a finite set A ⊂ ℝ^d, let Cov_{r,k} denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness.

연구 동기 및 목표

• 원래 기하학적 구성과 위상적으로 동치인 다중커버 이필터레이션을 위한 계산 효율적인 조합 모델을 개발하기 위해.
• 기존 ˇCech 기반 모델의 높은 계산 비용을 해결하기 위해 더 작고 조합적인 대안을 도입하기 위해.
• 다양한 밀도와 이방성 요소를 가진 데이터에 대한 실용적인 2파라미터 지속 호몰로지 계산을 가능하게 하기 위해.
• 다양한 공간적 및 밀도 척도에서 위상적 구조를 분석하기 위한 확장 가능한 프레임워크를 제공하기 위해.
• 실제 데이터 분석에 응용 가능한 다중커버 이필터레이션의 향후 응용을 지원하기 위해.

제안 방법

• Rd+1에서의 로모이드 타일링을 기반으로 한 다면체 이필터레이션을 구성하여, 이는 다중커버 이필터레이션과 위상적으로 동치이다.
• 에델브루너와 오산의 알고리즘의 변형을 사용하여 로모이드 타일링을 효율적으로 계산한다.
• 로모이드 이필터레이션과 원래 다중커버 이필터레이션 간의 위상적 동치성을 공식적으로 증명하기 위해 단체 모델을 도입한다.
• k-파라미터를 임계값으로 설정하여 이필터레이션의 크기를 제어하고, 관련된 밀도 수준에 한정하여 계산을 수행한다.
• d = 2와 d = 3에 대해 방법을 구현하여 실험적 평가를 통해 확장 가능성을 입증한다.
• 이필터레이션을 사용하여 힐버트 함수를 계산하고 위상적 불변량을 시각화하여 노이즈에 대한 안정성을 설명한다.

실험 결과

연구 질문

• RQ1 다중커버 이필터레이션과 위상적으로 동치인 더 작은 조합적 이필터레이션을 구성할 수 있는가?
• RQ2 이러한 모델의 계산 복잡도는 무엇이며, 실용적인 데이터 크기로 확장 가능한가?
• RQ3 차원과 임계값 K가 증가함에 따라 모델의 크기와 계산 시간은 어떻게 증가하는가?
• RQ4 이 모델은 2파라미터 지속 호몰로지 불변량의 효율적 계산을 지원할 수 있는가?
• RQ5 이론적으로 예측된 바와 같이, 기하학적 변형과 노이즈에 대해 안정성 특성을 유지하는가?

주요 결과

• 로모이드 기반 다면체 이필터레이션은 차원 d에서 O(nd+1)의 크기 복잡도를 가지며, ˇCech 기반 모델보다 훨씬 작다.
• d = 2일 때, 이필터레이션의 크기와 그에 대응하는 FIREP(필터링된 리프스 복합체)는 증가하는 K에 대해 비제곱 성장함을 보인다.
• d = 3일 때, 이필터레이션의 크기는 증가하는 K에 대해 비세제곱 성장함을 보이며, 유리한 확장 가능성을 시사한다.
• 계산 시간과 메모리 사용량은 점의 수에 대해 대체로 선형적으로 증가하며, 약간의 초선형 경향을 보인다.
• 실험 결과는 로모이드 기반 모델의 상대적 성능이 K가 증가함에 따라 향상됨을 확인한다.
• rivet4를 사용한 첫 번째 힐버트 함수의 시각화는 노이즈가 많고 복잡한 데이터에서 다중커버 이필터레이션의 리프시츠 안정성을 보여준다.