8
$\begingroup$

The density operator for a pure state $| \psi \rangle = \sum c_i | \psi_i \rangle$ (where $\{|\psi_i\rangle\}$ is a basis) is:

$$\rho = \sum_{i,j} c_j^* c_i | \psi_i \rangle \langle \psi_j |$$

On the other hand, the basis kets themselves are pure states, and the probability of observing $| \psi_i \rangle$ is $|c_i|^2$, so we should be able to express the density operator in terms of these states (using the fact that the density operator is a sum of outer products of pure states with themselves, weighted by the probability of observing that state):

$$\rho = \sum_i |c_i|^2 \, | \psi_i \rangle \langle \psi_i | $$

Clearly these are not equivalent in general (the first has nonzero off-diagonal terms). Where have I gone wrong?

$\endgroup$
2
  • $\begingroup$ Given a certain density matrix, not every "basis" is an "eigenbasis". What are the eigenstates and eigenvalues in your two cases? What does this mean? $\endgroup$
    – udrv
    Commented Sep 13, 2016 at 6:08
  • $\begingroup$ Well, obviously you must have gone wrong between the two equations, i.e., when saying "On the other hand, the basis kets themselves are pure states, and the probability of observing |ψi⟩ is |ci|2, so we should be able to express the density operator in terms of these states (using the fact that the density operator is a sum of outer products of pure states with themselves, weighted by the probability of observing that state):" Since your argument is extremely fuzzy, it's hard to really pinpoint a mistake -- you should try to argue more precisely! $\endgroup$ Commented Sep 13, 2016 at 7:49

1 Answer 1

11
$\begingroup$

On the other hand, the basis kets themselves are pure states, and the probability of observing $| \psi_i \rangle$ is $|c_i|^2$, so we should be able to express the density operator in terms of these states...

This statement is where your thinking went wrong. Your first density matrix describes a pure state in superposition, while your second density matrix describes a mixed state. There is a crucial difference between quantum superposition (the real state you are dealing with) and mixed state (the state that you THINK the real state is equivalent to).

Take a simple two-state system. A superposition is of the form: $$| \psi \rangle = c_0 | 0 \rangle +c_1 | 1 \rangle$$

You know the state FOR SURE! But when you measure it, you still get probabilistic outcomes.

For a mixed state, you don't know what the state is! Say you have a hundred particles of which $|c_0|^2 \cdot 100$ are in the state $| 0 \rangle$ and $|c_1|^2 \cdot 100$ are in $| 1 \rangle$! Now you randomly take a particle from this collection. Sure, it is true that "the probability of observing $| 0 \rangle$ is $|c_0|^2$ and "the probability of observing $| 1 \rangle$ is $|c_1|^2$. But you are really talking about your ignorance of the system, rather than any inherent uncertainty upon measurement. The mixed state is fundamentally about classical randomness.

P.S. The off-diagonal terms signal the presence of quantum interference in the system. In case you are curious, quantum decoherence actually steers your first density matrix toward your second one when your particle is exposed to an open system. I will just provide one reference: http://vvkuz.ru/books/zurek.pdf

Search on SE and Google for more details!

$\endgroup$
2
  • $\begingroup$ Thanks, I think I'm starting to understand this. The density operator measures more than just the probability of each measurement outcome in a particular basis - it's really a statistical distribution of pure states (but perhaps not eigenstates), and you'd need some knowledge about how the system was prepared in order to write the density operator out (or some measurement procedure more complicated than "observe all the outcomes and sum their self outer products weighted by probability") $\endgroup$ Commented Sep 13, 2016 at 18:45
  • 1
    $\begingroup$ @VyassaBaratham That's right. Also note that one density operator can represent different mixed states... So the mapping from mixed states to density operator is not one-to-one. $\endgroup$ Commented Sep 15, 2016 at 2:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.