Manuscript En02-B@1 · En02-B-v1.tex · section · ca28dee4

Finite certificates

Programme soundness and elementary monotonicities › Finite certificates · lines 441–452

For a linear map $Φ : B (H_{in}) \to B (H_{out})$ , use the unnormalized Choi operator

J (Φ) = i, j \sum ∣ i ⟩ ⟨ j ∣ \otimes Φ (∣ i ⟩ ⟨ j ∣) .

Its blocks determine $Φ$ on every matrix unit.

Displayed formulas in this passage