Each displayed Pauli matrix has zero trace and determinant . Direct multiplication gives , hence
Their two eigenvalues are therefore and .
Besides their squares, direct multiplication yields , and . Reversing each pair changes the sign. These identities combine into the Pauli matrix multiplication identity
Adding the expression with exchanged cancels the antisymmetric term, proving . Taking the trace instead uses and , proving .
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.