問い #155

The Bouton monoid ## Trigger Hora, *Games as recursive coalgebras* のQuestion 5.8と旧HP Problems 5.0.6にある公開問題。`created` は論文の初公開日を代理値とし、正確な着想日は不明。 ## 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)\) と一致するかを判定する。 ## Personal context 旧タグは Bouton monoid、Grundy value、join。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Ryuya Hora, *Games as recursive coalgebras: A categorical view on the Nim-sum*](https://arxiv.org/abs/2510.22886) ## Provenance - 旧ID: 5.0.6 - 旧分類: informal question - [旧出典 `scripts/site.js` 921–929行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L921-L929) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 ## 2026-08-26 AI研究監査：Bouton congruence が検出する第一層 selective compound を $\nabla$ とする．任意の short finite impartial game $A$ について \[ \operatorname{Gr}(A\nabla *k)=k+d(A) \] が十分大きい $k$ で成り立つ（$d(A)$ は最大 play 長）．従って，すべての selective context に関して Grundy-equivalent な二つの game は同じ birthday を持ち， \[ d(A)=\lim_{k\to\infty}(\operatorname{Gr}(A\nabla*k)-k) \] で回収できる．したがって Bouton monoid から $(\mathbb N,+)$ への非自明な quotient/invariant が得られる． 一方，birthday と Grundy number のペアだけでは不十分である． \[ G=\{*2\},\qquad H=\{*1,*2\} \] はともに depth $3$，Grundy number $0$ だが， \[ \operatorname{Gr}(G\nabla*1)=1,\qquad \operatorname{Gr}(H\nabla*1)=4. \] 従って残る核心は次の context-separation 問題である：$A\ne B$ なら，ある有限 game $C$ が存在して \[ \operatorname{Gr}(A\nabla C)\ne\operatorname{Gr}(B\nabla 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 を \[ p\star q:=\xi_{\mathbb H\otimes\mathbb H}\bigl(\mu_{\mathbb H,\mathbb H}(p,q)\bigr) \] で定める．$f=v_{\mathbb H}$ として two-sided syntactic congruence \[ p\equiv_fq \iff f(apb)=f(aqb)\quad(\forall a,b\in\mathbb H) \] （semigroup の場合は unitization 内で quantification）を取ると， \[ B_{\otimes,v}\cong \mathbb H/{\equiv_{v_{\mathbb H}}}. \] これは $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 を決められない明示例を得た． \[ P=\{*1\},\quad Q=\{P\},\quad D=\{P,Q\},\quad C=\{D\}, \] \[ B=*3,\qquad A=B\cup\{P\} \] とすると \[ h(A)=h(B)=3,\qquad \operatorname{Gr}(A)=\operatorname{Gr}(B)=3, \] だが \[ \operatorname{Gr}(A\nabla C)=8,\qquad \operatorname{Gr}(B\nabla C)=5. \] 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$ が存在して \[ \operatorname{Gr}(G\nabla K)\ne\operatorname{Gr}(H\nabla K) \] となる．Yes なら \[ B_{\nabla,\operatorname{Gr}} \cong (\mathbb H,\nabla_{\mathbb H}) \] であり，No なら最小 contextual collision の構造分類が必要である．有限 height truncation 上の congruence refinement は，stabilization certificate または separating context を返す計算手法になる． ## 追記（2026-08-27・AI採掘）: Question 5.9 の解決と、残る具体化の問い **Question 5.9 の解決**（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 のみ。検証状態: 会話中の証明であり独立査読は未了。 **残る具体化の問い**（2025-10 の会話より）: - Bouton monoid は抽象構造しか与えられておらず、具体的構成が未達成で Nim 和の demystification として不満足。実際には多くの場合 \(P_{\mathrm{fin}}\)-algebra \(A\) から誘導され、それが \(G_b=\mathrm{hylo}_A\) の具体計算を可能にしている。Bouton function は常に \(P_{\mathrm{fin}}\)-algebra 構造から誘導されるか（TAMS 版 Question L2499）。 - Bouton monoid を計算する良い方法はあるか（Adámek 構成の類似。Nim-sum が Ackermann 解釈で対称差になることが手がかり。TAMS 版 Question L2573）。 - monoidal 構造が Conway 和のとき、具体構造理解の鍵はゲームの持つ「微積構造」であろう（[[v7p3ka]] と接続）。 **CN(6,2) への動機**（TAMS 版 Concluding remarks）: circular nim CN(6,2)（Dufour–Heubach、未解決）の部分問題として \(\mathrm{Nim}_1\nabla(\mathrm{Nim}_1\vee(\mathrm{Nim}_1+\mathrm{Nim}_1))\) 型の必勝戦略理解があり、そのために nested Bouton monoid \(B_{\vee,\mathcal G}\) の決定——miniature monoid \((\mathbb H,\vee_{\mathbb H})\) そのものか、真の商か——が必要になる。上の中心予想と同じ分岐である。