[论文解读] Hamiltonian approach to geodesic image matching

François‐Xavier Vialard|ArXiv.org|Jan 14, 2008

Geometric Analysis and Curvature Flows参考文献 14被引用 3

一句话总结

本文提出了一种用于任意维度中不连续图像的测地线图像匹配的哈密顿框架，通过将初始动量分解为光滑部分和奇异部分来实现。该框架建立了哈密顿方程弱解的存在性与唯一性，使得在大变形微分同胚配准中能够高效计算非光滑图像的测地线，并在无限维流形上的最优控制与变分法理论基础上提供了坚实的理论基础。

ABSTRACT

This paper presents a generalization to image matching of the Hamiltonian approach for planar curve matching developed in the context of group of diffeomorphisms. We propose an efficient framework to deal with discontinuous images in any dimension, for example 2D or 3D. In this context, we give the structure of the initial momentum (which happens to be decomposed in a smooth part and a singular part) thanks to a derivation lemma interesting in itself. The second part develops a Hamiltonian interpretation of the variational problem, derived from the optimal control theory point of view.

研究动机与目标

• 将平面曲线匹配的哈密顿方法推广至任意维度的不连续图像。
• 解决在大变形微分同胚背景下对非光滑、不连续图像进行测地线图像匹配的挑战。
• 通过一个新颖的推导引理，推导出初始动量的结构，即光滑部分与奇异部分的组合。
• 将测地线匹配问题表述为弱哈密顿系统，并证明解的存在性与唯一性。
• 提供一种保留不连续性并支持高效数值实现的多模态图像匹配计算框架。

提出的方法

• 将图像匹配表述为一个能量泛函最小化问题，该泛函包含微分同胚距离与图像保真度项，并在微分同胚群上采用乘积黎曼度量。
• 引入一个推导引理，以光滑部分与定义在不连续集上的奇异部分来表征初始动量。
• 应用最优控制理论，推导测地线方程的哈密顿形式，从而实现动量守恒并支持高效数值积分。
• 提出哈密顿系统的弱形式化，以处理非光滑初始数据，包括不连续图像与奇异动量。
• 利用流扰动分析与李导数技术，推导测地流对向量场扰动的敏感性。
• 采用基于凸分析与投影定理的弱解框架，证明了在广泛初始数据类别下解的存在性与唯一性。

实验结果

研究问题

• RQ1 如何将测地线曲线匹配的哈密顿框架推广至任意维度的不连续图像？
• RQ2 当初始图像函数不连续时，初始动量的精确结构是什么？
• RQ3 如何以弱形式表述测地线匹配问题，以允许非光滑初始数据与奇异动量？
• RQ4 在何种条件下可保证该上下文中哈密顿系统弱解的存在性与唯一性？
• RQ5 将不连续集纳入状态空间如何提升多模态图像匹配的建模能力？

主要发现

• 通过一个关键引理推导出，不连续图像的初始动量自然分解为定义在正则区域的光滑部分与定义在不连续集上的奇异部分。
• 本文证明了在包括不连续图像在内的广泛初始数据类别下，哈密顿系统弱解的存在性与唯一性。
• 弱形式化允许在不连续集上包含奇异动量，从而扩展了以往仅限于光滑函数的研究结果。
• 该框架实现了在非光滑图像的大变形微分同胚配准中高效计算测地线。
• 推导引理为数据匹配项关于微分同胚与图像变换的变分提供了严格的理论基础。
• 该方法推广了先前关于平面曲线与形态变化的研究，同时与基于特征点的匹配方法保持区分，为多模态图像匹配提供了一个统一的框架。