스트라티폴드의 완전 이산 모스 함수와 효율적 최적화 알고리즘

초록

**
본 논문은 2‑차원 스트라티폴드에 대해 최적(critical cell 수 최소) 이산 모스 함수를 다항 시간에 계산하는 알고리즘을 제시하고, 이러한 함수가 언제 완전(perfect)인지 정확히 규정한다. 그래프‑이론적 가중치 조건과 소수 p에 대한 동형성 검사를 통해 베타 수와 일치하는 완전 함수의 존재 여부를 판단한다.

**

상세 분석

**
이 논문은 이산 모스 이론을 스트라티폴드라는 특수한 2‑차원 복합체에 확장한다. 먼저 저자들은 스트라티폴드 X를 표면 집합 M과 원형 집합 C의 결합으로 모델링하고, 각 표면 M_i와 원 c_j 사이의 경계 연결을 정수 차수 w(e)로 표시한 가중 이분 그래프 G(X)를 구축한다. 이 그래프는 흰색 정점(표면)과 검은색 정점(원)으로 구성되며, 가중치는 붙이는 지도(covering map)의 차수를 반영한다.

핵심 정리는 두 가지 경우로 나뉜다. (1) 모든 흰색 정점의 가중치가 비음수(즉, 방향성 표면만)이고, 어떤 소수 p가 모든 에지 가중치의 합을 p로 나눌 수 있을 때, 베타₂( X; ℤ_p )가 표면 개수 n과 정확히 일치한다. 이는 2‑체인 복합체 C₂(X; ℤ_p )의 경계 연산자가 영이 되므로 차원이 n이 되고, 따라서 m₂(f)=β₂가 되는 완전 함수가 존재함을 의미한다. (2) 최소 하나의 흰색 정점 가중치가 음수(비방향성 표면 포함)인 경우에는 p=2를 선택해 동일한 결론을 얻는다. 위 조건을 만족하지 않으면 β₂가 n보다 작아져 완전함을 얻을 수 없으며, 최적 함수는 여전히 존재하지만 완전하지 않다.

알고리즘적 측면에서 저자들은 스트라티폴드의 CW 구조를 다각형 P₁,…,P_n의 집합으로 표현한다. 각 다각형은 면 M_i를 삼각분할한 결과이며, 경계 변을 원 c_j와 동일시한다. 이때 모든 다각형을 독립적으로 삼각분할한 뒤, 동일시 관계만 적용하면 모든 가능한 삼각분할 K를 얻을 수 있다. 따라서 최적 이산 모스 함수를 찾기 위한 입력은 (1) 다각형들의 면‑경계 연결 정보, (2) 각 연결의 차수 w(e)이다.

최적 함수의 계산은 그래프 G(X)에서 “Morse matching”을 구성하는 과정과 동등하다. 저자들은 V‑path가 존재하지 않는 매칭을 찾는 것이 바로 gradient vector field −∇f와 일치함을 이용한다. 이 매칭을 찾는 문제는 기존의 1‑차원 그래프에서의 스패닝 트리 구성과 유사하게 선형 시간(또는 다각형 수에 비례하는 다항 시간)으로 해결된다. 특히, 모든 흰색 정점 가중치가 비음수이고 소수 p가 존재하면, 루트 정점을 하나 선택하고 각 트리 간선에 대해 “farther vertex” 규칙으로 방향을 정하면 V‑path가 없으며, 이때 발생하는 비임계 셀은 정확히 베타 수와 일치한다.

복잡도 분석에 따르면, 스트라티폴드의 입력 크기 N(다각형 수 + 에지 수) 대비 알고리즘은 O(N) 혹은 O(N·log N) 수준이며, 이는 일반 2‑차원 복합체에 대한 MAX‑SNP‑Hard 문제와는 대조적이다. 즉, 스트라티폴드라는 구조적 제한이 최적 이산 모스 함수 문제를 효율적으로 해결할 수 있게 만든다.

마지막으로 저자들은 기존 연구(예: Lewiner et al., Ayala et al.)와 비교해, 2‑차원 복합체 전체가 아니라 스트라티폴드라는 특수 클래스에 초점을 맞춤으로써 완전 함수 존재 조건을 명시적으로 제시하고, 이를 검증하는 간단한 산술 검사(소수 p 존재 여부)만으로도 충분함을 보여준다. 이는 실용적인 응용—예를 들어, 복잡한 3‑차원 모델의 2‑차원 슬라이스 분석이나 토포로지 데이터 분석—에서 빠른 동형성 판단과 최소 셀 기반 동역학 모델링에 직접 활용될 수 있다.

**