Differential structures of games の評価

このreportはPR上の提案であり、洞のmergeまでは正本ではない。

判定とreview境界

確定ラベル: eval_purpose direct / eval_writing not_ready / eval_claims review_pending /
eval_novelty possibly_new（独立review 2件の一致。詳細は「独立review」節）。

• eval_purpose: direct — charterのfixed program games（slogan「Games as recursive coalgebras」）
  そのものの中心問題である。公開論文がこの問いを §5.1「The Missing Piece」と題し、nim-sum の
  「demystification」がまだ達成されていない理由として名指ししている
  （arXiv:2510.22886 §5.1、および公式Problems 5.0.3）。
  局所的な技術問題ではなく、論文の主定理の概念的な説明を与える位置にある。
• eval_writing: not_ready — 瓶が挙げる二式はどちらも既刊論文の中で既に証明・記載済みであり、
  瓶が新しく足している数学的内容は「この二つを一つの公理系から導け」という目標設定だけである。
  求める構造の候補すら特定されておらず、いま論文化できる素材が瓶にも reports/v7p3ka/ にも無い。
  なお原論文の脚注2は Ryo Suzuki との follow-up paper を予告しているが、2026-08-25 時点で
  arXiv 上に該当論文は見つからない（下記gaps）。公開への道筋はその follow-up の内容次第で変わる。
• eval_claims: review_pending — 下に列挙したClaimは5件。うち Claim 2・3 は瓶本文に
  数式が逐語で書かれており、arXiv HTML v3 の本文と一字一句照合できた。Claim 1（Question 5.1）と
  Claim 4（Equation (6)）は瓶では逐語ではなく内容の言い換えで述べられているため、
  照合は「内容が原文と一致するか」の水準にとどまる（一致は確認した）。
  Claim 5 は瓶の Goal であって証明も候補構造も無く、検証対象にならない。
  瓶が独自に証明した主張は1件も無いため、検証は引用の正確さの検査に尽きる。
  独立review 2件のうち1件が blocking issue を報告し、Claim 5 の扱いが確定していないため、
  policy §2 の安全側の値である review_pending に留める。
• eval_novelty: possibly_new — 「Leibniz型の move 分解」と「Rota-Baxter型の integration law」を
  一つの構造の公理から導く定式化を、𝒫_fin-recursive coalgebra と Bouton monoid の設定で
  与えた公開文献は確認できなかった。ただし後述のとおり、両者を対にする発想そのものは既知で
  （Guo–Keigher の differential Rota-Baxter algebra）、さらに冪等な min-plus semiring 上の
  Rota-Baxter 構造（Marcolli–Tedeschi）と、monad/comonad の distributive law による定式化
  （Zhang–Guo–Keigher）も既にある。よって新規性は「対にすること」にも「加法が無いこと」にも無く、
  微分側を 𝒫_fin-coalgebra の構造射 θ が、積分側を 𝒫_fin-endofunctor-algebra β が担う
  役割分担に絞られる。β は monad algebra ではない（下記 B を見よ）。この点は新規性の範囲を
  狭めるのではなく広げる方向に効くが、上記2本の精読を経ていないため possibly_new は暫定である。
  検索の空振りを新規性の根拠にはしない。

Claim 1: 未解決問題としての「ゲームの微分構造」

• kind: question
• importance: decisive
• state: open
• 主張: 論文の formulation の中で「differential structures」がどう現れるか、特に Conway addition に
  関する Bouton monoid ℬ_v,+ について、これを同定せよ。
• evidence_type: source
• 根拠: 原論文 §5.1 の Question 5.1 と、公式Problemsページの 5.0.3 が同一文言である。
  Question 5.1 の原文は "How do these “differential structures” appear in our formulation, especially
  for the Bouton monoids ℬ_v,+ with respect to the Conway addition?"。
  arXiv:2510.22886 HTML v3 §5.1、
  公式Problems。瓶の記述と食い違いはない。

Claim 2: Conway addition の move map の Leibniz 型分解

• kind: source_fact
• importance: important
• state: review_pending（引用内容は原文と照合済み。確定はquorum後）
• 主張: θ_{X+Y}(x,y) = θ_X(x)×{y} ∪ {x}×θ_Y(y)。
• evidence_type: source
• 根拠: 原論文 §5.1 に同じ式が現れ、"which resembles the genuine Leibniz rule ∂(f×g)=∂f×g+f×∂g"
  と明示されている。瓶frontmatter・本文の式は原文と一致する。
  さらに原論文は、θ が「differential part」、mex が「integral part」であって両者が
  Diagram 3 の中で逆向きに走る（"a kind of the twistedness"）と注意している。この向きの
  ねじれは瓶本文に写されていない情報で、求める構造の形を制約する。

Claim 3: Bouton monoid の Rota-Baxter 型等式（証明済みの部分解）

• kind: source_fact
• importance: decisive
• state: review_pending（引用内容は原文と照合済み。確定はquorum後）
• 主張: game value v に対し、Conway addition に関する Bouton monoid が 𝒫_fin-algebra 構造
  β: 𝒫_fin(ℬ_v,+) → ℬ_v,+ から誘導されるならば、monoid 積 ⊛ は
  β(S) ⊛ β(T) = β(S ⊛ β(T) ∪ β(S) ⊛ T) を任意の有限部分集合 S,T について満たす。
• evidence_type: source
• 根拠: 原論文 Proposition 5.2（Question 5.1 の直後）とその証明。証明が使うのは次の4つで、
  どれも省けない。(i) b_ℍ の全射性（任意の S,T を b_ℍ[A], b_ℍ[B] として実現するため）、
  (ii) game value が β から誘導されるという中心仮定 b_𝕏(x) = β(b_𝕏[θ_𝕏(x)])、
  (iii) Conway addition の move decomposition（Claim 2 の Leibniz 型分解。
  θ(A +_ℍ B) を {a +_ℍ B} ∪ {A +_ℍ b} へ展開する箇所で本質的に効く）、
  (iv) b_ℍ が monoid homomorphism であること。
  arXiv:2510.22886 HTML v3 §5.1。
  瓶の式・仮定・「Question 5.1直後の命題として証明している」という記述は原文と一致する。
• 注意（瓶本文の精度）: 命題は「Bouton monoid が 𝒫_fin-algebra から誘導される場合」という
  仮定つきであり、その仮定が一般に成り立つかは論文中で保証されていない。瓶本文は
  この仮定を書いているが、Goal節では仮定が落ちて読める。訂正提案ではなく読解上の注意として記録する。

Claim 4: nim-sum と mex の古典的再帰式が同じ型を持つこと

• kind: source_fact
• importance: important
• state: review_pending（引用内容は原文と照合済み。確定はquorum後）
• 主張: ∀S,T ∈ 𝒫_fin(ℕ), mex(S) ⊕ mex(T) = mex(S ⊕ mex(T) ∪ mex(S) ⊕ T) が成り立ち、
  この等式は S={0,…,n−1}, T={0,…,m−1} と取ることで nim-sum の値を再帰的に決定する。
• evidence_type: source
• 根拠: 原論文 §5.1 の Equation (6) と直後の説明。⊕ を積、mex を積分と見れば
  Rota-Baxter 等式 ∫f × ∫g = ∫(f × ∫g + ∫f × g) の形になる、という読み替えも原文にある。
  瓶の「3. nim-sum と mex の古典的な再帰式が具体例として回収されること」は、
  この Equation (6) が Claim 3 の特別な場合として出るべきだ、という要求に相当する。
  ただし「Prop 5.2 ⇒ Equation (6)」を実際に示すには ℬ_v,+ ≅ (ℕ,⊕)、β = mex という同定が要り、
  原論文はその同定を Theorem 2.17 に依存させている（§5.1 冒頭が "the proof of Proposition 4.14
  relies on Theorem 2.17 … What we should demystify is the proof of Theorem 2.17" と述べる）。
  したがって現状の証明経路では循環しており、これが問いの核心である。
  （別経路で同定を与えれば循環しない可能性は残る。循環が不可避だという主張ではない。）

Claim 5: 二式を一つの公理系から導く構造を求める（瓶の Goal）

• kind: question
• importance: decisive
• state: open
• 主張: Leibniz 型 move 分解と Rota-Baxter 型 integration law の双方を公理から導き、
  nim-sum の再帰計算をその普遍的な具体例として説明する categorical / coalgebraic structure を
  (Game, +) 上で同定せよ。さらに、それが他の game-sum・Bouton monoid・一般の
  recursive coalgebra へ移植できる条件を特定せよ。
• evidence_type: source
• 根拠: 瓶の Goal 節。存在を主張する記述は瓶にも原論文にも無い。 原論文は
  "Expecting the remaining equation (Equation 6) is actually a reflection of some differential
  structure on (Game, +)" と期待の形で書き、その期待を Question 5.1 として問いの形にしている。
  瓶も目標として掲げるだけで、候補構造の同定・部分的な構成・反例の検討のいずれも行っていない。
  したがってこれは conjecture ではなく、Claim 1 を「何を作れば答えになるか」の水準まで
  具体化した question である。この瓶の未解決部分はここに集中している。

先行研究と新規性の境界

「Leibniz 則と Rota-Baxter 則を対にする」構造は確立した研究対象であり、しかも
(a) 冪等な加法を持つ semiring（min-plus）へ、(b) 群・半群のような非加法的対象へ、
(c) monad と comonad の distributive law という圏論的な形へ、すでにそれぞれ拡張されている。
したがって「加法が無い」「冪等である」「圏論的である」ことだけでは新規性の根拠にならない。
瓶が新しくありうる範囲は、下の B でそれより狭く切り直す。

A. 既知だと確認できたもの（瓶の設定そのものではない）

文献	一致した概念	関係の種類	根拠の強さ／確信度
Guo–Keigher, On differential Rota–Baxter algebras, J. Pure Appl. Algebra 212 (2008) 522–540, arXiv:math/0703780, DOI	微分作用素と Rota-Baxter 作用素を、微積分学の基本定理と同じ関係で結んだ代数を1つの構造として公理化する（weight λ つき）	瓶の「二式を一つの構造の公理から」という要求の、線型代数版の既存解答	強い／高い。abstract と書誌をauthoritative pageで照合
Zhang–Guo–Keigher, Monads and distributive laws for Rota–Baxter and differential algebras, Adv. Appl. Math. 72 (2016) 139–165, arXiv:1412.8058（arXiv版の著者表示は Guo–Keigher–Zhang）, DOI	Rota-Baxter algebra を与えるmonadと differential algebra を与えるcomonadを構成し、両者の mixed distributive law を確立して合成構造を得る	瓶が求める「二式を一つの公理系から」を、monad と comonad の distributive law として実現した既存の解答。Claim 2 の注記にある「θ と mex が逆向きに走る」ねじれは、まさに comonad 側と monad 側の対比に対応しうる。移植先の型の第一候補	強い／中〜高。abstract と書誌を照合。𝒫_fin への置換可否は未確認
Marcolli–Tedeschi, Entropy algebras and Birkhoff factorization, J. Geom. Phys. 97 (2015) 243–265, arXiv:1412.0247, DOI	min-plus semiring（＝加法が min で冪等）とその熱力学的変形の上で Rota-Baxter 構造と Birkhoff factorization を定式化する	「加法が冪等で、通常の線型構造を持たない対象の上の Rota-Baxter 理論」が既に存在することを示す。ただし min は 𝒫_fin-monad の algebra 法則を満たす作用素であり、mex は満たさない（下記 B）。近いのは「冪等な和の上で Rota-Baxter を書く」という段階までである	強い／中。abstractで min-plus 上の Rota-Baxter 構造の定式化を確認。games への適用は無い
Blute–Cockett–Pacaud Lemay–Seely, Differential Categories Revisited, Appl. Categ. Structures 28 (2020) 171–235, arXiv:1806.04804, DOI	deriving transformation と coalgebra modality による differential category。Rota-Baxter algebras が non-monoidal coalgebra modality を持つ differential category の例を与える（差分として、differential algebras は differential category を誘導しない）	Rota-Baxter 側を圏論的 differential structure として扱う既存の公理系。比較の第一候補	中〜強／中。abstract で Rota-Baxter の例の存在を確認。Game への型付けは未確認
Rutten, Behavioural differential equations, Theor. Comput. Sci. 308 (2003) 1–53, DOI、報告版 CWI SEN-R0023	coalgebra の構造射を「derivative」と呼び、shuffle（interleaving）product について (σ⊗τ)′ = σ′⊗τ + σ⊗τ′ という真の Leibniz 則が成り立つ（§6。同節は shuffle product が「すべての interleaving」を与えると明記）	Conway addition は interleaving 型の和であり、Claim 2 の θ_{X+Y} はこの shuffle 微分則と同型の式。すなわち Leibniz 側だけなら coinductive stream calculus に既存の枠がある	強い／中〜高。報告版PDFの §6 本文で式を直接確認
Cockett–Lemay–Lucyshyn-Wright, Tangent Categories from the Coalgebras of Differential Categories, CSL 2020, LIPIcs 152:17, DOI	differential category の coEilenberg–Moore 圏が tangent category になる。負元の無い設定にも適用できるとabstractが明言	(Game, +) のように群構造を欠く対象へ differential structure を載せる既存の一般論	中／中。abstract レベルの一致
Catino–Mazzotta–Stefanelli, Rota-Baxter operators on Clifford semigroups and the Yang-Baxter equation, J. Algebra (2023), arXiv:2204.05004, DOI / Bardakov–Gubarev, Rota-Baxter operators on groups, Proc. Indian Acad. Sci. Math. Sci. 133 (2023), art. 4, arXiv:2103.01848	線型構造を仮定しない対象（群・Clifford semigroup）上での Rota-Baxter 作用素の定式化	「加法が無いところで Rota-Baxter をどう書くか」という同型の困難に対する既存の解答例。ただし和を union に置換する形ではない	中／中。書誌はarXiv/DOIで照合
Winter, Product Rules and Distributive Laws, CMCS 2016, LNCS, pp. 114–135, DOI	coalgebra 上の product rule を distributive law として扱う（表題・書誌のみ確認）	Claim 2 を distributive law として書き直す経路の候補	弱い／低い。本文未読。書誌のみCrossrefで照合

B. 確認できなかったもの（＝新規性が残りうる範囲）

• 𝒫_fin-recursive coalgebra の圏における「differential structure」を、Leibniz 型 move 分解と
  Rota-Baxter 型 integration law の両方を公理から導く形で定義した文献は見つからなかった。
  上の A の各拡張は、いずれも台となる対象が semiring・群・半群・加法圏であって、
  coalgebra の構造射 θ を「微分」の側に据えた定式化ではない。この点が瓶と A の最大の差である。
• nim-sum・mex・Sprague–Grundy 理論を Rota-Baxter 作用素として扱った文献は、原論文以外に
  見つからなかった（検索語は下記）。Semantic Scholar 上で arXiv:2510.22886 の被引用は 0 件
  （2026-08-25 確認）。
• Rota-Baxter 作用素を、線型写像でも群・半群上の写像でもなく𝒫_fin の
  endofunctor-algebra β: 𝒫_fin(B) → B として述べた定式化は見つからなかった。
  ここが最も具体的な新規性の候補である。
• 用語の精度（重要）: β は monad algebra ではない。 原論文 Definition 3.1 は endofunctor
  T に対する T-algebra を「対 (A, α: TA → A)」として定義するだけで、monad 法則（単位律・
  結合律）を課していない。実際 mex は法則を破る: mex({0}) = 1 ≠ 0 なので単位律が成り立たず、
  結合律も従って成り立たない。arXiv:2510.22886 HTML v3 §3.2.1。
• この訂正は新規性の範囲を狭めるのではなく広げる。Marcolli–Tedeschi の min-plus 版では
  加法 min が 𝒫_fin-monad の algebra 法則を満たすため、既存理論は「monad algebra の上の
  Rota-Baxter」の枠内に収まる。瓶の β はその枠の外にあり、min と mex を「同じ冪等作用」と
  括ることはできない。すなわち最も近い先行研究との距離は、当初見積もりより遠い。
  ただし異同の精査は abstract 越しであり、この距離の見積もり自体が精読で変わりうる。

したがって possibly_new。 新規性の在り処は「加法が無いこと」でも「Leibniz と
Rota-Baxter を対にすること」でもなく、微分側を 𝒫_fin-coalgebra の構造射 θ が担い、積分側を
（monad 法則を満たさない）endofunctor-algebra β が担うという役割分担にある。
既存の拡張はいずれも semiring・群・半群・monad algebra の枠内にあるため、この役割分担は
それらの外に出ており、当初の見積もりより広い範囲が未踏でありうる。
ただし確定には Marcolli–Tedeschi の min-plus 版と Zhang–Guo–Keigher の monad/comonad 版の
2本の精読が要る。最初の分岐点は、monad 法則を落としたときに Rota-Baxter の weight λ に
対応するものが何になるかである。

使った検索語

• Rota-Baxter algebra combinatorial games nim-sum mex recursion
• "nim-sum" OR "Sprague-Grundy" "Rota-Baxter" equation mex integration operator
• "differential category" OR "differential structure" coalgebra "combinatorial games" Conway addition Leibniz rule
• Guo Keigher "differential Rota-Baxter algebras" Leibniz rule integration operator
• "Rota-Baxter" operators on groups monoids ... non-additive setting
• "Rota-Baxter" categorification monad coalgebra powerset semiring idempotent tropical
• tangent category "cartesian differential category" non-additive differential structure coalgebra
• Rutten "behavioural differential equations" ... shuffle product derivative Leibniz
• arXiv API: abs:"recursive coalgebra" AND abs:"game"、all:"Ryo Suzuki" AND all:"games"、
  id_list=1412.0247、id_list=1412.8058（差し戻しroundで指示された隣接文献の実在確認）
• Semantic Scholar: arXiv:2510.22886 の citations、Crossref: 各書誌のDOI照合
  （Marcolli–Tedeschi は J. Geom. Phys. 97, 243–265、Zhang–Guo–Keigher は Adv. Appl. Math. 72,
  139–165 として照合。AAM版の著者順は Zhang–Guo–Keigher で arXiv 表示と異なる）

残る穴

• 原論文の脚注2が予告する Ryo Suzuki との follow-up paper が、2026-08-25 時点で公開されていない。
  arXiv の著者検索・タイトル検索で該当なし。この瓶の未解決部分が既に共著側で解かれている
  可能性があり、独立に着手する前に洞が現状を確認するのが最も費用対効果が高い。
  （2026-07-10 の survey も同じ穴を挙げており、7週間解消していない。）
• Claim 4 の循環（Prop 5.2 から Equation (6) を回収するには Theorem 2.17 が要る）を断つ道筋が
  瓶にも既存reportにも無い。「二式を導く構造」を作っても、この循環を断たなければ
  demystification にはならないという制約が、瓶本文では明示されていない。
• 求める構造の候補が1つも書かれていない。differential category / tangent category /
  differential Rota-Baxter algebra のどれを ansatz にするかの選択が未着手。
• θ（differential part）と mex（integral part）が逆向きに走るというねじれ（Claim 2 の注記）を
  どう公理に反映するかが未検討。加法圏でないため、単純な移植は型が合わない可能性が高い。
• 新規性の境界を決める2本（Marcolli–Tedeschi の min-plus 版、Zhang–Guo–Keigher の
  monad/comonad 版）が abstract レベルでしか確認できていない。 possibly_new はこの精読を
  前提とした暫定値であり、精読の結果 known へ動く可能性が実際にある。
• Winter の product rule 論文は本文未読。distributive law 経路の妥当性は未評価。
• 瓶が「三つを同時に説明する」と要求する3項目のうち、3項目目（nim-sum の回収）だけが
  他の2つと論理的な階層が違う（前2つは公理、3つ目は帰結）。要求の形が整理されていない。

独立review

（後段が埋める。producerと独立した2件、うち1件は別providerを要する。）

本草稿は policy §2.5 の差し戻しroundを1回経ている。review 2 が報告した blocking issue
3件（Claim 5 の kind、claim件数と照合水準の集計の齟齬、Claim 3 の証明要約の不正確さ）と、
review 1 の非blocking指摘（「循環」の断定を弱める）、および指示された隣接文献4件の取り込みを
producer側で修正した。修正は根拠と集計の訂正にとどまり、新しい主張は追加していない。
eval_claims は両reviewの安全側一致として review_pending。

次の一手

1. Suzuki との follow-up の現状を洞が確認する。 公開済み・投稿済み・中断のいずれかで、
   この瓶を独立に進める意味が変わる。1分で済み、他のすべての作業の前提になる。
2. 新規性の境界を決める2本を先に精読する。 Marcolli–Tedeschi
   （min-plus semiring 上の Rota-Baxter 構造）と
   Zhang–Guo–Keigher（Rota-Baxter monad と differential comonad の
   mixed distributive law）の2本は、瓶の未踏部分と直接重なりうる。ここを確かめずに構成を
   始めると、既知の再発見になる危険がある。その上で Guo–Keigher の公理
   （arXiv:math/0703780）を一項目ずつ、
   モノイド ℬ_v,+ と β: 𝒫_fin(ℬ) → ℬ の型へ写し、どの公理が weight・冪等性・線型性、そして
   monad 法則の不在（mex({0}) = 1 ≠ 0）のせいで壊れるかを表にする。壊れ方が分かれば、
   必要な公理系の形が決まる。
3. Rutten の shuffle product 微分則（CWI SEN-R0023 §6）と
   θ_{X+Y} を突き合わせ、Conway addition を 𝒫_fin-coalgebra 上の interleaving product として
   distributive law で書けるか調べる。 Leibniz 側だけなら既存の枠に収まる公算が高く、
   そうなれば残る本質は Rota-Baxter 側（β と ⊛ の関係）だけに絞れる。

@misc{sumire:2610.00003:36:v2,
  author = {hora},
  title = {{AI evaluation report (2026-08-25): Differential structures of games}},
  year = {2026},
  note = {SUMIRE:2610.00003/36, v2},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/36/v/2}
}