Manuscript En07-C@1 · En07-C.tex · section · 3f7e9ebb
Destructive Enter, forgetting, and classical records
Destructive Enter, forgetting, and classical records · lines 681–686
This is the destructive primitive, not a nondestructive instrument that returns the measured register. The distinction is documented in CheungEn03A,CheungEn07A,CheungEn07B,CheungHawk04B.
Nearby in this section
- section: Destructive Enter, forgetting, and classical records
- definition: Definition: Destructive basis Enter
- lemma: Lemma: Enter followed by Drop equals partial trace
- proposition: Proposition: Operational discard is not annihilation
- section: Destructive Enter, forgetting, and classical records
- theorem: Theorem: Record-only recovery obstruction
- section: Destructive Enter, forgetting, and classical records