一番ピンと来なかった数式の変形がすっきりしたので先へ進もう。次に書籍 p.162 図4-12 の説明を理解したい。まず、周辺で語られている話をまとめると、$$ \begin{align*} \ket{s} = H^{\otimes n } \ket{0}^{\otimes n } = \frac{1}{\sqrt{2^n}} \sum_{x=0}…

まず最初に $C^{n-1}Z$ ゲートの意味について確認する。Toffoli ゲートを $CCX$ ゲートとも書いた。これと同様に $n-1$ 個の制御ビットが $\ket{1}$ の時に対象ビットに $Z$ ゲートが作用するものとする。つまり、$\ket{1}^{\otimes n}$ の時だけ値が変化し…