[논문 리뷰] Universality of the Homotopy Interleaving Distance

Andrew J. Blumberg, Michael Lesnick|arXiv (Cornell University)|2017. 05. 04.

Topological and Geometric Data Analysis인용 수 7

한 줄 요약

이 논문은 체계적 데이터 분석(TDA)에서의 간격화의 호모토피 불변 성질을 가진 동치로, 필터링된 공간 위에 유일한 안정성과 호모토피 불변성 성질을 만족하는 확장된 준거리 $d_{HI}$를 정의하는 호모토피 간격화를 소개한다. 주요 기여는 $d_{HI}$가 이러한 성질을 만족하는 유일한 준거리임을 증명하는 것으로, 이는 기본적인 TDA 정리들을 필터링된 공간 수준에서 더 강력하게 재구성할 수 있게 하며, 또한 난잡한 영구 화이트헤드 정리의 반례를 제시하고 개선된 추측을 제안한다.

ABSTRACT

As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that homotopy interleavings induce an extended pseudometric $d_{HI}$ on filtered spaces, and that this is the universal pseudometric satisfying natural stability and homotopy invariance axioms. To motivate these axioms, we also observe that $d_{HI}$ (or more generally, any pseudometric satisfying these two axioms and an additional "homology bounding" axiom) can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces. Finally, we consider the problem of establishing a persistent Whitehead theorem in terms of homotopy interleavings. We provide a counterexample to a naive formulation of the result.

연구 동기 및 목표

• 필터링된 공간 간의 근사적인 약한 동치를 체계화하기 위해 체계적 데이터 분석(TDA)의 호모토피 이론적 기반을 구축한다.
• 엄격한 간격화의 호모토피 불변 일반화로 호모토피 간격화를 정의하고 연구한다.
• 호모토피 간격화 거리 $d_{HI}$가 자연스러운 안정성과 호모토피 불변성 공리에 만족하는 유일한 준거리임을 증명한다.
• 바코드 수준이 아닌 필터링된 공간 수준에서 직접적으로 기술함으로써 고전적인 TDA 정리들을 강화한다.
• 호모토피 간격화를 사용하여 영구 화이트헤드 정리의 가능성을 조사하고, 이를 바탕으로 개선된 추측을 도출한다.

제안 방법

• 필터링된 위상공간 간의 간격화의 호모토피 불변 성질을 가진 버전으로 호모토피 간격화를 도입한다.
• 호모토피 간격화를 사용하여 필터링된 공간 위에 확장된 준거리로 $d_{HI}$를 정의한다.
• 모델 범주에서 칸 확장의 성질과 일반화된 간격화 범주를 이용하여 $d_{HI}$의 삼각 부등식을 증명한다.
• 가장 강력한 안정성과 호모토피 불변성 공리를 만족함을 보여, $d_{HI}$의 유일성을 확립한다. 이는 동일한 성질을 만족하는 더 작은 준거리가 존재하지 않음을 의미한다.
• 구성 과정에서 잘 정의된 다이어그램 구조를 확보하기 위해 코프리미티브 치환과 호모토피 코일을 사용한다.
• 영구 화이트헤드 정리의 난잡한 형태에 대한 반례를 구성하여 개선된 추측을 도출하는 데 기여한다.

실험 결과

연구 질문

• RQ1 필터링된 공간에 대해 근사적인 약한 동치를 포괄하는 호모토피 불변 성질을 가진 간격화의 동치를 정의할 수 있는가?
• RQ2 호모토피 간격화 거리 $d_{HI}$는 안정성과 호모토피 불변성을 만족하는 유일한 준거리인가?
• RQ3 Rips 필터링의 안정성과 같은 기본적인 TDA 정리들은 바코드 수준이 아닌 필터링된 공간 수준에서 직접적으로 강화될 수 있는가?
• RQ4 영구 호모토피 군의 간격화와 필터링된 공간의 호모토피 간격화 사이에 영구 화이트헤드 정리가 존재하는가?
• RQ5 난잡한 영구 화이트헤드 정리의 형태에는 어떤 한계가 있으며, 이를 어떻게 수정할 수 있는가?

주요 결과

• 호모토피 간격화 거리 $d_{HI}$는 잘 정의되어 있으며 삼각 부등식을 만족하여 필터링된 공간 위에 강력한 확장된 준거리가 된다.
• 준거리 $d_{HI}$는 자연스러운 안정성과 호모토피 불변성 공리를 만족하는 모든 준거리들 중에서 유일하다.
• 논문은 $\delta$-간격화된 영구 호모토피 군이 $\delta$-호모토피 동치이거나 필터링된 공간의 간격화를 유도하지는 않음을 보여주는 반례를 제공한다.
• 개선된 영구 화이트헤드 추측을 제안한다: 유한 차원 범위와 $\delta$-간격화된 호모토피 군이 있을 경우, $X$와 $Y$는 차원에만 의존하는 상수 $c$에 대해 $c\delta$-호모토피 간격화된다.
• 반례는 각 수준에서 호모토피 군이 자명하지만 호모로지가 비자명한 공간의 수열 $Y^n$을 사용하여, 유한 척도에서의 호모로지 간격화가 실패함을 보여준다. 이는 영구 호모토피 군이 간격화되어 있음에도 불구하고 성립하지 않는다.
• 결과적으로 고전적인 TDA 정리들을 바코드 수준에서 필터링된 공간 수준으로 옮길 수 있게 되어, 그 위상적 및 호모토피적 안정성이 향상된다.