The Bouton monoid

Idea

What is the Bouton monoid $B_{\vee,\mathrm{Grundy}}$? Is it just the miniature monoid $(H,\vee_H)$?

This corresponds to Question 5.8 of the games-as-recursive-coalgebras paper.

Goal

$B_{\vee,\mathrm{Grundy}}$ を決定し、$(H,\vee_H)$ と一致するかを判定する。

References

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum

2026-08-26 AI研究監査：Bouton congruence が検出する第一層

selective compound を $\nabla$ とする．任意の short finite impartial game $A$ について

が十分大きい $k$ で成り立つ（$d(A)$ は最大 play 長）．従って，すべての selective context に関して Grundy-equivalent な二つの game は同じ birthday を持ち，

で回収できる．したがって Bouton monoid から $(\mathbb N,+)$ への非自明な quotient/invariant が得られる．

一方，birthday と Grundy number のペアだけでは不十分である．

はともに depth $3$，Grundy number $0$ だが，

従って残る核心は次の context-separation 問題である：$A\ne B$ なら，ある有限 game $C$ が存在して

となるか．Yes なら $B_{\nabla,\mathrm{Grundy}}\cong(H,\nabla_H)$，No なら最小 collision を構造的に説明する必要がある．

2026-08-27 ChatGPT研究継続：syntactic quotient theorem と selective audit

任意の lax monoidal（unitなしなら lax semigroupal）tensor $\otimes$ と game value $v$ に対し，terminal game $\mathbb H$ 上の miniature multiplication を

で定める．$f=v_{\mathbb H}$ として two-sided syntactic congruence

（semigroup の場合は unitization 内で quantification）を取ると，

これは $v_{\mathbb H}$ が factor する最大 monoid congruence，従って Hora の minimum monoid factorization の明示形である．commutative miniature monoid では one-sided contexts $v(p\star c)$ だけでよい．形式言語の syntactic monoid，CGTの indistinguishability quotient／misère quotient と同じ contextual mechanism である．

Genuinely lax な退化例は完全に計算できる．任意の value $v$ について，left projection tensor の Bouton semigroup は $\operatorname{im}(v_{\mathbb H})$ 上の left-zero multiplication，right projection は right-zero，pointed constant tensor は null multiplication になる．

selective sum $\nabla$ と Grundy value について，birthday と Grundy number の pair では contextual class を決められない明示例を得た．

とすると

だが

height $\le3$ の16 canonical games と height $\le4$ の全65,536 canonical contexts の exhaustive audit では，selective-Grundy profile が一致する distinct pair はこの $(A,B)$ だけであり，height 5 の $C$ がそれを分離する．

中心予想は次である：distinct canonical finite games $G\ne H$ に対し，ある finite game $K$ が存在して

となる．Yes なら

であり，No なら最小 contextual collision の構造分類が必要である．有限 height truncation 上の congruence refinement は，stabilization certificate または separating context を返す計算手法になる．

追記（2026-08-27・AI採掘）: Question 5.9 の一部と、残る具体化の問い

Question 5.9 の一部（Bouton monoid の構成）（2026-03 の ChatGPT 会話）: Bouton monoid の構成に $P_{\mathrm{fin}}$ は不要で、「terminal object $H$ をもつ monoidal category $\mathcal R$＋lax monoidal functor $U:\mathcal R\to\mathrm{Set}$＋value $v:U\Rightarrow\Delta_A$」だけから構成できる。証明が実際に使っているのは終対象性と lax monoidality のみで、論文 v3 Theorem 4.8 の証明がそのまま通る。検証状態: 会話中の証明であり、人間による検証は未了。Question 5.9 が問う枠組み全体の一般化は Generalized games framework に残る。

残る具体化の問い（2025-10 の会話より）:

• Bouton monoid は抽象構造しか与えられておらず、具体的構成が未達成で Nim 和の demystification として不満足。実際には多くの場合 $P_{\mathrm{fin}}$-algebra $A$ から誘導され、それが $G_b=\mathrm{hylo}_A$ の具体計算を可能にしている。Bouton function は常に $P_{\mathrm{fin}}$-algebra 構造から誘導されるか（TAMS 版）。
• Bouton monoid を計算する良い方法はあるか（Adámek 構成の類似。Nim-sum が Ackermann 解釈で対称差になることが手がかり。TAMS 版）。
• monoidal 構造が Conway 和のとき、具体構造理解の鍵はゲームの持つ「微積構造」であろう（Differential structures of games と接続）。

CN(6,2) への動機（論文 v3 §5.4.2）: circular nim CN(6,2)（Dufour–Heubach、未解決）の部分問題として $\mathrm{Nim}_1+(\mathrm{Nim}_1\vee(\mathrm{Nim}_1+\mathrm{Nim}_1))$ 型の必勝戦略理解があり、そのために nested Bouton monoid $B_{\vee,\mathcal G}$ の決定——miniature monoid $(\mathbb H,\vee_{\mathbb H})$ そのものか、真の商か——が必要になる。上の中心予想と同じ分岐である。