How Are the Coefficients of a Qubit's Density Matrix Constrained?

[Dragonfall]

What is the arbitrary density matrix of a mixed state qubit?

 

[lbrits]

In the appropriate basis,
\rho = \alpha \left| \uparrow \right\rangle \left\langle \uparrow \right| + \beta \left| \downarrow \right\rangle \left\langle \downarrow \right|,
where \alpha + \beta = 1

 

[Dragonfall]

How is this a mixed state and not a pure state? Are some mixed states a pure state if you change the basis?

 

[lbrits]

It is mixed because it is obviously mixed =)
A pure state is of the form \left| \psi \right\rangle \left\langle \psi \right|, and you can't write the state given in that way. It is most general because you can always diagonalize a mixed state.

In order to purify a mixed state you need to enlarge your system, iirc.

 

[Fredrik]

I'd like to learn these things better too. These are some of my thoughts:

Take an arbitrary superposition \left|\psi\rangle=a\left|\uparrow\rangle+b\left|\downarrow\rangle and consider its pure-state density matrix:

\rho=\left|\psi\rangle\langle\psi\right|=|a|^2\left|\uparrow\rangle\langle\uparrow\right| +ab^*\left|\uparrow\rangle\langle\downarrow\right| +a^*b\left|\downarrow\rangle\langle\uparrow\right| +|b|^2\left|\downarrow\rangle\langle\downarrow\right|

A different choice of basis would have made it diagonal:

\left|\psi\rangle\langle\psi\right|=\alpha\left|\uparrow\rangle\langle\uparrow\right| +\beta\left|\downarrow\rangle\langle\downarrow\right|

Lbrits, this looks a lot like your "obviously mixed" state, so if you're right, then it's the condition \alpha+\beta=1 that makes this a mixed state, and that doesn't seem obvious at all.

I would have guessed that the general mixed density matrix is

a\left|\uparrow\rangle\langle\uparrow\right| +b\left|\uparrow\rangle\langle\downarrow\right| +c\left|\downarrow\rangle\langle\uparrow\right| +d\left|\downarrow\rangle\langle\downarrow\right|

with a,b,c,d arbitrary complex numbers, and that this represents a pure state if and only if a and d are both real and b=c*. But in that case, assuming lbrits is right, then \alpha and \beta in the general mixed state would have to have non-zero and opposite imaginary parts. That seems like a strange condition.

 

[lbrits]

The density matrix is always Hermitian, and it's trace is always 1. This is regardless of whether it represents a pure state or a mixed state. Once you diagonalize it, the condition of whether it is a pure state or a mixed state depends on whether one of the eigenvalues is 1 or not. If one is 1, and the others are zero, then it is a pure state. If more than one eigenvalue is non-zero, then it is a mixed state.

Remember what the density matrix represents.

 

[Fredrik]

The density matrix is always Hermitian, and it's trace is always 1. This is regardless of whether it represents a pure state or a mixed state. Once you diagonalize it, the condition of whether it is a pure state or a mixed state depends on whether one of the eigenvalues is 1 or not. If one is 1, and the others are zero, then it is a pure state. If more than one eigenvalue is non-zero, then it is a mixed state.

Remember what the density matrix represents.

Of course. Thanks for clearing that up.

 

[Hurkyl]

Incidentally, there is a clear choice of basis that diagonalizes |\psi \rangle \langle \psi|...

 

[Dragonfall]

I'm sorry but the Dirac notation and quantum mechanics is still unfamiliar to me so I'm going to ask some dumb questions:

\left|\psi\right>\left<\psi\right| is the projector onto the space spanned by \left|\psi\right>, correct? So a if we change the basis to one containing \left|\psi\right> then \left|\psi\right> is an eigenvector with eigenvalue 1?

Now given an arbitrary density matrix, it is self-adjoint so we can uniquely diagonize it. Once we do so we can find out whether the state it describes is pure?

So ONE POSSIBLE density matrix of an arbitrary qubit is \alpha\left| 0\right>\left< 0\right|+\beta\left| 1\right>\left< 1\right|?

 

[lbrits]

Watch out, <br /> \alpha\left| 0\right&gt;+\beta\left| 1\right&gt;<br /> is a state, not an operator.

Think of \left|v\right\rangle as a vector \vec{v}. Then the expression \left|v \right\rangle \left\langle w \right| represents the matrix \vec{v}^T \vec{w}. If you take the operator and multiply on the left by a bra, and on the right by a ket, you see that it acts like an object with two indices. I hope this is clear. I guess the Dirac notation makes it easy to abstract away the whole matrix/index business, but it is handy to understand both pictures.

 

[Dragonfall]

What is \left|\uparrow\rangle?

 

[lbrits]

The qubit can be in one of two states, or a superposition thereof. The two states are |\uparrow\rangle and |\downarrow\rangle. You can also think of these as column vectors [1,0] and [0,1].

 

[Dragonfall]

Ah, so it's another notation for |0> and |1>. What about my other questions?

 

[lbrits]

Looks like you edited your post right when I was writing my response, so anyway...
<br /> \alpha\left| 0\right&gt;\left&lt; 0\right|+\beta\left| 1\right&gt;\left&lt; 1\right|<br />
Is actually the most general, because any 2x2 density matrix can be brought to this form by a unitary transformation. It depends on whether you regard density matrices related by unitary transformations as somehow distinct or not.

If the density matrix has more than one non-zero eigenvalue, then it is not pure. It is mixed. If it has a single non-zero eigenvalue, it is pure.

 

[Dragonfall]

I'm trying to show that an arbitrary density matrix D for a qubit can be written as

D=\frac{I+\vec{r}\cdot\vec{\rho}}{2}.

Where \vec{r} is a real 3 dimensional vector of length less than or equal to 1, and \vec{\rho} is the 3 Pauli matrices excluding identity.

But if an arbitrary density matrix is <br /> <br /> \alpha\left| 0\right&gt;\left&lt; 0\right|+\beta\left| 1\right&gt;\left&lt; 1\right|<br /> then it wouldn't work.

 

[lbrits]

I could've sworn I replied to this post. Anyway, what you have written there, D, is the most general 2x2 hermitian matrix, since those 4 matrices span the set of 2x2 hermitian matrices. It also has trace 1, since the pauli matrices are traceless. Therefore it is the most general density matrix.

In order to diagonalize a matrix, you have to change basis. So, in a particular basis, D is the most general, since in order to make it diagonal, you would have to go into a different basis. Hope that is clear.

 

[Dragonfall]

But the coefficients in front of my expression has to be real, not complex. Do they still span the self-adjoint operators?

 

[lbrits]

Yes, the coefficients must be real in order to span self-adjoint operators. Well, you can take complex linear combinations and then impose Hermiticity to show that the coefficients have to be real.