Nonselective projective measurement (source code)

= Nonselective projective measurement

If the outcome of a projective measurement $\{P_i\}$ is discarded, its nonselective state update is the pinching channel
$$
\rho\longmapsto\sum_iP_i\rho P_i.
$$
It removes coherence between distinct measurement subspaces.