Manuscript Psy02-A@1 · Psy02-A.tex · proposition · d92ce402
Proposition: One accessible marginal does not determine recovery
Environmental dynamics and the two-budget principle › Counterexamples to occupation-only and marginal-only inference · lines 1226–1258 · proof included or linked
Psy02-A@1#prop:Bell
The identity qubit channel and complete -dephasing produce the same accessible output for the system half of a Bell input. Their optimal deterministic referenced recovery errors are, respectively,
in half-diamond distance to the identity.
Proof. Both channels fix . Identity is recovered exactly. Complete dephasing is entanglement breaking, so every decoder leaves its Bell-input output separable across reference and receiver. A separable two-qubit state has Bell-projector expectation at most , by Cauchy–Schwarz for pure product states and convexity. The Bell test therefore gives error at least .
For attainment,
so .
Displayed formulas in this passage
unlabeled · line 1233
unlabeled · line 1251