[논문 리뷰] Symmetries in LDDMM with higher order momentum distributions

Henry O. Jacobs|arXiv (Cornell University)|2013. 06. 14.

Quantum chaos and dynamical systems참고 문헌 19인용 수 4

한 줄 요약

이 논문은 대칭성과 Noether의 정리에 기반한 기하적 프레임워크를 제공함으로써, 변형의 고차원 운동량 분포를 k-젯(k-jets)을 통해 도입함으로써 대변형 디퍼모르픽 메트릭 매핑(LDDMM)을 확장한다. 이는 국소적 회전, 스케일링, 시어링을 모델링할 수 있게 하며, 고차원 입자에서 발생하는 내재된 대칭성에 기반한 보존 운동량을 도출함으로써 기하학적 적분의 안정성과 정확성을 향상시킨다.

ABSTRACT

In some implementations of the Large Deformation Diffeomorphic Metric Mapping formulation for image registration we consider the motion of particles which locally translate image data. We then lift the motion of the particles to obtain a motion on the entire image. However, it is certainly possible to consider particles which do more than translate, and this is what will be described in this paper. As the unreduced Lagrangian associated to EPDiff possesses $\Diff(M)$ symmetry, it must also exhibit $G \subset \Diff(M)$ symmetry, for any Lie subgroup. In this paper we will describe a tower of Lie groups $G^{(0)} \subseteq G^{(1)} \subseteq G^{(2)} \subseteq...$ which correspond to preserving $k$-th order jet-data. The reduced configuration spaces $Q^{(k)} := \Diff(M) / G^{(k)}$ will be finite-dimensional (in particular, $Q^{(0)}$ is the configuration manifold for $N$ particles in $M$). We will observe that $G^{(k)}$ is a normal subgroup of $G^{(0)}$ and so the quotient $G^{(0)} / G^{(k)}$ is itself a (finite dimensional) Lie group which acts on $Q^{(k)}$. This makes $Q^{(k)}$ a principle bundle over $Q^{(0)}$ and the reduced geodesic equations on $Q^{(k)}$ will possess $G^{(0)} / G^{(k)}$-symmetry. Noether's theorem implies the existence of conserved momenta for the reduced system on $T^{\ast}Q^{(k)}$.

연구 동기 및 목표

• 입자를 고차원 국소 변환(예: 회전, 스케일링, 시어링)으로 일반화함으로써 랜드마크 기반 LDDMM를 일반화하는 것.
• 변형의 국소적 특성을 단순 이동을 초월하여 기록하는 데 k-차 미분형식(k-jet)의 미분형식을 사용하여 이러한 변환을 모델링하는 것.
• 양-밀스 이론과 유사한 게이지 대칭성과 유사한 내재된 대칭성의 구조를 규명하는 것.
• 해밀턴 형식의 대칭성에 기반한 심플렉틱 축소를 적용하여 지오데식 계산의 수치적 안정성을 향상시키기 위해 보존 운동량을 도출하는 것.
• 일반 다양체, 특히 의료 영상에서 자주 사용되는 2-구면과 같은 비유클리드 공간을 포함한 일반적인 다양체에 적용 가능한 좌표 불변 기하학적 프레임워크를 제공하는 것.

제안 방법

• 기저 다양체 M 상의 입자 운동을 미분형식의 k-젯 번들의 주기지로 옮기며, 이를 통해 주기지 번들 Q^(k) → Q 를 구성한다.
• 변형의 국소적 비선형성과 선형성을 기록하는 데 k-차 테일러 전개(k-jet)를 사용하여 고차원 변형을 모델링한다.
• 내재 자유도를 나타내는 GL(d)와 대칭 텐서 S^1_k의 반직접곱으로 구성된 대칭군 G^(k)_z 를 규명한다.
• 모멘텀 맵 이론과 Noether의 정리를 활용하여 대칭성에 기반한 심플렉틱 축소를 적용하여 보존 양을 도출한다.
• 기저 다양체 위에 랜드마크를 기반으로 한 섬유 번들로 구성된 축소된 구성 공간 Q^(k) 를 구축하며, 구조군은 GL(d) ⋉ S^1_k 이다.
• Clebsch 접근법을 사용하여 축소된 공간 상의 지오데식 방정식을 유도하고, 이전 연구(SNDP13)와의 일致성을 검증한다.

실험 결과

연구 질문

• RQ1 LDDMM 프레임워크 내에서 단순 이동을 초월한 국소 영상 변형(예: 회전, 스케일링, 시어링)을 체계적으로 모델링하는 방법은 무엇인가?
• RQ2 미분형식의 k-차 미분형식 정보를 포함하는 입자의 대수적 및 기하학적 구조는 무엇인가?
• RQ3 이러한 고차원 입자에서 발생하는 내재된 대칭성은 무엇이며, 지오데식 흐름에서 보존 운동량과 어떻게 관련되는가?
• RQ4 일반적인 M에 대해 이러한 k-젯 입자의 대칭성은 좌표 불변 방식으로 어떻게 형식화될 수 있는가?
• RQ5 유도된 보존 운동량은 LDDMM 구현의 수치적 안정성과 정확성 향상에 기여할 수 있는가?

주요 결과

• 미분형식의 k-젯은 국소 영상 변형을 유한 차원 표현으로 제공하며, 이를 통해 회전, 시어링과 같은 고차원 변형을 모델링할 수 있다.
• k-차 구조를 가진 입자는 구조군 GL(d) ⋉ S^1_k 를 가진 주기지 번들 Q^(k) → Q 를 형성한다. 여기서 S^1_k 는 대칭 (1,k)-텐서의 공간이다.
• k=1 인 경우 대칭군은 GL(d) 이며, k=2 인 경우 반직접곱 GL(d) ⋉ S^1_2 가 되어 제2차 국소 변형을 포괄한다.
• 이러한 입자의 내재 대칭성은 Noether의 정리를 통해 보존 운동량을 유도하며, 이는 안정적인 수치적 적분기 설계에 활용될 수 있다.
• M = ℝ^d 인 경우 축소된 구성 공간 Q^(k) 는 ℝ^d × GL(d) × S^1_2 × ⋯ × S^1_k 와 미분형식적으로 동치임을 확인하여 이전의 제안과 일致함을 입증한다.
• 유도된 속도장과 지오데식 방정식은 SNDP13에서 제안한 것과 일致함을 확인하여, 기하학적 프레임워크가 랜드마크 기반 LDDMM의 자연스러운 확장임을 검증한다.