Variational characterization of trace distance (source code)

= Variational characterization of trace distance

For density operators $\rho,\sigma$,
$$
D(\rho,\sigma)=\max_{0\leq P\leq I}\operatorname{Tr}[P(\rho-\sigma)].
$$
The maximum is attained by the projector onto the positive spectral subspace of $\rho-\sigma$.