[논문 리뷰] Computing Bottleneck Distance for Multi-parameter Interval Decomposable Persistence Modules

Tamal K. Dey, Cheng Xin|arXiv (Cornell University)|2018. 03. 07.

Topological and Geometric Data Analysis인용 수 20

한 줄 요약

이 논문은 인덱스가 비상수 복잡도를 가진 n-파rameter 구간 분해 가능 영구 모듈러스에 대해 다항 시간 알고리즘을 제시한다. 이 알고리즘은 블록 거리(bottleneck distance)를 계산할 수 있으며, 1-파라미터 경우를 초월한 다중파라미터 위상적 데이터 분석에서 이질성 거리(interleaving distance)를 효율적으로 추정할 수 있도록 하는 계산 가능한 하한선인 차원 거리(dimension distance)를 도입한다.

ABSTRACT

Computation of the interleaving distance between persistence modules is a central task in topological data analysis. For $1$-parameter persistence modules, thanks to the isometry theorem, this can be done by computing the bottleneck distance with known efficient algorithms. The question is open for most $n$-parameter persistence modules, $n>1$, because of the well recognized complications of the indecomposables. Here, we consider a reasonably complicated class called {\\em $n$-parameter interval decomposable} modules whose indecomposables may have a description of non-constant complexity. We present a polynomial time algorithm to compute the bottleneck distance for these modules from indecomposables, which bounds the interleaving distance from above, and give another algorithm to compute a new distance called {\\em dimension distance} that bounds it from below. An earlier version of this paper considered only the $2$-parameter interval decomposable modules~\\cite{DeyCheng18}.

연구 동기 및 목표

• 1-파라미터 경우를 초월한 n-파라미터 영구 모듈러스에 대해 이질성 거리를 효율적으로 계산하는 데 열려 있는 문제를 해결하기 위해.
• 비상수 복잡도를 가진 인덱스 성분을 가진 n-파라미터 구간 분해 가능 모듈러스에서 블록 거리를 계산하는 다항 시간 알고리즘을 개발하기 위해.
• 이질성 거리의 하한선이 되는 새로운 계산 가능한 거리인 차원 거리(dimension distance)를 도입하기 위해.
• 블록, 직사각형, 자유 모듈에 대한 이전 결과를 비상수 복잡도를 가진 인덱스 성분을 가진 더 넓은 범주인 구간 분해 가능 모듈러스로 확장하기 위해.
• 위상적 데이터 분석에서 다중파라미터 영구 모듈러스의 안정성 분석 및 비교를 위한 기초를 마련하기 위해.

제안 방법

• 알고리즘은 기하학적 및 대수적 성질을 이용해 인덱스 성분 간의 쌍별 이질성 거리를 분석함으로써 블록 거리를 계산한다.
• 차원 함수와 그 유도 연산자인 Δdm 및 δ-이동(shifts)을 활용하여 이산 격자 위의 영구 모듈러스의 구조를 특성화한다.
• 유한한 범위의 δ-값에 대해 이분 탐색을 적용하여, 모듈러스가 δ-이질성(interleaved)이 되는 최소 δ를 찾는다. 이 과정에서 f±δ 및 g±δ의 효율적 계산을 활용한다.
• k-원소 n-차원 격자에서 차원 함수와 그 변형(Δf, Δg, f±, g±)을 O(k²) 시간에 계산한다.
• 차원 거리 d₀는 차원 함수를 사용하여 정의되며, d₀ ≤ d_I를 만족함을 보여 이질성 거리의 하한선을 제공한다.
• 이 접근법은 δ-확장 및 δ-수축이 이질성과 대응됨을 증명함으로써, 이산 격자 계산을 통한 효율적 검증이 가능하다.

실험 결과

연구 질문

• RQ1 비상수 복잡도를 가진 인덱스 성분을 가진 n-파라미터 구간 분해 가능 모듈러스에 대해 블록 거리를 효율적으로 계산할 수 있는가?
• RQ2 블록 거리가 이를 좁게 둘러싸지 못하는 상황에서도 이러한 모듈러스에서 이질성 거리의 계산 가능한 하한선이 존재하는가?
• RQ3 구간 분해 가능 모듈러스의 구조를 대수적 및 기하학적으로 분석하여, 거리 계산을 효율적으로 수행할 수 있는가?
• RQ4 2-파라미터 모듈러스에서의 결과를 비상수 복잡도를 가진 인덱스 성분을 가진 n-파라미터 모듈러스로 일반화할 수 있는가?
• RQ5 이러한 더 넓은 범주에 속하는 모듈러스에서 블록 거리와 이질성 거리의 관계는 무엇이며, 이를 유계로 둘 수 있는가?

주요 결과

• 논문은 비상수 복잡도를 가진 인덱스 성분을 가진 n-파라미터 구간 분해 가능 모듈러스에 대해 다항 시간 알고리즘을 제시한다.
• 알고리즘은 k-원소 n-차원 격자에서 O(k² log k) 시간에 실행되며, k는 격자 크기이다.
• 블록 거리 d_B는 이질성 거리 d_I의 상한선으로 작용하며, 1-파라미터 경우에서 알려진 결과와 일치한다.
• 새로운 거리인 차원 거리 d₀가 제안되었으며, d₀ ≤ d_I임이 증명되어 이질성 거리의 계산 가능한 하한선을 제공한다.
• 이 방법은 δ-확장 및 δ-수축이 이질성과 대응됨을 증명함으로써, 최소 δ에 대한 효율적 이분 탐색이 가능함을 보였다.
• 이전의 2-파라미터 모듈러스에 대한 결과를 일반화하고, 블록 거리 및 차원 기반 거리의 적용 범위를 비상수 복잡도를 가진 인덱스 성분을 가진 더 큰 범주로 확장하였다.