다차원 영속 모듈의 인터리빙 거리 이론

본 논문은 2009년 Chazal 등에게서 시작된 \(\epsilon\)-인터리빙 개념을 다차원 영속 모듈에 일반화하고, 그 이론적 성질을 체계적으로 탐구한다. 서론에서는 영속 호몰로지의 배경과 1‑차원 바코드가 제공하는 직관적 해석을 소개하고, 다차원 필터레이션이 어떻게 다변량 함수나 밀도 기반 변형을 통해 생성되는지를 설명한다. 다변량 경우에는 바코드와 같은 간단한 불변량이 존재하지 않으며, 인듀스 가능한 모듈의 종류가 무한히 복잡해지는 문제를 제기한다. 본 연구의 핵심은 네 가지 주요 정리이다. 첫 번째는 이소메트리 정리(Theorem 3.4)로, 1‑차원 영속 모듈(유한 차원 벡터 공간을 갖는 경우)에서 인터리빙 거리 \(d_I\)와 보틀넥 거리 \(d_B\)가 정확히 일치함을 증명한다. 기존의 알골리즘적 안정성 정리(\(d_I \ge d_B\))와 최신 구조 정리(Crawley‑Boevey, 2015)를 결합해, \(d_I \le d_B\)를 거의 자명하게 보여준다. 두 번째 정리(Theorem 4.4)는 \(\epsilon\)-인터리빙 관계를 프레젠테이션 수준에서 특성화한다. 구체적으로, 두 모듈이 \(\epsilon\)-인터리빙이면 각각의 생성자와 관계식이 \(\epsilon\)만큼 등급을 이동시킨 뒤 동일한 형태의 프레젠테이션으로 변환될 수 있음을 보인다. 이는 다차원 모듈이 복잡한 인덱스 격자를 갖더라도, 알제브라적 유사성을 명확히 파악할 수 있는 도구를 제공한다. 세 번째는 보편성 정리(Corollary 5.6)이다. 소수체(\(\mathbb{Q}\) 혹은 \(\mathbb{Z}/p\mathbb{Z}\)) 위에서 정의된 다차원 영속 모듈에 대해, (i) \(d_I\)는 기존 보틀넥 거리와 동등한 안정성 성질을 만족하고, (ii) 동일한 안정성 조건을 만족하는 모든 의사거리 \(d\)에 대해 \(d \le d_I\)임을 증명한다. 즉, \(d_I\)는 “가장 큰” 안정적 거리이며, 범주론적으로는 안정적 거리들의 포셋(poset)에서 종단 객체가 된다. 1‑차원 경우에도, 제한된 상황(유한 차원 벡터 공간, 임의의 체)에서 유사한 보편성 결과(Theorem 5.16)를 얻는다. 네 번째 정리(Theorem 6.1)는 폐쇄 정리로, 유한히 제시된 다차원 모듈 \(M, N\)에 대해 \(d_I(M,N)=\epsilon\)이면 반드시 \(\epsilon\)-인터리빙 관계가 존재함을 보인다. 이는 \(\{\epsilon \mid M,N\text{가 }\epsilon\text{-인터리빙}\}\)가 실수선에서 닫힌 집합임을 의미하고, \(\epsilon=0\)인 경우 \(d_I\)가 동형류 사이의 실제 거리임을 즉시 얻는다. 계산적 측면에서는, \(\epsilon\)-인터리빙 여부를 다변량 2차 방정식 시스템의 해 존재 여부와 동치시킨다. 프레젠테이션에 포함된 생성자·관계의 총 수를 \(m\)이라 하면, 가능한 \(\epsilon\)값은 \(O(m^2)\)개의 유한 집합에 포함된다. 따라서 이진 탐색을 통해 \(d_I\)를 결정할 수 있지만, 일반적인 2차 방정식 해 존재 문제는 NP‑complete이므로 실제 효율적인 알고리즘 개발은 아직 남아 있다. 논문은 또한 기존 연구와의 관계를 상세히 논의한다. 1‑차원 이소메트리 정리는 Bubenik‑de Silva‑Scott, Chazal‑Cohen‑Steiner 등 여러 독립적인 증명과 연결되며, 다차원 보편성 정리는 d’Amico 등(0차 호몰로지)과의 선행 결과를 일반화한다. 또한 다차원 매칭 거리와 같은 다른 의사거리와 비교해, \(d_I\)가 안정성뿐 아니라 최대 민감성을 갖는 유일한 거리임을 강조한다. 결론적으로, 이 연구는 다차원 영속 호몰로지의 핵심 거리 개념을 명확히 정의하고, 알제브라적 특성화와 보편성, 폐쇄성이라는 세 가지 강력한 이론적 성질을 제공한다. 이는 향후 다차원 토폴로지 데이터 분석, 안정성 이론, 그리고 효율적인 거리 계산 알고리즘 개발에 중요한 기반을 제공한다.