日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

週刊ニュースレター購読
剛体運動補間arXiv:2608.27000

超マルチ双対四元数による剛体運動ジェットの任意次エルミート補間

Arbitrary-Order Hermite Interpolation of Rigid-Motion Jets via Hyper-Multidual Quaternions

シェア:XThreadsFacebookLINEはてブBluesky

剛体運動の高次微分情報(ジェット)を超マルチ双対四元数で表現し、任意次数のエルミート補間を実現する手法を提案した。

詳しい要約

1. どんなもの?

本論文は、単位双対クォータニオンで表される有限次剛体運動ジェットの両側補間を研究している。order-n multidual (MD) algebra は切り詰められた多項式代数 R[ε]/(ε^{n+1}) であり、hyper-multidual (HMD) quaternions はこの代数の係数を持つ双対クォータニオンである。時間的 HMD 変換はポーズとその導関数を符号化するが、一般的な HMD 曲線はそのポーズ射影の時間的ジェットである必要はなく、この要件を holonomicity と呼ぶ。

2. 先行研究と比べてどこがすごい?

先行研究では、剛体運動の補間に screw linear interpolation (ScLERP) や双対クォータニオンを用いた手法が提案されているが、高次導関数(ジェット)を扱うものは限られている。本論文は、HMD 代数を用いて任意次数のジェットを統一的に扱い、holonomicity の概念を導入して、直接的な HMD-ScLERP が非ホロノミックになることを示し、ホロノミックな代替手法を提案している点が新しい。

3. 技術・手法の肝は?

手法の肝は、時間的変換とその相対記述子がユニタリであることを示し、再帰的な係数制約を導出すること。また、許容対数チャートにおける局所実現可能性の逆定理を与える。さらに、単位 HMD クォータニオンへの ScLERP の代数的拡張を行い、ホロノミックな代替として、端点変換を対数双対クォータニオン座標に写像し、次数 (2n+1) の Hermite 多項式を適用して指数写像で持ち上げる方法を提案している。

4. どうやって有効だと検証した?

回転と完全な SE(3) のテストを二次まで行い、さらに三次の多項式チェックを追加して、述べた欠陥と端点ジェットを再現することを検証した。

5. 議論はある?

要旨からは、直接的な HMD-ScLERP が任意の端点ジェットに対して一般的に非ホロノミックであること、係数基準と明示的な端点および一次内部接触欠陥が示されている。しかし、提案手法の実用性や計算コスト、他の補間手法との比較などの議論は要旨からは不明。

6. 次に読むべき論文は?

要旨で参照されている screw linear interpolation (ScLERP) や dual quaternion 補間に関する研究、および Hermite 補間や multidual algebra に関する基礎的な論文が挙げられる。具体的には、ScLERP の原論文や、双対クォータニオンを用いた剛体運動補間の研究が関連する。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Daniel Condurache

分類: cs.RO

原文アブストラクト

We study bilateral interpolation of finite-order rigid-motion jets represented by unit dual quaternions. An order-$n$ multidual (MD) algebra is the truncated polynomial algebra $\mathbb{R}[\varepsilon]/(\varepsilon^{n+1})$; hyper-multidual (HMD) quaternions are dual quaternions with coefficients in this algebra. Temporal HMD transforms encode a pose and its derivatives, whereas a generic HMD curve need not be the temporal jet of its pose projection; we call this requirement holonomicity. We show that a temporal transform and its relative descriptor are unitary and derive recursive coefficient constraints, together with a local realizability converse in an admissible logarithm chart. We then extend screw linear interpolation (ScLERP) algebraically to unit HMD quaternions. Although it matches complete endpoint transforms, direct HMD--ScLERP is generically non-holonomic for arbitrary endpoint jets. We give a coefficient criterion and explicit endpoint and first-order interior contact defects. A holonomic alternative is obtained by mapping endpoint transforms to logarithmic dual-quaternion coordinates, applying the degree-$(2n+1)$ Hermite polynomial that matches derivatives through order $n$, and lifting by the exponential. HMD arithmetic also recovers higher-order rigid-motion acceleration fields without explicit differentiation of $\mathrm{dexp}$. Rotation and full $\mathrm{SE}(3)$ tests through second order, with an additional third-order polynomial check, reproduce the stated defects and endpoint jets.

関連論文