 Pauli matrix completeness identity

The identity follows because the identity matrix and the three Pauli matrices form an orthogonal basis of two-by-two matrices under the trace inner product. It rewrites a spin-vector bilinear square as a scalar four-fermion expression, with the Grassmann signs supplied when fields are reordered. This is the algebra behind a spin-vector Hubbard–Stratonovich decoupling.