The Pauli matrices are a set of three Hermitian, unitary matrices used by Wolfgang Pauli in his theory of quantum-mechanical spin. They are given by: