1. デッキは独立ではない — 相関系としてのポーカー
「自分のハンド」と「相手のレンジ」を別々の箱として考える習慣は、実は近似にすぎない。 両者は同じ52枚から引かれており、結合状態は積に分解できない。 自分が A♠ を持っている世界では、相手が A♠ を含むコンボを持つ確率は厳密にゼロになる—— これがカードリムーバル（ブロッカー効果）の正体であり、系全体を1つの相関状態として 扱わない限り正確な計算はできない。
ρ(自分, 相手) ≠ ρ(自分) ⊗ ρ(相手)量子情報の言葉を借りれば、積状態に分解できない状態は「相関を持つ」。ポーカーの相関は 古典相関（後述）だが、テンソル積と部分トレースという道具立ては、 この計算を驚くほど見通しよく整理する。
2. 数理: コンボ計算の厳密展開
相手のレンジに AK が含まれるとする。盤面と自分のハンドに A♠ があるとき、AKのコンボ数は 16（4×4）から12（3×4）へ削れる。この「削り」がレンジ全体の構成比を歪め、意思決定を変える。
具体例: リバーのブラフキャッチ
リバー、ボード K♠9♦4♣2♠7♠。相手のポットベットに対し、こちらは K♥Q♦ でブラフキャッチを検討する。 相手のバリューはフラッシュ32コンボ＋セット9コンボ、ブラフはA♠を含むミスドロー系と仮定する。 このとき自分が Q♠ ではなく Q♦ を持っている事実が効く: Q♠を持たないため相手の Q♠含みフラッシュ（バリュー）をブロックしておらず、コールの期待値は下がる。逆に A♠ 持ちの ブラフキャッチャーは、相手の「最強のブラフ候補（A♠ハイのミスドロー）」を自ら塞いでしまうため、 相手のベットレンジは相対的にバリューへ偏る——ナッツブロッカーが常にコールを正当化する わけではないという、実務家がしばしば誤解する非自明な帰結が、条件付きコンボ計算から直接導かれる。
EV(call) = P(bluff|自分の手) · (P+B) − P(value|自分の手) · B右辺の条件付き確率は、自分のカードによるリムーバルを織り込んだ再規格化後の値であり、 2枚のホールカードの違いだけで数ポイント単位で動く。ソルバーが同じ強さの手に異なる アクションを割り当てる主因はここにある。
3. これは「もつれ」か？ — 古典相関との峻別
結論から言えば、ポーカーの相関は古典相関であり、量子もつれではない。 もつれ（エンタングルメント）はベル不等式を破る非局所相関を指し、隠れた変数（=実際に配られた札） で説明できるカード相関はこれに該当しない。
それでも量子情報の形式が有用なのは、「全体系の状態から部分系の記述を得る」操作—— 部分トレース——が、ポーカーにおける「自分の視点への周辺化」と同一の代数だからである。
ソルバーが内部で保持しているのは、まさにこの「観測者ごとに周辺化されたレンジ行列」であり、 カードリムーバルを含む正確なEV計算は縮約状態に対する期待値計算として書ける。
4. ブロッカー価値の設計原理
- ブラフ側: 相手の「コール手」を塞ぐ札は価値が高く、相手の「フォールド手」を塞ぐ札は価値が低い。
- キャッチ側: 相手の「バリュー」を塞ぎ、相手の「ブラフ」を塞がない札が理想。
- アンブロック: 塞がないことの価値は塞ぐことの価値と同じ資格で定量化できる（符号が逆なだけ）。
- これらはすべて上記の条件付き再規格化1本から導出される——暗記事項ではなく計算結果である。
次回は、この相関計算を均衡探索の全体最適化に接続し、CFRアルゴリズムと量子アニーリングの エネルギー地形を比較する。
本コラムは数理解説であり、トーナメント会場でのデバイス・ツール利用を推奨するものではありません。