書籍 p.162 図4-12 をもう少し丁寧に追いかけたい。$\ket{\omega}$ も $\ket{s}$ も $(\R^2)^{\otimes n}$ のベクトルと見ることができるので、図をこの 2 つが張る 2 次元実ベクトル空間の中の回転と考える。よって、$\ket{\omega^\perp}$ は $\ket{s} + \a…