While the Pauli matrices (\(\sigma_x, \sigma_y, \sigma_z\)) describe the spin components of a particle, they are part of a larger mathematical structure. To fully represent the space of all possible \(2 \times 2\) operators in Quantum Mechanics, we must complete the basis by introducing the Identity matrix.
Pauli Algebra and the Complete 2D Basis
A single \(2 \times 2\) matrix has 4 complex elements. Therefore, to construct any arbitrary operator acting on a spin-1/2 state, we require a basis set of four linearly independent matrices.
1. The Complete Basis Set
We introduce the Identity matrix (often denoted as \(\sigma_0\)) to complete the set started by the standard Pauli matrices:
\[ \sigma_0 = I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \]The complete basis is \(\mathcal{B} = \{ I, \sigma_x, \sigma_y, \sigma_z \}\). This is a powerful concept because any \(2 \times 2\) Hermitian matrix \(H\) (representing an observable Hamiltonian, Density Matrix, etc.) can be expanded as a linear combination of these four matrices with real coefficients:
\[ H = a_0 I + a_x \sigma_x + a_y \sigma_y + a_z \sigma_z \]Or in compact vector notation:
\[ H = a_0 I + \vec{a} \cdot \vec{\sigma} \]The coefficients \(a_i\) can be extracted using the trace orthogonality property: \(a_i = \frac{1}{2}\text{Tr}(H\sigma_i)\).
2. Key Properties of Sigma Matrices
The Pauli matrices (\(i = x, y, z\)) share specific algebraic properties that distinguish them from the Identity matrix.
Trace and Determinant
- Traceless: The sum of the diagonal elements is zero. \[ \text{Tr}(\sigma_i) = 0 \]
- Determinant: The determinant of each Pauli matrix is -1. \[ \text{det}(\sigma_i) = -1 \]
Contrast: \(\text{Tr}(I) = 2\) and \(\text{det}(I) = 1\).
Hermitian and Unitary
All Pauli matrices are Hermitian (\(\sigma^\dagger = \sigma\)) and Unitary (\(\sigma^\dagger = \sigma^{-1}\)). This leads to the "Involutory" property, meaning they are their own inverses:
3. Commutation Relations
The algebra of spin is encoded in how these matrices commute and anti-commute.
Commutator: They do not commute (order matters). The relation is cyclic:
\[ [\sigma_i, \sigma_j] = 2i \epsilon_{ijk} \sigma_k \]For example: \([\sigma_x, \sigma_y] = 2i\sigma_z\).
Anti-Commutator: They anti-commute with each other:
\[ \{\sigma_i, \sigma_j\} = 2\delta_{ij} I \]This implies that if \(i \neq j\), then \(\sigma_i \sigma_j = -\sigma_j \sigma_i\).
The Fundamental Identity
Combining the commutator and anti-commutator gives the single most important identity for simplifying Pauli calculations: