Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a

Normalized finite-error certificates

Normalized finite-error certificates · lines 681–690

For logical dimension $d$ , define

∣ Φ_{d} ⟩ = \frac{1}{d} i = 0 \sum^{d - 1} ∣ i ⟩_{Q} ∣ i ⟩_{C}, P_{d} = ∣ Φ_{d} ⟩ ⟨ Φ_{d} ∣, J_{Φ} = (id_{Q} \otimes Φ) (P_{d}) .

A channel's normalized Choi state has trace one.

Displayed formulas in this passage

unlabeled · line 684
$∣ Φ_{d} ⟩ = \frac{1}{d} i = 0 \sum^{d - 1} ∣ i ⟩_{Q} ∣ i ⟩_{C}, P_{d} = ∣ Φ_{d} ⟩ ⟨ Φ_{d} ∣, J_{Φ} = (id_{Q} \otimes Φ) (P_{d}) .$