[논문 리뷰] Computational Tools in Weighted Persistent Homology

Shiquan Ren, Chengyuan Wu외 1명|arXiv (Cornell University)|2017. 11. 25.

Topological and Geometric Data Analysis참고 문헌 28인용 수 6

한 줄 요약

이 논문은 가중치가 부여된 영구 호몰로지에 대한 Mayer-Vietoris 수열과 일반화된 Bockstein 스펙트럴 시퀀스를 제안하여, mod $p$ 호몰로지로부터 정수 계수 호몰로지를 효율적으로 계산하고 복원할 수 있도록 한다. 가중치가 부여된 네트워크에서 가중치가 부여된 단체 복합체 필터링을 구성하는 알고리즘을 제시하고, mod $p$ 데이터로부터 mod $p^2$ 가중치가 부여된 영구 호몰로지를 계산할 수 있는 정리를 증명하여, 가중치가 부여된 구조에 대한 위상적 데이터 분석을 크게 향상시킨다.

ABSTRACT

In this paper, we study further properties and applications of weighted homology and persistent homology. We introduce the Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology. For applications, we show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. We also prove a theorem that allows us to calculate the mod $p^2$ weighted persistent homology given some information on the mod $p$ weighted persistent homology.

연구 동기 및 목표

• 고전적인 대수적 위상수학 도구인 Mayer-Vietoris 수열과 Bockstein 스펙트럴 시퀀스를 가중치가 부여된 영구 호몰로지의 맥락으로 확장하는 것.
• 반복적인 클리크 복합체 생성을 피하기 위해 가중치가 부여된 네트워크에서 가중치가 부여된 단체 복합체 필터링을 구성하는 알고리즘을 개발하는 것.
• mod $p$ 영구 호몰로지 정보를 사용하여 mod $p^2$ 가중치가 부여된 영구 호몰로지를 계산하는 이론적 프레임워크를 수립하는 것.
• Bockstein 스펙트럴 시퀀스를 정수환 $R$ 계수로 일반화하여 대수기하학 및 가중치가 부여된 데이터 분석에의 적용을 지원하는 것.

제안 방법

• 가중치가 부여된 체인 복합체가 가환환 $R$ 위에서 형성하는 구조를 활용하여, 가중치가 부여된 호몰로지에 대한 Mayer-Vietoris 수열을 체계화한다.
• 내림차순의 이상들로 이루어진 체인을 사용하여 가중치가 부여된 네트워크에서 가중치가 부여된 단체 복합체 필터링을 구성함으로써 효율적인 계산을 가능하게 한다.
• 계수 모듈의 단순 정확 수열에 의해 유도되는 장정확 수열에서의 연결 동형사상으로서 일반화된 Bockstein 호모모르피즘 $\beta$를 정의한다.
• 단일 등급 스펙트럴 시퀀스 $\{E^n_r, d^r\}$를 설정하여 $E^n_1 = H_n(K,w; R/pR)$ 및 $d^1 = \beta$로 놓고, $(H_*(K,w;R)/\text{torsion}) \otimes (R/pR)$로 수렴하도록 한다.
• 단순 정확 수열 $0 \to R/p^rR \to R/p^{2r}R \to R/p^rR \to 0$을 사용하여 스펙트럴 시퀀스를 고차항으로 일반화한다.
• 등장사상 $E^n_r \cong \text{im}(\mu_{p^{r-1}})$와 함께 $d^r$을 $r$-차 일반화된 Bockstein 호모모르피즘으로 식별한다.

실험 결과

연구 질문

• RQ1 Mayer-Vietoris 수열은 어떻게 가중치가 부여된 호몰로지에 적응되어 하위복합체에서의 호몰로지 계산을 단순화할 수 있는가?
• RQ2 Bockstein 스펙트럴 시퀀스는 어떻게 일반화되어 mod $p$ 호몰로지로부터 정수 계수 가중치가 부여된 영구 호몰로지를 복원할 수 있는가?
• RQ3 어떤 조건들이 mod $p$ 영구 호몰로지로부터 mod $p^2$ 가중치가 부여된 영구 호몰로지를 계산할 수 있도록 허용하는가?
• RQ4 반복적인 클리크 복합체 생성을 피하면서 가중치가 부여된 네트워크에서 가중치가 부여된 단체 복합체 필터링을 어떻게 효율적으로 구성할 수 있는가?
• RQ5 호몰로지의 토르션과 일반화된 Bockstein 스펙트럴 시퀀스의 비자명한 미분 사이의 구조적 관계는 무엇인가?

주요 결과

• 가중치가 부여된 호몰로지에 대해 Mayer-Vietoris 수열이 성공적으로 체계화되어 하위복합체에서의 호몰로지 군 계산을 기반으로 분해하는 데 기여한다.
• 가중치가 부여된 네트워크에서 가중치가 부여된 단체 복합체 필터링을 구성하는 알고리즘이 개발되어 클리크 복합체를 한 번만 생성함으로써 계산 오버헤드를 줄였다.
• 일부 조건이 mod $p$ 영구 호몰로지에 대해 만족될 경우 mod $p^2$ 가중치가 부여된 영구 호몰로지를 계산할 수 있음을 증명한 정리가 제시되었다.
• 일반화된 Bockstein 스펙트럴 시퀀스는 $(H_*(K,w;R)/\text{torsion}) \otimes (R/pR)$로 수렴하며, $E^n_1 = H_n(K,w; R/pR)$ 및 $d^1 = \beta$로 정의되며, 이는 일반화된 Bockstein 호모모르피즘이다.
• 스펙트럴 시퀀스에서 $d^r E^{r}_{n+1}$의 $R/pR$ 합성합과 $H_n(K,w;R)$의 $R/p^r R$ 합성합 사이에 일대일 대응이 설정되었으며, 이는 비자명한 $d^r$가 존재할 경우 $p^r$-토르션이 존재함을 보여준다.
• 다항식환 $\mathbb{R}[x]$ 위의 예시에서 스펙트럴 시퀀스는 $H_0(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x] \oplus \mathbb{R}[x]/(x^2) \oplus \mathbb{R}[x]/(x^2)$ 및 $H_1(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x]$를 복원하여, 이 방법의 효과성을 확인한다.