剛体運動のDual Park-Ravani補間：加速度場の連続性とホロノミック・エルミート修復

本論文は、Park-Ravani補間法を剛体運動の表現である直交双対テンソル群へ拡張し、剛体の位置・姿勢（rigid poses）の補間と、身体双対ツイスト（body dual twist）およびその一階導関数の連続性を実現する手法を提案している。さらに、双対空間ツイストの高次剛体運動学を用いて、得られる曲線が物理的な加速度場（acceleration field）の連続性を持つことを証明する。また、代数的双対転送と時間的微分延長の違いを明確にし、それらを同時に用いる場合の超双対代数（hyper-dual algebra）におけるホロノミー欠陥（holonomy defect）を定義・解析し、双対対数座標でのHermite補間により欠陥を除去する方法を示している。

先行研究のPark-Ravani構築はSO(3)上のスプラインを生成するが、本論文はこれを直交双対テンソル群に拡張し、剛体運動の補間に適用している点が新しい。さらに、単に双対部分を形式的に微分した連続量ではなく、物理的な加速度場の連続性を証明している点が優れている。また、代数的双対転送と時間的微分延長の違いを明確にし、ホロノミー欠陥を定義して除去する手法を提案している点も独自性が高い。

手法の核は、Park-Ravaniの漸化式を双対拡張した右ヤコビアン（right Jacobian）とそのFréchet微分を用いて、直交双対テンソル群上で補間を構築することである。具体的には、cubic canonical-coordinate polynomialsを指数写像で双対テンソルに転送する。さらに、双対空間ツイストの高次剛体運動学を用いて加速度場の連続性を証明する。ホロノミー欠陥の除去には、双対対数座標でのcubicまたはquintic Hermite補間を用いる。

非可換な3姿勢の例を用いて、漸化式の検証、すべてのノット連続性の確認、およびメートルからミリメートルへの単位変更に対する次元共変性（dimensional covariance）を検証している。また、ホロノミー欠陥の正確な反例を示し、提案するHermite補間により欠陥が除去されることを実証している。

要旨からは、提案手法の計算コストや実用上の制約、他の補間手法との比較などについての議論は不明である。また、ホロノミー欠陥の除去が常に可能かどうか、より高次の補間での挙動などについての詳細も要旨からは読み取れない。

要旨で参照されている関連研究として、Park-Ravaniの元論文（Park & Ravani, 1995）や、双対テンソルを用いた剛体運動の表現に関する研究、また、SO(3)上のスプライン補間に関する研究が挙げられる。具体的には、F. C. Park and B. Ravani, "Smooth invariant interpolation of rotations", 1995 や、双対四元数を用いた補間法（e.g., dual quaternion spline）などが関連する。