In summary, the density operator is a positive semi-definite, self-adjoint operator with trace equal to unity. The eigenvalues of a positive semi-definite operator are real numbers greater than or equal to zero; thus, the operator must have a positive trace and a non-negative determinant

Leave a Reply