Manuscript Oai272-A@1 · Oai272-A.tex · corollary · a40828a0
Corollary: Conditional zero-key entangled-state construction
Choi transfer and product-free range · lines 1207–1218 · proof included or linked
Oai272-A@1#cor:state
If PPT maps have nonzero with product-free range, then is an entangled PPT state with zero distillable key for Specification spec:protocol, and every completed bit protocol has the gap.
Proof. Apply Lemmas lem:range and lem:transfer, then Theorem thm:bit-gap.
Nearby in this section
- lemma: Lemma: Choi separability and entanglement breaking
- section: Choi transfer and product-free range
- lemma: Lemma: Product-free range is a sufficient witness
- section: Choi transfer and product-free range
- lemma: Lemma: Transpose-adjoint Choi transfer
- section: Choi transfer and product-free range
- section: Choi transfer and product-free range