Manuscript II-B@1 · II-B-v1.tex · proposition · bfd2eb3c

Proposition: Pre-read coupling is a declared interaction

Permitted manipulations and their limits · lines 2153–2164 · proof included or linked

II-B@1#prop:coupling

Back to manuscript

A unitary before consumption replaces the instrument by . This may change the record law and residual states, but supplies no metric back-reaction.

Proof. Compose the Kraus operators with . Completeness is preserved because is unitary. No component of the specified geometry has a state-dependent update equation.

Nearby in this section