단일 정점 종이접기 평탄화: 비팽창 구간 해결

** 본 논문은 단일 정점 종이접기(Single‑Vertex Origami) 문제를 구형 카펜터 규칙 문제로 환원하고, 특히 정점이 종이 경계에 위치한 경우에 초점을 맞춘다. 기존 연구인 Streinu‑Whiteley(2010)는 구형 다각형의 전체 길이가 π 미만인 개방 사슬과 2π 이하인 폐다각형에 대해 팽창 모션을 이용해 충돌 없이 평탄화할 수 있음을 보였다. 그러나 정점이 경계에 놓이고 사슬 길이가 π 이상 2π 미만인 “중간 길이” 구형 사슬은 팽창 모션만으로는 해결되지 않는다. 논문은 먼저 종이접기의 기하학적 모델을 정의한다. 종이의 접힌 면은 평면 다각형 패널이며, 각 패널은 접힌 선(크레이스)으로 연결된 힌지 체인으로 모델링된다. 정점이 내부에 있으면 체인은 폐쇄된 고리(closed chain)이며, 경계에 있으면 개방된 체인(open chain)이다. 3차원에서 각 패널은 구면 위의 큰 원(great‑circle) 호로 나타나며, 따라서 전체 구조는 구면 다각형 사슬로 변환된다. 다음으로 구형 사슬의 길이와 구형 영역(hemisphere, belt 등)에 대한 정의를 제시한다. 사슬이 전체 길이 α < π이면 자동으로 반구(hemisphere) 안에 들어가며, 기존 팽창 기반 pseudo‑triangulation 알고리즘을 그대로 적용할 수 있다. 반면 α ≥ π 인 경우, 사슬이 구면을 가로질러 스페어‑스팬닝(sphere‑spanning)될 수 있다. 이때 사슬이 차지하는 영역을 분석하기 위해 구면 극‑극(polar‑duality) 개념을 도입한다. 극‑극 변환을 이용하면, 구면 위의 호를 가로지르는 대원의 집합이 해당 호와 동일한 길이 α 에 비례하는 측도 2α 를 가진다는 레마 1을 얻는다. 또한, 일정 폭 w 의 벨트(belt)의 극‑극은 지름 w 인 반대쪽 원쌍이라는 레마 2를 이용해, 사슬이 벨트 안에 포함될 확률을 측정한다. 볼록 구형 다각형(K)의 면적은 그 내부에 내접할 수 있는 최대 원의 지름 d 에 대해 area(K) ≤ 2d 라는 레마 3을 증명한다. 이 부등식은 사슬이 충분히 “좁은” 벨트 안에 있을 경우, 사슬을 약간 회전하거나 수축시켜도 충돌이 발생하지 않음을 보장한다. 이러한 기하학적 도구들을 바탕으로 저자들은 새로운 이산 단계 플래닝 알고리즘을 설계한다. 알고리즘은 크게 네 단계로 구성된다. 1. **스페어‑스팬닝 검사**: 현재 사슬이 구면 전체를 가로지르는지, 혹은 반구 안에 제한되는지를 극‑극 변환을 통해 판단한다. 2. **볼록 다각형 근사**: 스페어‑스팬닝이면 사슬을 포함하는 최소 볼록 다각형을 계산하고, 그 다각형의 직경 d 와 전체 길이 α 를 구한다. 3. **비팽창 수축**: 레마 3에 따라 area ≤ 2d 조건을 만족하도록 사슬을 일정 각도 δ 만큼 수축한다. 이때 δ 는 각도 결핍 (2π − α)와 링크 수 n 에 의존하며, 논문에서는 δ ≈ C·(2π − α)/n (상수 C 는 구체적 증명에서 도출)으로 설정한다. 4. **팽창 확장**: 수축 후 사슬이 반구 안에 들어가면, 기존의 팽창 기반 pseudo‑triangulation 메커니즘을 적용해 사슬을 평탄(플랫) 상태, 즉 모든 정점이 동일한 대원 위에 놓이도록 확장한다. 알고리즘의 복잡도 분석에서는 단계 3에서 필요한 수축 횟수가 O(n·(2π − α)⁻¹) 임을 보이며, 전체 과정은 유한한 이산 단계 내에 종료한다. 특히, 각도 결핍이 작을수록(즉, α 가 2π에 가까울수록) 더 많은 미세 수축이 필요하지만, 여전히 다항식 시간 안에 해결 가능함을 증명한다. 결과적으로, 논문은 단일 정점 종이접기의 모든 경우—정점이 내부에 있든 경계에 있든, 사슬 길이가 짧든 중간이든—에 대해 평탄화가 가능함을 보였다. 특히, 기존 팽창 모션만으로는 해결되지 않던 π ≤ α < 2π 구간을 비팽창 수축을 포함한 새로운 이산 플래닝 기법으로 메꿨다. 이론적 기여는 구면 극‑극과 측도론을 활용한 새로운 증명 기법이며, 실용적 측면에서는 로봇 팔 경로 계획, DNA 나노오리기, 그리고 복잡한 종이접기 시뮬레이션 등에 적용 가능성을 제시한다. **