Manuscript Oai283-A@1 · Oai283-A.tex · proposition · 6fb75895
Proposition: A scalar source family cannot certify all coherences
Operational certification of the logical channel › Source-weight inference is not general channel tomography · lines 1054–1068 · proof included or linked
Oai283-A@1#prop:scalar-insufficient
The identity channel and computational dephasing agree on
for every . Yet their half-diamond distance is .
Proof. Both maps fix every displayed diagonal state. On , their outputs are and , with trace distance . Conversely, dephasing is , so its half-diamond distance from identity is at most .
Displayed formulas in this passage
unlabeled · line 1057