[论文解读] Covariant un-reduction for curve matching

Alexis Arnaudon, Marco Castrillón López+1 more|arXiv (Cornell University)|Aug 21, 2015

Morphological variations and asymmetry参考文献 9被引用 3

一句话总结

本文提出了一种用于场论中曲线匹配的协变非约化框架，通过在时空协变设定下使用Sobolev度量，将先前的工作扩展至非约化形式。该方法通过将空间变量与时间变量置于同等地位，实现了灵活且参数无关的形状比较，数值结果表明显式欧拉格式可收敛至预期解。

ABSTRACT

The process of un-reduction, a sort of reversal of reduction by the Lie group symmetries of a variational problem, is explored in the setting of field theories. This process is applied to the problem of curve matching in the plane, when the curves depend on more than one independent variable. This situation occurs in a variety of instances such as matching of surfaces or comparison of evolution between species. A discussion of the appropriate Lagrangian involved in the variational principle is given, as well as some initial numerical investigations.

研究动机与目标

• 通过在内度量设定下重新表述非约化，以解决曲线匹配中测地线距离计算的参数依赖性问题。
• 将非约化过程从经典力学推广至协变场论框架，允许在形状比较中使用多个自变量。
• 用Sobolev度量替代曲率加权度量，以避免出现任意小的测地线距离，并简化非约化方程。
• 通过数值实验验证该框架，展示显式格式在初值问题中的收敛性。
• 通过将空间与时间对称处理，实现新应用，如圆柱面匹配和时空分析。

提出的方法

• 在微分同胚群 $\mathrm{Diff}(S^1)$ 作用下，对平面曲线空间进行Lagrange-Poincaré约化，得到形状商空间上的方程。
• 通过引入独立的参数化场实现协变非约化，使非约化动力学可投影至约化解上。
• 使用Sobolev内度量（如 $H^1$）替代曲率加权度量，以确保测地线距离的适定性并简化非约化方程。
• 在二维时空场论设定下应用非约化方程，其中空间与时间变量均被视为独立参数。
• 使用显式欧拉格式对初值问题进行数值积分，非约化方程控制形状与参数化之间的耦合动力学。
• 通过电流法计算曲线间距离，该方法具有参数无关性，用于验证数值结果。

实验结果

研究问题

• RQ1 如何将非约化从经典力学推广至协变场论框架，以实现曲线匹配？
• RQ2 在非约化与形状匹配的背景下，使用Sobolev度量相较于曲率加权度量有何优势？
• RQ3 非约化框架能否确保曲线间测地线距离的参数无关性？
• RQ4 与时间扭曲方法相比，引入额外自变量（如空间或时间）如何提升形状比较的灵活性？
• RQ5 在未附加稳定化措施的情况下，显式数值格式（如显式欧拉法）在非约化系统中能在多大程度上收敛至正确解？

主要发现

• 在非约化框架中使用Sobolev度量消除了曲率加权度量导致的任意小测地线距离问题。
• 与先前工作中使用的更复杂的曲率加权公式相比，Sobolev度量下的非约化方程形式更为简洁。
• 使用显式欧拉方法的数值模拟即使未采用自适应时间步长或稳定化措施，也收敛至预期解。
• 随着时间分辨率提高，形状（垂直）与参数化（水平）动力学之间的耦合减弱，变形质量得到改善。
• 通过电流法计算的曲线间距离在不同参数化下保持一致，证实了参数无关性。
• 该框架通过在作用泛函中对称处理空间与时间变量，实现了新应用，如圆柱面匹配与时空分析。