Expand the two linear combinations and use the Pauli matrix multiplication identity:
Interchanging the vectors reverses the cross product, so their commutator is . The three Pauli matrices are linearly independent; alternatively, trace against to recover each coefficient. Thus
For nonzero real vectors, this means they are parallel or antiparallel, equivalently linearly dependent. The algebra also extends to complex vectors using bilinear dot and cross products, with the same linear-dependence criterion; the dot product there has no complex conjugation.

Articles by others on the same topic (0)

There are currently no matching articles.