Manuscript V-B@1 · V-B-v1.tex · proposition · 3fadc1ad
Proposition: Clock limitations
Finite compression and the complete Enter interface › Destructive clock readout · lines 1842–1861 · proof included or linked
V-B@1#prop:clocklimits
The clock channel has no universal left inverse. Its record marginal does not determine the residual. No matrices on the finite clock satisfy .
Proof. The two inputs
with the same residual state have identical clock outputs. A left inverse cannot recover both. Inputs and have the same deterministic record and different residuals. Finally the trace of a commutator is zero, while .
Displayed formulas in this passage
unlabeled · line 1851