[논문 리뷰] A Brief History of Persistence

José A. Perea|arXiv (Cornell University)|2018. 09. 10.

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

한 줄 요약

이 논문은 1990년대 초반의 계산적 기원에서 시작하여 현대의 범주론적 및 표현 이론적 프레임워크로까지 발전한 영구 호몰로지의 역사를 추적한다. 주요 발전 사항으로는 Rips 복합체를 통한 영구 베티 수의 체계적 정의, 하우스도르프 근사에서의 호몰로지 추론 문제 해결에서의 역할, 그리고 가브리엘의 정리와 쿠이버 이론을 통한 영구 모듈의 분류를 포함하며, 바코드와 같은 이산 불변량을 통해 지지자형 및 다차원 영구 호몰로지로 이르는 데에 이르렀다.

ABSTRACT

Persistent homology is currently one of the more widely known tools from computational topology and topological data analysis. We present in this note a brief survey on the evolution of the subject. The goal is to highlight the main ideas, starting from the subject's computational inception more than 20 years ago, to the more modern categorical and representation-theoretic point of view.

연구 동기 및 목표

• 1990년대의 초기 계산적 기원에서부터 현대의 대수적 프레임워크로까지 영구 호몰로지의 역사적 발전을 추적하는 것.
• 표본 추출과 하우스도르프 근사 하에서 영구 호몰로지가 호몰로지 추론 문제를 해결하는 데서 수행하는 역할를 명확히 하는 것.
• Rips 복합체와 같은 필터링된 단체 복합체가 영구 베티 수의 효율적 계산을 가능하게 하는 방식을 설명하는 것.
• 큐이버 표현과 가브리엘의 정리를 통해 1차원 영구 호몰로지에서 지지자형 및 다차원 영구 호몰로지로의 전환을 탐색하는 것.
• 영구 모듈이 완전한 이산 불변량을 갖는 조건을 설정하는 것, 특히 기저 그래프가 딜린 다이어그램일 경우에 초점을 맞추는 것.

제안 방법

• 하위레벨 집합 $X^{(\rho)}$ 사이의 포함 유도 사상과 그 호몰로지 군 $H_n(X^{(\rho)}; \mathbb{F})$를 통한 영구 호몰로지의 체계적 정의.
• 공간 $\mathbb{X}$의 위상 구조를 근사화하는 유한하고 조합론적인 모델로 비에토리스-립스 복합체 $R_\epsilon(Z)$의 사용.
• 유도 사상 $\iota^\epsilon,\delta_*: H_n(X^{(\epsilon)}; \mathbb{F}) \to H_n(X^{(\epsilon+\delta)}; \mathbb{F})$의 질량으로서 영구 베티 수 $\beta^{\epsilon,\delta}_n$를 계산하는 것.
• 필터링된 복합체에 대해 역 아크만 함수 기반의 증분 알고리즘을 적용하여 $O(N\alpha(N))$ 시간 내에 베티 수를 효율적으로 계산하는 것.
• 기저 큐이버가 딜린 다이어그램일 경우, 점별 유한 차원 영구 모듈을 가브리엘의 정리를 통해 분류하는 것.
• 지지자형 영구 호몰로지로의 확장을 지그재그 다이어그램을 갖는 색인 범주를 통해 다루며, $\widetilde{G}(\mathsf{J}) = A_n$ 조건이 바코드를 통한 이산 불변량을 보장하는 것.

실험 결과

연구 질문

• RQ1 작은 하우스도르프 거리 하에서 유한한 표본 $X$로부터 위상 공간 $\mathbb{X}$의 호몰로지를 어떻게 추론할 수 있는가?
• RQ2 Rips 복합체 $R_\epsilon(X)$의 영구 호몰로지가 $\mathbb{X}^{(\epsilon)}$의 호몰로지를 포괄하는 데 필요한 조건은 무엇인가?
• RQ3 기저 큐이버가 영구 모듈을 완전한 이산 불변량으로 갖는 조건은 무엇이며, 이는 딜린 다이어그램과 어떻게 관련되는가?
• RQ4 지지자형 영구 호몰로지는 표준 영구 호몰로지를 어떻게 일반화하는가? 이러한 시스템을 분류하는 불변량은 무엇인가?
• RQ5 기저 그래프에 순환 구조가 포함되어 있을 경우 표현 이론이 영구 모듈의 분류에 어떤 역할을 하는가?

주요 결과

• 콤���트한 $\mathbb{X} \subset \mathbb{R}^d$ 이고 약한 특징 크기가 양수일 경우, $\epsilon > 0$ 에 대해 일정 범위에서 $H_n^{\epsilon,3\epsilon}(\mathcal{R}(X); \mathbb{F}) \cong H_n(\mathbb{X}^{(\epsilon)}; \mathbb{F})$ 가 성립하여 안정적인 호몰로지 추론이 가능하다.
• 만약 $\mathbb{X}$ 가 닫힌 리만 다양체일 경우, 충분히 작은 $\epsilon$ 에서 $R_\epsilon(X)$ 는 $\mathbb{X}$ 와 호모토피 동치가 된다. 이는 작은 표본 오차 하에서도 성립한다.
• 영구 베티 수 $\beta^{\epsilon,\delta}_n$ 는 필터링된 단체 복합체에 대한 증분 업데이트를 통해 $O(N\alpha(N))$ 시간 내에 효율적으로 계산할 수 있다.
• 기저 큐이버 $\widetilde{G}(\mathsf{J})$ 가 $A_n$, $D_n$, 또는 $E_n$ 유형의 딜린 다이어그램일 경우, 점별 유한 차원 영구 모듈은 바코드와 같은 이산 불변량으로 완전히 분류된다.
• 지정된 그래프 $\widetilde{G}(\mathsf{J}) = A_n$ 을 갖는 지지자형 영구 호몰로지 시스템 역시 바코드로 완전히 분류되며, 이러한 시스템에 대한 안정성 정리가 확립되었다.
• 길이가 4를 초월하는 순환 래더의 경우 분류는 '야수 유형(wild type)'이 되며 연속 불변량이 필요해 복잡도의 단계 전이가 발생한다.