Manuscript X-K-ST@1 · X-K-ST.tex · proposition · 93c39c0f

Proposition: Records are not surviving states

One destructive clock and its exact limitations · lines 596–607 · proof included or linked

X-K-ST@1#prop:recordresidual

Equality of clock record laws does not determine equality of surviving quantum outputs.

Proof. Inputs $P_{0} \otimes ρ_{S}$ and $P_{0} \otimes ρ^{'}_{S}$ , with $ρ_{S} \neq = ρ^{'}_{S}$ , have the same deterministic record and different surviving outputs.

Nearby in this section

section: One destructive clock and its exact limitations
theorem: Theorem: Complete destructive-clock identity
section: One destructive clock and its exact limitations
proposition: Proposition: No universal return from the destructive output
section: One destructive clock and its exact limitations
remark: Remark: What reference preservation does not say