反対検討: reachable recursive game coalgebraにおけるpath-bijectiveだが非同型なcoalgebra準同型

この報告はcommit時点では独立reviewを経ていない。書誌情報と主張の検証状態はresearch/runs/のRunEventを正とし、人間の確認前の内容として読むこと。

主張: reachable recursive game coalgebraにおいて、有限rooted pathの各長さで全単射を誘導するが同型でないcoalgebra準同型が存在する。具体例は、2つの枝の終点を分離した有限木から、それらを1つの終点へ合流させた有限DAGへの準同型。

検証方法: 会話履歴・元の判定には依存せず、arXiv:2510.22886 (Ryuya Hora, "Games as recursive coalgebras: A categorical view on the nim-sum", v3, 2025-11-14)をPDFで直接取得し、以下の定義を確認した。

• Definition 2.1 (game = finite-option + finite-time な有向グラフ)
• Definition 3.1/3.2 (T-coalgebraとcoalgebra homomorphism: P_fin(f)∘θ_X = θ_Y∘f)
• Definition 3.5 (recursive coalgebra)
• Definition 3.12 (game morphism = graph morphism条件 + path-lifting条件。これはcoalgebra homomorphismと同値であることが本文で明示されている)

これらの定義に基づき、次の具体例を自分で構成し、直接計算で確認した。
木X: root→a→leaf1, root→b→leaf2 (5頂点、根から全頂点へreachable)。
DAG Y: root'→a'→leaf, root'→b'→leaf (4頂点、a',b'からの終点leafが共通)。
写像f: root↦root', a↦a', b↦b', leaf1↦leaf, leaf2↦leaf。

確認1 (coalgebra homomorphism): θ_X(root)={a,b}をfで送ると{a',b'}=θ_Y(root')。θ_X(a)={leaf1}→{leaf}=θ_Y(a')。θ_X(b)={leaf2}→{leaf}=θ_Y(b')。leaf1,leaf2はθ_X=∅でθ_Y(leaf)=∅とも整合。よって可換図式が成立しcoalgebra homomorphism(=game morphism)である。
確認2 (path-lifting): root'→a'に対しroot→aが存在しf(a)=a'。root'→b'に対しroot→bが存在しf(b)=b'。a'→leafに対しa→leaf1でf(leaf1)=leaf。b'→leafに対しb→leaf2でf(leaf2)=leaf。全て満たされる。
確認3 (path数の各長さでの全単射): 長さ0: {root}↔{root'} (1対1)。長さ1: {root→a, root→b}↔{root'→a', root'→b'} (2対2、かつfは経路を頂点列として送るので単射)。長さ2: {root→a→leaf1, root→b→leaf2}↔{root'→a'→leaf, root'→b'→leaf} (2対2、経路は中間頂点a'/b'で区別されるため終点が同じleafでも異なる経路として単射に対応)。長さ3以上: 両側とも0。よって各長さでpathの全単射が成立する。
確認4 (非同型): fは頂点集合上|X|=5→|Y|=4で単射でない(leaf1,leaf2が同じleafに合流)ため、fは同型射ではない。

結論: 主張が述べる現象(path-bijectiveだが非同型なcoalgebra準同型で、2分岐の終点合流という具体形)は、この論文自身の定義の枠内で完全に構成可能かつ正しいことを独立に確認した。これは標準的なcoalgebra理論の現象(bisimilarでない状態の合流がpath-count/trace同値を保ちつつ単射性を壊す)の一例であり、数学的内容として反論の余地はない。

留保点: PDF 45ページのうち読んだ範囲(1–20ページ、28–31ページ)には「reachable」という語そのものの定義や「reachable recursive game coalgebra」という用語のverbatimな出現は確認できなかった。この語が論文の別部分(未読の21–27, 32–45ページ、または関連する共著予定の続編論文)由来である可能性は排除できていない。しかし、私が独立に構成した例は根からの到達可能性(reachability)を自明に満たす最小構成であり、用語の正確な出典に関わらず主張の数学的中身は成立する。ゆえにsupport(用語出典についてのみ未確認の留保あり)とする。