Physics Asked on June 8, 2021
I know that in general a “non-pure” state described by : $$ rho = sum_i p_i |psi_iranglelangle psi_i| $$ can’t be written as $ rho = | phiranglelangle phi|$.
But if we exclude the obvious when all the $ | psi_i rangle $ are identical, is it still possible?
In fact for me it is not obvious at first sight if I have $$ rho = sum_i p_i |psi_iranglelanglepsi_i| $$ to be sure that it is or it is not a pure state without calculating $ textrm{Tr}(rho^2)$ for example. And I don’t know if excepted the obvious case with identical $ | psi_i rangle $, such a state is necessarily non pure ?
So to summarise: if I have a density matrix state with different $ |psi_i rangle$, do you agree with me if I say that it still can be a pure state (and the only way to know it is to compute $textrm{Tr}(rho^2)$ )?
Let me rephrase your question.
Suppose that $rho$ is a pure state, i.e., it is written as $$rho =|psirangle langle psi|$$ for some unit vector $psi$.
Your question is the following.
Q1. Is it possible to find a set of vectors $phi_1, ldots, phi_n$ satisfying $$n>1:,$$ $||phi_i||=1$, possibly $langle phi_i|phi_j rangle neq 0$ for some $ineq j$, and numbers $q_1, ldots, q_n$ with $0< q_i <1$ and $sum_i q_i =1$, such that $$|psirangle langle psi| = sum_{i=1}^n q_i|phi_i rangle langle phi_i|$$ and $|phi_i rangle langle phi_i| neq |phi_jrangle langle phi_j|$ for some $ineq j$?
As far as I understand you already know the following general result.
THEOREM1. Consider an operator $rho: H to H$ where $H$ is a complex Hilbert space and $rho$ is trace class, non-negative and $tr(rho)=1$. Under these hypotheses, $rho$ is a pure state if and only if $tr(rho) = tr(rho^2)$.
As a consequence, since the operator $sum_{i=1}^n q_i|phi_i rangle langle phi_i|$ is trace class, non-negative with unit trace, Q1 may be restated as follows.
Q2. Is it possible to find a set of vectors $phi_1, ldots, phi_n$ with $$n>1:,$$ $||phi_i||=1$, possibly $langle phi_i|phi_j rangle neq 0$ for some $ineq j$, and numbers $q_1, ldots, q_n$ with $0< q_i <1$ and $sum_i q_i =1$, such that $$trleft[left(sum_{i=1}^n q_i|phi_i rangle langle phi_i|right)^2right] =1$$ and $|phi_i rangle langle phi_i| neq |phi_jrangle langle phi_j|$ for some $ineq j$?
The answer to Q2 is always negative as soon as $n>1$, and thus
it is not necessary to compute the trace of $left(sum_{i=1}^n q_i|phi_i rangle langle phi_i|right)^2$, just knowing that $n>1$ is enough to decide that the state $sum_{i=1}^n q_i|phi_i rangle langle phi_i|$ is not pure unless $|phi_i rangle langle phi_i|=|phi_j rangle langle phi_j|$ for all $i,j$.
The proof is the following. First of all let me introduce the Hilbert-Schmidt scalar product between Hilbert Schmidt operators, and thus trace class operators in particular, $$(rho|rho')_{HS} := tr(rho^*rho'):.$$ The associated norm reads $$||rho||_{HS}= sqrt{tr(rho^*rho)}:.$$
Theorem1 can equivalently be restated as follows.
THEOREM2. Consider an operator $rho: H to H$ where $H$ is a complex Hilbert space and $rho$ is trace class, non-negative and $tr(rho)=1$. Under these hypotheses, $rho$ is a pure state if and only if $||rho||_{HS}=1$.
Now consider an operator $rho: H to H$ of the form $$rho = sum_{i=1}^n q_i rho_itag{0}$$ where $rho_i := |phi_i rangle langle phi_i|$ with $phi_i$ and $q_i$ as in Q2. $rho$ is trace class, non-negative and we want to check if $||rho||_{HS}=1$ is possible when $n>1$. This condition is equivalent to saying that $rho$ is pure.
We can always restrict ourselves to deal with a real vector space of trace class operators, since our trace class operators are self-adjoint and the linear combinations we consider are constructed with real (and non-negative) numbers. The scalar product $(:|:)_{HS}$ becomes a standard real (symmetric) scalar product in that real subspace.
The crucial observation is that, as it happens in every real vector space equipped with a real scalar product, $$left|left|sum_{i=1}^n x_iright|right| leq sum_{i=1}^n ||x_i||tag{1}$$ and "$leq$" is replaced for "$=$" if and only if $x_i = alpha_i x$ for some fixed $x$ and non negative numbers $alpha_i$ where $i=1,ldots,n$.
In other words, $$left|left|sum_{i=1}^n q_i rho_iright|right|_{HS} leq sum_{i=1}^n ||q_i rho_i||_{HS}tag{2}$$ and "$leq$" is replaced for "$=$" if and only if $q_i rho_i = alpha_i T$ for some fixed $T$ and non negative numbers $alpha_i$ where $i=1,ldots,n$.
Since we know that $$sum_{i=1}^n ||q_i rho_i||_{HS}= sum_{i=1}^n q_i ||rho_i||_{HS} = sum_{i=1}^n q_i 1 = sum_{i=1}^n q_i =1$$ we conclude that If $rho$ in (0) is pure, then the sign "$leq$" in (2) is replaced by "$=$", so that $q_irho_i = alpha_i T$ for some fixed operator $T$ and reals $alpha_i$. Taking the trace of both sides $q_i = alpha_i tr(T)$ where $tr(T) neq 0$ because $q_i neq 0$. Re-defining $T to rho_0 := frac{1}{tr T}T$, we have found that there is a positive trace-class operator $rho_0$ with unit trace such that $rho_i= rho_0$ and furthermore $tr rho_0^2 = tr rho_i^2 =1$ so that $rho_0$ is pure and thus it can be written as $rho_0 := |phi_0 rangle langle phi_0|$ for some unit vector $phi_0$. Summing up, we have obtained that
if $rho$ in (0) is pure, then $|phi_irangle langle phi_i|= |phi_0 rangle langle phi_0|$ for all $i=1,ldots, n$.
Correct answer by Valter Moretti on June 8, 2021
Let us introduce the notation $newcommand{tr}{operatorname{tr}}P_iequiv lvertpsi_irangle!langlepsi_irvert$. Note that each $P_i$ is a (normal) projector with unit trace.
The question is then equivalent to the following:
when can a convex combination of (normal) trace-$1$ projectors $P_i$ be a trace-$1$ projector?
The answer is that this is the case if and only if the projections are all equal (or in other words, it is never true, except for the trivial cases).
To show this, suppose $rho=sum_i p_i P_i$ with $p_i>0, sum_i p_i=1$.
A normalised state $rho$ is pure if and only if $rho^2=rho$, and if and only if $tr(rho^2)=tr(rho)$. We have $$ rho^2 = sum_i p_i^2 P_i + sum_{ineq j}p_i p_j P_i P_j.$$ and thus $$tr(rho^2) = sum_i p_i^2 + 2 sum_{i<j}p_i p_jtr(P_i P_j)le left(sum_i p_iright)^2=1,$$ where the inequality becomes an identity if and only if $tr(P_i P_j)=1$ for all $i,j$, that is, if and only if $P_i=P_j$.
Another way to prove this is to pass by the eigendecomposition of $rho$.
If $rho$ is a trace-$1$ projection, then there is some vector $v$ such that $rho v=v$. This would imply $sum_i p_i P_i v=v$, and thus $sum_i p_i langle v,P_i vrangle=1$. But $langle v,P_i vranglein[0,1]$ for all $i$, and thus the only way for such convex combination to equal $1$ is that all terms do, i.e. $langle v,P_i vrangle=1$ for all $i$, and thus $P_i=vv^dagger$ for all $i$.
Yet another argument is to observe that a state is pure if and only its rank is $1$, and if and only if its support is one-dimensional. For a convex combination (more generally, a sum with positive coefficients) of rank-$1$ projections to have one-dimensional support, each component must also have the same (one-dimensional) support, hence $P_i=P_j$.
Answered by glS on June 8, 2021
Get help from others!
Recent Answers
Recent Questions
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP