Density Matrix Solutions
Density Matrix Solutions
Course Notes
Density Matrix Formalism
Solutions to Problems
040520 Frank Porter
Exercises
1. Show that any linear operator in an n-dimensional Euclidean space
may be expressed as an n-term dyad. Show that this may be extended
to an infinite-dimensional Euclidean space.
Solution: Consider operator A in n-dimensional Euclidean space,
which may be expressed as a matrix in a given basis:
A =
n
X
i,j=1
X
i
X
|ei i aij hej | .
(1)
Pn
i=1
i |ei i.
(2)
i=1
Another way to say this is that the basis is complete, with completeness relation:
X
|ei ihei |.
(3)
I=
i
i,j
(4)
2 1 1
1
= 1 1 0.
4
1 0 1
(a) Is a permissible density matrix? Give your reasoning. For the
remainder of this problem, assume that it is permissible. Does it
describe a pure or mixed state? Give your reasoning.
Solution: Clearly is hermitian. It is also trace one. This is
almost sufficient for to be a valid density matrix. We can see
this by noting that, given a hermitian matrix, we can make a
transformation of basis to one in which is diagonal. Such a
transformation preserves the trace. In this diagonal basis, is of
the form:
= a|e1 ihe1 | + b|e2 ihe2 | + c|e3 ihe3 |,
where a, b, c are real numbers such that a + b + c = 1. This is
clearly in the form of a density operator. Another way of arguing
this is to consider the n-term dyad representation for a hermitian
matrix.
However, we must also have that is positive, in the sense that
a, b, c cannot be negative. Otherwise, we would interpret some
probabilities as negative. There are various ways to check this.
For example, we can check that the expectation value of with
respect to any state is not negative. Thus, let an arbitrary state
be: |i = (, , ). Then
h||i = 2||2 + ||2 + ||2 + 2<( ) + 2<( ).
(5)
5
1
(6 + 2 + 2) = .
16
8
(6)
1 0 0
Jz = 0 0 0 .
0 0 1
The average value of Jz is:
1
1
hJz i = Tr(Jz ) = (2 + 0 1) = .
4
4
(c) What is the spread (standard deviation) in measured values of Jz ?
Answer: Well need the average value of Jz2 for this:
3
1
hJz2 i = Tr(Jz2 ) = (2 + 0 + 1) = .
4
4
Then:
Jz =
hJz2 i
hJz
i2
11
.
4
(7)
(8)
(9)
i,j
P2 =
X
i,j
P1 P2 =
(10)
i,j,k
b1i hei |.
(11)
(12)
(13)
n
X
i xi ,
i=1
n
X
i=1
(14)
Pn
i=1
i xi ln xi .
i = 1. Then
(15)
(16)
ai Pi =
2 =
ai |ei ihei |
(17)
bi |fi ihfi |,
(18)
bi Qi =
X
i
(19)
(20)
ci |gi ihgi |,
(21)
f(x)
<f(x)>
..
.
x2
x3 <x>
x1
f(<x>)
x4
where we have defined another complete orthonormal basis, {|gi i}, corresponding to a basis in which is diagonal.
We may expand the {|ei i} and {|fi i} bases in terms of the {|gi i} basis.
For example, let
X
Aij |gj i,
(22)
|ei i =
j
Aji |ej i.
(23)
Also,
hei | =
X
j
Aij |gj i =
6
X
j
Aij hgj |,
(24)
and hence,
XX
|ei ihei | =
(25)
XX
j
(26)
X
i
ai
j,k
X
j,k
Bik
Bij |gj ihgk |.
(27)
X
i
ai
Xh
j,k
X
j,k
Bik
Bij `j `k
|Ai` | ai + (1 )|Bi` | bi .
(28)
(29)
ci ln ci
(30)
X X h
i
X h
|Aji |2 aj + (1 )|Bji |2 bj ln
|Aji |2 aj + (1 )|Bji |2 bj .
(a)
(b)
(ij aj + ij bj ),
(31)
where
(a)
|Aji |2
(32)
(b)
(1 )|Bji |2 .
(33)
ij
ij
Furthermore,
(a)
(b)
(ij + ij ) = 1.
(34)
Xh
(a)
(b)
ij aj ln aj + ij bj ln bj .
(35)
ci ln ci
>
XXh
>
(a)
(b)
ij aj ln aj + ij bj ln bj
[aj ln aj + (1 )bj ln bj ]
(36)
(37)
Ai Zi =
Ai Xi Yi ,
(38)
i = 1, 2, . . . ; j = 1, 2, . . . .
(39)
(40)
(41)
(42)
i,j,m,n
i,j,m,n
i,j,m,n
Ak Xk Yk ,
(43)
(44)
One way to check this is as follows. Pick our bases to be in the form:
(fi )k = ik
(gj )` = j` .
(45)
(46)
(47)
(48)
Then
and
6. Let us try to improve our understanding of the discussions on the density matrix formalism, and the connections with information or entropy that we have made. Thus, we consider a simple two-state
system. Let be any general density matrix operating on the twodimensional Hilbert space of this system.
(a) Calculate the entropy, s = Tr( ln ) corresponding to this density matrix. Express your result in terms of a single real parameter. Make sure the interpretation of this parameter is clear, as
well as its range.
Solution: Density matrix is Hermitian, hence diagonal in some
basis. Work in such a basis. In this basis, has the form:
=
9
0
,
0 1
(49)
(50)
entropy
0.5
0.4
0.3
0.2
0.1
0
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
theta
1
2
1 0
,
0 1
10
and 2 =
1
2
1 1
,
1 1
(52)
(54)
s() = 1
ln 1
ln .
2
2
2
2
(56)
(57)
ln 1
ln ln 2
s() [s(1 ) + (1 )s(2 )] = 1
2
2
2
2
= ln 1
2
!1/2
!/2
2 .
This must be larger than zero if the mixing theorem is correct. This is
equivalent to asking whether
1
2
!1/2
11
!/2
(59)
(58)
1
2
!1/2
(2)/2 .
(60)
It must be less than one. To check, lets find its maximum value, by
setting its derivative with respect to equal to 0:
0 =
=
=
=
!1/2
d
1
(2)/2
d
2
"
!
#
d
exp 1
ln (1 /2) + (/2) ln(2)
d
2
1
1 2
1
ln(1 /2) + ln(2) +
2
2
2 4
ln(2) ln(1 /2).
(61)
x, y O.
(62)
Consider a basis {B} of orthonormal operators in O. The set of density operators is a subset of this vector space, and we may expand an
arbitrary density matrix as:
=
Bi Tr(Bi ) =
Bi hBi i .
(63)
By measuring the average values for the basis operators, we can thus
determine the expansion coefficients for .
(a) How many such measurements are required to completely determine ?
Solution: The question is, how many independent basis operators
are there in O? An arbitrary N N complex matrix is described
12
(64)
(65)
This is N + 2[N (N 1)/2] = N 2 equations. Thus, O is an N 2 dimensional vector space. But to completely determine the density matrix, we have one further constraint, that Tr = 1. Thus,
it takes N 2 1 measurements to completely determine .
(b) If is known to be a pure state, how many measurements are
required?
Solution: We note that a complex vector in N dimensions is
completely specified by 2N real parameters. However, one parameter is an arbitrary phase, and another parameter is eaten by
the normalization constraint. Thus, it takes 2(N 1) parameters
to completely specify a pure state.
If is a pure state, then 2 = . How many additional constraints
over the result in part (a) does this imply? Lets try to get a more
intuitive understanding by attacking this issue from a slightly different perspective. Ask, instead, how many parameters it takes
to build an arbitrary density matrix as a mixture of pure states.
Our response will be to add pure states into the mixture one at
a time, counting parameters as we go, until we cannot add any
more.
It takes 2(N 1) parameters to define the first pure state in our
mixture. The second pure state must be a distinct state. That is,
it must be drawn from an N 1-dimensional subspace. Thus the
second pure state requires 2(N 2) parameters to define. There
will also be another parameter required to specify the relative
probabilities of the first and second state, but well count up these
probablilities later. The third pure state requires 2(N 3) parameters, and so forth, stopping at 2 1 paramter for the (N 1)st
pure state. Thus, it takes
2
N
1
X
k = N (N 1)
k=1
13
(66)
(67)
(68)
where L refers to left-handed polarization, and R refers to righthanded polarization. Thus, |LRi would refer to a state in which photon
number 1 (defined as the photon which is aimed at scientist Oivil, say)
is left-handed, and photon number 2 (the photon aimed at scientist
Livio) is right-handed.
These scientists (one of whom is of a diabolical bent) decide to play a
game with Nature: Oivil (of course) stays in the lab, while Livio treks
to a point a light-year away. The light source is turned on and emits
two photons, one directed toward each scientist. Oivil soon measures
the polarization of his photon; it is left-handed. He quickly makes a
note that his brother is going to see a left-handed photon, sometime
after next Christmas.
Christmas has come and gone, and finally Livio sees his photon, and
measures its polarization. He sends a message back to his brother Oivil,
who learns in yet another year what he knew all along: Livios photon
was left-handed.
Oivil then has a sneaky idea. He secretly changes the apparatus, without telling his forlorn brother. Now the ensemble is:
1
= (|LLi + |RRi)(hLL| + hRR|).
2
14
(69)
He causes another pair of photons to be emitted with this new apparatus, and repeats the experiment. The result is identical to the first
experiment.
(a) Was Oivil just lucky, or will he get the right answer every time,
for each apparatus? Demonstrate your answer explicitly, in the
density matrix formalism.
Solution: Yup, hell get it right, every time, in either case. Lets
first define a basis so that we can see how it all works with explicit
matrices:
1
0
|LLi = ,
0
0
0
1
|LRi = ,
0
0
0
0
|RLi = ,
1
0
|RRi =
0
.
0
1
(70)
In this basis the density matrix for the first apparatus is:
1
(|LLihLL| + |RRihRR|)
2
1
0
0
1
1
0
=
(1 0 0 0) + (0 0 0 1)
2 0
2 0
0
1
1 0 0 0
1
0 0 0 0
=
(71)
.
2 0 0 0 0
0 0 0 1
1
0
PL =
0
0
0
1
0
0
0
0
0
0
0
0
,
0
0
(72)
to:
1 0
PL =
2 0
0
0
0
0
0
0
0
0
0
0
0
.
0
0
(73)
1 0 0 1
1
0 0 0 0
=
.
2 0 0 0 0
1 0 0 1
(74)
1
1
0
PL =
2 0
0
0
0
0
0
0
0
0
0
0
0
.
0
0
(75)
1
0
PL (Livio) =
0
0
0
0
0
0
0
0
1
0
0
0
,
0
0
(76)
(77)
(78)
(79)
(81)
i
= [H(t), (t)].
(82)
t
P /dt, of the polarization vector? Express
What is the time evolution, dP
your answer as simply as you can (more credit will be given for right
answers that are more physically transparent than for right answers
which are not). Note that we make no assumption concerning the
purity of the state.
Solution: Let us consider the ith-component of the polarization:
i
dhi i
dPi
= i
dt
dt
= i Tr(i )
t
!
= iTr
i
t
= Tr ([H, ]i )
= Tr ([i , H])
(83)
(84)
(85)
(86)
(87)
3
1 X
=
Bj Tr ([i , j ]) .
2 j=1
(88)
To proceed further, we need the density matrix for a state with polarization P . Since is hermitian, it must be of the form:
= a(1 + b ).
(89)
But its trace must be one, so a = 1/2. Finally, to get the right polarP.
ization vector, we must have b=P
Thus, we have
(
3
3
X
dPi
1 X
i
=
Bj Tr[i , j ] +
Pk Tr ([i , j ]k ) .
dt
4 j=1
k=1
19
(90)
(91)
(92)
10. Let us consider a system of N spin-1/2 particles (see the previous problem) per unit volume in thermal equilibrium, in our external magnetic
field B . Recall that the canonical distribution is:
=
eH/T
,
Z
(93)
Z = Tr eH/T .
(94)
Such a system of particles will tend to orient along the magnetic field,
resulting in a bulk magnetization (having units of magnetic moment
per unit volume), M .
(a) Give an expression for this magnetization (dont work too hard to
evaluate).
Solution: Let us orient our coordinate system so that the z-axis
is along the magnetic field direction. Then Mx = 0, My = 0, and:
1
Mz = N hz i
2
h
i
1
= N Tr eH/T z ,
2Z
(95)
(96)
where H = Bz z /2.
(b) What is the magnetization in the high-temperature limit, to lowest
non-trivial order (this I want you to evaluate as completely as you
can!)?
20
Mz = N
(97)
(98)
Furthermore,
Z = TreH/T
= 2 + O(1/T 2 ).
(99)
(100)
(101)
21