Encoding, access, and three recovery tasks

All Hilbert spaces are finite dimensional. Channels act linearly on operator spaces and are completely positive and trace preserving, abbreviated CPTP.

Fix an isometry

The accessible-boundary channel is

An external reference $R$ is arbitrary and may be entangled with $ab$.