# Measurement on mixed states

I have a conflict between my lecture notes on quantum mechanics, where it is stated that the probability of measuring an eigenvalue $$a_i$$ on a mixed state with desnsity matrix $$\rho$$ is $$\operatorname{Tr}(P_i \rho P_i)\ ,$$ where $$P_i$$ is the projector for the subspace corresponding to $$a_i$$.

However, all resources out there states that the probability should be $$\operatorname{Tr}(\rho P_i)$$, and even the professor gave as a solved exam as an example where the later formula was applied instead of the first one.

Which calculation for the probability is correct? Is it possible that both traces are the same because of $$P_i$$ being a projection operator?

As mentioned by the OP both versions are the same. For an observable $$A$$ of the form

$$A = \sum\limits_k a_k \, P_k \quad ,$$

with the projections $$P_k^2 =P_k = P_k^\dagger$$ on the eigenspace corresponding to the eigenvalue $$a_k$$, the probability to measure $$a_k$$ in the state $$\rho$$ is given by

$$p_\rho(a_k)=\mathrm{Tr}\left(P_k\,\rho\, P_k\right) = \mathrm{Tr}\left(P_k\,\rho\right) \quad ,$$ where we've used the cyclic property of the trace. One advantage I can see in explicitly writing both projectors is the fact that after the measurement, the state is given by

$$\rho \longrightarrow \rho^\prime=\frac{P_k\,\rho\,P_k^\dagger}{\mathrm{Tr}\left(P_k\,\rho\, P_k^\dagger\right)} \quad ,$$ and it is thus immediately clear that $$\rho^\prime$$ is properly normalized. Further, the form of these equations suggests that this notion of a measurement (projective measurement) is a special case of a more general notion of measurement, cf. this and this.

These things are discussed in detail in e.g. Nielsen and Chuang. Quantum Computation and Information. 10th Anniversary Edition, section 2.2. and 2.4. See also this PSE post.

• Thank you so much for your answer. I will check those additional resources for going deeper into the subject Commented Jan 24, 2022 at 12:38
• @Jaime_mc2 I've added another reference to a post on this site, which might be of interest. Commented Jan 24, 2022 at 12:45

The latter is correct.

By the cyclic property of the trace.

$$Tr(\rho P_i) = Tr(P_i \Sigma_i | \psi_i \rangle \langle \psi_i|)$$ $$= Tr(\Sigma_i \langle \psi_i | P_i | \psi_i \rangle)$$

This equals the expectation value of operator $$\langle P_i \rangle$$ (the probability of measurement).

• Thanks for your fast answer. I just have seen that the trace of a product is commutative in the sense that $Tr(AB) = Tr(BA)$. Couldn't we use that to get $Tr(P_i \rho P_i) = Tr(\rho P_i P_i) = Tr(\rho P_i)$ since $P_i^2 = P_i$ because of $P_i$ being a projector? Commented Jan 24, 2022 at 9:01
• The good thing about the trace us that you can move the order around to quickly find expectation values. I'm not sure about that particular operator but if $P_i^2 = P_i$ then it would be the same thing yeah. Commented Jan 24, 2022 at 9:24
• You can use \langle and \rangle to obtain $\langle$ and $\rangle$ instead of \bra and \ket. Commented Jan 24, 2022 at 9:29
• @Jaime_mc2 The trace is not commutative, it is cyclic. Consider tr(ABC), it differs from tr(BAC). Commented Jan 24, 2022 at 12:59