Manuscript VII-A-ST@1 · VII-A-ST.tex · proposition · c39a67a3
Proposition: Clock limits and observation boundaries
Finite encoding and the destructive-clock instrument › Clock and complete recorded map · lines 1671–1711 · proof included or linked
VII-A-ST@1#prop:clocklimits
The following hold:
has no universal left inverse.
Its record marginal alone does not certify the residual.
Discarding its clock record gives , including references.
No finite matrices obey .
A record-only channel followed by a preparation decoder cannot recover every input of a quantum code of dimension at least two.
Proof. With the same payload, the two clock states
have identical destructive outputs, proving (i). Inputs and have the same deterministic record and different residuals, proving (ii). Summing diagonal clock blocks proves (iii). Taking traces of the proposed commutator proves (iv).
For (v), a channel factoring through a classical register has measure-and-prepare form
On one half of a maximally entangled code-reference state, its output is separable. A separable state has overlap at most with that maximally entangled state: on a product state the overlap is , and the inequality is preserved by convex combinations. It cannot be the identity channel.
Displayed formulas in this passage
unlabeled · line 1688
unlabeled · line 1701