[논문 리뷰] Cech Closure Spaces: A Framework for Discrete Homotopy

Antonio Rieser|arXiv (Cornell University)|2017. 08. 31.

Topological and Geometric Data Analysis인용 수 3

한 줄 요약

이 논문은 체히의 폐쇄 연산자를 사용하여 폐쇄 공간에 대한 새로운 호모토피 이론을 제안하며, 이는 유클리드 공간, 그래프, 심플리시얼 복합체에서 이산 호모토피를 가능하게 한다. 이는 시에르프트-반캄펀 정리, 상호 끼워넣기 거리와 함께 지속적인 호모토피를 수립하고, 적절한 폐쇄 구조 하에서 원형 그래프 사이의 연속 사상이 기본군에 대해 동형을 유도할 수 있음을 보여준다.

ABSTRACT

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of closure spaces, the category whose objects are sets endowed with a Cech closure operator and whose morphisms are the continuous maps between them. We introduce new classes of closure structures on metric spaces, graphs, and simplicial complexes, and we show how each of these cases gives rise to an interesting homotopy theory. In particular, we show that there exists a natural family of closure structures on metric spaces which produces a non-trivial homotopy theory for finite metric spaces, i.e. point clouds, the spaces of interest in topological data analysis. We then give a closure structure to graphs and simplicial complexes which may be used to construct a new combinatorial (as opposed to topological) homotopy theory for each skeleton of those spaces. We further show that there is a Seifert-van Kampen theorem for closure spaces, a well-defined notion of persistent homotopy and an associated interleaving distance. As an illustration of the difference with the topological setting, we calculate the fundamental group for the circle, 'circular graphs', and the wedge of circles endowed with different closure structures. Finally, we produce a continuous map from the topological circle to 'circular graphs' which induces an isomorphism on the fundamental groups, given appropriate closure structures.

연구 동기 및 목표

• 유한 거리 공간, 그래프, 심플리시얼 복합체와 같은 이산 구조에 대해 폐쇄 연산자를 사용하여 호모토피 이론을 개발하는 것.
• 정점 구름에서 비자명한 호모토피 이론의 부재를 해결하기 위해, 토폴로지적 데이터 분석의 핵심 대상인 유한 점 구름에 대해 비자명한 호모토피 이론을 제공하는 것.
• 그래프와 심플리시얼 복합체에 폐쇄 구조를 정의하여 위상 호모토피 이론의 조합적 대체를 제공하는 것.
• 시에르프트-반캄펀 정리와 같은 기초 정리를 수립하고, 상호 끼워넣기 거리와 함께 지속적인 호모토피를 정의하는 것.

제안 방법

• 유한 점 구름에 대해 비자명한 호모토피 이론을 유도하기 위해 거리 공간에 체히 폐쇄 연산자를 정의하는 것.
• 위상적 통합에 의존하지 않는 조합적 호모토피 이론을 구성하기 위해 그래프와 심플리시얼 복합체에 폐쇄 구조를 도입하는 것.
• 접합 구조를 통한 기본군 계산을 가능하게 하기 위해 폐쇄 공간에 대한 시에르프트-반캄펀 정리를 수립하는 것.
• 척도를 따라 폐쇄 구조를 추적하고 관련된 상호 끼워넣기 거리를 도입함으로써 지속적인 호모토피를 정의하는 것.
• 다양한 폐쇄 구조 하에서 기본군을 비교하기 위해 위상적 원형과 원형 그래프 사이의 연속 사상을 사용하는 것.
• 폐쇄 구조를 적용하여 원, 원형 그래프, 원들의 융합의 기본군을 계산함으로써 폐쇄 선택에 따른 구조적 의존성의 특성을 드러내는 것.

실험 결과

연구 질문

• RQ1 폐쇄 연산자를 사용하여 유한 거리 공간에 대해 비자명한 호모토피 이론을 정의할 수 있는가?
• RQ2 그래프와 심플리시얼 복합체에 대한 폐쇄 구조는 위상 호모토피와는 다를 만한 조합적 호모토피 이론을 어떻게 제공하는가?
• RQ3 폐쇄 공간의 범주에서 시에르프트-반캄펀 정리가 성립하는가?
• RQ4 폐쇄 공간 프레임워크에서 상호 끼워넣기 거리와 함께 지속적인 호모토피를 엄밀히 정의할 수 있는가?
• RQ5 적절한 폐쇄 구조 하에서 위상적 원형에서 원형 그래프로의 연속 사상이 기본군에 대해 동형을 유도할 수 있는가?

주요 결과

• 거리 공간에 자연스러운 폐쇄 구조의 가족을 정의함으로써, 유한 거리 공간에 대해 비자명한 호모토피 이론이 유도되며, 점 구름의 의미 있는 호모토피 이론적 분석이 가능해진다.
• 그래프와 심플리시얼 복합체에 대한 폐쇄 구조는 위상적 통합에 의존하지 않는 잘 정의된 조합적 호모토피 이론을 지원한다.
• 폐쇄 공간에 대해 시에르프트-반캄펀 정리가 수립되어, 분해와 접합을 통한 기본군 계산이 가능해진다.
• 지속적인 호모토피가 폐쇄 공간 프레임워크 내에서 정의되며, 척도 간 안정성을 측정하는 데 관련된 상호 끼워넣기 거리가 존재한다.
• 원, 원형 그래프, 원들의 융합의 기본군은 선택된 폐쇄 구조에 따라 크게 달라지며, 이는 구조적 민감성을 보여준다.
• 적절한 폐쇄 구조 하에서 위상적 원형에서 원형 그래프로의 연속 사상은 기본군에 대해 군 동형을 유도한다.