다차원 영속동형군의 토션 비교를 위한 안정적 의사거리

초록

본 논문은 토션을 포함한 다차원 영속동형군을 비교하기 위한 새로운 의사거리 d_T를 정의하고, 필터링 함수의 변화에 대해 max‑norm 및 자연 의사거리와의 안정성을 정리한다. 1차원 경우에는 기존 매칭 거리와의 관계도 제시한다.

상세 분석

영속동형학(Persistent Homology)은 데이터의 형태를 다중 스케일에서 정량화하는 강력한 도구이며, 특히 필터링 함수가 벡터값을 가질 때 다차원 영속 모듈이 등장한다. 전통적인 영속 바코드와 매칭 거리 등은 계수가 체(field)일 때만 완전한 이론이 구축되어 왔으며, 토션이 존재하는 경우에는 동형군 자체가 복잡해져 비교가 어려운 것이 현실이다. 저자들은 이 문제를 해결하고자, 임의의 아벨 군(특히 토션을 포함할 수 있는 경우)으로 정의된 영속동형군 사이에 의사거리 d_T를 도입한다.

d_T는 두 영속동형군 사이의 사상 집합을 고려하는데, 구체적으로는 각 차원 k에 대해 임의의 정수 δ≥0가 존재하여, 한 모듈의 δ‑시프트된 이미지가 다른 모듈에 포함되는지를 검사한다. 이때 포함 관계는 군 동형사상의 존재 여부로 판단되며, 토션 성분이 사라지지 않도록 세심하게 설계되었다. 따라서 d_T는 대칭성, 삼각 부등식 등을 만족하는 의사거리(pseudo‑metric)이며, 실제 거리와는 달리 서로 다른 모듈이 거리 0을 가질 수 있다(동형사상이 존재할 경우).

주요 정리에서는 d_T가 필터링 함수의 변동에 대해 안정적임을 보인다. 구체적으로 두 위상공간 X, Y와 각각의 벡터값 필터링 함수 f, g에 대해, max‑norm ‖f−g‖_∞가 작을수록 d_T( H_k^f , H_k^g )도 그에 비례하여 작아진다. 이는 기존의 안정성 정리와 구조적으로 동일하지만, 토션을 포함한 경우에도 적용 가능하다는 점이 혁신적이다. 또한 자연 의사거리( natural pseudo‑distance )라는 위상공간 자체의 변형을 측정하는 개념과도 연결시켜, 위상공간의 동형사상에 의해 발생하는 필터링 함수의 변형이 d_T에 미치는 영향을 정량화한다.

1차원 경우, 즉 필터링 함수가 실수값을 가질 때는 계수를 체로 잡으면 영속 바코드가 정의되고, 기존의 매칭 거리(bottleneck distance)와 d_T 사이에 명시적인 상한·하한 관계가 성립한다. 저자들은 d_T가 매칭 거리보다 더 일반적인 상황을 포괄하면서도, 체 계수일 때는 매칭 거리와 동등하거나 그보다 작을 수 있음을 증명한다. 이는 토션이 없는 경우에 기존 방법과 일관성을 유지함을 의미한다.

기술적인 핵심은 두 가지이다. 첫째, 사상 기반의 비교 방식을 도입함으로써 토션 성분을 보존하면서도 비교 가능성을 확보했다는 점이다. 둘째, 안정성 증명에 있어서는 체계적인 코시-시퀀스와 장-스펙트럼 시퀀스의 활용을 통해, 필터링 함수의 작은 변동이 영속동형군의 구조적 변화를 제한한다는 일반적인 원리를 확장했다는 점이다.

이 논문은 토션을 포함한 영속동형군의 비교를 위한 이론적 토대를 마련했으며, 향후 토션이 중요한 역할을 하는 데이터(예: 네트워크의 순환 구조, 물리학에서의 결함 군 등)에 대한 영속 분석에 직접 적용될 수 있는 길을 열었다. 또한, d_T가 실제 계산 가능하도록 알고리즘적 접근을 제시하지는 않았지만, 사상 탐색을 기반으로 한 근사 방법 개발의 필요성을 강조한다.