Definitions

A reference of dimension $d$ suffices for differences of channels with input $C$, by Schmidt decomposition and convexity. Consequently all diamond statements below retain arbitrary references.