Manuscript X-L-ST@1 · X-L-ST.tex · proposition · 20a32a22
Proposition: Equal records can hide a surviving-state difference
Recovery of complete residual-report instruments › Report compatibility is weaker than residual compatibility · lines 1674–1691 · proof included or linked
X-L-ST@1#prop:recordresidual
There are complete one-outcome instruments with identical record laws and residual trace distance on one qubit input.
Proof. Compare the identity residual channel with computational dephasing, each carrying the same single classical symbol. On , their outputs have residuals
Their difference has eigenvalues , so its trace distance is .
Displayed formulas in this passage
unlabeled · line 1686