[논문 리뷰] A Metric on Shape Space with Explicit Geodesics

Peter W. Michor, David Mumford외 2명|ArXiv.org|2007. 06. 28.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 48

한 줄 요약

이 논문은 평면 곡선의 형상 공간에 대한 리만계량을 도입하며, 이는 스티펠 및 그라스만 다양체와 같은 고전적 다양체와 등장하는 등장성(이sovmetry)을 가지며, 등장성 사상에 의해 지오데식의 명시적 계산을 가능하게 한다. 주요 기여는 형상 공간 내 지오데식에 대한 폐쇄형 해를 도출한 것으로, 닫힌 곡선의 탄성 매칭에 대한 수치 실험을 통해 검증되었으며, 회전 및 재매개변수화에 대해 모odulo된 닫힌 곡선의 공간이 양의 섹션 곡률을 가짐을 보였다.

ABSTRACT

This paper studies a specific metric on plane curves that has the property of being isometric to classical manifold (sphere, complex projective, Stiefel, Grassmann) modulo change of parametrization, each of these classical manifolds being associated to specific qualifications of the space of curves (closed-open, modulo rotation etc...) Using these isometries, we are able to explicitely describe the geodesics, first in the parametric case, then by modding out the paremetrization and considering horizontal vectors. We also compute the sectional curvature for these spaces, and show, in particular, that the space of closed curves modulo rotation and change of parameter has positive curvature. Experimental results that explicitly compute minimizing geodesics between two closed curves are finally provided

연구 동기 및 목표

• 평면 곡선의 형상 공간에 대해 지오데식을 명시적으로 계산할 수 있는 리만계량을 개발하는 것.
• 특정 곡선 제약 조건 하에서 형상 공간과 고전적 다양체(예: 스티펠, 그라스만) 사이의 등장성(이sovmetry)을 확립하는 것.
• 매개변수화 및 재매개변수화 불변 형태로 지오데식 방정식을 유도하는 것.
• 특히, 회전 및 재매개변수화에 대해 모odulo된 닫힌 곡선의 공간에 대한 섹션 곡률을 계산하는 것.
• 닫힌 곡선 간 최소 지오데식을 수치적으로 계산하는 알고리즘을 제공하여 탄성 형상 매칭을 가능하게 하는 것.

제안 방법

• 계량은 척도 불변 Sobolev $H^1$ 계량의 극한 케이스로 정의되며, 곡선 길이로 정규화되고 재매개변수화 및 이동에 대해 불변이다.
• 지오데식은 매장형의 미분동형군이 매장에 작용하는 몫공간으로서 형상 공간을 식별하고, 고전적 다양체에서의 지오데식 방정식을 이전하는 등장성 사상을 통해 유도된다.
• 지오데식 방정식은 호장 길이 도함수 $D_s$, 단위 탄젠트 $v$, 법선 $n$, 곡률 $ ilde{ au}$ 및 운동량 항으로 표현된다.
• 지오데식 벡터장의 흐름은 소볼레프 공간 $H^k$ 내에서 부트스트랩 추론을 통해 $C^ u$에서 존재함을 보이며, 스무스성과 최대 존재성을 보장한다.
• 지오데식의 수치 계산은 매개변수 형태의 지오데식 방정식을 풀고, 매개변수화 의존성을 제거하기 위해 수평 공간으로 투영하여 수행된다.
• 그라스만 및 스티펠 다양체와의 등장성은 알려진 곡률 및 지오데식 성질을 형상 공간으로 이전하는 데 사용된다.

실험 결과

연구 질문

• RQ1 형상 공간에 대해 지오데식이 명시적으로 계산 가능한 리만계량을 구성할 수 있는가?
• RQ2 형상 공간(재매개변수화 및 이동에 대해 모odulo)과 스티펠 또는 그라스만 다양체와 같은 고전적 다양체 사이에 등장성이 존재하는가?
• RQ3 회전 및 재매개변수화에 대해 모odulo된 닫힌 곡선의 공간의 섹션 곡률은 무엇인가?
• RQ4 이 계량에서 두 닫힌 곡선 사이의 최소 지오데식을 수치적으로 계산할 수 있는가?
• RQ5 $H_{1,}$ 계량이 의료 영상이나 물체 인식과 같은 애플리케이션에서 탄성 형상 매칭을 어떻게 가능하게 하는가?

주요 결과

• 형상 공간의 닫힌 곡선(회전 및 재매개변수화에 대해 모odulo)은 그라스만 다양체와의 등장성에 의해 양의 섹션 곡률을 가짐을 보였다.
• 고전적 다양체와의 등장성 대응을 통해 매개변수 형태의 명시적 지오데식이 도출되었으며, 이는 분석적 및 수치적 계산을 가능하게 한다.
• 매개변수 형태의 지오데식 방정정은 스무스 조건이 주어지면 $C^ u$에서 스무스하고 전역적으로 정의되며, 소볼레프 공간 부트스트랩을 통해 최대 흐름 존재성이 확립되었다.
• 수치 실험을 통해 두 닫힌 곡선 사이의 최소 지오데식이 성공적으로 계산되었으며, 이는 계량이 탄성 형상 매칭에 실용적임을 보였다.
• 계량은 재매개변수화 및 이동에 대해 불변이며, 수평 투영을 통해 매개변수화 불변 지오데식이 보장된다.
• $H_{1,}$ 계량은 척도 불변 $H^1$ 계량의 극한 케이스로 특징지어지며, 몫공간에서 잘 정의된 리만기하학적 구조를 가진다.