[논문 리뷰] Topological simplification guided by forbidden regions

Jakub Leśkiewicz, Bartosz Furmanek외 2명|arXiv (Cornell University)|2026. 03. 17.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

topological 간소화 프레임워크를 도입하여 금지 영역과 깊이 포제를 이용해 이산 Morse 함수에서 비연속적 지속성 쌍을 안전하게 취소하고 대각화로 가는 알고리즘 경로를 제공하며, 한 번의 취소당 최악의 경우 O(c · n) 시간 복잡성을 가진다.

ABSTRACT

Topological simplification is the process of reducing complexity of a function while maintaining its essential features. Its goal is to find a new filter function, which reorders cells of the input complex in a way which eliminates some persistent homological features, without affecting the rest. We present a new approach to simplification based on the concept of forbidden regions and combinatorial dynamics. It allows us to reorder and cancel critical values, whose cancellation is not possible using existing methods because they are not consecutive in the total order. Each such cancellation takes O(c$\cdot$n) time in the worst case, where c is the number of birth-death pairs and n is the size of the input complex.

연구 동기 및 목표

• 영(0) 또는 코디멘션-1 지속성 변화 너머의 위상 간소화를 동기 부여하고 형식화한다.
• 금지 영역을 사용하여 지속성 쌍을 식별하고 안전하게 제거하는 프레임워크를 개발한다.
• 동형사상(homotopy) 및 경로 역전(path reversal) 동안 관계의 변화를 추적하는 구성적 증명과 알고리즘을 제공한다.

제안 방법

• 깊이 포제와 지속성 관계를 이용해 생성 셀과 소멸 셀에 대한 금지 영역을 정의한다.
• 게으른 약화를 이용해 R, U, 및 U^⊥ 행렬을 계산하고 생성-소멸 쌍을 식별한다.
• 되돌릴 수 있는(reversible) 쌍과 얕은(shallow) 쌍을 특성화하여 나머지 쌍에 영향을 주지 않으면서 Lefschetz 취소를 가능하게 한다.
• 금지 영역이 서로 교집합 없이 분리되고 고유한 기울기 경로가 존재하는 쌍은 구성된 이산 Morse 함수 h'를 통해 제거될 수 있음을 보인다.

Figure 1: Two vector fields differing by a reversal of the path between components of a birth-death pair $\alpha$ . Critical cells are shown with colored nodes, and arrows between them symbolize paths created by vectors. Above each vector field is the boundary matrix of the corresponding Morse compl

실험 결과

연구 질문

• RQ1 금지 영역을 정의하여 제거가 나머지 지속성 다이어그램에 영향을 주지 않도록 보장할 수 있는가?
• RQ2 Lefschetz 취소를 얕은 쌍 너머로 확장하여 어떤 차원에서든 더 넓고 안전한 간소화를 제공할 수 있는가?
• RQ3 다른 쌍을 바꾸지 않고 대각선으로 이동시키는 데 필요한 정확한 조건(금지 영역, 고유한 기울기 경로)은 무엇인가?
• RQ4 간소화 과정 전반에 걸쳐 관계 변화를 추적하기 위한 구성적 동형사상을 어떻게 구축할 수 있는가?
• RQ5 실무적으로 이러한 안전한 취소를 수행하는 계산 복잡도는 얼마인가?

주요 결과

• 금지 영역의 새로운 프레임워크가 표준 순서에서 연속적이지 않은 특정 생성-소멸 쌍의 안전한 제거를 가능하게 한다.
• 금지 영역이 서로 교차하지 않고 고유한 기울기 경로가 존재할 때 다른 지속성 쌍을 바꾸지 않고 대각선으로 쌍을 되돌릴 수 있는 구성적 증명과 알고리즘이 존재한다.
• 레프셰츠 취소를 통한 취소는 나머지 페어링 구조를 보존하며 점진적으로 Morse 복합체를 단순화하기 위해 반복될 수 있다.
• 이 방법은 깊이 포제에 기초하고 기존의 게으른 감소 관계 및 Morse 복합 이론과 연계된다.
• 각 적용 가능한 취소는 최악의 경우 O(c · n) 시간에 수행될 수 있으며, 여기서 c는 생성-소멸 쌍의 수이고 n은 입력 크기이다.

Figure 2: Left: $(n-1)$ -st dimensional persistence diagram of some complex $X$ , with $D_{n}$ in the bottom-right corner. In the diagram, we denote by $\times$ homological relations between pairs, and by $\otimes$ relations which are homological and cohomological at the same time. To decide if movi