[論文レビュー] The Quaternion-Based Spatial Coordinate and Orientation Frame Alignment Problems

Andrew J. Hanson|arXiv (Cornell University)|Apr 7, 2018

Robotics and Sensor-Based Localization参考文献 63被引用数 27

ひとこと要約

本稿は、4次方程式のカルダーノの公式を用いて、対称的4×4プロファイル行列の堅牢な固有値解を得るため、クォータニオンを用いた3次元空間的および姿勢フレームの整合問題に対する正確な代数的解を提示する。3次元回転推定のためのクォータニオン固有値系統合フレームワークを確立し、立方根表現における符号のあいまいさを解消するとともに、4次元の整合問題および回転平均化への応用を拡張する。

ABSTRACT

We review the general problem of finding a global rotation that transforms a given set of points and/or coordinate frames (the "test" data) into the best possible alignment with a corresponding set (the "reference" data). For 3D point data, this "orthogonal Procrustes problem" is often phrased in terms of minimizing a root-mean-square deviation or RMSD corresponding to a Euclidean distance measure relating the two sets of matched coordinates. We focus on quaternion eigensystem methods that have been exploited to solve this problem for at least five decades in several different bodies of scientific literature where they were discovered independently. While numerical methods for the eigenvalue solutions dominate much of this literature, it has long been realized that the quaternion-based RMSD optimization problem can also be solved using exact algebraic expressions based on the form of the quartic equation solution published by Cardano in 1545; we focus on these exact solutions to expose the structure of the entire eigensystem for the traditional 3D spatial alignment problem. We then explore the structure of the less-studied orientation data context, investigating how quaternion methods can be extended to solve the corresponding 3D quaternion orientation frame alignment (QFA) problem, noting the interesting equivalence of this problem to the rotation-averaging problem, which also has been the subject of independent literature threads. We conclude with a brief discussion of the combined 3D translation-orientation data alignment problem. Appendices are devoted to a tutorial on quaternion frames, a related quaternion technique for extracting quaternions from rotation matrices, and a review of quaternion rotation-averaging methods relevant to the orientation-frame alignment problem. Supplementary Material covers extensions of quaternion methods to the 4D problem.

研究の動機と目的

• 3次元直交的プロクラステス問題におけるクォータニオンベースの手法を統合的かつ明確にし、空間的点および姿勢フレームの整合問題を扱う。
• 3次元回転推定におけるクォータニオンを用いた4次固有値問題の代数的解法に長年存在したあいまいさを解消する。
• クォータニオン手法を姿勢フレーム整合（QFA）問題に拡張し、回転平均化技術と同等であることを示す。
• 3次元RMSD最小化から導かれる4×4対称固有値問題に対して、数値的不安定性を避けるためにSVDや反復固有値ソルバーを用いない、堅牢で正確な代数的解法を提供する。
• クォータニオンベースの最適化を用いた、並進と回転を含む6自由度（6-DOF）の整合問題の包括的フレームワークを提示する。

提案手法

• テスト点集合と基準点集合の共分散行列Eを用いて、RMSDの最小化として3次元空間的整合問題を定式化し、tr(R·E)の最大化に帰着する。
• 3次元回転をクォータニオンで表現し、トレース最大化問題を、Eから導かれる4×4対称でトレースがゼロの行列M(E)を用いた二次形式q·M(E)·qに変換する。
• M(E)の固有値問題を、カルダーノの4次方程式の公式に基づく正確な代数的解法により解き、解析的精度を保証する。
• 符号テストσ(p) = sign(4p₁p₂ − p₁³ − 8p₃)を導入することで、立方根における符号の不一致を是正し、固有値計算の整合性を向上させる。
• 同一のフレームワークを姿勢フレーム整合（QFA）問題に適用し、回転平均化と同等であることを示し、正確なクォータニオン平均化を可能にする。
• 補足資料において、同様の代数的固有構造分解を用いて、4次元ユークリッド空間および4次元姿勢整合問題へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 反復的またはSVDに基づく手法ではなく、代数的アプローチを用いて3次元空間的整合問題を正確に解く方法は何か？
• RQ2 4×4対称プロファイル行列M(E)の4次固有値解の正しい代数的表現は何か？ また、立方根における符号のあいまいさはどのように解消できるか？
• RQ3 空間的整合におけるクォータニオン固有値系手法は、姿勢フレーム整合における回転平均化問題とどのように関係し、一般化されるか？
• RQ4 同一の代数的フレームワークを4次元空間的および姿勢整合問題に拡張可能か？ その場合、同等の堅牢性と正確性を保証できるか？
• RQ5 正確な代数的解法が、標準的なSVDまたは反復固有値ソルバー法よりも数値的安定性および精度の面で優れる条件は何か？

主な発見

• 本稿では、カルダーノの4次方程式の公式を用い、符号の是正を施した手法により、3次元空間的整合に伴う4×4対称固有値問題に対する堅牢で正確な代数的解法を導出する。
• σ(p) = sign(4p₁p₂ − p₁³ − 8p₃)による符号補正により、テストされたすべてのランダムな対称行列において、正しい固有値トリプレットが100％に近い精度で得られる。
• 姿勢フレーム整合（QFA）問題が数学的に回転平均化問題と同等であることが示され、クォータニオン固有値系統合により統一的かつ一貫した取り扱いが可能になる。
• トレースがゼロ（p₁ = 0）の場合、固有値解はarg(a+ib)/3の位相付きコサインの形に簡略化され、効率的かつ安定した計算が可能になる。
• (F, G±)と(X, Y, Z)の解法形との代数的同等性が厳密に証明され、X, Y, Zにおける符号補正が、必要不可避であることが確認される。
• 補足資料において、4次元整合問題へのフレームワークの拡張が行われ、代数的固有値法が3次元を超えてスケーラブルであることが示される。