[论文解读] A Metric on Shape Space with Explicit Geodesics

Peter W. Michor, David Mumford+2 more|ArXiv.org|Jun 28, 2007

Geometric Analysis and Curvature Flows参考文献 9被引用 48

一句话总结

本文在平面曲线形状空间上引入了一种黎曼度量，该度量与经典流形（如施蒂费尔和格拉姆曼流形）等距，从而可通过等距映射实现测地线的显式计算。主要贡献是形状空间中测地线的闭式解，通过闭曲线弹性匹配的数值实验得到验证，且已证明在旋转和重参数化模下的闭曲线空间具有正截面曲率。

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

研究动机与目标

• 开发一种定义在平面曲线形状空间上的黎曼度量，使得测地线可显式计算。
• 在特定曲线约束下，建立形状空间与经典流形（如施蒂费尔、格拉姆曼）之间的等距关系。
• 推导参数形式与重参数化不变形式下的显式测地线方程。
• 计算形状空间的截面曲率，特别是证明在旋转和重参数化模下的闭曲线空间具有正曲率。
• 提供用于计算两个闭曲线之间最小测地线的数值算法，实现弹性形状匹配。

提出的方法

• 该度量被定义为尺度不变的 Sobolev $H^1$ 度量的极限情况，经由曲线长度归一化，且在重参数化和平移下不变。
• 通过将形状空间识别为微分同胚群作用在浸入映射上的商空间，并利用等距关系将经典流形上的测地线方程转移至形状空间。
• 测地线方程以弧长导数 $D_s$、单位切向量 $v$ 和法向量 $n$ 表示，包含曲率 $ ilde{ au}$ 和动量项。
• 通过在 Sobolev 空间 $H^k$ 中使用自举法论证，证明测地线向量场的流在 $C^ u$ 中存在，从而保证光滑性与最大存在性。
• 通过求解参数形式下的测地线方程并投影到水平空间，实现测地线的数值计算，以消除参数化依赖性。
• 利用与格拉姆曼和施蒂费尔流形的等距关系，将已知的曲率与测地线性质转移至形状空间。

实验结果

研究问题

• RQ1 能否构造一种定义在形状空间上的黎曼度量，使得测地线可显式计算？
• RQ2 形状空间（模去重参数化和平移）与经典流形（如施蒂费尔或格拉姆曼流形）之间是否存在等距关系？
• RQ3 在旋转和重参数化模下的闭曲线空间的截面曲率是多少？
• RQ4 能否在此度量下数值计算两个闭曲线之间的最小测地线？
• RQ5 $H_{1,}$ 度量如何在医学影像或物体识别等应用中实现弹性形状匹配？

主要发现

• 通过与格拉姆曼流形的等距关系，证明了在旋转和重参数化模下的闭曲线形状空间具有正截面曲率。
• 利用与经典流形的等距对应关系，推导出参数形式下的显式测地线，从而实现解析与数值计算。
• 测地线方程在光滑初值条件下于 $C^ u$ 中光滑且全局定义，通过 Sobolev 空间自举法确立了最大流的存在性。
• 数值实验成功计算出两个闭曲线之间的最小测地线，验证了该度量在弹性形状匹配中的实用性。
• 该度量在重参数化和平移下不变，且水平投影确保了参数化无关的测地线。
• $H_{1,}$ 度量被表征为尺度不变 $H^1$ 度量的极限情况，在商空间上具有明确定义的黎曼结构。