Spectral-parts formula for trace distance

ID: spectral-parts-formula-for-trace-distance

For the Hermitian difference , define its positive part of a Hermitian operator and negative part of a Hermitian operator . Their supports are orthogonal and . Equal traces give , so the trace distance is both and . This explains why the positive spectral projector attains the variational characterization of trace distance.

New to topics? Read the docs here!