In quantum mechanics, and especially quantum information and the study of open quantum systems, the trace distance is a metric on the space of density matrices and gives a measure of the distinguishability between two states. It is the quantum generalization of the Kolmogorov distance for classical probability distributions.
Definition The trace distance is defined as half of the trace norm of the difference of the matrices: T ( ρ , σ ) := 1 2 ‖ ρ − σ ‖ 1 = 1 2 T r [ ( ρ − σ ) † ( ρ − σ ) ] , {\displaystyle T(\rho ,\sigma ):={\frac {1}{2}}\|\rho -\sigma \|_{1}={\frac {1}{2}}\mathrm {Tr} \left[{\sqrt {(\rho -\sigma )^{\dagger }(\rho -\sigma )}}\right],} where ‖ A ‖ 1 ≡ Tr [ A † A ] {\displaystyle \|A\|_{1}\equiv \operatorname {Tr} [{\sqrt {A^{\dagger }A}}]} is the trace norm of A {\displaystyle A} , and A {\displaystyle {\sqrt {A}}} is the unique positive semidefinite B {\displaystyle B} such that B 2 = A {\displaystyle B^{2}=A} (which is always defined for positive semidefinite A {\displaystyle A} ). This can be thought of as the matrix obtained from A {\displaystyle A} taking the algebraic square roots of its eigenvalues. For the trace distance, we more specifically have an expression of the form | C | ≡ C † C = C 2 {\displaystyle |C|\equiv {\sqrt {C^{\dagger }C}}={\sqrt {C^{2}}}} where C = ρ − σ {\displaystyle C=\rho -\sigma } is Hermitian. This quantity equals the sum of the singular values of C {\displaystyle C} , which being C {\displaystyle C} Hermitian, equals the sum of the absolute values of its eigenvalues. More explicitly,
T ( ρ , σ ) = 1 2 Tr | ρ − σ | = 1 2 ∑ i = 1 r | λ i | , {\displaystyle T(\rho ,\sigma )={\frac {1}{2}}\operatorname {Tr} |\rho -\sigma |={\frac {1}{2}}\sum _{i=1}^{r}|\lambda _{i}|,}
where λ i ∈ R {\displaystyle \lambda _{i}\in \mathbb {R} } is the i {\displaystyle i} -th eigenvalue of ρ − σ {\displaystyle \rho -\sigma } , and r {\displaystyle r} is its rank. The factor of two ensures that the trace distance between normalized density matrices takes values in the range [ 0 , 1 ] {\displaystyle [0,1]} .
… excerpt ends here. Continue reading the full article.
