One-bit heralding of a remote state preparation block (source code)

= One-bit heralding of a remote state preparation block
{title2=$p_{\mathrm{success}}=2^{-n}$}

Apply <heralded remote preparation of an arbitrary qubit> independently to $n$ shared <singlet states>. The sender reports one <bit> indicating whether every local outcome was successful. A positive flag certifies that the receiver's block is the desired product of $n$ <pure states>; its <probability> is $2^{-n}$. A negative flag need not identify which states failed, since the whole block can be discarded.

// Target: algebra.bigb