Manuscript En01-A@1 · En01-A.tex · lemma · 558b972b
Lemma: Hermitian trace-norm contractivity
Exact channel, subsystem, and algebraic interfaces · lines 1038–1050 · proof included or linked
En01-A@1#lem:contract
For a CPTP map and Hermitian , .
Proof. Positivity and trace preservation give
Displayed formulas in this passage
unlabeled · line 1045
Nearby in this section
- lemma: Lemma: Helstrom optimization
- section: Exact channel, subsystem, and algebraic interfaces
- definition: Definition: Interface channel
- theorem: Theorem: Channel-interface theorem
- corollary: Corollary: Data processing
- corollary: Corollary: Exact subsystem interface theorem
- lemma: Lemma: Finite-dimensional conditional expectation
- corollary: Corollary: Exact algebraic interface theorem