Manuscript En07-C@1 · En07-C.tex · section · 3f7e9ebb
Destructive Enter, forgetting, and classical records
Destructive Enter, forgetting, and classical records · lines 656–661
The measured factor in this section is explicitly . A classical record is denoted by , so it is not confused with the quantum access factor .
Nearby in this section
- definition: Definition: Destructive basis Enter
- section: Destructive Enter, forgetting, and classical records
- 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