[논문 리뷰] A derived isometry theorem for constructible sheaves on $\mathbb{R}$

Nicolas Berkouk, Rafael J. L. Morcillo|arXiv (Cornell University)|2018. 05. 24.

Topological and Geometric Data Analysis참고 문헌 18인용 수 5

한 줄 요약

이 논문은 실수선 위의 구조적 복합체층에 대해 유도된 등장사상 정리(derived isometry theorem)를 수립하며, 복합체층의 유한 유도 범주에서의 커플링 거리(convolution distance)가 계층적 바코드(graded barcodes) 위의 매칭 거리(matching distance)와 등장사상(isometric)임을 증명한다. 명시적인 사상 계산과 Bjerkevik의 안정성 증명을 파생 설정에 적응시킴으로써, 층 이론적 불변량이 조합론적으로 및 안정적으로 다룰 수 있음을 보이며, 알고리즘적으로 계산 가능한 방식으로 일차원 영속성 이론을 유도 설정으로 일반화한다.

ABSTRACT

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in this derived setting, thus expressing the convolution distance of sheaves as a matching distance between combinatorial objects associated to them that we call graded barcodes. This allows to consider sheaf-theoretical constructions as combinatorial, stable topological descriptors of data, and generalizes the situation of persistence with one parameter. To achieve so, we explicitly compute all morphisms in $D^b_{\mathbb{R} c}( extbf{k}_\mathbb{R})$, which enables us to compute distances between indecomposable objects. Then we adapt Bjerkevik's stability proof to this derived setting. As a byproduct of our isometry theorem, we prove that the convolution distance is closed, give a precise description of connected components of $D^b_{\mathbb{R} c}( extbf{k}_\mathbb{R})$and provide some explicit examples of computation of the convolution distance.

연구 동기 및 목표

• 실수선 R 위의 구조적 복합체층의 유도 범주로 일차원 영속성 이론을 일반화하기 위해.
• D^b_{Rc}(k_R)에서의 커플링 거리와 계층적 바코드 위의 조합론적 매칭 거리 사이의 등장사상 관계를 수립하기 위해.
• 층 이론적 구성에 기반한 안정적이고 계산 가능한 위상 기술자를 노이즈가 있는 데이터에 적용하기 위해.
• 커플링 거리의 닫힘 성질을 증명하고, 유도 범주의 연결 성분을 묘사하기 위해.

제안 방법

• D^b_{Rc}(k_R) 내의 모든 사상을 명시적으로 계산하여 분해 불가능한 대상들과 그들 간의 거리를 분석하기 위해.
• 층과 관련된 조합론적 불변량으로서의 계층적 바코드의 개념을 도입하기 위해.
• Bjerkevik의 안정성 증명을 유도 설정에 적응시켜 간섭 안정성(interleaving stability)을 확립하기 위해.
• 계층적 바코드의 범주에서 D^b_{Rc}(k_R)로의 완전 충실한 함자를 정의하여, Krull-Schmidt 정리들을 통해 등가성을 보여주기 위해.
• 커플링 거리와 그 빽티스트 거리(bottleneck distance)로의 등장사상 관계를 이용하여 알고리즘적 계산을 가능하게 하기 위해.
• 헝가리안 알고리즘(Hungarian algorithm)을 활용하여 바코드 간 최적의 매칭을 계산함으로써 거리 계산을 조합 최적화 문제로 환원하기 위해.

실험 결과

연구 질문

• RQ1 실수선 R 위의 구조적 복합체층의 유도 범주에서 커플링 거리는 조합론적 불변량인 바코드 위의 매칭 거리로 표현될 수 있는가?
• RQ2 D^b_{Rc}(k_R)가 커플링 거리로 장비된 유도 범주는 계층적 바코드의 범주와 빽티스트 유형 거리로 장비된 범주와 등장사상인가?
• RQ3 유도 등장사상 정리가 층 이론적 불변량이 데이터의 소규모 변형에 대해 안정적임을 의미하는가?
• RQ4 유도 범주의 위상적 구조, 특히 그 연결 성분은 무엇인가?
• RQ5 조합론적 매칭 알고리즘을 사용하여 커플링 거리를 효율적으로 계산할 수 있는가?

주요 결과

• 유도 등장사상 정리는 D^b_{Rc}(k_R)에서의 커플링 거리 d_C와 계층적 빽티스트 거리 d_B를 갖춘 계층적 바코드의 범주 사이의 등장사상 관계를 수립한다.
• 커플링 거리는 닫혀 있으며, 이는 거리 함수가 범주의 컴acts 집합 위에서 최소값을 도달함을 의미한다.
• D^b_{Rc}(k_R)의 연결 성분은 정확히 대상들의 동형류이며, 각 성분은 d_B 거리에 대해 경로로 연결되어 있다.
• 계층적 바코드의 범주는 스켈레탈(skeletal)이며, 이는 동형인 바코드가 서로 같다는 것을 의미한다. 또한 바코드에서 D^b_{Rc}(k_R)로의 함자 ι는 등가성을 이룬다.
• 유도 등장사상 덕분에 헝가리안 알고리즘을 사용하여 다항 시간 내에 거리를 계산할 수 있으며, 실용적 계산이 가능해진다.
• 등장사상은 층 이론적 불변량이 소규모 변형에 대해 안정적임을 의미하며, 영속성 homology의 고전적 안정성 정리의 일반화를 이룬다.