Lüders rule (source code)

= Lüders rule
{c}
{wiki}

Conditional on outcome $i$ of a <projective measurement>, the Lüders rule updates the state to
$$
\rho_i=\frac{P_i\rho P_i}{\operatorname{Tr}(P_i\rho)}.
$$