[논문 리뷰] Manifolds of absolutely continuous curves and the square root velocity framework

Alexander Schmeding|arXiv (Cornell University)|2016. 12. 08.

Morphological variations and asymmetry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 강한 리만다양체를 값으로 갖는 절대연속 곡선들의 공간에 매니폴드 구조를 수립하며, 고전적 결과를 무한차원 설정으로 일반화한다. 제곱근 속도 변환(SRVT) 프레임워크를 다양체 값 곡선으로 확장하여, SRVT가 매끄럽고 연속적인 성분(각각 도함수와 이동, 스케일링)으로 분해됨을 증명하고, 무한차원 리 이론을 활용해 리군 값 곡선에 대해 완전한 역행성(역함수 존재성)을 확보한다.

ABSTRACT

A classical result in Riemannian geometry states that the absolutely continuous curves into a (finite-dimensional) Riemannian manifold form an infinite-dimensional manifold. In the present paper this construction and related results are generalised to absolutely continuous curves with values in a strong Riemannian manifolds. As an application we consider extensions of the square root velocity transform (SRVT) framework for shape analysis. Computations in this framework frequently lead to curves which leave the shape space (of smooth curves), and are only contained in a completion. In the vector valued case, this extends the SRVT to a space of absolutely continuous curves. We investigate the situation for shape spaces of manifold valued (absolutely continuous) curves.

연구 동기 및 목표

• 강한 리만다양체 $M$ 를 값으로 갖는 절대연속 곡선들의 공간에 바나흐 매니폴드 구조를 구성하는 것.
• 절대연속 곡선의 다변량에 대한 고전적 결과를 무한차원 설정으로 일반화하는 것.
• 제곱근 속도 변환(SRVT) 프레임워크를 다변량 값 절대연속 곡선의 형태공간으로 확장하는 것.
• 다양체 설정에서 SRVT가 매끄럽고 연속적인 성분으로 어떻게 분해되는지 분석하는 것.
• 무한차원 리 이론을 활용해 리군 값 절대연속 곡선에 대해 SRVT의 역행성을 확립하는 것.

제안 방법

• 강한 리만다양체 $M$ 를 값으로 갖는 절대연속 곡선들의 공간 $AC^p(I,M)$ 를 벡터값 $L^p$-함수 공간에 모델링한 바나흐 매니폴드로 구성한다.
• 다양체 $M$ 에 정의된 강한 리만계량 $G$ 를 사용하여 접선공간 위의 위상이 자연스러운 위상과 일致하도록 보장함으로써 바나흐 매니폴드 구조를 구축할 수 있도록 한다.
• 무한차원 설정에서의 미분기하학을 위한 핵심 도구로 $AC^p(I,M)$ 위의 $L^p$-_bundle 를 도입한다.
• 국소 덧셈과 차트 기법을 적용하여 매니폴드 구조를 증명하며, 국소좌표계에서의 균일 리프시츠 연속성과 노름 등가성에 의존한다.
• SRVT 를 도함수, 이동, 스케일링의 복합함수로 분석하여, 매끄럽고 연속적인 성분으로의 분해를 증명한다.
• 리군 값 곡선의 경우, 최근의 무한차원 리 이론 결과를 활용하여 SRVT 가 호메오모르피즘임을 증명함으로써, $L^2$-거리의 풀백(pullback)이 가능해진다.

실험 결과

연구 질문

• RQ1 강한 리만다양체를 값으로 갖는 절대연속 곡선들의 공간은 바나흐 매니폴드 구조를 지닐 수 있는가?
• RQ2 제곱근 속도 변환(SRVT)이 다변량 값 절대연속 곡선으로 확장되었을 때 어떻게 분해되는가?
• RQ3 일반적인 리만다양체에 대해, 형태공간의 완비화에서 확장된 SRVT 는 역행성을 지니는가?
• RQ4 SRVT 프레임워크는 리군 값 곡선으로 일반화될 수 있으며, 만약 그렇다면 이는 호메오모르피즘인가?
• RQ5 강한 리만계량과 $L^p$-_bundle 는 무한차원 곡선의 다변량에서 미분기하학을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 강한 리만다양체 $M$ 를 값으로 갖는 절대연속 곡선들의 공간 $AC^p(I,M)$ 는 벡터값 절대연속 함수 공간에 모델링된 바나흐 매니폴드를 이룬다.
• 공간 $AC^p(I,M)$ 의 구성은 리만계량 $G$ 에 독립적이며, 오직 다형체 $M$ 의 강한 리만다양체 구조에 의존한다.
• 다양체 값 절대연속 곡선에 대한 SRVT 는 매끄러운 부분(도함수와 이동)과 연속적인 부분(스케일링)으로 분해되며, 벡터값 케이스의 결과를 일반화한다.
• 리군 값 곡선의 경우, SRVT 는 호메오모르피즘으로서, $L^2$-거리의 풀백을 통해 완비화된 공간에 거리함수를 정의할 수 있다.
• $AC^p(I,M)$ 위의 $L^p$-_bundle 는 미분기하학 프레임워크에 필수적이며, 균일 리프시츠 연속성과 국소 차트 기법을 사용하여 구성된다.
• 일반적인 리만다양체에 대해 확장된 SRVT 의 역행성은 아직 열려 있으나, 3.7절에서 증명의 개요가 제시되어 있다.