[论文解读] The general setting for Shape Analysis

Sylvain Arguillère|arXiv (Cornell University)|Apr 7, 2015

Morphological variations and asymmetry被引用 1

一句话总结

本文在流形 M 上建立了一个形状空间的通用抽象框架，统一了现有形状分析方法。结果表明，大变形微分度量映射（LDDMM）方法自然地在形状空间上诱导出一个子黎曼结构，揭示了这些空间本质上是子黎曼而非黎曼的，并推导出包括纤维化形状和提升形状在内的多种形状类型的哈密顿测地线方程。

ABSTRACT

In shape analysis, the concept of shape spaces has always been vague, requiring a case-by-case approach for every new type of shape. In this paper, we give a general definition for an abstract space of shapes in a manifold. This notion encompasses every shape space studied so far in the literature, and offers a rigorous framework for several possible generalizations. We then give the appropriate setting for LDDMM methods of shape analysis, which arises naturally as a sub-Riemannian structure on a shape space. This structure is deduced from the space of infinitesimal deformations and their infinitesimal action. We then describe the properties of the Hamiltonian geodesic flow, and study several applications of equivariant mappings between shape spaces.

研究动机与目标

• 解决现有数学形状分析中形状空间定义的模糊性和逐案处理的问题。
• 在流形 M 上建立一个严谨且抽象的形状空间定义，推广所有已知的形状类型。
• 证明 LDDMM 方法本质上在形状空间上诱导出子黎曼结构，纠正长期以来认为其为黎曼结构的错误假设。
• 发展无限维子黎曼形状空间上哈密顿测地流的一般框架。
• 通过等变映射和几何提升，将 LDDMM 框架扩展至新形状类型，如纤维化形状和提升形状空间。

提出的方法

• 将抽象形状空间定义为流形 N 在微分同胚群 Diff(M) 作用下的轨道，形状空间从 M 上右不变的希尔伯特空间 V 的向量场继承子黎曼结构。
• 通过向量场在形状上的无穷小作用，从 V 上的希尔伯特范数 ⟨·,·⟩ 推导形状空间上的子黎曼度量。
• 将 LDDMM 能量表述为时间依赖向量场 X(t)∈V 上的泛函积分 ∫⟨X(t),X(t)⟩dt，以最小化形变代价。
• 利用能量泛函的勒让德变换，在形状空间的余切丛上构造哈密顿测地流。
• 应用形状空间之间的等变映射传递几何结构，并在提升空间（如地标集合的切丛）上推导测地线方程。
• 为特定形状类型推导显式的哈密顿测地线方程，包括带有速度的地标（切丛提升）和带有向量场附着的纤维化形状。

实验结果

研究问题

• RQ1 是否存在一个通用且抽象的形状空间定义，能够统一数学形状分析中所有已知的形状类型？
• RQ2 为何 LDDMM 中的形状空间本质上是子黎曼而非黎曼的？这如何影响测地线的计算？
• RQ3 如何在无限维子黎曼形状空间上表述并计算哈密顿测地流？
• RQ4 对形状空间进行提升（如提升至切丛）对建模更复杂的几何结构（如纤维化形状）有何影响？
• RQ5 能否利用形状空间之间的等变映射，系统地从已知形状类型推导出新形状类型的测地线方程？

主要发现

• 本文确立了 LDDMM 中的形状空间本质上是子黎曼的，而非黎曼的，纠正了文献中长期存在的分类错误。
• 形状空间上的子黎曼结构自然源于 M 上右不变的希尔伯特空间 V 的向量场，度量通过 V 在形状上的无穷小作用诱导得出。
• 为地标集合、带有切向量场的纤维化形状以及提升形状空间（如地标切丛）推导出哈密顿测地线方程，提供了显式的动力学方程。
• 对于如 T S（地标切丛）等提升形状空间，测地线方程涉及位置、动量和速度的耦合动力学，包含高斯核项和向量场相互作用项。
• 动量更新方程中包含位置动量与速度动量之间非平凡的相互作用项，如 [la · uj]va − [lj · ua]vj，反映了几何耦合效应。
• 该框架通过引入支持更丰富动态形状建模（如肌纤维或运动结构）的提升形状空间，推广了以往结果（如 diffeons 模型）。