Manuscript Hawk03-A@1 · Hawk03-A.tex · definition · 9a109c12

Definition: Recovery and complete leakage

Finite interfaces and normalization · lines 238–251

Hawk03-A@1#def:errors

For the interface in Definition def:complete, define

ϵ_{rec} (N) δ_{leak} (N) R_{τ} (X) = D in f d_{⋄} (DN, id_{C}), = τ \in S (H_{K}) in f d_{⋄} (N^{c}, R_{τ}), = Tr (X) τ .

The infimum defining recovery ranges over deterministic CPTP decoders $D : B (H_{R}) \to B (H_{C})$ .

Displayed formulas in this passage

unlabeled · line 241
$ϵ_{rec} (N) δ_{leak} (N) R_{τ} (X) = D in f d_{⋄} (DN, id_{C}), = τ \in S (H_{K}) in f d_{⋄} (N^{c}, R_{τ}), = Tr (X) τ .$