Manuscript Psy03-A@1 · Psy03-A.tex · theorem · b30eb6e9
Theorem: Exact phase-resource performance
Exact coherence-sensitive pilots › Phase-sensitive classification under dephasing · lines 1649–1680 · proof included or linked
Psy03-A@1#thm:phase
The binary classification success is
For the selected coherence comparison
The trace-distance witness has the same value.
Every diagonal preparation obtained by dephasing either task input is , and carries no information about the label. Consequently its optimal equal-prior task success is .
Proof. Equation (eq:dephchannel) preserves populations and multiplies off-diagonal entries by . Thus the correct phase-projector probability is . The coherent-minus-dephased output is , with eigenvalues , proving both witness values. The two dephased task states are identical, so no output measurement can distinguish their labels.
Displayed formulas in this passage
unlabeled · line 1652
unlabeled · line 1656
unlabeled · line 1660