[논문 리뷰] Shape Splines and Stochastic Shape Evolutions: A Second Order Point of View

Alain Trouvé, François‐Xavier Vialard|arXiv (Cornell University)|2010. 03. 19.

Morphological variations and asymmetry참고 문헌 42인용 수 88

한 줄 요약

이 논문은 2차 스플라인 프레임워크를 도입하여 리만 다양체 위에서 해밀토니안 역학을 활용해 2D/3D 랜드마크 데이터의 매끄럽고 시간 연속적인 형태 변화를 모델링한다. 운동량 제어를 결정론적 변수로 간주함으로써, 이는 제2차 에너지의 최소화자로 형태 스플라인을 정의하여 조각별 기하선을 초월한 매끄러운 보간을 가능하게 한다. 무작위 외력에 의해 확장된 이 모델은 종단형 형태 데이터의 비모수 통계 분석 기초를 제공한다.

ABSTRACT

This article presents a new mathematical framework to perform statistical analysis on time-indexed sequences of 2D or 3D shapes. At the core of this statistical analysis is the task of time interpolation of such data. Current models in use can be compared to linear interpolation for one dimensional data. We develop a spline interpolation method which is directly related to cubic splines on a Riemannian manifold. Our strategy consists of introducing a control variable on the Hamiltonian equations of the geodesics. Motivated by statistical modeling of spatiotemporal data, we also design a stochastic model to deal with random shape evolutions. This model is closely related to the spline model since the control variable previously introduced is set as a random force perturbing the evolution. Although we focus on the finite dimensional case of landmarks, our models can be extended to infinite dimensional shape spaces, and they provide a first step for a non parametric growth model for shapes taking advantage of the widely developed framework of large deformations by diffeomorphisms.

연구 동기 및 목표

• 종단형 형태 분석에서 제1차 조각별 기하선 보간의 한계, 즉 매끄럽지 못하고 통계적으로 취약한 점을 해결한다.
• 리만 다양체 이론을 활용해 시간 색인된 2D/3D 형태의 매끄러운 보간을 위한 결정론적 제2차 스플라인 모델을 개발한다.
• 해밀토니안 기하선 방정식에 무작위 힘을 도입하여 확률적 형태 변화 모델을 제안함으로써 형태 변동성의 확률적 모델링을 가능하게 한다.
• 결정론적 및 확률적 설정에서 해의 존재성과 유일성에 대한 이론적 기초를 확립한다.
• 시공간 형태 데이터의 통계 분석을 위한 통합 프레임워크를 제공하며, 무한차원 형태 공간으로의 확장을 가능하게 한다.

제안 방법

• 변분 원리로부터 유도된 해밀토니안 방정식을 사용해 디피오모르피즘 다양체의 기하선 문제로 랜드마크 매칭을 공식화한다.
• 형태 스플라인을 모델링하기 위해 해밀토니안 시스템에 제어 변수를 도입하며, 이는 랜드마크 경로의 가속도를 제어한다.
• 다양체 위에서의 변분법을 통해 스플라인 추정 문제의 오일러-라그랑주 방정식을 유도함으로써 보간 경로의 C2 연속성을 보장한다.
• 모멘텀 맵과 리 대수의 구조를 사용해 역행 동역학을 쌍대 수축 작용의 이중성으로 표현함으로써 오일러-파노레 방정식을 도출한다.
• 결정론적 제어를 무작위 힘으로 대체하여 확률적 해밀토니안 시스템을 구성함으로써, 잘 정의된 동역학을 갖는 확률적 모델로 확장한다.
• 무한차원 다양체 위에서의 확률 미분 방정식 이론을 활용해 확률적 모델의 전역 존재성과 잘 정의됨을 증명하며, 노이즈는 모멘텀 변수에 작용한다.

실험 결과

연구 질문

• RQ1 리만 기하학과 해밀토니안 역학을 활용해 시간 색인된 2D/3D 형태의 제2차 매끄러운 보간을 어떻게 공식화할 수 있는가?
• RQ2 랜드마크 공간에서 결정론적 형태 스플라인의 존재성과 유일성에 대한 이론적 기초는 무엇인가?
• RQ3 해밀토니안 방정식의 무작위 편향은 현실적인 노이즈가 있는 생물학적 형태 변화를 어떻게 모델링할 수 있는가?
• RQ4 제안된 스플라인 모델과 리만 다양체 위의 고전적 3차 스플라인 간의 관계는 무엇인가?
• RQ5 이 프레임워크는 곡선과 표면과 같은 무한차원 형태 공간으로 일반화될 수 있는가?

주요 결과

• 제안된 제2차 스플라인 모델은 시간 색인된 랜드마크 구성 간에 매끄럽고 C2 연속적인 보간을 제공하여 조각별 기하선 모델의 비매끄러움을 해결한다.
• 형태 스플라인의 오일러-라그랑주 방정식은 해밀토니안 프레임워크 내에서 유도되었으며, 제어 변수가 형태 경로의 가속도를 제어함을 보여준다.
• 확률적 확장은 모멘텀에 무작위 힘을 도입하여 전역 존재성이 보장되는 잘 정의된 확률 미분 방정식을 이끌어낸다.
• 제어 변수가 0으로 설정될 경우, 이 모델은 리만 다양체 위의 3차 스플라인과 수학적으로 동치이며 기존 이론과의 일致성을 확인한다.
• 동일한 해밀토니안 및 모멘텀 맵 형식을 통해 이 프레임워크는 곡선과 표면과 같은 무한차원 형태 공간으로 일반화 가능하다.
• 수치 실험은 모델이 시각적 및 정량적 평가에서 제1차 보간보다 뛰어난 생물학적으로 타당한 형태 경로를 생성할 수 있음을 보여준다.