2つのスピン変数 の積の線形表現を考えます. y = s_1 s_2 \quad (s_1, s_2 \in \{-1, 1\}) 結論から言うと, 下記のようになります. \left\{ \begin{array}{ll} y \leq \ \ \ ...