경계가 있는 표면의 불가축 삼각분할

초록

본 논문은 경계가 있는 임의의 (비)정향 표면에 대해, 모든 변을 수축해도 동일한 표면의 삼각분할이 유지되지 않는 ‘불가축 삼각분할’의 정점 수가 표면의 종(g)와 경계 개수(b)의 합에 비례한다는 O(g + b) 상한을 증명한다. 기존 결과는 경계가 없는 경우에만 알려졌으며, 저자들은 보다 단순하고 완전한 초등적인 방법으로 상수를 약간 크게 잡아 일반화하였다.

상세 분석

논문은 먼저 ‘삼각분할(triangulation)’과 ‘불가축(irreduci­ble)’이라는 개념을 명확히 정의한다. 표면 S는 종(g)와 경계 수(b)를 갖는 연결된 2‑다양체이며, 삼각분할은 모든 면이 삼각형인 셀 복합체이다. 변 e를 수축(contraction)한다는 것은 e의 양 끝점을 하나로 합치고, 그에 따라 인접한 면들을 재구성하는 연산이며, 이 과정에서 표면의 위상(특히 경계와 종)이 변하지 않아야 한다. 불가축 삼각분할은 어떤 변도 위와 같은 수축을 허용하지 않는 경우를 말한다.

기존 연구(예: Barnette‑Erdős, Nakamoto‑Negami)는 b = 0인 경우에만 정점 수가 O(g)임을 보였으며, 증명은 복잡한 위상학적 도구와 최소성(minimality) 논리를 활용했다. 저자들은 이러한 복잡성을 피하고자, ‘핵심 삼각형(core triangle)’과 ‘경계 경로(boundary path)’라는 두 가지 구조적 개념을 도입한다. 핵심 삼각형은 표면 내부에 존재하며, 그 주변에 있는 모든 변이 수축 가능성을 검사하는 기준점이 된다. 경계 경로는 각 경계 성분을 따라 선택된 연속적인 변들의 집합으로, 이 경로를 따라 변을 수축하면 경계가 사라지거나 종이 변하는 경우를 방지한다.

주요 정리는 다음과 같다.
정리 1. 종이 g ≥ 0이고 경계가 b ≥ 0인 표면 S에 대해, S의 불가축 삼각분할 T의 정점 수 |V(T)|는 상수 C에 대해 |V(T)| ≤ C·(g + b). 여기서 C는 증명 과정에서 도출된 12 + 6·√2 정도의 값으로, 기존 b = 0 결과에서 얻어지는 C ≈ 7보다 다소 크다.

증명은 크게 두 단계로 나뉜다. 첫 단계에서는 임의의 삼각분할을 ‘정규화(normalization)’하여, 모든 경계 성분이 최소한 하나의 삼각형에 의해 완전히 둘러싸이도록 만든다. 이 과정에서 경계에 인접한 내부 변을 적절히 재배열해도 위상이 변하지 않음을 보인다. 두 번째 단계에서는 정규화된 삼각분할에 대해, 각 내부 삼각형이 최소 두 개 이상의 ‘불가축 변’을 포함한다는 레마를 이용한다. 불가축 변의 존재는 정점 수를 제한하는 핵심적인 제약이 된다. 구체적으로, 각 정점은 평균적으로 최소 6개의 삼각형에 참여하므로, 오일러 공식 V − E + F = 2 − 2g − b를 변형해 정점 수와 종·경계 사이의 선형 관계를 도출한다.

이때 저자들은 복잡한 ‘가중 그래프’나 ‘다중 커버’ 이론을 쓰지 않고, 순수히 오일러 식과 기본적인 면‑변‑정점 관계만으로 상수를 계산한다. 따라서 증명은 대학원 수준의 위상학 교재만으로도 충분히 따라갈 수 있다. 또한, 경계가 존재할 때 발생할 수 있는 ‘경계 충돌(boundary collision)’ 현상을 방지하기 위해, 경계 변을 포함한 모든 삼각형을 ‘경계‑내부 혼합(tri‑mix)’ 형태로 재구성하는 절차를 제시한다. 이 절차는 알고리즘적으로도 구현 가능하므로, 실제 그래프‑이론 소프트웨어에서 불가축 삼각분할을 검증하거나 생성하는 데 활용될 수 있다.

결과적으로, 논문은 불가축 삼각분할의 정점 수가 O(g + b)임을 보이며, 특히 b > 0인 경우에도 동일한 선형 상한이 유지된다는 점을 최초로 확립한다. 이는 표면 위의 메쉬 생성, 컴퓨터 그래픽스, 그리고 위상 최적화 문제에서 중요한 이론적 기반을 제공한다.