Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · proposition · 39b16f67
Proposition: Observation-level testability
The combined conditional certification theorem › What the numerical and experimental tests can establish · lines 2118–2130 · proof included or linked
Hawk04-D@1#prop:testability
If two predicted channels are within in half-diamond distance, then for every allowed referenced preparation and subsequent detector instrument, their classical output distributions have total variation distance at most .
Proof. Compose the preparation, channels, and detector. CPTP contraction bounds the final trace distance by . For diagonal classical states this is total variation distance.