선형 시간에 구하는 (1+ε) 준컨포멀 매핑 알고리즘

초록

**
이 논문은 n개의 변을 가진 단순 다각형 Ω를 단위 원판 D와 (1+ε)‑준컨포멀하게 매핑하는 알고리즘을 제시한다. 전처리와 푸리에·멀티폴 방법을 이용해 전체 복잡도를 C(ε)·n, 여기서 C(ε)=C+C·log(1/ε)·log log(1/ε) 로 보장한다.

**

상세 분석

**
논문은 먼저 기존의 슈와르츠‑크리스토펠 공식이 매개변수(정점의 전이미지) 찾기에 어려움이 있음을 지적하고, 이를 회피하기 위해 ‘iota‑map’이라는 새로운 초기 근사법을 도입한다. iota‑map은 다각형의 중축축(메디얼 축) 디스크 집합을 이용해 경계점을 원판 경계와 연결하고, 이 과정은 n‑변 다각형의 메디얼 축을 선형 시간에 계산할 수 있는 기존 결과(Chin·Snoeyink·Wang)를 그대로 활용한다.

다음 단계에서는 도메인을 ‘두꺼운(thick)’ 부분과 ‘얇은(thin)’ 부분으로 구분한다. 얇은 부분은 하이퍼볼릭 기하학에서의 얇은 고리와 유사하게, 극소 극대길이(극단적 외측 길이) 조건에 의해 발생한다. 얇은 부분은 형태가 제한적이어서 원판으로의 정확한 컨포멀 매핑을 명시적 공식(원호·사각형 등)으로 근사할 수 있다. 두꺼운 부분에 대해서는 상부 반평면 H를 O(n)개의 휘틀리·카를슨 박스로 분할하고, 각 박스마다 p=O(log 1/ε) 차수의 멱급수(또는 라우렌츠 급수)를 전개한다. 이 급수는 FFT 기반의 빠른 멱연산을 사용해 O(p log p) 시간에 평가될 수 있다.

각 박스의 전개식은 파티션 오브 유니티를 통해 전역적인 매핑 F를 구성하고, 그 베르미어 계수 μ=∂̄F/∂F 를 계산한다. μ의 ∞‑노름은 O(ε)이며, 이를 보정하기 위해 빠른 멀티폴(FMM) 방법을 이용해 μ에 대한 베르미어 방정식 ∂̄H=μ를 근사적으로 푼다. 이 과정은 한 번의 반복에 O(n p log p)≈O(n log 1/ε·log log 1/ε) 시간이 소요된다.

알고리즘의 핵심은 Newton‑type 반복을 통해 ε‑표현을 점진적으로 개선하는 것이다. 초기 iota‑map이 제공하는 K≤7.82 수준의 QC 거리에서 시작해, ε₀(상수) 이하로 떨어지면 O(log log 1/ε) 번의 반복만으로 최종 (1+ε)‑준컨포멀 매핑을 얻는다. 전체 복잡도는 초기 근사와 반복 횟수를 합쳐도 O(C(ε)·n) 수준이며, C(ε)에는 로그‑로그 항이 포함된다.

이와 같이 논문은 하이퍼볼릭 기하학, 메디얼 축, 휘틀리·카를슨 분해, 고속 푸리에·멀티폴 연산, 그리고 베르미어 방정식 근사 해법을 결합해, 전통적으로 O(n³) 혹은 그 이상으로 알려진 컨포멀 매핑 문제를 선형 시간에 해결한다는 이론적 근거를 제공한다.

**