3
$\begingroup$

What is the proper way of proving : the density operator $\hat{\rho}$ of a pure state has exactly one non-zero eigenvalue and it is unity, i.e,

the density matrix takes the form (after diagonalizing): \begin{equation} \hat{\rho}= {\begin{bmatrix} 1 & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \\ \end{bmatrix}} \end{equation}

For mixed state: $\hat{\rho}=\sum \limits_{i}P_{i}|\psi_{i}\rangle\langle\psi_{i}|$

For any state: $Tr(\hat{\rho})=\sum\limits_{i}P_{i}=1$

For pure state: $\hat{\rho}=|\psi\rangle\langle\psi|$

$|\psi\rangle$ is the statevector of the system

$P_{i}$ is the probability to be in the state $|\psi_{i}\rangle$, which are the eigenvalues of the density operator.

$\endgroup$
2
  • $\begingroup$ For a pure state, the density matrix is idempotent. Then its eigenvalues are either 0 or 1 $\endgroup$
    – vnd
    Jan 4, 2016 at 18:02
  • $\begingroup$ @vnd but is there any way to prove it algebraically?. $\endgroup$
    – Sooraj S
    Jan 4, 2016 at 18:06

2 Answers 2

4
$\begingroup$

Since $\langle \psi|\psi\rangle=1$, we have $$ (|\psi\rangle\langle\psi|)^2=|\psi\rangle\langle\psi|\psi\rangle\langle\psi|=|\psi\rangle\langle\psi| $$ Then $|\psi\rangle\langle\psi|$ is a projection, and its eigenvalues are $0$ and $1$. Since we know that the trace of $|\psi\rangle\langle\psi|$ is one we conclude that, counting multiplicities, the eigenvalues of $|\psi\rangle\langle\psi|$ are $1,0,\ldots,0$. So its diagonal form is \begin{equation} \hat{\rho}= {\begin{bmatrix} 1 & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \\ \end{bmatrix}} \end{equation}

$\endgroup$
-1
$\begingroup$

Do you not know how to find the eigenvalues of a matrix by solving the "characteristic equation" of the matrix? The characteristic equation of any diagonal matrix is just the product of linear terms, each the number on the diagonal minus x so the eigenvalues [b]are[/b] the numbers on the diagonal.

$\endgroup$
1
  • 1
    $\begingroup$ i'm not asking to diagonalize the matrix. How do we prove the density operator of a pure state has got only one non-zero eignevalue and it is "one", by considering the properties of the density matrix ?. If it has got only one non-zero eigenvalue(unity), then it just takes the form given above. $\endgroup$
    – Sooraj S
    Jan 4, 2016 at 17:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .