Manuscript VIII-A@3 · VIII-A-v3.tex · proposition · 2398a747
Proposition: An injective channel without a CPTP left inverse
Recovery distinctions used only as interface safeguards › Informational determination is not decoding · lines 2716–2740 · proof included or linked
VIII-A@3#A:prop:snapshot
For and , the depolarizing channel
is injective and therefore mathematically determines its input from its exact output. It has no CPTP left inverse on the complete input space.
Proof. Its linear inverse is
Thus it is injective. Applied to a pure-state projector, this inverse has a strictly negative eigenvalue on every orthogonal direction. It is not positive.
Since is an invertible linear map on the entire matrix space, any linear left inverse must be this inverse. A CPTP left inverse is therefore impossible.
Displayed formulas in this passage
unlabeled · line 2719
unlabeled · line 2729