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

Back to manuscript

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

Nearby in this section