Approximate recovery

We use the following external mathematical input from Kretschmann, Schlingemann, and Werner KSW: two channels can be represented by common, suitably enlarged Stinespring dilations whose optimal operator-norm separation $\beta$ satisfies

The dilation spaces may be enlarged; this statement does not prescribe a physically local decoder.