Conjugate-basis steering of a Bell pair (source code)

= Conjugate-basis steering of a Bell pair
{title2=$(\langle\overline u|\otimes I)|\phi_+\rangle=|u\rangle/\sqrt2$}

For a <Bell pair> $|\phi_+\rangle=(|00\rangle+|11\rangle)/\sqrt2$, Alice's <basic measurement> in the entrywise <complex conjugate> of any desired Bob <orthonormal basis> prepares each Bob <pure state> with <probability> $1/2$. Indeed, if $|u\rangle=\sum_{j=0}^1u_j|j\rangle$, then $\langle\overline u|j\rangle=u_j$, which proves the displayed contraction identity. The undisclosed-outcome <density matrix> stays $I/2$; <quantum steering> changes the conditional <quantum state ensemble> without violating the <no-communication theorem>.