[논문 리뷰] Sheaves, Cosheaves and Applications

Justin Curry|arXiv (Cornell University)|2013. 03. 13.

Topological and Geometric Data Analysis참고 문헌 100인용 수 115

한 줄 요약

이 논문은 위상적 데이터 분석, 센서 네트워크, 네트워크 코딩 등에 적용하기 위한 조합론적이고 유한차원적인 시프 이론의 변형인 셀러러 시프와 코시프를 개발한다. 셀러러 시프와 코시프 사이의 유도 등가성을 확립하고, 맥퍼슨의 입구 경로 분류에 대한 반 캄펜 정리를 증명하며, 코시프 호몰로지의 해석을 위해 바코드를 도입하여 네트워크 코딩과 다중 모odal 센싱에서 효율적인 계산과 쌍대성 정리가 가능하게 한다.

ABSTRACT

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular sheaves and cosheaves, which are finite families of vector spaces and maps parametrized by a cell complex. We develop cellular (co)sheaves as a new tool for topological data analysis, network coding and sensor networks. A foundation for multi-dimensional level-set persistent homology is laid via constructible cosheaves, which are equivalent to representations of MacPherson's entrance path category. By proving a van Kampen theorem, we give a direct proof of this equivalence. A cosheaf version of the i'th derived pushforward of the constant sheaf along a definable map is constructed directly as a representation of this category. We go on to clarify the relationship of cellular sheaves to cosheaves by providing a formula that defines a derived equivalence, which in turn recovers Verdier duality. Compactly-supported sheaf cohomology is expressed as the coend with the image of the constant sheaf through this equivalence. The equivalence is further used to establish relations between sheaf cohomology and a herein newly introduced theory of cellular sheaf homology. Inspired to provide fast algorithms for persistence, we prove that the derived category of cellular sheaves over a 1D cell complex is equivalent to a category of graded sheaves. Finally, we introduce the interleaving distance as an extended pseudo-metric on the category of sheaves. We prove that global sections partition the space of sheaves into connected components. We conclude with an investigation into the geometry of the space of constructible sheaves over the real line, which we relate to the bottleneck distance in persistence.

연구 동기 및 목표

• 셀러어 복합체를 이용한 계산 가능하고 유한차원적인 시프 이론의 프레임워크를 개발하기 위해.
• 특히 영구 호몰로지와 다차원 지속성에서의 응용을 위해 셀러러 시프와 코시프를 위상적 데이터 분석에 적용하기 위해.
• 의미 있는 불변량을 갖는 시프-이론적 구조를 사용하여 센서 네트워크와 네트워크 코딩을 모델링하기 위해.
• 셀러어 시프와 코시프 사이의 유도 등가성을 확립하고 버드리어 쌍대성을 복원하기 위해.
• 셀러어 시프 호몰로지의 새로운 이론을 정의하고, 코엔드를 통해 컴act 지지 코homology와 연관시키기 위해.

제안 방법

• 셀러어 복합체에서 벡터 공간으로의 함자를 통해 셀러어 시프와 코시프를 형식화하여 유한한 계산을 가능하게 한다.
• 아르보프 토폴로지( Alexandrov topology )를 사용하여 순서 집합 함수와 시프, 코시프를 연결한다.
• 코시프 호몰로지의 묘사로 바코드를 도입하여 바코드 공간의 보렐-무어 호몰로지와 연결한다.
• 다차원 설정에서 수준집합과 하위수준집합 지속성을 연결하기 위해 스펙트럴 시퀀스를 적용한다.
• 시프에서 유도된 코시프의 복합체를 통해 셀러어 시프와 코시프 사이의 유도 등가성을 구성한다.
• 시프의 범주에서 이입 거리(interleaving distance)를 정의하고 그 메트릭 성질을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 시프 이론을 데이터 과학 및 공학 분야의 응용에 계산 가능한 형태로 만들 수 있는가?
• RQ2 다차원 설정에서 셀러어 시프 코homology와 영구 호몰로지 사이의 관계는 무엇인가?
• RQ3 시프-이론적 방법을 사용하여 네트워크 코딩에 대한 쌍대성 정리를 확립할 수 있는가?
• RQ4 구성 가능 코시프는 맥퍼슨의 입구 경로 분류의 표현과 어떻게 관련되는가?
• RQ5 셀러어 시프와 코시프 사이의 유도 등가성이 고전적 쌍대성 정리를 복원하는 데 어떤 역할을 하는가?

주요 결과

• 셀러어 시프와 코시프 사이의 유도 등가성이 구성되었으며, 이는 버드리어 쌍대성을 복원한다.
• 셀러어 코시프 호몰로지는 바코드를 통해 해석되며, 바코드 공간의 보렐-무어 호몰로지와 연결된다.
• 바코드를 통한 한 가지 방법과 다른 방법을 사용하여 네트워크 코딩 시프에 대한 쌍대성 정리를 증명하였다.
• 1차원 셀러어 복합체 위의 셀러어 시프의 유도 범주가 그레디에이티드 시프의 범주와 동치이며, 이는 빠른 영구 호몰로지 알고리즘을 가능하게 한다.
• 실수선 위의 구성 가능 시프의 공간은 영구 호몰로지의 브로켓 거리와 관련이 있다.
• 층화된 공간의 입구 경로 분류에 대해 반 캄펜 정리를 증명하여, 구성 가능 코시프와 그 표현 간의 동치성을 확립한다.