3차원 회전의 비특이 효율적 모델링

초록

본 논문은 3차원 회전군을 3차원 사영 공간으로 보고, 그 사영 공간의 네 개의 아핀 패치를 이용해 회전을 3개의 실수 성분으로 매개화한다. 이 방식은 쿼터니언보다 계산량이 적고, 오일러 각이나 회전벡터처럼 특이점이 없으며, 기본 연산이 선형·이차 다항식의 비율로 표현돼 삼각함수 등 초월함수를 필요로 하지 않는다. 또한 각속도 적분을 위한 미분 방정식을 유도하고, 쿼터니언 방식과 동일한 복잡도를 가지면서 정규화가 필요 없는 장점을 제시한다.

상세 분석

논문은 먼저 회전군 SO(3)가 3차원 실수 사영 공간 RP³와 동형임을 강조한다. 기존 컴퓨터 그래픽스·로봇공학 분야에서는 주로 쿼터니언(4차원 단위벡터)이나 오일러 각, 회전벡터(축‑각 표현) 등을 사용해 왔지만, 각각 정규화 필요성, 특이점(예: 짐벌 락), 혹은 삼각함수 연산이라는 비용을 동반한다. 저자는 RP³를 네 개의 아핀 패치(각 패치는 하나의 동차 좌표를 1로 고정한 3차원 실수 공간)로 분할하고, 이 중 하나를 선택해 회전을 3개의 실수 (x, y, z) 로 표현한다. 선택된 패치 내에서는 동차 좌표 (w, x, y, z) 중 w≠0인 경우 w=1로 정규화해 (x, y, z) 로 축소한다. 이렇게 하면 회전 행렬을 구성하는 모든 원소가 (x, y, z)의 1차·2차 다항식 비율로 나타나며, 연산 과정에서 삼각함수 호출이 전혀 필요하지 않다.

특히, 각속도 ω∈ℝ³를 시간에 대해 적분하는 미분 방정식을 유도한다. 기존 쿼터니언 방식에서는 ω를 쿼터니언 q와 결합해 q̇ = ½ Ω(q)·q 형태의 선형 방정식으로 풀지만, 정규화가 필요하고 수치적 불안정성이 발생한다. 아핀 패치에서는 q를 (1, x, y, z) 로 대체하고, ω와의 곱셈을 다항식 비율로 전개해 ẋ, ẏ, ż 를 직접 구한다. 결과 방정식은 차수가 2인 다항식 비율이지만, 연산량은 쿼터니언과 동일하거나 약간 적다. 또한, 정규화 단계가 없으므로 수치적 드리프트가 누적되지 않아 장기 시뮬레이션에 유리하다.

논문은 또한 “dead direction”(특정 방향에서 상태 변화가 일어나지 않는 현상)이 존재하지 않음을 증명한다. 이는 아핀 패치가 전체 RP³를 겹치지 않게 커버하기 때문에, 어떤 회전도 패치 전환 없이 연속적으로 표현 가능함을 의미한다. 패치 전환은 좌표계 변환(예: w가 0에 가까워지면 다른 패치로 이동)으로 구현되며, 이는 단순한 스위칭 로직으로 처리된다.

마지막으로, 계산 복잡도와 메모리 요구량을 정량적으로 비교한다. 쿼터니언은 4개의 부동소수점 저장과 4×4 행렬 곱셈(또는 3×3 회전 행렬 변환) 필요하지만, 아핀 패치는 3개의 부동소수점만 저장하고, 행렬 원소 계산 시 9개의 다항식 비율만 평가하면 된다. 따라서 캐시 효율과 파이프라인 활용 측면에서 이점이 있다.

전반적으로 이 논문은 회전 표현에 대한 수학적 근본 구조를 재조명하고, 실용적인 구현 관점에서 기존 방법보다 명확한 장점을 제공한다. 다만, 패치 전환 시 경계 근처에서 수치적 불안정성이 발생할 가능성이 있으며, 이를 완화하기 위한 보간 기법이나 스무딩 전략이 추가 연구 과제로 남는다.