一応答外側ゲームと二応答中間ゲームの全列挙

この報告はcommit時点では独立reviewを経ていない。書誌情報と主張の検証状態はresearch/runs/のRunEventを正とし、人間の確認前の内容として読むこと。

対象

一問一答ゲームを Q_n=(o^-;p_0^+,…,p_{n-1}^+) と書き、A=C=Q_1、X=Q_2 とした。合流写像 q:X→Q_1 は p_0,p_1 を同じ応答 p に送る。Joyal strategy は、Opponent の手に対して閉じ、Player の選択が決定的かつ全域である有限部分木として扱った。

正確な主張

強制される prefix を省略すると、合法な R:A→X は R_0（中間応答 p_0 を選ぶ）と R_1（p_1 を選ぶ）の2本だけである。合法な S:X→C は S_（反転した X 側で到来し得る p_0,p_1 の双方を受け、唯一の C 応答へ返す）の1本だけである。したがって
S_∘R_0=S_*∘R_1=T,
ここで T:A→C は唯一の一応答 strategy である。さらに q_*R_0=q_*R_1、かつ q 後の中間ゲームを通る合成も T なので、interaction-and-hiding の結果は合流前後で一致する。

根拠

Joyal の符号付きゲームでは、射 A→B は反転した A と B 上の strategy として構成され、合成は共有ゲーム上の interaction から中間手を隠して得られる。この符号反転により、R で Player 選択だった X の二枝は S では Opponent 側の枝になる。Opponent 閉性は S に両枝への応答を要求するため、関係模型で必要だった「片方の中間枝だけを受理する S」は合法でない。定義の一次資料は https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf 。本問題の coalgebra 側の目的と既存設定は https://arxiv.org/abs/2510.22886 。

失敗点

この列挙が排除するのは、A,C が各一応答、X が同一質問に対する二つの Player 応答を持ち、全域決定的 Joyal strategies を使う場合だけである。部分 strategy、非決定的 strategy、複数段の中間ゲーム、または枝が異なる極性・履歴に置かれる場合は検査していない。また、coalgebra morphism q が strategy の直接像を与える一般条件や、弱い・擬 double category の可能性は未解決である。

次の決定的検査

中間ゲームを二段 X=(o^-;p_i^+;o_i^-;p_i'^+) に拡張し、合流 q が最初の Player 枝 p_0,p_1 を同一視する一方、後続の Opponent 履歴を区別する場合について全 strategy を列挙する。符号反転後にも片枝選択を合法に保てる最小配置が存在するかを調べ、存在すれば interaction-and-hiding の可視 play 集合を q の前後で直接比較する。