[论文解读] Parallel Transport with Pole Ladder: a Third Order Scheme in Affine Connection Spaces which is Exact in Affine Symmetric Spaces

Xavier Pennec|arXiv (Cornell University)|May 29, 2018

Morphological variations and asymmetry参考文献 17被引用 7

一句话总结

该论文提出了一种在具有对称联络的仿射连接空间中用于平行传输的三阶数值方案——极 ladder（pole ladder），证明其在仿射对称空间中是局部精确的，并在黎曼对称流形中全局近乎精确，原因在于与曲率张量导数相关的四阶误差项消失。该方法利用BCH型公式，实现了优于先前基于测地线平行四边形的方案（如Schild's ladder）的高阶精度。

ABSTRACT

Parallel transport is an important step in many discrete algorithms for statistical computing on manifolds. Numerical methods based on Jacobi fields or geodesics parallelograms are currently used in geometric data processing. In this last class, pole ladder is a simplification of Schild's ladder for the parallel transport along geodesics that was shown to be particularly simple and numerically stable in Lie groups. So far, these methods were shown to be first order approximations of the Riemannian parallel transport, but higher order error terms are difficult to establish. In this paper, we build on a BCH-type formula on affine connection spaces to establish the behavior of one pole ladder step up to order 5. It is remarkable that the scheme is of order three in general affine connection spaces with a symmetric connection, much higher than expected. Moreover, the fourth-order term involves the covariant derivative of the curvature only, which is vanishing in locally symmetric space. We show that pole ladder is actually locally exact in these spaces, and even almost surely globally exact in Riemannian symmetric manifolds. These properties make pole ladder a very attractive alternative to other methods in general affine manifolds with a symmetric connection.

研究动机与目标

• 开发一种用于仿射连接空间中平行传输的更高阶数值方案，以改进如Schild's ladder等一阶方法。
• 利用仿射连接空间中的BCH型公式，将极 ladder 的误差行为分析至五阶。
• 建立极 ladder 成为精确解的条件，特别是在曲率张量导数消失的对称空间中。
• 在李群和对称流形中展示极 ladder 的实际优势，特别是在几何数据分析和计算解剖学中的应用。
• 为极 ladder 在图像配准和卡尔曼滤波等应用中所观察到的数值稳定性和精度提供理论依据。

提出的方法

• 通过将传输测地线作为测地线平行四边形的对角线，简化Schild's ladder，以提升对称性与精度，从而改进极 ladder 方法。
• 在仿射连接空间中应用BCH型公式，分析单步极 ladder 的局部行为，精度达五阶。
• 推导极 ladder 的误差展开，表明其在一般仿射对称空间中为三阶精度。
• 识别出四阶误差项仅依赖于曲率张量的协变导数。
• 利用仿射对称空间的对称性质，证明四阶项消失，从而在这些空间中实现精确性。
• 通过引入单射半径和切点集约束，建立极 ladder 在黎曼对称流形中全局精确的条件。

实验结果

研究问题

• RQ1 极 ladder 是否能在仿射连接空间中实现高于一阶方案（如Schild's ladder）的精度？
• RQ2 极 ladder 在一般仿射对称空间中的精确收敛阶数是多少？
• RQ3 极 ladder 中四阶误差项在何种条件下消失？
• RQ4 极 ladder 是否在仿射对称空间中与真实平行传输完全相等？
• RQ5 何种几何与拓扑条件可确保极 ladder 在黎曼对称流形中全局精确？

主要发现

• 极 ladder 在具有对称联络的仿射连接空间中达到三阶精度，显著优于Schild's ladder的一阶收敛速度。
• 极 ladder 的四阶误差项仅依赖于曲率张量的协变导数，该量在局部对称空间中消失。
• 在仿射对称空间中，由于四阶误差项恒为零，极 ladder 局部精确。
• 在黎曼对称流形中，极 ladder 全局近乎精确，因为切点集测度为零，且单射半径条件确保测地线定义良好。
• 当初始向量与目标点位于起点单射半径范围内，且测地线未遭遇切点集时，该方法精确。
• 理论分析证实，极 ladder 在李群和对称流形中保持数值稳定性和精度，使其成为闭式传输公式的有力替代方案。