Manuscript Hawk02-E@1 · Hawk02-E.tex · proposition · 4841592b
Proposition: Disorder-averaging counterexample
Disorder, omitted residuals, and cutoff discipline › Averaging channels is not fixed-realization decoupling · lines 1614–1635 · proof included or linked
Hawk02-E@1#prop:average
An averaged channel can be constant while every realization retains distinguishable logical information.
Proof. For a qubit, let
Their equal mixture is the replacement channel . For each realization, the outputs of and are orthogonal. By the triangle inequality, its distance from any replacement channel is at least . Thus averaging has erased information in the description, not proved its absence in each realization.
Displayed formulas in this passage
unlabeled · line 1622