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
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
- proposition: Proposition: Clock basis changes
- section: Permitted manipulations and their limits
- proposition: Proposition: Record control and constant contact coefficients
- section: Permitted manipulations and their limits
- proposition: Proposition: Fresh allocation and finite clocks
- section: Permitted manipulations and their limits