Projective measurement (source code)

= Projective measurement
{wiki=Measurement_in_quantum_mechanics\#Projective_measurement}

A projective measurement is specified by mutually orthogonal projections $P_i$ with $\sum_iP_i=I$. On a state $\rho$, outcome $i$ has probability $\operatorname{Tr}(P_i\rho)$.