Definitions

Let $C\simeq {\mathbb{C}}^d$, $d\ge 2$, be the entire logical input whose identity channel is the recovery target. Output Hilbert spaces may be separable; finite output spaces are stated explicitly whenever finite-dimensional optimization is used. Channels act on trace-class operators and are normal CPTP maps. An external reference $Q$ is untouched.