The Pauli matrices, also called the Pauli spin matrices, are complex matrices that arise in Pauli's treatment of spin in quantum mechanics. They are defined by
(1)
| |||
(2)
| |||
(3)
|
(Condon and Morse 1929, p. 213; Gasiorowicz 1974, p. 232; Goldstein 1980, p. 156; Liboff 1980, p. 453; Arfken 1985, p. 211; Griffiths 1987, p. 115; Landau and Lifschitz 1991, p. 204; Landau 1996, p. 224).
The Pauli matrices
are implemented in the Wolfram Language
as PauliMatrix[n],
where
,
2, or 3.
The Pauli spin matrices satisfy the identities
(4)
| |||
(5)
| |||
(6)
|
where
is the
identity matrix,
is the Kronecker delta,
is the permutation
symbol, the leading
is the imaginary unit (not the index
), and Einstein
summation is used in (6) to sum over the index
(Arfken 1985, p. 211; Griffiths 1987, p. 139; Landau
and Lifschitz 1991, pp. 204-205).
The Pauli matrices plus the identity matrix
form a complete set, so any
matrix
can be expressed as
(7)
|
The associated matrices
(8)
| |||
(9)
| |||
(10)
|
can also be defined.