Manuscript Psy03-A@1 · Psy03-A.tex · proposition · b30eb6e9
Proposition: Referenced dephasing is not specified by its marginal
Exact coherence-sensitive pilots › A reference diagnostic that a single marginal misses · lines 1838–1871 · proof included or linked
Psy03-A@1#prop:Bell
For Bell input , the accessible one-qubit marginal under is for every . The joint state is
Its partial-transpose spectrum is
so its negativity is .
The optimal deterministic recovery error is
Proof. Partial trace and partial transpose give the stated matrices. For recovery, the two noisy -eigenstate outputs have trace distance . Any decoder of half-diamond error must satisfy , by contraction and the triangle inequality. Identity decoding attains using (eq:dephchannel).
Displayed formulas in this passage
unlabeled · line 1845
unlabeled · line 1851
unlabeled · line 1857