Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0

An exactly optimal flagged-loss recovery

Approximate-recovery examples on the declared models › An exactly optimal flagged-loss recovery · lines 1733–1746

Oai280-C@1#eq:erasure

On a recoverable triple define the accessible erasure channel

N_{p} (ρ) = (1 - p) U_{B} (ρ \otimes I_{4} /4) U_{B}^{†} \oplus p Tr (ρ) ∣ er ⟩ ⟨ er ∣, 0 \leq p \leq 1.

The erasure flag is an orthogonal classical sector. Decode the non-erased sector by $D_{B}$ and return $I_{2} /2$ in the erasure sector.

Displayed formulas in this passage

Oai280-C@1#eq:erasure · line 1736
$N_{p} (ρ) = (1 - p) U_{B} (ρ \otimes I_{4} /4) U_{B}^{†} \oplus p Tr (ρ) ∣ er ⟩ ⟨ er ∣, 0 \leq p \leq 1.$