R³ 영역의 전역 블룸 중축 구조와 위상·기하 복합성

본 논문은 매끄러운 경계 B를 가진 3차원 컴팩트 영역 Ω의 ‘geometric complexity’를 정의하고, 이를 블룸 중축 M을 통해 정밀히 분석한다. M은 거리 함수의 맥시멈 집합이자, ‘central set’, ‘cut‑locus’ 등으로도 알려진 2‑차원 위튼 스트래티피드 집합이며, Ω에 대한 강한 변형 수축(retraction) 역할을 한다. 저자는 먼저 M의 국소 구조를 다섯 가지 표준 형태(에지, Y‑분기, 핀 생성점, 6‑접합점)로 분류하고, 이를 기반으로 ‘핀 곡선(fin curve)’을 따라 M을 절단한다. 이 절단 과정은 ‘핀 곡선’이 ‘필수(essential)’인지 ‘비필수(inessential)’인지에 따라 다르게 처리되며, 결과적으로 M은 서로 연결된 ‘불가분 성분(irreducible medial components) Mi’들의 집합으로 분해된다. 각 Mi는 두 단계의 확장 그래프 구조로 기술된다. 첫 번째 단계는 상위 그래프 Γ(M) 로, 각 정점이 하나의 Mi를, 각 방향성 간선이 핀 곡선을 따라 Mi와 Mj가 어떻게 연결되는지를 나타낸다. Γ는 다중 간선과 자기 루프를 허용하는 확장 그래프이며, Mi들의 전역 연결 관계를 압축한다. 두 번째 단계는 각 Mi 내부의 구조를 나타내는 하위 그래프 Λi 로, 여기에는 S‑정점(표면 Sij)과 Y‑노드(네트워크 Yik)가 존재한다. S‑정점은 경계가 있는 매끄러운 표면(가능하면 비지향성, 종, 경계 수 등)을 나타내고, Y‑노드는 Y‑분기 곡선과 6‑접합점으로 이루어진 네트워크를 나타낸다. 그래프의 변은 특정 표면 경계가 어느 Y‑노드에 부착되는지를 기록한다. 이러한 이중 그래프 모델을 이용해 저자는 M의 위상 불변량을 계산한다. 정리 3.2와 3.4에서는 Λi와 Γ의 데이터(표면 종, 경계 수, 핀 곡선 수, 6‑접합점 수 등)를 이용해 호몰로지 군 Hk(M)와 오일러 특성 χ(M)를 구한다. 정리 7.4에서는 각 Mi의 기본군 π1(Mi)를 프리 그룹의 프레젠테이션 형태로 제시한다. 결과적으로 Ω의 호몰로지와 기본군은 M의 그래프 데이터로 완전히 결정된다. 특히, 영역 Ω가 수축가능(contractible)인 경우에 대한 특수한 결과가 눈에 띈다. 이 경우 상위 그래프 Γ(M)와 모든 하위 그래프 Λi 가 트리 구조가 되며, 각 표면 Sij는 종이 0인 디스크(구멍이 있을 수 있음) 형태가 된다. 또한 ‘Euler 관계’와 ‘기본군 조건(Condition 5.1)’이 만족되어야 한다. 이러한 조건을 만족하는 경우에만 Ω가 수축가능함을 정리 5.2에서 완전히 특성화한다. 이는 Mads Nielsen이 제기한 “3‑차원 수축가능 영역의 중축이 트리 구조인가?”라는 질문에 대한 부정적 답을 제공한다(단순히 트리만으로는 충분하지 않으며, 추가적인 데이터가 필요함). 논문은 또한 알고리즘 1을 제시해 실제 컴퓨터 구현이 가능하도록 M을 ‘핀 곡선’ 기준으로 절단하고, 각 Mi와 그 연결 관계를 그래프 형태로 추출한다. 이 과정은 의료 영상·생물학적 형태 분석 등에서 복잡한 3‑차원 구조를 효율적으로 저장·검색할 수 있는 기반을 제공한다. 결론적으로, 저자는 블룸 중축을 단순한 기하학적 도구가 아니라, 위틀리 스트래티피드와 확장 그래프 이론을 결합한 ‘두 단계 그래프 모델’로 승격시켜, 영역의 기하·위상 복합성을 정량화하고, 위상 불변량을 직접 계산하며, 수축가능 영역을 그래프 이론적으로 완전히 특성화한다는 중요한 성과를 얻었다.