1코사이클을 위한 위상 영속성 정의와 계산

초록

본 논문은 위상 영속성 개념을 1‑코사이클이라는 이산 미분형식에 확장한다. 기존의 지속성은 실함수에 적용되지만, 1‑코사이클은 값이 정수 혹은 실수인 엣지에 할당된 코체이며, 데이터 순위화와 이산 벡터장 등에 활용된다. 저자들은 ‘레벨 영속성(level persistence)’이라는 변형을 도입해 1‑코사이클의 영속성 지표를 정의하고, 이를 효율적으로 계산하는 알고리즘을 제시한다. 결과적으로 위상 영속성 이론을 보다 일반적인 코체 구조에 적용할 수 있는 토대를 마련한다.

상세 분석

위상 영속성은 원래 실수값 함수 f: X→ℝ에 대해 서브레벨 집합 X_a={x∈X | f(x)≤a}의 호몰로지 변화를 추적함으로써 데이터의 다중 스케일 구조를 정량화한다. 이 논문은 이러한 프레임워크를 1‑코사이클 ζ∈C¹(K;ℝ)으로 일반화한다. 1‑코사이클은 각 1‑단순체(엣지)에 실수 값을 할당하고, 경계 연산자와의 상호작용을 통해 ‘폐쇄성(dclosed)’을 만족한다. 즉, 모든 2‑단순체에 대해 ζ의 경계가 0이 된다. 이러한 객체는 그래프 기반 순위 시스템이나 이산 벡터장 등에서 자연스럽게 등장한다.

저자들은 직접적인 서브레벨 집합을 정의하기 어려운 점을 인식하고, 대신 레벨 집합 L_t={e∈E | ζ(e)=t}와 그 주변의 상위·하위 집합을 이용한다. 레벨 영속성은 t를 파라미터로 하여 L_t의 포함 관계가 변할 때 발생하는 호몰로지 생성·소멸을 기록한다. 이때 핵심은 ζ의 값이 연속적인 실수이므로, 값이 변하는 임계점들을 정렬하고, 각 구간마다 복합체의 구조를 업데이트하는 ‘스위핑(sweeping)’ 기법을 적용한다.

계산 측면에서는 기존의 표준 영속성 알고리즘(예: 매트릭스 감소)과 유사하게, 엣지 값을 기준으로 정렬한 뒤 행렬을 단계적으로 감소시킨다. 그러나 1‑코사이클의 경우 엣지 간의 상호작용이 코체 조건에 의해 제한되므로, 감소 과정에서 추가적인 제약식이 삽입된다. 논문은 이러한 제약을 효율적으로 처리하기 위해 ‘코체 매트릭스(cochain matrix)’와 ‘레벨 인덱스(level index)’를 도입하고, 복합체의 필터링을 엣지 값 순서에 맞춰 수행한다. 결과적으로 시간 복잡도는 O(m log m + m·α(n)) 수준으로, 여기서 m은 엣지 수, n은 정점 수, α는 역아커만 함수이다.

이론적 결과로는 레벨 영속성 다이어그램이 1‑코사이클의 동등 클래스(동형 사상)와 불변량을 완전하게 포착한다는 정리가 증명된다. 또한, 레벨 영속성은 기존 서브레벨 영속성의 특수 경우가 아니라, 전혀 새로운 위상적 정보를 제공한다는 점이 강조된다.