If , then and the desired continuity bound is immediate, so assume . Apply the positive-negative decomposition of a Hermitian operator to
Because and , one has
Thus is positive with trace one, hence is a density operator. Define
It is a convex combination of states. The equation gives
which is likewise positive and has trace one.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.