Manuscript Oai265-B@2 · Oai265-B-v2.tex · proposition · 94b6f42f
Proposition: Entanglement-breaking obstruction
Adversarial benchmarks · lines 1065–1076 · proof included or linked
Oai265-B@2#prop:EB
If is entanglement breaking, every deterministic decoder has error at least , hence at least for a qubit.
Proof. The decoded Bell output is separable. Every product state has Bell overlap at most ; convexity extends this to separable mixtures. The Bell-projector test proves the bound.