[논문 리뷰] Understanding the Topology and the Geometry of the Space of Persistence Diagrams via Optimal Partial Transport

Vincent Divol, Théo Lacombe|arXiv (Cornell University)|2019. 01. 10.

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

한 줄 요약

이 논문은 상반평면 위의 라돈 측도로 일반화된 영속도를 최적의 부분 운반 이론에 기반한 형식적 접근을 제안한다. 이는 그들의 공간에 대한 통합된 기하학적 및 위상수학적 분석을 가능하게 하며, 수렴 기준을 설정하고 프레셰 평균을 특성화하며 기대 영속도의 안정성을 증명함으로써 와서스타인 거리 척도를 연속 측도로 확장하여 위상적 데이터 분석에서 통계적 응용을 가능하게 한다.

ABSTRACT

Despite the obvious similarities between the metrics used in topological data analysis and those of optimal transport, an optimal-transport based formalism to study persistence diagrams and similar topological descriptors has yet to come. In this article, by considering the space of persistence diagrams as a space of discrete measures, and by observing that its metrics can be expressed as optimal partial transport problems, we introduce a generalization of persistence diagrams, namely Radon measures supported on the upper half plane. Such measures naturally appear in topological data analysis when considering continuous representations of persistence diagrams (e.g.\ persistence surfaces) but also as limits for laws of large numbers on persistence diagrams or as expectations of probability distributions on the persistence diagrams space. We explore topological properties of this new space, which will also hold for the closed subspace of persistence diagrams. New results include a characterization of convergence with respect to Wasserstein metrics, a geometric description of barycenters (Fr\'echet means) for any distribution of diagrams, and an exhaustive description of continuous linear representations of persistence diagrams. We also showcase the strength of this framework to study random persistence diagrams by providing several statistical results made meaningful thanks to this new formalism.

연구 동기 및 목표

• 영속도의 공간을 상반평면 위의 라돈 측도의 부분집합으로 형식화하여 연속적 표현과 통계적 극한을 가능하게 한다.
• 이산 영속도에서 일반 라돈 측도로까지 와서스타인 유형 거리 척도(dp)를 확장하여 통계적 수렴과 기대값에 대한 일致성을 확보한다.
• 최적 운반의 맥락에서 수렴, 중앙값(프레셰 평균), 선형 표현의 기하학적 및 위상수학적 특성화를 제공한다.
• 기본 데이터 분포의 변동에 대한 기대 영속도의 안정성 결과를 확립한다.
• 위상적 데이터 분석의 이론적 프레임워크를 최적 운반 이론과 통합하여 통계적 추론 및 기계학습 응용을 향상시킨다.

제안 방법

• 영속도를 상반평면 Ω = {(t₁, t₂) ∈ ℝ² : t₂ > t₁} 위의 이산 라돈 측도로 표현하여 연속 측도로 일반화한다.
• 와서스타인 거리와 봉쇄 거리를 측도 간의 최적 부분 운반 문제로 재구성하며, 대각선 ∂Ω를 매칭 경계로 사용한다.
• 라돈 측도 공간에서 측도의 수렴을 보장하기 위해 약한 수렴보다 강한 수렴인 VM 위상(약한 수렴보다 강한 위상)을 도입한다.
• dp의 일반화로서 라돈 측도 위에 OTp 거리를 정의하여 수렴 분석과 통계적 추론을 가능하게 한다.
• 보흐너 적분을 적용하여 랜덤 영속도 측도의 선형 기대값을 정의하여 측도론적 수렴과 일致함을 보장한다.
• 최적 운반 이중성과 쌍대성 논증을 사용하여 분포의 변동에 대한 프레셰 평균과 기대 영속도의 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 기하학적 및 거리 체계의 구조를 유지하면서 영속도를 연속 측도로 일반화할 수 있는가?
• RQ2 영속도의 수열과 그 연속적 대체물에 대한 올바른 위상과 수렴 기준은 무엇인가?
• RQ3 영속도 공간 위의 확률분포에 대한 프레셰 평균(중심값)의 기하학적 및 존재적 특성은 무엇인가?
• RQ4 기본 데이터 생성 분포의 변동에 대해 기대 영속도의 안정성은 어떻게 되는가?
• RQ5 최적 운반 척도는 이산 영속도에서 라돈 측도로 일致성 있게 확장될 수 있는가? 이는 TDA에서의 통계적 추론을 지원할 수 있는가?

주요 결과

• OTp 거리에서의 영속도 수렴은 VM 위상 하에서 해당 라돈 측도의 약한 수렴과 동치이다.
• 임의의 영속도 공간 위의 확률분포에 대한 프레셰 평균(중심값)은 존재하며, 라돈 측도 공간 위의 최적 운반 문제의 해로 특성화된다.
• 랜덤 과정의 기대 영속도는 라돈 측도이며, 다른 기대 영속도와의 OTp 거리는 기저 데이터 분포 간의 p-와서스타인 거리로 유계진다.
• ℝᵈ 내의 점 과정에서의 i.i.d. 표본에 대해, 기대 영속도 간의 OTp 거리는 n · Wₚ₋ₖ(ξ, ξ′)ᵖ⁻ᵏ (p > k + d, k > d) 비례하여 감소하며, 표본 추출 하에서 강한 수렴을 보인다.
• 기대 영속도 간의 봉쇄 거리는 기저 점 과정의 법칙 간의 와서스타인 거리로 유계진다. 이는 극한에서의 안정성 결과를 도출한다.
• 이 프레임워크는 라돈 측도 공간 위의 연속 선형 함수로 특성화된 표준 TDA 표현(예: 영속도 표면, 베티 곡선)의 연속성을 가능하게 한다.