The Dirac matrices are a class of matrices which arise in quantum electrodynamics. There are a variety of different symbols used, and Dirac matrices are also known as gamma matrices or Dirac gamma matrices.
The Dirac matrices may be implemented in a future version of the Wolfram Language as DiracGammaMatrix[n], where , 2, 3, 4, or 5.
The Dirac matrices are defined as the matrices
(1)
| |||
(2)
|
where are the () Pauli matrices, is the identity matrix, , 2, 3, and is the Kronecker product. Explicitly, this set of Dirac matrices is then given by
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
|
These matrices satisfy the anticommutation identities
(10)
|
(11)
|
where is the Kronecker delta, the commutation identity
(12)
|
and are cyclic under permutations of indices
(13)
|
(14)
|
A total of 16 Dirac matrices can be defined via
(15)
|
for , 1, 2, 3 and where (Arfken 1985, p. 212). These matrices satisfy
1. , where is the determinant,
2. ,
3. , where denotes the conjugate transpose, making them Hermitian, and therefore unitary,
4. , except ,
5. Any two multiplied together yield a Dirac matrix to within a multiplicative factor of or ,
6. The are linearly independent,
7. The form a complete set, i.e., any constant matrix may be written as
(16)
|
where the are real or complex and are given by
(17)
|
(Arfken 1985).
Dirac's original matrices were written and were defined by
(18)
| |||
(19)
|
for , 2, 3, giving
(20)
| |||
(21)
| |||
(22)
| |||
(23)
|
The notation is sometimes also used (Bjorken and Drell 1964, p. 8; Berestetskii et al. 1982, p. 78). The additional matrix
(24)
|
is sometimes defined.
A closely related set of Dirac matrices is defined by
(25)
| |||
(26)
|
for , 2, 3 (Goldstein 1980). Instead of , is commonly used. Unfortunately, there are two different conventions for its definition, the "chiral basis"
(27)
|
and the "Dirac basis"
(28)
|
(Griffiths 1987, p. 216).
Other sets of Dirac matrices are sometimes defined as
(29)
| |||
(30)
| |||
(31)
|
and
(32)
|
for , 2, 3 (Arfken 1985).
Any of the 15 Dirac matrices (excluding the identity matrix) commute with eight Dirac matrices and anticommute with the other eight. Let , then
(33)
|
(Arfken 1985, p. 216). In addition
(34)
|
The products of and satisfy
(35)
|
(36)
|
The 16 Dirac matrices form six anticommuting sets of five matrices each (Arfken 1985, p. 214):
1. , , , , ,
2. , , , , ,
3. , , , , ,
4. , , , , ,
5. , , , , ,
6. , , , , .