[논문 리뷰] Wasserstein Stability for Persistence Diagrams

Primož Škraba, Katharine Turner|arXiv (Cornell University)|2020. 06. 30.

Topological and Geometric Data Analysis참고 문헌 38인용 수 21

한 줄 요약

이 논문은 새로운 세포적 접근법과 대수적 프레임워크를 사용하여 영구 다이어그램에 대한 p-와서르스타인 안정성을 확립하며, 전통적인 봉합 안정성보다 더 날카운 bounds를 제공한다. 이는 회색조 이미지, 영구 호모로지 변환, 비에토리스-립스 복합체에 대한 안정성을 증명하며, 봉합 안정성의 간소화된 증명과 모듈의 짧은 정확한 수열에서의 총 영구 다이어그램의 하한/상한 bounds를 포함한 주요 기여를 한다.

ABSTRACT

The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds with respect to outliers. In this paper, we provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams. This includes an elementary proof for the setting of functions on sufficiently finite spaces in terms of the $p$-norm of the perturbations, along with an algebraic framework for $p$-Wasserstein distance which extends the results to wider class of modules. We also provide apply the results to a wide range of applications in topological data analysis (TDA) including topological summaries, persistence transforms and the special but important case of Vietoris-Rips complexes.

연구 동기 및 목표

• 봉합 기반 안정성의 한계를 해결하기 위해, 특히 영구 다이어그램 공간에서의 낙관적 bounds와 병리적인 거동에 초점을 맞춘다.
• p=1 또는 p=2가 선호되는 적용 분야에서 더 날카우며 실용적인 bounds를 제공하는 p-와서르스타인 안정성 프레임워크를 개발한다.
• 봉합 거리 이외의 더 넓은 범주로의 영구 모듈에 대한 안정성 결과를 확장하기 위해, p-와서르스타인 거리의 대수적 표현을 사용한다.
• 회색조 이미지의 하위레벨 필터링 및 영구 변환과 같은 영구 요약에 대한 새로운 안정성 정리 수립.
• 짧은 정확한 수열에서 영구 모듈의 총 영구 다이어그램(노름)에 대한 기하학적 bounds를 유도하며, 상한과 놀라운 하한을 모두 포함한다.

제안 방법

• 영구 다이어그램의 점과 세포 필터링의 임계 세포 사이의 국소적 대응을 활용하여 세포적 p-와서르스타인 안정성 정리를 도입한다.
• 재배열 부등식을 사용하여 유한 복합체에서 함수의 변동에 대한 p-노름을 기반으로 다이어그램 간의 p-와서르스타인 거리를 유계로 한다.
• 지점별 유한 차원 영구 모듈에 대한 p-와서르스타인 거리의 대수적 표현을 개발하여, 간격 분해 가능 모듈을 초월한 개념을 일반화한다.
• 영구 모듈에 대한 노름(총 영구 다이어그램)을 정의하고 짧은 정확한 수열에서 Minkowski 유형의 부등식을 증명하여 상한과 하한을 모두 도출한다.
• 세포 안정성 정리를 적용하여 회색조 이미지의 하위레벨 필터링과 영구 호모로지 변환에 대한 안정성 결과를 도출한다.
• 대수적 프레임워크를 사용하여, 새로운 보간 물체 개념을 통해 다중 매개변수 모듈과 시프 기반 영구 다이어그램과 같은 더 복잡한 설정으로 안정성을 일반화한다.

실험 결과

연구 질문

• RQ1 봉합 안정성 또는 상호 끼워맞춤 논증에 의존하지 않고도 영구 다이어그램에 대한 p-와서르스타인 안정성을 확립할 수 있는가?
• RQ2 간격 분해가 가능하지 않은 경우, 영구 모듈의 맥락에서 p-와서르스타인 거리가 어떻게 대수적으로 특징지어질 수 있는가?
• RQ3 p-와서르스타인 안정성은 영구 변환과 영구 랜드스케이프와 같은 영구 요약에 어떤 영향을 미치는가?
• RQ4 짧은 정확한 수열에서 모듈의 총 영구 다이어그램에 하한을 도출할 수 있으며, 그 기하학적 의미는 무엇인가?
• RQ5 외곽선이나 랜덤 점 프로세스(예: 포아송 분포 점 클러스터)가 존재할 경우, p-와서르스타인 bounds는 안정성 분석을 어떻게 향상시키는가?

주요 결과

• 세포적 p-와서르스타인 안정성 정리가 증명되었으며, 이는 유한 복합체에서 봉합 안정성에 대한 단순화되고 직접적인 증명을 제공한다.
• 영구 다이어그램 간의 p-와서르스타인 거리는 함수의 변동에 대한 p-노름으로 유계지며, 기존의 ∞-와서르스타인(봉합) 안정성보다 더 날카우며 실용적인 bounds를 제공한다.
• 세포 프레임워크를 사용하여 회색조 이미지의 하위레벨 필터링, 영구 호모로지 변환, 비에토리스-립스 필터링에 대한 안정성이 확립되었다.
• p-와서르스타인 거리의 새로운 대수적 표현이 개발되었으며, 이는 ∞-와서르스타인 경우로 봉합 거리를 복원하고, 기술적 조건 하에 지점별 유한 차원 모듈에 적용 가능하다.
• 짧은 정확한 수열에서 총 영구 다이어그램에 대한 Minkowski 유형의 부등식이 증명되었으며, 상한과 놀라운 하한을 모두 도출하였다. 하한은 새로운 기하학적 결과이다.
• 결과적으로 영구 랜드스케이프가 1-와서르스타인 거리 하에서 리프시츠 안정성에 해당하지 않음을 시사하며, 이는 분야 내 핵심 열린 질문을 해결한다.