arXiv reaDer
A Quaternion-based Certifiably Optimal Solution to the Wahba Problem with Outliers
  回転探索とも呼ばれるWahba問題は、推定上の対応が与えられた2セットのベクトル観測を調整するための最適な回転を見つけようとし、多くのコンピュータービジョンおよびロボット工学アプリケーションの基本的なルーチンです。この研究は、多数のベクトル観測値が外れ値である場合のワバ問題を解くための、証明可能な最適な最初の多項式時間アプローチを提案します。最初の貢献は、スプリアス通信の大部分に影響されない切捨て最小二乗(TLS)コストを使用してワバ問題を定式化することです。 2番目の貢献は、ユニットクォータニオンを使用して問題を書き直し、TLSコストを2次制約付き2次プログラム(QCQP)としてフレーム化できることを示すことです。結果として生じる最適化は依然として非常に非凸であり、グローバルに解決するのが難しいため、3番目の貢献は凸半正定値プログラミング(SDP)緩和を開発することです。ナイーブリラクゼーションは一般にパフォーマンスが悪いのに対し、大きなノイズや外れ値が存在する場合でもリラクゼーションがタイトであることを示します。アルゴリズムがRANSAC、ロバストなローカル最適化手法、グローバルな外れ値除去手順、および分枝限定法を上回ることを示す合成および実データセットの両方で、QUASAR(ロバストアライメント用の四元数に基づく半正定relAxation)という名前の提案アルゴリズムを検証します。 QUASARは、対応の95%が外れ値である場合でも、証明可能な最適解(つまり緩和が正確)を計算できます。
The Wahba problem, also known as rotation search, seeks to find the best rotation to align two sets of vector observations given putative correspondences, and is a fundamental routine in many computer vision and robotics applications. This work proposes the first polynomial-time certifiably optimal approach for solving the Wahba problem when a large number of vector observations are outliers. Our first contribution is to formulate the Wahba problem using a Truncated Least Squares (TLS) cost that is insensitive to a large fraction of spurious correspondences. The second contribution is to rewrite the problem using unit quaternions and show that the TLS cost can be framed as a Quadratically-Constrained Quadratic Program (QCQP). Since the resulting optimization is still highly non-convex and hard to solve globally, our third contribution is to develop a convex Semidefinite Programming (SDP) relaxation. We show that while a naive relaxation performs poorly in general, our relaxation is tight even in the presence of large noise and outliers. We validate the proposed algorithm, named QUASAR (QUAternion-based Semidefinite relAxation for Robust alignment), in both synthetic and real datasets showing that the algorithm outperforms RANSAC, robust local optimization techniques, global outlier-removal procedures, and Branch-and-Bound methods. QUASAR is able to compute certifiably optimal solutions (i.e. the relaxation is exact) even in the case when 95% of the correspondences are outliers.
updated: Sun Sep 22 2019 14:54:34 GMT+0000 (UTC)
published: Wed May 29 2019 15:36:40 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)アソシエイト