432 Quantum information theory
with the continuity property x log x = 0 in the limit x → 0 and the logarithm conven-
tionally being in base two. Such entropy represents the average measurement of the
source’s information contents log(1/ p
i
) associated with each event. As we have seen in
Chapter 4, the entropy is maximum when all the source events are equiprobable, namely
when p
i
= 1/n, which yields H
max
≡ log n.
Consider now a quantum system. This system may exist in a quantum state |ψ,
which we shall assume here represents a statistical mixture of pure states |x
i
.
1
Such
pure states, which cannot be defined by any other mixtures of pure states, are orthogonal
to each other and have unit length, such that x
i
|x
j
=δ
ij
. The set of pure states {|x
i
} =
{|x
1
, |x
2
,...,|x
n
}, thus, defines an orthonormal basis for the n-dimensional space V
n
of all possible quantum states |ψ defining the system. Consistently, any state |ψof V
n
accepts a unique decomposition of the form
|ψ=x
1
|x
1
+x
2
|x
2
+···+x
n
|x
n
=
n
i=1
x
i
|x
i
, (21.2)
where x
i
(i = 1 ...n) are complex coordinates. We may choose to represent the quantum
system with a state |ψ of unit length, i.e., ψ|ψ =
i
|x
i
|
2
= 1, in which case the real
number p
i
=|x
i
|
2
, represents the probability of finding the state |ψ in the pure state
|x
i
. In the quantum world, the system in the quantum state |ψ, thus, plays the role of a
“random event” source and, naturally, the concepts of “information” and “entropy” may
be associated with such a system.
To establish such a connection, we need to use the concept of density operator (or
density matrix), which was introduced in Chapter 17. As we have learnt, the density
operator or matrix ρ is an alternative way to define a quantum system in a given state
|ψ.Formally,
ρ =
n
i=1
p
i
|x
i
x
i
|, (21.3)
where |x
i
x
i
| is the projector (or measurement) operator on the basis state |x
i
.Itis
clear that ρ|x
i
=p
i
|x
i
, which shows that |x
i
is an eigenstate of ρ with associated
eigenvalue p
i
. In the case where |ψ is a pure state, e.g., |ψ=|x
k
with p
i
= δ
ik
, and
only in such a case, the density operator is simply given by ρ =|ψψ|. As a general
definition, a pure state is a state that has 100% probability of being observed in a
quantum system, or which is exactly known. A given basis state (for instance |0 or |1
in a 2D space) may or may not be a pure state, according to whether this condition is
fulfilled or not (see more on this further on).
As we have also seen in Chapter 17, the matrix elements ρ
ij
of the density operator
satisfy ρ
ij
=x
i
|ρ|x
j
≡|x
i
|
2
δ
ij
= p
i
δ
ij
, showing that the matrix is diagonal in the
computational basis {|x
i
}, as expected from the fact that it is the basis of eigenstates.
1
The assumption according to which a system may be accurately or completely defined through a quantum
state |ψ, is equivalent to the assumption that the system is closed, meaning that it is neither coupled nor
entangled to any other unknown external system.