書籍 p.114 に謎の式が出てくる。\begin{align*} H^{\otimes n} \ket{x} = \frac{1}{\sqrt{2}^n} \sum_{y=0}^{2^n-1} (-1)^{x\cdot y}\ket{y} \tag{1} \end{align*}が気になるので確認してみよう。ここで $\ket{x}$ は $n$ 量子ビットのテンソル積であること…

Deutsch-Jozsa アルゴリズムの話。ドイチ-ジョサのアルゴリズム も参考にしたい。$\ket{\psi_0} = \ket{0}^{\otimes n}\ket{1}$ として\begin{align*} \ket{\psi_1} &= H^{\otimes n + 1}\ket{\psi_0} \\ &= (H\ket{0})^{\otimes n} H\ket{1} \end{align*}を…

ジャック・アダマール - Wikipedia によると、アダマールゲートのアダマールは偏微分方程式論の適切性で知られるアダマールらしい。アマダール行列の最初の例はシルヴェスターの慣性法則で知られる James Joseph Sylvester によって作られたのだとか。初めて…