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

Back to manuscript

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

Nearby in this section