[논문 리뷰] The algebraic stability for persistent Laplacians

Jian Liu, Jingyan Li외 1명|arXiv (Cornell University)|2023. 02. 08.

Topological and Geometric Data Analysis인용 수 11

한 줄 요약

이 논문은 persistent Laplacians에 대한 카테고리적 프레임워크를 개발하고, Laplacian trees를 도입하며, 이러한 트리에 대한 대수적 안정성 정리를 증명하고, 그 결과를 단순복합체 및 다이그래프에서의 실값 함수에 적용한다.

ABSTRACT

The stability of topological persistence is one of the fundamental issues in topological data analysis. Numerous methods have been proposed to address the stability of persistent modules or persistence diagrams. Recently, the concept of persistent Laplacians has emerged as a novel approach to topological persistence, attracting significant attention and finding applications in various fields. In this paper, we investigate the stability of persistent Laplacians. We introduce the notion of ``Laplacian trees'', which captures the collection of persistent Laplacians that persist from a given parameter. To formalize our study, we construct the category of Laplacian trees and establish an algebraic stability theorem for persistent Laplacian trees. Notably, our stability theorem is applied to the real-valued functions on simplicial complexes and digraphs.

연구 동기 및 목표

• topological persistence를 위한 안정성 질문을 일반적인 persistence diagrams를 넘어 살펴보기 위해 persistent Laplacians에 초점을 맞춘다.
• Laplacian trees를 persistent Laplacians의 구조화된 카테고리적 모음으로 도입한다.
• differential graded inner product spaces and their Laplacian trees의 범주 안에서 대수적 안정성 정리를 개발한다.
• 함수적 구성(functorial constructions)을 통해 persistent homology와 persistent harmonic spaces를 어떻게 회복하고 관련지을 수 있는지 보여준다.
• 단순복합체 및 다이그래프에서의 실값 함수에 대한 구체적 적용을 통해 안정성 결과를 구체적으로 제시한다

제안 방법

• 카테고리 (R,≤)의 지속성 객체를 differential graded inner product spaces (DGI)로 매핑한다.
• DGIs 사이의 사상과 포함을 이용해 지속성 Laplacian Δ^{a,b}_{S}를 구성하고, 지속적 Hodge 분해(Theorem 3.10)를 도출한다.
• 사상(사상들)에 의해 매개된 Laplacians의 가족을 인코딩하는 범주적 객체 (V,A)로 Laplacian trees를 구성하고 그 특성을 연구한다.
• ε-간섭(Epsilon-interleaving) 등가가 지속성 Laplacian trees 간의 간섭이 기반 지속성 DGIs의 ε-간섭과 동등하다는 대수적 안정성 정리(Theorem 1.3)를 증명한다.
• Laplanian trees의 interleaving 거리와 기반 지속성 객체의 interleaving 거리가 동일하다는 결과(Corollary 1.4)를 도출한다.
• 프레임워크를 단순복합체 및 다이그래프의 실값 함수에 적용하여 안정성을 설명한다(Theorems 1.5–1.6).

실험 결과

연구 질문

• RQ1 persistent Laplacians를 안정성 분석을 지원하도록 범주적으로 조직화할 수 있는가?
• RQ2 persistence diagrams에 사용된 interleaving 프레임워크를 persistence Laplacian trees에 확장할 수 있는가?
• RQ3 이 대수적 설정에서 persistent harmonic spaces와 persistent homology 사이의 정확한 관계는 무엇인가?
• RQ4 persistent Laplacian trees의 안정성 경계가 단순복합체 및 다이그래프의 실값 함수에 대한 안정성 결과로 어떻게 번역되는가?

주요 결과

• persistent harmonic spaces와 persistent homology가 persistence modules로서 자연스럽게 동형임을 보인다(Theorem 1.1).
• persistence Laplacian trees는 ε-interleaved이며, 이는 기저의 persistence DGIs가 ε-interleaved일 때에만 해당한다(Theorem 1.3).
• Laplacian trees의 interleaving 거리는 기반 persistence 객체의 interleaving 거리와 일치한다(Corollary 1.4).
• 단순복합체의 비감소(real-valued) 함수에 대해 그들의 persistence Laplacian trees 간의 interleaving 거리는 함수 간의 무한대 노름 거리에 의해 상한이 주어진다(Theorem 1.5).
• 다이그래프 설정에서 대수적 안정성 정리는 Laplacians의 interleaving 거리와 관련하여 persistent harmonic spaces와 persistent homology를 연결한다(Theorem 1.6).
• Corollaries는 다이그래프에 대한 함수 차이와 무한대 노름에 대한 명시적 경계를 제공한다(Corollary 1.7).