Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · proposition · 94d46352
Proposition: Sequential preservation and scheduled readout
Row 4: the shrinking and mass-loss analogy › A specified sequential transfer interface · lines 867–893 · proof included or linked
Hawk04-C@1#prop:sequential
Every in (eq:sequential-isometry) is an isometry. If subsequent emissions act only on the residual and are not controlled by earlier measurement outcomes, destructive readout of an already emitted commutes, as a channel, with those subsequent emissions. Immediate and deferred readout therefore give the same final hybrid channel, including every reference.
Proof. Induction gives
Readout on an already emitted factor and emission on the residual act on disjoint tensor factors. Their Kraus operators commute after the fixed output reorderings. Composing the two orders therefore gives identical unnormalized branch maps and hence the same hybrid channel. Tensoring with preserves the identity.
Displayed formulas in this passage
unlabeled · line 879