If , then and the desired continuity bound is immediate, so assume . Apply the positive-negative decomposition of a Hermitian operator toBecause and , one hasThus is positive with trace one, hence is a density operator. DefineIt is a convex combination of states. The equation giveswhich is likewise positive and has trace one.
Articles by others on the same topic
There are currently no matching articles.