[selimthegrim]

The typical paradox that leads to consideration of trace class matrices is usually to consider the trace of the commutator of putatively traceless operators.