[논문 리뷰] Wasserstein distance for generalized persistence modules and abelian categories

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

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

한 줄 요약

이 논문은 일반화된 영속 모듈러에 대한 워셔스타인 거리의 대수적 표현을 제안하며, 표준적인 L^p 거리 체계를 영속 다이어그램을 넘어서 모든 영속 모듈러로 확장한다. p=1일 때 정의는 아벨 범주로 일반화되며, 임의의 p에 대해서는 크룰-슈미트 범주로 일반화되어 다중 매개변수 영속 모듈러에 대한 워셔스타인 거리를 가능하게 하며, 이들의 계산을 위한 기초를 제공한다.

ABSTRACT

In persistence theory and practice, measuring distances between modules is central. The Wasserstein distances are the standard family of L^p distances for persistence modules. They are defined in a combinatorial way for discrete invariants called persistence diagrams that are defined for certain persistence modules. We give an algebraic formulation of these distances that applies to all persistence modules. Furthermore, for p=1 this definition generalizes to abelian categories and for arbitrary p it generalizes to Krull-Schmidt categories. In particular, we obtain a definition of Wasserstein distance for multi-parameter persistence modules. These distances may be useful for the computation of distance between generalized persistence modules. In our most technical proof, we classify certain maps of persistence modules, which may be of independent interest.

연구 동기 및 목표

• 영속 다이어그램이 아닌 모든 영속 모듈러에 적용 가능한 통합된 대수적 표현을 제공하는 것.
• p=1일 때 워셔스타인 거리의 정의를 아벨 범주로 확장하고, 임의의 p에 대해 크룰-슈미트 범주로 확장하는 것.
• 伝통적인 다이어그램 기반 정의가 실패하는 다중 매개변수 영속 모듈러에서 워셔스타인 거리를 사용할 수 있도록 하는 것.
• 강력한 범주론적 접근 거리 프레임워크를 통해 일반화된 영속 모듈러의 계산 분석을 지원하는 것.

제안 방법

• 영속 모듈러의 구조와 그 분해를 이용해 워셔스타인 거리의 대수적 정의를 개발하는 것.
• 크룰-슈미트 정리를 활용해 크룰-슈미트 범주 내의 직합 분해를 통해 거리를 정의하는 것.
• 범주론적 도구를 적용해 p=1일 때 L^p 거리를 아벨 범주로 일반화하는 것.
• 모듈러 간의 조합적 사상들을 사용해 불가분 성분 간의 최적 매칭을 정의하고, 이를 거리의 기초로 삼는 것.
• 최적 매칭과 모듈러 범주 내의 최소 해소 사이의 대응 관계를 설정하는 것.
• 거리 구축의 기초가 되는 모듈러 사상의 기술적 분류를 증명하는 것 — 이는 별도의 관심을 끌 만한 결과일 수 있음.

실험 결과

연구 질문

• RQ1 영속 다이어그램에 의존하지 않고 영속 모듈러에 대해 워셔스타인 거리를 어떻게 대수적으로 정의할 수 있는가?
• RQ2 워셔스타인 거리는 이산적 다이어그램에서부터 영속 모듈러의 전체 범주로 일반화될 수 있는가?
• RQ3 p=1일 때 워셔스타인 거리는 표준 영속 모듈러 설정을 초월해 아벨 범주로 자연스럽게 확장될 수 있는가?
• RQ4 범주론적 일반화를 통해 이 프레임워크를 다중 매개변수 영속 모듈러로 확장할 수 있는가?
• RQ5 거리 계산을 위한 최적 매칭을 구성하는 데 기여하는 모듈러 사상의 구조적 성질은 무엇인가?

주요 결과

• 논문은 영속 다이어그램이 아닌 모든 영속 모듈러에 적용 가능한 완전히 대수적인 워셔스타인 거리 정의를 제공한다.
• p=1일 때 워셔스타인 거리는 아벨 범주로 일반화되어 더 넓은 범주론적 환경에서 사용 가능해진다.
• 임의의 p에 대해 정의는 크룰-슈미트 범주로 확장되며, 이는 다중 매개변수 영속 모듈러를 포함한다.
• 이 구축은 불가분 성분 간의 최적 매칭이 존재하도록 보장하는 모듈러 사상의 분류에 의존한다.
• 이 프레임워크는 다이어그램 기반 방법이 일반적으로 적용되지 않는 다중 매개변수 영속 모듈러에서의 거리 계산을 지원한다.
• 증명 과정에서의 사상 분류 기술은 모듈러 이론과 표현 이론 분야에서 별도의 응용 가능성을 지닐 수 있다.