[논문 리뷰] A Generalization of the Persistent Laplacian to Simplicial Maps

Aziz Burak Gülen, Facundo Mémoli외 2명|arXiv (Cornell University)|2023. 01. 01.

Graph theory and applications인용 수 2

한 줄 요약

이 논문은 슈어 보존을 활용하여 포함관계가 아닌 일반적인 가중치 유지 심플렉스 사상으로 지속 라플라시안을 일반화한다. 이를 통해 상향 및 하향 지속 라플라시안을 정의하고, 지속 라플라시안의 영공간 차원이 지속 베티 수와 같음을 증명하며, 이를 계산하기 위한 알고리즘을 제시하고, 사상의 병합에 따른 본질적 고유값의 단조성도 확립한다. 이는 포함 기반 필터링을 넘어서는 스펙트럼 지속 이론을 확장한다.

ABSTRACT

The (combinatorial) graph Laplacian is a fundamental object in the analysis of, and optimization on, graphs. Via a topological view, this operator can be extended to a simplicial complex K and therefore offers a way to perform "signal processing" on p-(co)chains of K. Recently, the concept of persistent Laplacian was proposed and studied for a pair of simplicial complexes K ↪ L connected by an inclusion relation, further broadening the use of Laplace-based operators. In this paper, we significantly expand the scope of the persistent Laplacian by generalizing it to a pair of weighted simplicial complexes connected by a weight preserving simplicial map f: K → L. Such a simplicial map setting arises frequently, e.g., when relating a coarsened simplicial representation with an original representation, or the case when the two simplicial complexes are spanned by different point sets, i.e. cases in which it does not hold that K ⊂ L. However, the simplicial map setting is much more challenging than the inclusion setting since the underlying algebraic structure is much more complicated. We present a natural generalization of the persistent Laplacian to the simplicial setting. To shed insight on the structure behind it, as well as to develop an algorithm to compute it, we exploit the relationship between the persistent Laplacian and the Schur complement of a matrix. A critical step is to view the Schur complement as a functorial way of restricting a self-adjoint positive semi-definite operator to a given subspace. As a consequence of this relation, we prove that the qth persistent Betti number of the simplicial map f: K → L equals the nullity of the qth persistent Laplacian Δ_q^{K,L}. We then propose an algorithm for finding the matrix representation of Δ_q^{K,L} which in turn yields a fundamentally different algorithm for computing the qth persistent Betti number of a simplicial map. Finally, we study the persistent Laplacian on simplicial towers under weight-preserving simplicial maps and establish monotonicity results for their eigenvalues.

연구 동기 및 목표

• 포함 기반 필터링을 초월하여, 가중치 유지 심플렉스 사상 간의 가중치가 있는 심플렉스 복합체 사이로 지속 라플라시안을 일반화하는 것.
• K ⊆ L 조건이 필요 없이도, 더 넓은 심플렉스 사상 설정에서 지속 라플라시안의 이론적 기반을 마련하는 것.
• Schur 보존 기법을 사용하여 지속 라플라시안 행렬 표현을 계산하기 위한 알고리즘을 개발하는 것.
• 임의의 심플렉스 사상에 대해 지속 라플라시안의 영공간 차원이 지속 베티 수와 같음을 증명하는 것.
• 특히 상향 지속 라플라시안의 본질 스펙트럼에 대해, 심플렉스 사상의 병합에 따른 고유값의 단조성 분석.

제안 방법

• q차 지속 라플라시안 ∆K,Lq를 L의 조합 라플라시안을 fq의 상에 제한한 Schur 제약로 정의하며, 상향 및 하향 성분을 사용한다.
• 자기수반 정반정의 자기연산자에 대한 하향 부분공간으로의 함의를 범주론과 Loewner 순서를 활용해 형식화하여 Schur 보존을 함의한다.
• fq의 상에 제한된 ∆Lq,up 및 ∆Lq,down의 Schur 보존을 계산하여 ∆K,Lq의 행렬 표현을 구성한다.
• 하향 지속 라플라시안의 핵을 이용해 상향 성분의 전환 행렬을 구축함으로써 전체 행렬 재구성 가능하게 한다.
• 기본 상향 지속 라플라시안을 핵 확장에 의해 생기는 필수적인 영 고유값을 제외한 핵심 연산자로 정의한다.
• 기본 상향 지속 라플라시안의 스펙트럼이 가중치 유지 심플렉스 사상의 병합에 대해 단조적임을 증명한다.

실험 결과

연구 질문

• RQ1 지속 라플라시안은 포함 기반 필터링을 초월하여 임의의 가중치 유지 심플렉스 사상 간의 심플렉스 복합체에 대해 의미 있게 일반화될 수 있는가?
• RQ2 포함 사례와 마찬가지로, 심플렉스 사상 설정에서 지속 라플라시안의 영공간 차원이 여전히 지속 베티 수와 같은가?
• RQ3 이 일반화된 설정에서 지속 라플라시안을 정의하고 계산하는 데 Schur 보존을 함의적 도구로 사용할 수 있는가?
• RQ4 심플렉스 사상의 병합에 따라 지속 라플라시안의 고유값은 단조적인가, 만약 그렇다면 어떤 조건에서인가?
• RQ5 기본 상향 지속 라플라시안에서 필수적인 영 고유값의 역할은 무엇이며, 본질 스펙트럼에 집중함으로써 단조성이 복구될 수 있는가?

주요 결과

• q차 지속 라플라시안 ∆K,Lq의 영공간 차원은 심플렉스 사상 f:K→L에 대한 q차 지속 베티 수와 같으며, 이는 포함 사례에서의 고전적 결과를 일반화한다.
• 지속 라플라시안은 L의 조합 라플라시안을 fq의 상에 제한한 Schur 보존을 통해 계산 가능하며, 시간 복잡도 O((nKq)³ + (nLq)³ + nLq+1)를 갖는 새로운 알고리즘을 제공한다.
• 이 알고리즘은 지속 라플라시안 행렬을 계산할 뿐 아니라 동시에 동일한 시간 복잡도로 지속 베티 수도 계산할 수 있어, 기존 방법의 대안이 된다.
• 상향 지속 라플라시안은 핵 확장으로 인해 필수적인 영 고유값을 포함한다; 이러한 고유값을 제거하면 기본 상향 지속 라플라시안이 된다.
• 기본 상향 지속 라플라시안은 단조성 조건을 만족한다: 가중치 유지 심플렉스 사상의 병합에 대해 λK,M,essq,up,k ≥ λL,M,essq,up,k 이다.
• 하향 지속 라플라시안의 단조성은 전사 사상에서 성립하며, 가중치 유지 조건 하에서 병합 시, 하향 지속 라플라시안의 고유값 또한 λK,M,q,down,k ≥ λL,M,q,down,k 를 만족한다.