[논문 리뷰] Mutiscale Mapper: A Framework for Topological Summarization of Data and Maps

Tamal K. Dey, Facundo Mémoli외 1명|arXiv (Cornell University)|2015. 04. 15.

Topological and Geometric Data Analysis참고 문헌 20인용 수 11

한 줄 요약

이 논문은 도메인의 코어포트를 포함하는 중첩된 커버를 통해 심플렉스 복합체의 타워를 구성함으로써 데이터 맵의 계층적이고 스케일 연속적인 요약을 생성하는 다스케일 메이퍼라는 위상적 프레임워크를 소개한다. 이 구성의 안정성을 증명하고, 조각별 선형 함수에 대해서는 정확하게, 일반 맵에 대해서는 근사적으로 영속성 다이어그램을 계산할 수 있는 효율적인 알고리즘을 제공하며, 당김 메트릭을 통한 Čech 복합체와의 연결을 맺는다.

ABSTRACT

Summarizing topological information from datasets and maps defined on them is a central theme in topological data analysis. extsf{Mapper}, a tool for such summarization, takes as input both a possibly high dimensional dataset and a map defined on the data, and produces a summary of the data by using a cover of the codomain of the map. This cover, via a pullback operation to the domain, produces a simplicial complex connecting the data points. The resulting view of the data through a cover of the codomain offers flexibility in analyzing the data. However, it offers only a view at a fixed scale at which the cover is constructed. Inspired by the concept, we explore a notion of a tower of covers which induces a tower of simplicial complexes connected by simplicial maps, which we call {\em multiscale mapper}. We study the resulting structure, its stability, and design practical algorithms to compute its associated persistence diagrams efficiently. Specifically, when the domain is a simplicial complex and the map is a real-valued piecewise-linear function, the algorithm can compute the exact persistence diagram only from the 1-skeleton of the input complex. For general maps, we present a combinatorial version of the algorithm that acts only on \emph{vertex sets} connected by the 1-skeleton graph, and this algorithm approximates the exact persistence diagram thanks to a stability result that we show to hold. We also relate the multiscale mapper with the Čech complexes arising from a natural pullback pseudometric defined on the input domain.

연구 동기 및 목표

• 표준 메이퍼가 단일 스케일 위상 요약만 제공하는 한계를 해결하기 위해 다스케일 확장을 도입하기 위해.
• 스케일을 거쳐 변화하는 커버 타워와 관련된 심플렉스 복합체를 체계화하여 영속성 위상 분석을 가능하게 하기 위해.
• 커버와 맵의 변형에 대해 다스케일 메이퍼 구성의 이론적 안정성을 확립하기 위해.
• 정확하게 PL 함수에 대해, 일반 맵에 대해 약간의 근사로 영속성 다이어그램을 계산할 수 있는 효율적인 알고리즘을 설계하기 위해.
• 당김 메트릭을 통한 Čech 복합체와의 연결을 통해 다스케일 메이퍼를 고전적 복합체와 이론적이고 계산적으로 연결하기 위해.

제안 방법

• 코어포트 공간 Z의 커버 타워를 스케일 ε에 따라 구성하여 중첩된 커버의 시퀀스 {U_ε}를 형성한다.
• 맵 f:X→Z를 통한 이러한 커버의 당김을 사용하여 다스케일 메이퍼를 이루는 심플렉스 복합체 M(ε)의 시퀀스를 생성한다.
• 심플렉스 사상으로 연결된 심플렉스 복합체의 타워를 정의하며, 스케일 간에 영속성 다이어그램을 계산한다.
• 심플렉스 복합체 위의 조각별 선형 실수 함수에 대해, 입력 복합체의 1-스켈레톤만을 사용하여 정확한 영속성 다이어그램을 계산한다.
• 일반 맵에 대해, 정점 집합과 1-스켈레톤에서 작동하는 조합적 알고리즘을 도입하여 안정성 결과를 통해 정확한 다이어그램을 근사한다.
• 도메인 X에 대한 당김 편의 메트릭 d_{U,f}를 정의하여 다스케일 메이퍼를 Čech 필터레이션과 연결하고, 안정성 및 인터리빙 증명을 가능하게 한다.

실험 결과

연구 질문

• RQ1 단일 스케일 메이퍼 구성은 어떻게 연속적이고 스케일 연속적인 위상 요약을 생성할 수 있도록 일반화될 수 있는가?
• RQ2 특히 안정성과 같은 이론적 보장은 다스케일 프레임워크에 대해 어떤 것이 가능할 수 있는가?
• RQ3 특히 PL 함수와 일반 맵에 대해 영속성 다이어그램을 계산할 수 있는 효율적인 알고리즘을 설계할 수 있는가?
• RQ4 다스케일 메이퍼는 고전적 구성 예를 들어 리브 그래프나 Čech 복합체와 어떻게 관련이 있는가?
• RQ5 커버 스케일 ε→0 일 때 다스케일 메이퍼가 수렴하는 최종 위상적 객체는 무엇인가?

주요 결과

• 다스케일 메이퍼 프레임워크는 심플렉스 복합체의 타워와 심플렉스 사상으로 연결된 계층적이고 스케일 연속적인 데이터 맵의 위상 요약을 생성한다.
• 심플렉스 복합체 위의 조각별 선형 실수 함수에 대해, 입력 복합체의 1-스켈레톤만을 사용하여 정확한 영속성 다이어그램을 계산할 수 있다.
• 일반 맵에 대해, 조합적 알고리즘이 정확한 다이어그램을 근사하며, 근사 오차는 안정성 결과에 의해 제한된다.
• 다스케일 메이퍼는 당김 메트릭 d_{U,f}로부터 생성된 Čech 복합체와 인터리빙되어 있으며, 고전적 영속성 호몰로지와의 이론적 연결을 확립한다.
• 커버와 맵 f의 변형에 대해 프레임워크는 안정적이며, 커버와 함수의 변형에 대해 모두 인터리빙 기반 안정성이 증명된다.
• 커버 스케일 ε→0 일 때 구성은 리브 스페이스로 수렴하며, 이는 메이퍼의 연속적 일반화임을 시사한다.