[논문 리뷰] An algebraic Wasserstein distance for generalized persistence modules

Peter Bubenik, Jonathan Scott외 1명|arXiv (Cornell University)|2018. 09. 25.

Topological and Geometric Data Analysis참고 문헌 33인용 수 10

한 줄 요약

이 논문은 영구 모듈의 대수적 워셔스타인 거리를 도입하여 영구 다이어그램을 계산할 필요 없이 거리를 정의한다. 영구 모듈과 그 영구 다이어그램 사이의 p-워셔스타인 거리가 등장하는 것을 증명하여, 간격 분해가 불가능한 모듈과 다중 매개변수 영구 모듈에 대한 적용을 가능하게 한다. 이는 또한 단사 사상과 전사 사상에 대해 유도된 매칭을 확립하는 대수적 프레임워크를 제공한다.

ABSTRACT

The Wasserstein distances are a family of $L^p$ distances, with $1 \leq p \leq \infty$, for persistence diagrams. We define Wasserstein distances for persistence modules, the algebraic counterpart to persistence diagrams, and prove the following isometry theorem. The $p$-Wasserstein distance of a persistence module and its persistence diagram agree. Since our algebraic Wasserstein distances do not require computing a persistence diagram, they apply to persistence modules that are not interval decomposable and also to generalized persistence modules, such as multi-parameter persistence modules. We also prove structure theorems for maps from an interval module and maps to an interval module and show that for monomorphisms and epimorphisms of persistence modules there is an induced algebraic matching.

연구 동기 및 목표

• 영구 다이어그램 계산을 요구하지 않고 영구 모듈 위에 직접 워셔스타인 거리를 정의하기 위해.
• 영구 다이어그램의 표준 워셔스타인 거리로 일반화된 영구 모듈, 특히 다중 매개변수 및 간격 분해가 불가능한 모듈로 워셔스타인 거리를 확장하기 위해.
• 대수적 워셔스타인 거리와 영구 다이어그램 위의 표준 워셔스타인 거리 사이의 등장성(이sovmetry)을 확립하기 위해.
• 간격 모듈을 포함한 사상의 구조 정리를 증명하고, 단사 사상과 전사 사상에 대해 유도된 대수적 매칭을 보여주기 위해.

제안 방법

• 영구 모듈 공간 위에서 L^p 노름을 사용하여 대수적 p-워셔스타인 거리를 정의한다.
• 대수적 p-워셔스타인 거리와 영구 다이어그램 위의 표준 p-워셔스타인 거리 사이의 등장성을 확립한다.
• 영구 모듈의 구조 정리를 활용하여 간격 모듈로의 사상들을 분석한다.
• 영구 모듈 간의 단사 사상과 전사 사상이 대수적 워셔스타인 프레임워크에서 유도된 매칭을 유도함을 증명한다.
• 대수적 공식화를 활용하여 간격 분해가 불가능한 모듈을 초월한 일반화된 거리 개념을 도출한다.
• 도표 기반 계산을 피하기 위해 이론을 다중 매개변수 영구 모듈에 적용한다.

실험 결과

연구 질문

• RQ1 영구 다이어그램에 의존하지 않고 영구 모듈 위에 워셔스타인 거리를 직접 정의할 수 있는가?
• RQ2 대수적 워셔스타인 거리가 영구 다이어그램 위의 표준 워셔스타인 거리와 일치하는가?
• RQ3 이 이론은 간격 분해가 불가능한 모듈과 다중 매개변수 영구 모듈로 어떻게 일반화될 수 있는가?
• RQ4 간격 모듈로의 사상 또는 간격 모듈에서의 사상은 대수적 워셔스타인 설정에서 어떤 구조적 성질을 유도하는가?
• RQ5 영구 모듈 간의 단사 사상과 전사 사상이 대수적 매칭을 유도할 수 있는가?

주요 결과

• 영구 모듈의 대수적 p-워셔스타인 거리는 그에 대응하는 영구 다이어그램의 p-워셔스타인 거리와 등장한다.
• 제안된 대수적 거리는 간격 분해가 불가능한 경우를 포함한 모든 영구 모듈에 대해 잘 정의되어 있다.
• 이 프레임워크는 영구 다이어그램이 일반적으로 이용되지 않는 다중 매개변수 영구 모듈에 자연스럽게 적용된다.
• 간격 모듈로의 사상 또는 간격 모듈에서의 사상은 대수적 워셔스타인 설정에서 특정한 구조적 성질을 유도한다.
• 영구 모듈 간의 단사 사상과 전사 사상은 대수적 매칭을 유도하며, 도표 기반 매칭 개념을 일반화한다.
• 이 이론은 도표 계산이 비현실적인 환경에서 도표 기반 거리의 계산 가능 대안을 제공한다.