5
$\begingroup$

In the paper "Applications of Quaternions to Computation with Rotations" by Eugene Salamin, 1979 (click here), they get 126.5 degrees as the mean value of the rotation angle of a random rotation (by integrating quaternions over the 3-sphere).

enter image description here

How can I make sense of this result? If rotation angle around a given axis can be 0..360°, should not the mean be 180? or 0 if it can be −180..180°? or 90° if you take absolute values?

$\endgroup$
  • 1
    $\begingroup$ I think the angles they're talking about must be in the range from $0^\circ$ to $180^\circ$. If you rotate a circle $181^\circ$ clockwise, that's the same as $179^\circ$ counterclockwise, and I think the latter is the angle they're talking about. But the rotations above are rotations in $3$-dimensional Euclidean space, so just plus or minus signs do not suffice to express the direction in which the sphere was rotated. $\endgroup$ – Michael Hardy Aug 10 '13 at 16:50
  • 1
    $\begingroup$ The key phrase is "Random rotations are to be chosen uniformly distributed over the 3-sphere" $\endgroup$ – Hagen von Eitzen Aug 10 '13 at 16:54
0
$\begingroup$

First, SO(3) of course has its unique invariant probabilistic measure. Hence, “random rotation” is a well-defined SO(3)-valued random variable. Each rotation (an element of SO(3)) has an uniquely defined rotation angle θ, from 0 to 180° (π) because of axis–angle representation. (Note that axis is undefined for θ = 0 and has two possible values for θ = 180°, but θ itself has no ambiguity.) Hence, “angle of a random rotation” is a well-defined random angle.

Why is its average closer to one end (180°) than to another (0)? In short, because there are many 180° rotations, whereas rotation by zero angle is unique (identity map).

Note that I ignore Spin(3) → SO(3) covering that is important in quaternionic discourse, but it won’t change the result: Haar measure on Spin(3) projected onto SO(3) gives the same Haar measure on SO(3), hence there is no difference whether do we make computations on S3 of unit quaternions (the same as Spin(3)) or directly on SO(3).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.