Inversion about the mean (source code)

= Inversion about the mean

The diffusion operator sends every computational-basis amplitude $a_x$ to $2\overline a-a_x$, where $\overline a$ is their arithmetic mean.