Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

Suppose we have $$\rho=p_1\rho_1+p_2\rho_2$$ Where $\rho_1$ and $\rho_2$ are density matrices with $p_1+p_2=1$

I'm trying to show this is also a density matrix

If we let $$\rho_1=\sum_i^n p_{\psi_i} |\psi_i \rangle \langle\psi_i|$$ and $$\rho_2=\sum_i^n p_{\phi_i} |\phi_i \rangle \langle\phi_i|$$ I'm assumsing these two denstiy matrices are of size $n$, otherwise adding them wouldn't make any sense. I'm having trouble seeing how this produces a density matrix, if it were too then it would want to be describing the probabilities of the combinations of combined quantum states, which would be a $n^2\times n^2$ matrix? That's all I can see as being an physical interpretation of this as.

Approaching it more mathematically, each $n\times n$ matrix in the sum over both $p_1\rho_1$ and $p_2\rho_2$ has a factor of $p_1p_{\psi_i}+p_2p_{\phi_i}$ and

$$\sum_i^n p_1p_{\psi_i}+p_2p_{\phi_i}=\sum_i^n p_1(p_{\psi_i}-p_{\phi_i})+p_{\phi_i}=1$$

Which is promising (and the only way i've found so far to use the condition on $p_1,p_2$), but as far as I can see this factor doesn't really mean anything. Any help would be greatly appreciated, I'm a little lost!

share|improve this question
Comment to the question formulation (v1). One should additionally assume that $p_1,p_2\geq 0$. –  Qmechanic Mar 1 '13 at 22:14
add comment

2 Answers

up vote 1 down vote accepted

That depends on what you understand "density matrix" to mean. You seem to think that it refers to operators of the form $$\rho=\sum_{k=1}^n p_k|\psi_k\rangle\langle\psi_k|,\tag{1}$$ where $p_k\geq0$ for all $k$, $\sum_{k=1}^n p_k=1$, and the $|\psi_k\rangle$ are vectors in some $N$-dimensional Hilbert space $\mathcal{H}$. As a contrast, QMechanic's answer relies on a characterization of density matrices as positive semidefinite hermitian operators with trace 1. Proving the equivalence of these definitions is a very informing exercise and it will probably teach you more than your current problem.

To prove that $\rho=p_1\rho_1+p_2\rho_2$ is a density matrix by your definition, you will need to rely on an eigenvalue-eigenvector decomposition. Writing $\rho$ as in equation (1) is possible because $\rho$ is hermitian; the problem is then proving the two conditions on the $p_k$. The first one is equivalent to $\rho$ being positive semidefinite (why?), and this you can prove using the (real) abstract definition of that: $$\langle v|\rho v\rangle\geq0\,\forall v\in \mathcal{H}.$$ The sum condition you can prove by taking the trace of the different expressions you have for $\rho$.

share|improve this answer
Ah thank you for making that clear, I've now found that theorem and will work through the proof, I agree, it will be very useful to my understanding. Thank you for going through the method without using this theorem, I'm very grateful for your time! –  Freeman Mar 2 '13 at 11:35
add comment


A density operator is by definition a (semi-)positive operators with trace equal to one.

OP is essentially asking

Is a convex linear combination of density operators again a density operator?

Answer: Yes, because:

  1. Semi-positive operators form a cone, and

  2. trace is linear.

To see pt. 1, note that operators $A$ in complex$^1$ Hilbert spaces enjoy the characterizations

$$A ~\text{semi-positive}\qquad \Leftrightarrow \qquad \forall v\in H~:~ \langle v| Av \rangle ~\geq~ 0, $$


$$A ~\text{Hermitian} \qquad \Leftrightarrow \qquad \forall v,w\in H~:~ \langle v| Aw \rangle ~=~\langle Av| w \rangle $$ $$\qquad \Leftrightarrow \qquad \forall v\in H~:~ \langle v| Av \rangle ~=~\langle Av| v \rangle \qquad \Leftrightarrow \qquad \forall v\in H~:~ \langle v| Av \rangle ~\in \mathbb{R}. $$


$^1$These characterizations do not hold for real Hilbert spaces, so here we are using that quantum mechanics are formulated in complex Hilbert spaces.

share|improve this answer
Ah fantastic, so your argument relies on the theorem $\rho$ is a density operator iff $tr( \rho ) =1$ and $\rho$ is positive? Sorry for the late reply, I really appreciate your help. –  Freeman Mar 2 '13 at 11:33
I updated the answer. –  Qmechanic Mar 2 '13 at 12:16
Thank you :) Out of interest, what does this convex linear combination of density operators represent with respect to a quantum system? –  Freeman Mar 2 '13 at 12:29
@Freeman A convex linear combination $\rho=\sum_k p_k\rho_k$ with $\sum_k p_k=1$ and $p_k\geq0$ represents a probabilistic mixture of the states $\rho_k$, with corresponding probabilities $p_k$. –  Emilio Pisanty Mar 2 '13 at 15:56
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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