Jump to content

Wahba's problem

From Wikipedia, the free encyclopedia

In applied mathematics, Wahba's problem, first posed by Grace Wahba in 1965, seeks to find a rotation matrix (special orthogonal matrix) between two coordinate systems from a set of (weighted) vector observations. Solutions to Wahba's problem are often used in satellite attitude determination utilising sensors such as magnetometers and multi-antenna GPS receivers. The cost function that Wahba's problem seeks to minimise is as follows:

J(𝐑)=12∑k=1Nak‖𝐰k−𝐑𝐯k‖2 for N≥2

where 𝐰k is the k-th 3-vector measurement in the reference frame, 𝐯k is the corresponding k-th 3-vector measurement in the body frame and 𝐑 is a 3 by 3 rotation matrix between the coordinate frames.[1] ak is an optional set of weights for each observation.

A number of solutions to the problem have appeared in literature, notably Davenport's q-method,[2] QUEST and methods based on the singular value decomposition (SVD). Several methods for solving Wahba's problem are discussed by Markley and Mortari.

This is an alternative formulation of the orthogonal Procrustes problem (consider all the vectors multiplied by the square-roots of the corresponding weights as columns of two matrices with N columns to obtain the alternative formulation). A compact and elegant derivation can be found in Appel (2015).[3]

Solution via SVD

[edit]

One solution can be found using a singular value decomposition (SVD).

1. Obtain a matrix 𝐁 as follows:

𝐁=∑i=1nai𝐰i𝐯iT

2. Find the singular value decomposition of 𝐁

𝐁=𝐔𝐒𝐕T

3. The rotation matrix is simply:

𝐑=𝐔𝐌𝐕T

where 𝐌=diag⁡([11det⁡(𝐔)det⁡(𝐕)])

Geometric interpretation using quaternion circles

[edit]

A geometric interpretation of Wahba’s problem using unit quaternions was presented by Liu, et al. (2026)[4]

For unit vector observations, each correspondence 𝐑𝐯k=𝐰k defines a circle of admissible quaternions, called a ''quaternion circle''. To see this, choose any unit quaternion 𝐪k whose rotation maps 𝐯k to 𝐰k. Every other rotation satisfying this correspondence is obtained by subsequently rotating about 𝐰k. With scalar-first quaternions and Hamilton multiplication ⊗, the corresponding quaternion can therefore be written as𝐪k(θ)=(cos⁡θ2,𝐰ksin⁡θ2)⊗𝐪k=𝐪kcos⁡θ2+𝐩ksin⁡θ2,𝐩k=(0,𝐰k)⊗𝐪k.Quaternion multiplication preserves norms, and 𝐪kT𝐩k=0. Thus 𝐩k and 𝐪k are orthonormal vectors in ℝ4, and the complete set of admissible quaternions forms a great circle; this arises from the 2-to-1 mapping from unit quaternions to rotation matrices.

For mutually consistent observations, the solution lies at the common intersection of these circles. Two correspondences with non-collinear source vectors determine a unique rotation, represented by two antipodal intersection points. With measurement noise, the circles need not have a common intersection[4].

The same geometry gives a linear least-squares formulation. Let the rows of Ak∈ℝ2×4 form an orthonormal basis for the orthogonal complement of the subspace spanned by 𝐩k and 𝐪k. Therefore, each exact correspondence is equivalent to𝐑𝐯k=𝐰k⟹{Ak𝐪=0𝐪T𝐪=1which yields a classical linear formulation subject to a unit-norm constraint.

Notes

[edit]
  1. ↑ The rotation 𝐑 in the problem's definition transforms the body frame to the reference frame. Most publications define rotation in the reverse direction, i.e. from the reference to the body frame which amounts to 𝐑T.
  2. ↑ "Davenport's Q-method (Finding an orientation matching a set of point samples)". Mathematics Stack Exchange. Retrieved 2020-07-23.
  3. ↑ Appel, M. "Robust Spoofing Detection and Mitigation based on Direction of Arrival Estimation" (PDF). Ion GNSS+ 2015. 28.
  4. 1 2 Liu, Yinlong; Huang, Tianyu; Yang, Zhi-Xin (2026). "Linearly Solving Robust Rotation Estimation". IEEE Transactions on Pattern Analysis and Machine Intelligence. 48 (10): 13305–13322. arXiv:2506.11547. doi:10.1109/TPAMI.2026.3707470. ISSN 1939-3539.

References

[edit]

See also

[edit]