Derivatives and Logarithms of 3D Transforms
nosferalatu.com
nosferalatu.com
exp(tA) = lim n->infinity (I+tA/n)^n
= lim n->infinity (I+tA/n)...(I+tA/n) (n times)
So you can interpret A (or log T) as a direction to move from the identity, and exp does infinite iterated compositions of an infinitesimal shift away from the identity in that direction.Regarding Pitfall #3, the interpolation scheme exp(tlog(A) + (1-t)log(B)) is shortest path in a sense, just not with the usual matrix norms. See V Arsigny et al., "Log‐Euclidean metrics for fast and simple calculus on diffusion tensors". I can't help but find it more elegant than exp(log(BA^{-1})t)A which could just as well have been exp(log(A^{-1}B)t)A, or even Aexp(log(A^{-1}B)t), right? It also fixes the "no more than two transforms", as you can put any convex combination in exp(sum_i x_i log(A_i)).
Screw Theory: https://en.wikipedia.org/wiki/Screw_theory