[논문 리뷰] Defining and Computing Topological Persistence for 1-cocycles

Dan Burghelea, Tamal K. Dey외 1명|arXiv (Cornell University)|2010. 12. 16.

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

한 줄 요약

이 논문은 단순체의 무한 순환 쌍대복합체 위로의 업그레이드를 통해 1-코호모로지의 위상적 영속성을 정의하고 계산하는 새로운 프레임워크를 제안한다. 주요 기여는 표준 영속 호모로지 기법을 업그레이드된 실수 값 함수에 적용하여 거의 정수 1-코호모로지의 영속성 불변량을 계산하는 알고리즘을 제공함으로써 원형 값 데이터(예: 이산 벡터장 및 순위 데이터)의 위상적 분석을 가능하게 한다.

ABSTRACT

The concept of topological persistence, introduced recently in computational topology, finds applications in studying a map in relation to the topology of its domain. Since its introduction, it has been extended and generalized in various directions. However, no attempt has been made so far to extend the concept of topological persistence to a generalization of `maps' such as cocycles which are discrete analogs of closed differential forms, a well known concept in differential geometry. We define a notion of topological persistence for 1-cocycles in this paper and show how to compute its relevant numbers. It turns out that, instead of the standard persistence, one of its variants which we call level persistence can be leveraged for this purpose. It is worth mentioning that 1-cocyles appear in practice such as in data ranking or in discrete vector fields.

연구 동기 및 목표

• 실수 값 함수의 영속성 이론을 0-코체(실수 값 함수)를 초월하여, 데이터 순위 매기기 및 벡터장과 같은 애플리케이션에서 나타나는 이산 닫힌 1-형식의 이산 모델인 1-코호모로지로 확장한다.
• 표준 영속 호모로지가 부분수준 집합이 없기 때문에 원형 값 함수에 적용될 수 없음을 해결한다.
• 무한 순환 쌍대복합체 위의 실수 값 함수에 대해 정의된 영속성의 변종인 수준 영속성에 기반하여 1-코호모로지에 대해 의미 있는 영속성의 개념을 정의한다.
• 기존의 단순체 필터링과 관련된 구조를 그대로 활용하여 무한 순환 쌍대복합체로의 필터링된 업그레이드를 구성함으로써, 거의 정수 1-코호모로지의 영속성 불변량을 계산하는 알고리즘을 제공한다.
• 수준 영속성 계산을 위한 인cidense 구조가 원본 단순체의 필터링과 직접 유도될 수 있음을 보여주어 효율적인 계산을 가능하게 한다.

제안 방법

• 기본점과 경로 기반 각도 할당(모듈로 $ \alpha $)을 사용하여 거의 정수 1-코호모로지 $ f: X \to \mathbb{S}^1 $를 무한 순환 쌍대복합체 $ \tilde{X} $ 위의 실수 값 함수 $ \tilde{f} $로 업그레이드한다.
• 원본 단순체의 순서와 인cidense 구조를 유지하면서 $ \mathcal{L}^\theta(n) $, $ \partial_+\mathcal{L}^\theta(n) $, $ \mathcal{T}^\theta(n) $, $ \partial_-\mathcal{L}^\theta(n+1) $의 복제본을 반복적으로 첨부하여 필터링된 단순체 복합체 $ \tilde{X}^\theta(n) $를 구성한다.
• 인cidense 행렬 $ I_n(\sigma, \tau) $를 재귀적으로 정의하여 원본 복합체의 경계 구조와 호환되도록 하며, 업그레이드된 복합체가 여전히 필터링된 상태를 유지하도록 보장한다.
• 업그레이드된 복합체 $ \tilde{X}^\theta(n) $에 표준 영속 호모로지 알고리즘을 적용하고 $ \tilde{f} $를 필터링 함수로 사용하여 수준 영속성 불변량을 계산한다.
• 표준 알고리즘을 효율적으로 적용할 수 있도록 행렬 $ M(\tilde{X}^\theta(n)) $의 행과 열을 재정렬하여 필터링 호환성을 확보한다.
• 계산에 사용된 $ \mathcal{L} $ 및 $ \mathcal{T} $의 총 복제 수는 원본 단순체 복합체 $ \mathcal{X} $의 기수로 제한된다.

실험 결과

연구 질문

• RQ1 데이터 순위 매기기 및 벡터장과 같은 실용적 맥락에서 나타나는 닫힌 1-형식의 이산 모델인 1-코호모로지에 대해 위상적 영속성을 의미 있게 정의할 수 있는가?
• RQ2 표준 영속 호모로지가 원형 값 함수에 적용될 수 없는 이유는 무엇이며, 이를 대체할 수 있는 영속성 프레임워크는 무엇인가?
• RQ3 원래 실수 값 함수에 대해 정의된 바이어션인 수준 영속성을 무한 순환 쌍대복합체로의 업그레이드를 통해 1-코호모로지의 불변량을 계산하는 데 적응할 수 있는가?
• RQ4 업그레이드된 필터링 복합체를 사용하여 1-코호모로지의 영속성 불변량을 계산하는 데 있어 계산 복잡도와 실행 가능성은 어떠한가?
• RQ5 업그레이드된 복합체의 인cidense 구조는 원본 단순체와 어떻게 관련되어 있으며, 알고리즘 적용을 위해 효율적으로 재구성할 수 있는가?

주요 결과

• 논문은 거의 정수 1-코호모로지가 잘 정의된 $ \mathbb{S}^1 $-값 함수를 유도하며, 이 함수를 무한 순환 쌍대복합체로 업그레이드함으로써 위상적 분석이 가능하다고 규명한다.
• 표준 영속성에서의 부분수준 집합 문제를 피할 수 있기 때문에, 원형 값 함수 분석에 적합한 영속성의 변종으로 수준 영속성이 입증된다.
• 무한 순환 쌍대복합체 $ \tilde{X} $ 위의 업그레이드된 함수 $ \tilde{f} $는 옹호적이고 원본 단순체 복합체의 구조와 호환되는 필터링을 갖는다. 이는 표준 영속 호모로지 알고리즘의 적용을 가능하게 한다.
• 업그레이드된 복합체 $ \tilde{X}^\theta(n) $의 인cidense 구조는 원본 복합체 $ X $에서 효율적으로 유도될 수 있으며, 이는 표준 영속 호모로지 알고리즘의 직접적 적용을 가능하게 한다.
• 계산에 사용된 $ \mathcal{L} $ 및 $ \mathcal{T} $의 총 복제 수는 원본 단순체 복합체 $ \mathcal{X} $의 기수보다 작으며, 이는 계산의 효율성을 보장한다.
• 이 방법은 표준 영속 호모로지 알고리즘을 업그레이드된 필터링 복합체에 적용함으로써 거의 정수 1-코호모로지의 영속성 불변량을 계산하는 완전한 알고리즘을 제공한다.