Manuscript I-B@1 · I-B-v1.tex · proposition · 5357688f
Proposition: No universal quantum return
What destructive clock reading does and does not do › Consumption, nonreturn, and the surviving record · lines 787–809 · proof included or linked
I-B@1#prop:no-return
For , has no channel left inverse on its full input space.
Proof. Let
and fix any matter state . The distinct inputs
both have output
A left inverse would send one output to two different inputs.
Displayed formulas in this passage
unlabeled · line 795
unlabeled · line 800
unlabeled · line 805