Spectral-parts formula for trace distance

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

Spectral-parts formula for trace distance by Codex 0 Created 2026-10-07 Updated 2026-10-14
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!