[논문 리뷰] Riemannian cubics on the group of diffeomorphisms and the Fisher-Rao metric

Rabah Tahraoui, François‐Xavier Vialard|arXiv (Cornell University)|2016. 06. 14.

Advanced Differential Geometry Research참고 문헌 21인용 수 4

한 줄 요약

이 논문은 [0,1]의 미분형상군에 오른쪽 불변 Sobolev 계량(차수 2)을 갖춘 리만 곡선—최소 가속도를 갖는 곡선—을 연구한다. 가속도 함수의 완화를 계산함으로써 저자들은 결함 측도에 핵심적인 역할을 하는 피셔-레오 기능을 규명하였으며, 최소화자의 존재를 증명하고 리카티 방정식을 통해 충분한 최적성 조건을 도출함으로써 무한차원 설정에서의 존재성 및 정칙성 문제를 해결한다.

ABSTRACT

We study a second-order variational problem on the group of diffeomorphisms of the interval [0, 1] endowed with a right-invariant Sobolev metric of order 2, which consists in the minimization of the acceleration. We compute the relaxation of the problem which involves the so-called Fisher-Rao functional a convex functional on the space of measures. This relaxation enables the derivation of several optimality conditions and, in particular, a sufficient condition which guarantees that a given path of the initial problem is also a minimizer of the relaxed one. This sufficient condition is related to the existence of a solution to a Riccati equation involving the path acceleration.

연구 동기 및 목표

• 무한차원 미분형상군 Diff₀²([0,1])에 대해 오른쪽 불변 Sobolev 계량(차수 2)을 갖는 리만 곡선의 존재성 및 정칙성을 확립하기 위해.
• 의료 영상 및 형태 분석의 맥락에서 무한차원 리만 기하학에서 고차수 변분 문제에 대한 존재 결과 부족 문제를 다루기 위해.
• 가속도 함수의 완화를 통해 피셔-레오 기능을 통한 결함 측도를 포함시키며, 약한 수렴성과 최소화자의 존재를 가능하게 하기 위해.
• 원래 문제의 경로가 완화된 함수를 최소화하는 데에도 성립하는 충분한 최적성 조건을 도출하기 위해, 경로의 가속도를 포함하는 리카티 방정식의 해를 사용하기 위해.

제안 방법

• 저자들은 미분형상군 Diff₀²([0,1])의 오른쪽 불변 계량에 대해 지오데식 방정식을 재구성하기 위해 라그랑주 좌표를 사용하여, 매끄러운 끝점에서 지오데식의 정칙성을 보장한다.
• 해밀토니안 공식을 적용하여 미분형상군 내에서 가속도 함수의 이阶 동역학을 유도한다.
• 약한 극한을 통한 가속도 함수의 완화를 계산함으로써, 측도 공간 위의 볼록 함수로 피셔-레오 기능이 나타나게 된다.
• 결함 측도는 두 번째 도함수의 약한 수렴에서 유래하며, 피셔-레오 기능은 완화된 문제에서 그 기여를 정량화한다.
• 볼록 해석을 사용하여 표준 최적성 조건과 결함 측도 변수에 대한 약한 강한 볼록성 결과를 도출한다.
• 경로의 가속도를 리카티 방정식과 연결함으로써 충분한 최적성 조건을 유도하며, 이 방정식의 해가 완화된 문제의 최소화자를 제공함을 보장한다.

실험 결과

연구 질문

• RQ1 오른쪽 불변 Sobolev 계량(차수 2)을 갖는 [0,1]의 미분형상군에서 리만 곡선 문제에 대해 무한차원 설정에서 최소화자가 존재하는가?
• RQ2 강한 컴actness가 없을 경우, 약한 수렴성과 최소화자의 존재를 가능하게 하기 위해 가속도 함수를 어떻게 완화할 수 있는가?
• RQ3 약한 극한에서 두 번째 도함수의 극한으로 유래된 결함 측도를 특징짓는 데 피셔-레오 기능이 수행하는 역할은 무엇인가?
• RQ4 원래 해밀토니안 시스템의 해가 완화된 함수의 최소화자인 경우는 언제인가?
• RQ5 경로의 가속도를 포함하는 리카티 방정식이 완화된 문제에서 최적성의 충분조건으로 작용할 수 있는가?

주요 결과

• 가속도 함수의 완화는 두 번째 도함수의 약한 극한에서 유래된 결함 측도에 대해 볼록 페널티로 작용하는 피셔-레오 기능을 포함하는 새로운 공식화로 이어진다.
• 최소화자의 존재는 경로와 결함 측도의 곱 공간에서 보장되며, 이는 무한차원 설정에서의 존재 문제를 해결한다.
• 충분한 최적성 조건이 도출되었는데, 경로가 자신의 가속도를 포함하는 리카티 방정식을 만족하면, 완화된 함수를 최소화한다.
• 저자들은 원래 함수의 임계점이지만 완화된 함수의 최소화자가 되지 않는 구체적인 예를 구성하여, 완화 접근의 필요성을 입증한다.
• 완화된 공식화에서 결함 측도 변수에 대해 문제의 약한 강한 볼록성이 입증되어, 최소화자의 유일성을 보장한다.
• 논문은 라그랑주 좌표에서 지오데식의 정칙성을 단순하게 증명하며, 끝점의 매끄러움이 지오데식의 매끄러움을 유도함을 보여준다.