In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.
These matrices are named after the physicist Wolfgang Pauli. In quantum mechanics, they occur in the Pauli equation, which takes into account the interaction of the spin of a particle with an external electromagnetic field. They also represent the interaction states of two polarization filters for horizontal/vertical polarization, 45 degree polarization (right/left), and circular polarization (right/left).
Each Pauli matrix is Hermitian, and together with the identity matrix (sometimes considered as the zeroth Pauli matrix), the Pauli matrices form a basis for the real vector space of Hermitian matrices. This means that any Hermitian matrix can be written in a unique way as a linear combination of Pauli matrices, with all coefficients being real numbers.
R3.
The Pauli matrices (after multiplication by to make them anti-Hermitian) also generate transformations in the sense of Lie algebras: the matrices form a basis for the real Lie algebra
ak{su}(2)
R3,
H
\sigmay | style=width:3em | \sigmaz | ||
---|---|---|---|---|
\sigmax | I | i\sigmaz | -i\sigmay | |
\sigmay | -i\sigmaz | I | i\sigmax | |
\sigmaz | i\sigmay | -i\sigmax | I |
All three of the Pauli matrices can be compacted into a single expression:
\sigmaj=\begin{pmatrix} \deltaj3&\deltaj1-i\deltaj2\\ \deltaj1+i\deltaj2&-\deltaj3\end{pmatrix},
The matrices are involutory:
2 | |
\sigma | |
1 |
=
2 | |
\sigma | |
2 |
=
2 | |
\sigma | |
3 |
=-i\sigma1\sigma2\sigma3=\begin{pmatrix}1&0\ 0&1\end{pmatrix}=I,
The determinants and traces of the Pauli matrices are
\begin{align} \det\sigmaj&=-1,\\ \operatorname{tr}\sigmaj&=0, \end{align}
l{H}2
R
l{M}2,2(C)
C
The Pauli matrices obey the following commutation relations:
[\sigmaj,\sigmak]=2i\varepsilonj\sigmal,
These commutation relations make the Pauli matrices the generators of a representation of the Lie algebra
(R3, x )\congak{su}(2)\congak{so}(3).
They also satisfy the anticommutation relations:
\{\sigmaj,\sigmak\}=2\deltajI,
where
\{\sigmaj,\sigmak\}
\sigmaj\sigmak+\sigmak\sigmaj,
These anti-commutation relations make the Pauli matrices the generators of a representation of the Clifford algebra for
R3,
Cl3(R).
The usual construction of generators
\sigmajk=\tfrac{1}{4}[\sigmaj,\sigmak]
ak{so}(3)
A few explicit commutators and anti-commutators are given below as examples:
Each of the (Hermitian) Pauli matrices has two eigenvalues: and . The corresponding normalized eigenvectors are
\begin{align} \psix+&=
1 | |
\sqrt{2} |
\begin{bmatrix}1\ 1\end{bmatrix},& \psix-&=
1 | |
\sqrt{2} |
\begin{bmatrix}1\ -1\end{bmatrix},\\ \psiy+&=
1 | |
\sqrt{2} |
\begin{bmatrix}1\ i\end{bmatrix},& \psiy-&=
1 | |
\sqrt{2} |
\begin{bmatrix}1\ -i\end{bmatrix},\\ \psiz+&=\begin{bmatrix}1\ 0\end{bmatrix},& \psiz-&=\begin{bmatrix}0\ 1\end{bmatrix}. \end{align}
The Pauli vector is defined bywhere
\hat{x}1
\hat{x}2
\hat{x}3
\hat{x}
\hat{y}
\hat{z}
The Pauli vector provides a mapping mechanism from a vector basis to a Pauli matrix basis[2] as follows:using Einstein's summation convention.
More formally, this defines a map from
R3
2 x 2
R3
Another way to view the Pauli vector is as a
2 x 2
Mat2 x (C) ⊗ (R3)*
\veca\mapsto\veca ⋅ \vec\sigma.
Each component of
\veca
\veca\mapsto\veca ⋅ \vec\sigma
The norm is given by the determinant (up to a minus sign)Then, considering the conjugation action of an
SU(2)
U
U*\veca ⋅ \vec\sigma:=U\veca ⋅ \vec\sigmaU-1,
\det(U*\veca ⋅ \vec\sigma)=\det(\veca ⋅ \vec\sigma),
U*\veca ⋅ \vec\sigma
U*\veca ⋅ \vec\sigma=\veca' ⋅ \vec\sigma,
\veca'
\veca,
U
U
R:SU(2)\toSO(3)
U*\veca ⋅ \vec\sigma=\veca' ⋅ \vec\sigma=:(R(U) \veca) ⋅ \vec\sigma,
R(U)\inSO(3).
SO(3)
SU(2),
SU(2)\congSpin(3).
R(U)
R(U)ij=
1 | |
2 |
\operatorname{tr}\left(\sigmaiU\sigmajU-1\right).
The cross-product is given by the matrix commutator (up to a factor of
2i
R3
This cross-product can be used to prove the orientation-preserving property of the map above.
The eigenvalues of
\veca ⋅ \vec\sigma
\pm|\vec{a}|.
More abstractly, without computing the determinant, which requires explicit properties of the Pauli matrices, this follows from
(\veca ⋅ \vec\sigma)2-|\veca|2=0 ,
(\veca ⋅ \vec\sigma-|\veca|)(\veca ⋅ \vec\sigma+|\veca|)=0.
\veca ⋅ \vec\sigma
\pm|\veca|.
\veca ⋅ \vec\sigma
Its normalized eigenvectors are These expressions become singular for
a3\to-\left|\vec{a}\right|
\vec{a}=\left|\vec{a}\right|(\epsilon,0,-(1-\epsilon2/2))
\epsilon\to0
\sigmaz
Alternatively, one may use spherical coordinates
\vec{a}=a(\sin\vartheta\cos\varphi,\sin\vartheta\sin\varphi,\cos\vartheta)
\psi+=(\cos(\vartheta/2),\sin(\vartheta/2)\exp(i\varphi))
\psi-=(-\sin(\vartheta/2)\exp(-i\varphi),\cos(\vartheta/2))
The Pauli 4-vector, used in spinor theory, is written
\sigma\mu
\sigma\mu=(I,\vec\sigma).
R1,3
x\mu\mapsto
\mu , | |
x | |
\mu\sigma |
\det
\mu) | |
(x | |
\mu\sigma |
=η(x,x).
This 4-vector also has a completeness relation. It is convenient to define a second Pauli 4-vector
\bar\sigma\mu=(I,-\vec\sigma).
Similarly to the Pauli 3-vector case, we can find a matrix group that acts as isometries on
R1,3 ;
SL(2,C) ,
SL(2,C)\congSpin(1,3).
S\inSL(2,C)
\mu{} | |
Λ(S) | |
\nu |
=\tfrac{1}{2}\operatorname{tr}\left(\bar\sigma\nuS\sigma\muS\dagger\right).
In fact, the determinant property follows abstractly from trace properties of the
\sigma\mu.
2 x 2
\det(A+B)=\det(A)+\det(B)+\operatorname{tr}(A)\operatorname{tr}(B)-\operatorname{tr}(AB).
A,B
\sigma\mu ,
2 x 2 ,
Pauli vectors elegantly map these commutation and anticommutation relations to corresponding vector products. Adding the commutator to the anticommutator gives
\begin{align}\left[\sigmaj,\sigmak\right]+\{\sigmaj,\sigmak\}&=(\sigmaj\sigmak-\sigmak\sigmaj)+(\sigmaj\sigmak+\sigmak\sigmaj)\\ 2i\varepsilonj\sigma\ell+2\deltajI&=2\sigmaj\sigmak\end{align}
Contracting each side of the equation with components of two -vectors and (which commute with the Pauli matrices, i.e., for each matrix and vector component (and likewise with) yields
~~\begin{align}ajbk\sigmaj\sigmak&=ajbk\left(i\varepsilonjk\ell\sigma\ell+\deltajkI\right)\\ aj\sigmajbk\sigmak&=i\varepsilonjk\ellajbk\sigma\ell+ajbk\deltajkI\end{align}.~
Finally, translating the index notation for the dot product and cross product results in
If is identified with the pseudoscalar then the right hand side becomes
a ⋅ b+a\wedgeb
If we define the spin operator as, then satisfies the commutation relation:Or equivalently, the Pauli vector satisfies:
The following traces can be derived using the commutation and anticommutation relations.
\begin{align} \operatorname{tr}\left(\sigmaj\right)&=0\\ \operatorname{tr}\left(\sigmaj\sigmak\right)&=2\deltajk\\ \operatorname{tr}\left(\sigmaj\sigmak\sigma\ell\right)&=2i\varepsilonjk\ell\\ \operatorname{tr}\left(\sigmaj\sigmak\sigma\ell\sigmam\right)&=2\left(\deltajk\delta\ell-\deltaj\ell\deltakm+\deltajm\deltak\ell\right) \end{align}
If the matrix is also considered, these relationships become
where Greek indices and assume values from and the notation is used to denote the sum over the cyclic permutation of the included indices.
For
\vec{a}=a\hat{n}, |\hat{n}|=1,
one has, for even powers,
(\hat{n} ⋅ \vec{\sigma})2p=I,
which can be shown first for the case using the anticommutation relations. For convenience, the case is taken to be by convention.
For odd powers,
\left(\hat{n} ⋅ \vec{\sigma}\right)2q+1=\hat{n} ⋅ \vec{\sigma}.
Matrix exponentiating, and using the Taylor series for sine and cosine,
\begin{align} ei ⋅ \vec{\sigma}\right)} &=
| ||||
\sum | ||||
k=0 |
\vec{\sigma}\right)\right]k}{k!}}\\ &=
| ||||
\sum | ||||
p=0 |
\vec{\sigma})2p
In the last line, the first sum is the cosine, while the second sum is the sine; so, finally,
which is analogous to Euler's formula, extended to quaternions.
Note that
\det[ia(\hat{n} ⋅ \vec{\sigma})]=a2
while the determinant of the exponential itself is just, which makes it the generic group element of SU(2).
A more abstract version of formula for a general matrix can be found in the article on matrix exponentials. A general version of for an analytic (at a and −a) function is provided by application of Sylvester's formula,[3]
f(a(\hat{n} ⋅ \vec{\sigma}))=I
f(a)+f(-a) | |
2 |
+\hat{n} ⋅ \vec{\sigma}
f(a)-f(-a) | |
2 |
.
A straightforward application of formula provides a parameterization of the composition law of the group . One may directly solve for in
which specifies the generic group multiplication, where, manifestly, the spherical law of cosines. Given, then,
Consequently, the composite rotation parameters in this group element (a closed form of the respective BCH expansion in this case) simply amount to[4]
(Of course, when
\hat{n}
\hat{m}
\hat{k}
It is also straightforward to likewise work out the adjoint action on the Pauli vector, namely rotation of any angle
a
\hatn
Taking the dot product of any unit vector with the above formula generates the expression of any single qubit operator under any rotation. For example, it can be shown that .
See also: Rodrigues' rotation formula.
In this notation, the completeness relation for the Pauli matrices can be written
\vec{\sigma}\alpha\beta ⋅ \vec{\sigma}\gamma\delta\equiv
3 | |
\sum | |
k=1 |
k | |
\sigma | |
\alpha\beta |
k | |
\sigma | |
\gamma\delta |
=2\delta\alpha\delta\delta\beta\gamma-\delta\alpha\beta\delta\gamma\delta.
As noted above, it is common to denote the 2 × 2 unit matrix by so The completeness relation can alternatively be expressed as
The fact that any Hermitian complex 2 × 2 matrices can be expressed in terms of the identity matrix and the Pauli matrices also leads to the Bloch sphere representation of 2 × 2 mixed states’ density matrix, (positive semidefinite 2 × 2 matrices with unit trace. This can be seen by first expressing an arbitrary Hermitian matrix as a real linear combination of