Manuscript En01-A@1 · En01-A.tex · corollary · 558b972b
Corollary: Record-commuting questions
Exact channel, subsystem, and algebraic interfaces · lines 1227–1236 · proof included or linked
En01-A@1#cor:commutant
If commutes with every computational record projector defining , then .
Proof. Such an satisfies . Hilbert–Schmidt self-adjointness of pinching gives .
Nearby in this section
- lemma: Lemma: Helstrom optimization
- section: Exact channel, subsystem, and algebraic interfaces
- lemma: Lemma: Hermitian trace-norm contractivity
- 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