Manuscript X-L-ST@1 · X-L-ST.tex · proposition · 20a32a22

Proposition: No universal clock return

Recovery of complete residual-report instruments › Report compatibility is weaker than residual compatibility · lines 1697–1713 · proof included or linked

X-L-ST@1#prop:noreturn

Back to manuscript

The destructive channel has no left inverse on the full clock input space.

Proof. With the same surviving input, the distinct clock states

have identical outputs. No fixed left inverse can recover both.

Displayed formulas in this passage

  • unlabeled · line 1706

Nearby in this section