Ttykuu

Say we have a single qubit with some density matrix, for example lets say we have the density matrix $rho=beginpmatrix3/4&1/2\1/2&1/2endpmatrix$. I would like to know what is the procedure for checking whether this state is pure or mixed.

I know that a pure state is one which can be written $rho=|psi><psi|$, and that a mixed state is one which can be written $rho=sum_k=1^Np_k|psi_k><psi_k|$. But I have two problems. Firstly I'm not sure what the $p_k$ is , I know it's called the weight function but I don't understand it significance, how to find it , or its role mathematically. Secondly I don't see how it is possible to determine from these definition whether the sate I mentioned above is pure or mixed . How can we ? Or perhaps there's some method that doesn't use the definitions directly ?

Could anyone please clear up this problem for me ?

First, the example that you give is not a density matrix (they must have trace 1).

Second, you’re asking how to go from the matrix into an operator representation that is not unique. So, there are many ways of doing this. However, a particularly natural way of decomposing it is using the spectral decomposition. The weights are the eigenvalues and the states are the corresponding eigenvectors.

However, if all you want to do is determine if the state is mixed, there’s a simpler way: calculate the trace of the square of the density matrix. If it’s 1, the state is pure. If it’s less than 1, the state is mixed. If it’s more than 1, you’ve messed up.

By spectral theorem density matrices are diagonizable, since they are hermitian (also they are positive semi-definite and have trace 1). That means that there is a set of $n$ non-negative eigenvalues $lambda_i$ with $n$ corresponding mutually orthogonal eigenvectors $|v_irangle$ such that
$$
rho = sum_i=1^n
$$
This matrix represents pure state only if it has exactly one non-zero eigenvalue (it must be equal to 1 since $tr(rho)=sum_i=1^nlambda_i=1$).

So, to analyze density matrix you just need to find eigenvalues and eigenvectors.

Though, to check if $rho$ is pure it is enough to verify the equality
$$
tr(rho^2)=1
$$