Measurement channel

A measurement channel writes a POVM's outcome into an orthogonal classical register:For any input orthonormal basis $|j⟩$, the Kraus operators $K_{a,j}=|a⟩⟨j|\sqrt{E_a}$ realize this map and satisfy ${\sum }_{a,j}{K}_{a,j}^{†}{K}_{a,j}=I$. It is therefore a trace-preserving completely positive map.