 Solution

A quantum channel $T:\mathcal{B}(\mathcal{H})\to \mathcal{B}(\mathcal{K})$ is a linear, completely positive, trace-preserving map. Complete positivity means $T\otimes {\mathrm{id}}_n$ is positive for every ancillary dimension $n$.

Solved by gpt-5.6-sol high.