SO3 불변표현을 이용한 SE3 좌측불변 확산

초록

본 논문은 3차원 운동군 SE(3) 위에서의 확산·대류 방정식을 SO(3)의 불변표현(와이너 D‑행렬)으로 전개한다. 좌측불변 벡터필드를 번역 좌표에 대한 미분 연산과 회전 좌표에 대한 대수 연산으로 분리함으로써, 구면조화함수 기반의 압축 표현을 사용해 SO(3) 또는 S²의 직접적인 격자화를 피한다. 이를 통해 메모리 요구량을 크게 낮추고, 확산‑가중 MR 영상과 물체 검출에 적용한 두 사례를 제시한다.

상세 분석

논문은 SE(3)=ℝ³⋉SO(3) 의 리프톤 구조를 이용해 좌측불변 벡터필드 6개(Tₓ,T_y,T_z,Jₓ,J_y,J_z)를 정의하고, 이를 복소표현 ~T,~J 로 변환한다. 회전 부분은 SO(3)의 불변표현인 와이너 D‑행렬 D^j_{nm}(α,β,γ) 로 전개되며, 각 j는 차수, n,m은 -j…j 범위의 정수다. D^j는 Peter‑Weyl 정리에 의해 완전 직교 기저를 이루므로, 임의의 φ∈L²(SE(3))는
φ(g)=∑{j,n,m}(2j+1)/(8π²) D^j{nm}(R) f^j_{nm}(x)
와 같이 전개될 수 있다. 여기서 f^j_{nm}(x)는 공간 좌표에만 의존하는 스칼라 필드이다.

좌측불변 미분 연산자는 두 종류로 나뉜다. 회전 연산 J_k는 D^j의 인덱스를 직접 이동시키는 클레베시‑갤러간 계수를 이용한 상승·하강 연산으로 표현된다. 구체적으로 J_z는 m에 i m을 곱하고, J_{±1}는 √