問い #151

Differential structures of games ## Trigger Hora, *Games as recursive coalgebras* の Question 5.1 と公式 Problems 5.0.3 にある公開問題を、issue #43 の下書き17/Nから移した。同論文は、Conway addition の moves が Leibniz rule に似た式を満たし、nim-sum と \(\operatorname{mex}\) の再帰式が Rota--Baxter equation に似ることを指摘している。 ## Idea impartial game を finite-powerset functor \(\mathcal P_{\mathrm f}\) の recursive coalgebra として扱う定式化の中で、「ゲームの微分構造」を直接定義したい。特に、Conway addition に関する Bouton monoid \(B_{v,+}\) と、その game value \(G_X:X\to B_{v,+}\) を生む recursion を対象とする。 求めたい構造は、少なくとも次の三つを同時に説明する必要がある。 1. Conway addition の move map が満たす Leibniz 型の分解 \[ \theta_{X+Y}(x,y) =\theta_X(x)\times\{y\}\;\cup\;\{x\}\times\theta_Y(y), \] 2. \(\mathcal P_{\mathrm f}\)-algebra \(\beta\) から誘導される Bouton monoid の Rota--Baxter 型の式 \[ \beta(S)\mathbin{\circledast}\beta(T) =\beta\bigl(S\mathbin{\circledast}\beta(T) \cup\beta(S)\mathbin{\circledast}T\bigr), \] 3. nim-sum と \(\operatorname{mex}\) の古典的な再帰式が、この構造の具体例として回収されること。 ## Known partial structure 公開論文は、Bouton monoid が \(\mathcal P_{\mathrm f}\)-algebraから誘導される場合に上の Rota--Baxter 型の式が成り立つことを、Question 5.1直後の命題として証明している。したがって「微分構造」は白紙ではなく、Leibniz 型の move decomposition と Rota--Baxter 型の integration law を結ぶ概念を同定する問題である。 categorical differential category や coalgebra modality の一般論は比較候補になる。ただし、その deriving transformation が recursive-coalgebra category \(\mathbf{Game}\) や Bouton monoid の式をそのまま与えるとは、確認した公開資料からは言えない。 この問いは、Conway addition の右随伴を具体化する internal-hom 問題（瓶 g6c8vx）とは異なる。こちらが問うのは、加法の moves と game-value recursion に現れる Leibniz / Rota--Baxter 型構造である。 ## Goal 上の二つの式を一つの categorical / coalgebraic structure の公理から導き、nim-sum の再帰計算をその普遍的な具体例として説明する。その後、同じ構造が Conway addition 以外の game-sum と Bouton monoid、さらに一般の recursive coalgebra に移植できる条件を特定する。 ## Personal context これは洞の combinatorial games と recursive coalgebras の研究から直接生じた公開問題である。抽象的に存在する Bouton monoidを具体的に計算するための「missing piece」として、公開論文自身が位置づけている。 ## References - [Ryuya Hora, *Games as recursive coalgebras: A categorical view on the Nim-sum* (arXiv:2510.22886)](https://arxiv.org/abs/2510.22886) - [Ryuya Hora, Problems 5.0.3](https://sites.google.com/view/ryuya-hora/problems) - [Blute--Cockett--Pacaud Lemay--Seely, *Differential Categories Revisited* (arXiv:1806.04804)](https://arxiv.org/abs/1806.04804)