Manuscript Hawk03-A@1 · Hawk03-A.tex · proposition · 9a109c12

Proposition: Entropy and occupation underdetermination

Diagnostics that do not determine the required channel · lines 1151–1185 · proof included or linked

Hawk03-A@1#prop:diagnostics

Back to manuscript

Let , , and fix a density with purification . There are complete isometric interfaces whose accessible channels are

For every pure code input, their accessible entropies are equal to . Their complete accessible density operators also agree on the selected input . Every diagnostic on agrees for all inputs. Nevertheless,

Proof. Complete isometries are

The accessible outputs have the stated form. For pure inputs the state is pure in both models, so the entropies are . The remaining diagnostic assertions follow directly.

Tracing recovers the good input. The bad accessible channel is constant. For the maximally entangled code-reference input, every decoded bad output has the form and Bell overlap . The Bell projection gives the lower bound.

Displayed formulas in this passage

  • unlabeled · line 1156

  • unlabeled · line 1164

  • unlabeled · line 1172

Nearby in this section