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. 既知だと確認できたもの（瓶の設定そのものではない）

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 側（β と ⊛ の関係）だけに絞れる。