[论文解读] Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics

Giacomo Nardi, Gabriel Peyré+1 more|arXiv (Cornell University)|Feb 26, 2014

Advanced Differential Geometry Research被引用 4

一句话总结

该论文通过变分法的直接法，证明了在 $BV^{2}$ Finsler 度量下，任意两个 $BV^{2}$-正则平面曲线之间存在最小测地线。关键贡献在于证明了该无穷维形状空间中测地线的完备性以及指数映射的满射性，数值验证表明 $BV^{2}$ 与 $H^{2}$ 度量在形状配准中表现出截然不同的行为。

ABSTRACT

This paper studies the space of $BV^2$ planar curves endowed with the $BV^2$ Finsler metric over its tangent space of displacement vector fields. Such a space is of interest for applications in image processing and computer vision because it enables piecewise regular curves that undergo piecewise regular deformations, such as articulations. The main contribution of this paper is the proof of the existence of the shortest path between any two $BV^2$-curves for this Finsler metric. Such a result is proved by applying the direct method of calculus of variation to minimize the geodesic energy. This method applies more generally to similar cases such as the space of curves with $H^k$ metrics for $k\geq 2$ integer. This space has a strong Riemannian structure and is geodesically complete. Thus, our result shows that the exponential map is surjective, which is complementary to geodesic completeness in infinite dimensions. We propose a finite element discretization of the minimal geodesic problem, and use a gradient descent method to compute a stationary point of the energy. Numerical illustrations show the qualitative difference between $BV^2$ and $H^2$ geodesics.

研究动机与目标

• 在 Finsler 度量下，建立任意两个 $BV^{2}$-正则平面曲线之间最短路径（最小测地线）存在的理论基础。
• 将形状空间的理论基础拓展至标准黎曼度量之外，尤其适用于分段正则变形。
• 提供一个变分框架，支持在曲线的无穷维空间中进行测地线的数值计算。
• 比较 $BV^{2}$ 与 $H^{k}$ 度量在形状配准中的几何与数值特性。

提出的方法

• 应用变分法的直接法，最小化 $BV^{2}$ 曲线空间上的测地线能量。
• 采用有限元对测地线问题进行离散化，以实现数值计算。
• 放松非凸最小化问题，以支持梯度下降优化。
• 采用基于 $BV^{2}$-范数的 Finsler 度量，以偏好分段正则、可能为刚性变换的曲线演化。
• 引入重参数化策略，确保能量泛函在弱拓扑下的收敛性。
• 使用鞅论论证，建立能量的下极限连续性，这对 $BV^{2}$ 空间中的存在性证明至关重要。

实验结果

研究问题

• RQ1 在 $BV^{2}$ Finsler 度量下，任意两个 $BV^{2}$-曲线之间是否存在最小测地线？
• RQ2 $BV^{2}$ 度量与 $H^{k}$ 度量在测地线行为和数值稳定性方面有何差异？
• RQ3 能否证明该 $BV^{2}$ 形状空间中指数映射是满射，从而表明测地线完备性？
• RQ4 在非凸优化中，初始值的选择在收敛至有意义测地线的过程中起何作用？
• RQ5 该变分框架能否推广至 $BV^{2}$ 和 $H^{k}$ 之外的其他巴拿赫空间拓扑？

主要发现

• 通过变分法的直接法，严格证明了任意两个 $BV^{2}$-曲线之间存在最小测地线。
• $BV^{2}$ 形状空间具有测地线完备性，且指数映射是满射，表明其具有强几何结构。
• 数值实验表明，$BV^{2}$ 测地线比 $H^{2}$ 测地线更能保持分段正则性，后者更偏好平滑演化。
• 初始值的选择显著影响收敛性，尤其在复杂情况下，分段仿射映射优于常数初始化。
• Finsler 能量中的参数 $\mu_2$ 控制导数的跳跃，直接影响中间曲线的平滑度。
• 基于鞅的论证成功避免了对对偶空间表征的依赖，从而在 $BV^{2}$-基测地线能量中实现了下极限连续性。