2차원 영속 모듈 시각화 도구 RIVET

초록

본 논문은 2‑차원 영속 모듈의 구조를 실시간으로 탐색할 수 있는 소프트웨어 RIVET을 소개한다. RIVET은 2‑D 영속 모듈의 차원 함수, 다중그레이드 베티 수, 그리고 1‑차원 아핀 슬라이스에 대한 바코드(섬유 바코드)를 시각화한다. 핵심은 평면 선 배열을 기반으로 한 증강 배열(augmented arrangement) 자료구조로, 슬라이스 바코드 쿼리를 로그 시간에 수행한다. 논문은 이 구조의 구축 알고리즘과 복잡도 분석, 구현 최적화, 그리고 실험적 실행 시간 결과를 제시한다.

상세 분석

RIVET은 2‑D 영속 모듈 M을 입력으로 받아, (1) 각 점 a∈ℝ²에서의 차원 dim Mₐ, (2) 다중그레이드 베티 수 βᵢ,₍ₚ,₍q₎(M) 그리고 (3) 모든 1‑차원 아핀 슬라이스 L₍θ, t₎에 대한 바코드 B(M|_{L})를 동시에 제공한다. 1‑차원 슬라이스는 (θ, t)∈S¹×ℝ 로 정의되며, 슬라이스 바코드는 해당 슬라이스에 제한된 1‑D 영속 모듈의 바코드와 동일하다. 핵심 기술은 “증강 배열”이라 불리는 평면 선 배열 구조이다. 각 선은 영속 모듈의 랭크 함수 rank_M(s, t)=rank M(s→t)의 변곡점을 나타내며, 이 선들을 정렬하면 ℝ²를 다각형 셀(cell)로 분할한다. 동일한 셀 안에서는 모든 슬라이스가 동일한 바코드 템플릿을 공유한다. 따라서 사용자가 인터페이스에서 슬라이스 파라미터를 움직이면, RIVET은 현재 셀을 O(log n) 시간에 찾아 해당 템플릿을 즉시 표시한다.

증강 배열을 구축하는 알고리즘은 먼저 모듈의 프레젠테이션을 이용해 최소 생성자와 관계를 추출하고, 각 관계에 대응하는 “critical line”을 계산한다. 이 선들을 전처리하여 선 교차점과 셀 구조를 만든 뒤, 각 셀에 대해 바코드 템플릿을 사전 계산한다. 논문은 이 과정의 시간 복잡도를 O(|F|·log|F|+|A|) (|F|는 입력 필터레이션의 크기, |A|는 선 교차점 수) 로 제시하고, 메모리 사용량은 O(|A|) 임을 보인다.

또한, 베티 수는 다중그레이드 자유 해석을 통해 직접 계산되며, 차원 함수는 셀마다 상수값을 갖는다. 구현 측면에서는 선 배열을 DCEL(이중 연결 리스트) 형태로 저장하고, 쿼리 시점에 빠른 점-셀 매핑을 위해 2‑D 범위 트리를 활용한다. 실험에서는 10⁴10⁵개의 심플렉스와 수천 개의 관계를 가진 실제 데이터셋에 대해 전처리 시간 15초, 쿼리 응답 시간 10~30 ms 수준을 기록하였다. 이는 기존 2‑D 영속 분석 도구가 제공하던 정적 시각화와 비교해 획기적인 인터랙티브 성능을 의미한다.

결과적으로 RIVET은 2‑D 영속 모듈의 복잡한 대수적 구조를 시각적으로 탐색할 수 있게 함으로써, 다중 파라미터 필터레이션을 사용하는 데이터 과학자와 토포로지 연구자에게 실용적인 워크플로우를 제공한다.