This lecture should be primarily a review for you of properties of
spin one-half. I do suspect that some of the identities derived here,
especially the exponential disentangling identity, will be new for
you.
Spin operators and states
Recall the spin operators and eigenstates. The states
and
are eigenstates of
,
which satisfy
Next, we discuss the raising and lowering operators. Define
and
to
connect these states
Compute their commutators by acting the operator each, in turn, onto
the states. Note that the commutator is computed via the action on the
states themselves, using the above rule. We cannot determine them any
other way. We have
So
Similarly:
So
.
You can verify yourself that
.
Please ensure that you are comfortable calculating the commutators in
this way, by acting the operators onto the states in the order provided
and determining what the final result is. Because we acted them on all
the states in our Hilbert space, we can use this to determine the
commutation rule for the operators themselves. This is how we obtained
our summary equations.
These three commutation relations are the
algebra.
Cartesian spin operators
Next, we move on to determine the Cartesian spin operators. If we
define
and
,
then
and
.
The algebra of the Cartesian spins follows:
where we used the
commutation relations we already knew to evaluate them.
You can verify (and should) that we have
which is the standard form for angular momentum commutators. Here,
is the completely antisymmetric tensor, which satisfies
and
,
and all others vanish. Note we freely use 1, 2, 3 or
,
,
.
It should be clear from the context what we mean.
From this relation, we can compute the commutation relation of the
total spin squared with the Cartesian angular momentum operators. We
have
Proof:
so
The claim is that this is
zero. To see this let
and
Since
.
Now drop the primes
Anything equal to its negative must vanish, so
.
Let’s compute
with
.
First, we express the square of the spin in the spherical basis, because
we know what those operators do when acting on states:
Then we evaluate directly
on states. So, acting on the up spin gives
And acting on the down
spin gives
as well. Hence,
is an eigenstate of both
and
!
Matrix representation of
spin
We next look at the matrix representations of spin. Assume we have an
arbitrary superposition of states
We let the column vector
denote the state
.
The operators
are represented by two-dimensional matrices in this space. For example
$$\begin{array}{rl}
\hat{S}_{z} \mid \hat{\uparrow} ; z\rangle=\frac{\hbar}{2}|\uparrow ;
z\rangle \\
\hat{S}_{z} \mid \downarrow ; z
\rangle=\frac{\hbar}{2}|\downarrow ; z\rangle
\end{array} \Leftrightarrow \frac{\hbar}{2}\left(\begin{array}{cc}
1 & 0 \\
0 & -1
\end{array}\right)\binom{1}{0}=\frac{\hbar}{2}\binom{1}{0} \\
\text{ and }
\frac{\hbar}{2}\left(\begin{array}{cc}
1 & 0 \\
0 & -1
\end{array}\right)\binom{0}{1}=-\frac{\hbar}{2}\binom{0}{1}.$$
The matrix representing the operator is
which includes 4 numbers for the matrix from the different choices of
and
.
Let’s compute the matrix for
So
.
Similarly, we have
.
We call
the Pauli matrices
Note that
These matrices also anticommute. To see this go back to our spin
commutators
Multiply on left by
and on right by
Now substitute in the Pauli
matrices
Add (and recall
):
and it is obvious this
holds for other permutations too.
Hence, we have derived that
This last equation is an
important relation to remember about the product of two Pauli spin
matrices.
Another interesting identity is the product of all 3
Any
matrix can be expressed in terms of the identity and the 3 Pauli
matrices. This is called completeness over the space of
matrices.
Check:
So to find
,
we set
or
.
We often write this as
.
Working with spin matrices
Let’s get some practice working with these objects
Note that if
is parallel to
,
then
.
This identity is a useful one to remember.
Next, we evaluate the matrix exponential:
First separate out into even and odd powers
But recall
so
This is called the generalized Euler identity.
Let’s compute the similarity transformation of a Pauli matrix
(corresponding to a rotation)
In general, such terms can involve an infinite series, as we will show
in a later lecture via the Hadamard lemma, but in this case, we can
explicitly calculate it. Just use our generalized Euler identity for
each exponential, followed by our product rule for pairs of Pauli
matrices:
But
.
So, we have that $$\begin{aligned}
\sum_{i k} v_{i} v_{k} \sigma_{i} \sigma_{j} \sigma_{k}&=v_{j}
\vec{v} \cdot \vec{\sigma}+i \sum_{i k l} v_{i} v_{k} \varepsilon_{i j
l}\left(\cancelto{0}{\delta_{l k}}+i \varepsilon_{l k
m} \sigma_m\right) \\
&=v_{j} \vec{v} \cdot \vec{\sigma}-\sum_{i k l m} v_{i} v_{k}
\varepsilon_{i j l} \varepsilon_{l k m} \sigma_{m} \\
&=v_{j} \vec{v} \cdot \vec{\sigma}-\sum_{i k m} v_{i}
v_{k}\left(\delta_{i k} \delta_{j m}-\delta_{i m} \delta_{j k}\right)
\sigma_{m} \\
&=v_{j} \vec{v} \cdot \vec{\sigma}-v^{2} \sigma_{j}+\vec{v} \cdot
\vec{\sigma} v_{j} \\
\text{So that}~~~~~&\\
e^{i \bar{v} \cdot \vec{\sigma}} \sigma_{j} e^{-i \vec{v} \cdot
\vec{\sigma}}&=\cos ^{2}|v| \delta_{j}+2 \frac{\cos |v| \sin
|v|}{|v|}(\vec{v} \times \vec{\sigma})_{j}+\frac{\sin
^{2}(v)}{|v|^{2}}\left(2 \vec{v} \cdot \vec{\sigma} v_{j}-v^{2}
\sigma_{j}\right).
\end{aligned}$$
Exponential disentangling
Our last topic is on exponential disentangling. This is an identity
most have not seen before. It is derived by factorizing the exponential
of a combination of Pauli matrices into a product of three special Pauli
matrices. First note that
so
$$\begin{aligned}
\exp \left(\alpha \sigma_{+}\right) & =1+\alpha
\sigma_{+}+\frac{1}{2}
\alpha^{2}\left(\cancelto{0}{\sigma_{+}^2}\right)+\cdots \\
& =\left(\begin{array}{cc}
1 & 2 \alpha \\
0 & 1
\end{array}\right) \\
\exp \left(\alpha \sigma_{-}\right) & =\left(\begin{array}{cc}
1 & 0 \\
2 \alpha & 1
\end{array}\right)
\end{aligned}$$
That is, the exponential of raising or lowering Paulis is given by a sum
of just two terms. Now, let’s consider the following exponential
We want to re-write it as
,
so we have
Comparing to the exponential, we have
First note that
So if we solve the bottom three equations, the top automatically
holds! This then gives us
This identity is called
the exponential disentangling identity and it is an important one.
An important special case is when
,
then
This is your first taste of
exponential disentangling. We will see more of it soon.
What is amazing about exponential disentangling is that is holds for
any angular momentum, not just spin one half. But, we will have more to
say about that later.