Decomposing a density matrix of a mixed ensemble

[Gabriel Maia]

I'm trying to solve a problem where I am given a few matrices and asked to determine if they could be density matrices or not and if they are if they represent pure or mixed ensembles. In the case of mixed ensembles, I should find a decomposition in terms of a sum of pure ensembles. The matrix I'm having trouble with is this one

$$\rho = \left[\begin{array}{ccc}\frac{1}{2} & 0 & \frac{1}{4} \\ 0 & \frac{1}{4} & 0 \\ \frac{1}{4} & 0 & \frac{1}{4}\end{array}\right]$$

I know it's a mixed ensemble density matrix because $Tr(\rho^2)<1$, but how can I decompose if I don't even know how big is this sum? I mean, any number of pure states may compose a mixed ensemble since they do not need to be orthogonal. How can I approach this?Thank you very much.

 

[stevendaryl]

I'm trying to solve a problem where I am given a few matrices and asked to determine if they could be density matrices or not and if they are if they represent pure or mixed ensembles. In the case of mixed ensembles, I should find a decomposition in terms of a sum of pure ensembles. The matrix I'm having trouble with is this one

$$\rho = \left[\begin{array}{ccc}\frac{1}{2} & 0 & \frac{1}{4} \\ 0 & \frac{1}{4} & 0 \\ \frac{1}{4} & 0 & \frac{1}{4}\end{array}\right]$$

I know it's a mixed ensemble density matrix because $Tr(\rho^2)<1$, but how can I decompose if I don't even know how big is this sum? I mean, any number of pure states may compose a mixed ensemble since they do not need to be orthogonal. How can I approach this?Thank you very much.

Is this homework? If so, it should be in the homework forum.

What you're looking for is an orthonormal basis $|\psi_j\rangle$ such that $\rho = \sum_j p_j |\psi_j\rangle \langle \psi_j|$, where the $p_j$ are all real, and add up to 1. Now consider the product:

$\rho |\psi_k\rangle = \sum_j p_j |\psi_j\rangle \langle \psi_j | \psi_k \rangle = p_k |\psi_k\rangle$

where for the last equality, we used that the kets $|\psi_j\rangle$ are orthonormal, meaning that $\langle \psi_j | \psi_k \rangle = \delta_{jk}$

So what that means is that the basis vector $|\psi_k\rangle$ and the coefficient $p_k$ are solvable as an eigenvalue problem:

$\rho |\psi_k\rangle = p_k |\psi_k\rangle$

Do you know how to find the eigenvalues and corresponding eigenvectors of a square matrix?

 

[Truecrimson]

I know it's a mixed ensemble density matrix because $Tr(\rho^2)<1$, but how can I decompose if I don't even know how big is this sum? I mean, any number of pure states may compose a mixed ensemble since they do not need to be orthogonal. How can I approach this?

The problem only asks you to find a sum, so any sum will do. Their purifications to a larger Hilbert space with fixed dimension will all be related by unitary matrices via the HJW theorem: https://arxiv.org/abs/quant-ph/0305068

 

[Gabriel Maia]

Is this homework? If so, it should be in the homework forum.

What you're looking for is an orthonormal basis $|\psi_j\rangle$ such that $\rho = \sum_j p_j |\psi_j\rangle \langle \psi_j|$, where the $p_j$ are all real, and add up to 1. Now consider the product:

$\rho |\psi_k\rangle = \sum_j p_j |\psi_j\rangle \langle \psi_j | \psi_k \rangle = p_k |\psi_k\rangle$

where for the last equality, we used that the kets $|\psi_j\rangle$ are orthonormal, meaning that $\langle \psi_j | \psi_k \rangle = \delta_{jk}$

So what that means is that the basis vector $|\psi_k\rangle$ and the coefficient $p_k$ are solvable as an eigenvalue problem:

$\rho |\psi_k\rangle = p_k |\psi_k\rangle$

Do you know how to find the eigenvalues and corresponding eigenvectors of a square matrix?

By considering that $\langle \psi_j|\psi_{k} \rangle = \delta_{j\,k}$ aren't we assuming that all the states that form the density matrix are orthogonal?

 

[stevendaryl]

By considering that $\langle \psi_j|\psi_{k} \rangle = \delta_{j\,k}$ aren't we assuming that all the states that form the density matrix are orthogonal?

Well, yes. But if there is any solution, there is a solution of that form.