… and a simpler proof for it

A much simpler proof for the more generic algebraic rule on manipulating quadratic forms I posted recently just became apparent to me. All you need to do is to first show that $${\rm trace}\{\ma{A}^{\rm H} \cdot \ma{B}\} = {\rm vec}\{\ma{A}\}^{\rm H} \cdot {\rm vec}\{\ma{B}\},$$ which is fairly easy because both represent a short-hand notation for […]

Even more algebra fun

I just realized that there is an even more general version of the rules for quadratic forms I posted recently: $${\rm trace}\left(\ma{A} \cdot \ma{X} \cdot \ma{R} \cdot \ma{X}^{\rm H} \cdot \ma{B}^{\rm H}\right) = {\rm vec}\left(\ma{X}\right)^{\rm H} \cdot \left( \ma{R}^{\rm T} \otimes \ma{B}^{\rm H} \cdot \ma{A} \right) \cdot {\rm vec}\left(\ma{X}\right)$$ Enjoy!

Fun with algebra

Quite often, the key to finding an efficient solution to a given problem is to rewrite it in simpler terms. This requires a fair amount of experience and a good toolbox of rules one can apply to transform things. For me, problems are often algebraic and I have to deal with products of (tensors,) matrices […]