Probabilistic phase-gate injection (source code)

= Probabilistic phase-gate injection

The magic state $|A_\theta\rangle=(|0\rangle+e^{i\theta}|1\rangle)/\sqrt2$ and a short <controlled-NOT gate> circuit can apply either $P(\theta)$ or $P(-\theta)$ to an input, with a measured bit identifying the branch.