技術要約：有限の観測、無限の振る舞い

問題提起

信号流グラフ、確率過程、メモリを持つ量子チャネルなどの時系列依存システムは、内部メモリを保持する状態を持つプロセス（Mealyマシンなど）としてモデル化されることが多い。決定論的システムの振る舞いは余代数的不動点（coinductive fixed points）を通じて十分に理解されているが、プロセスが部分的、非決定論的、確率的、あるいは量子的な場合、この特徴付けは崩れてしまう。これらの設定では、余代数的不動点が存在しない場合があり、標準的な振る舞いの同値性の定義も失敗する。

本研究を動機付ける中心的な問いは、「いつ、二つの状態を持つプロセスは同じ無限の振る舞いを生み出すのか？」というものである。著者らは、事前のグローバルな制約ではなく、有限かつ局所的な観測のみに依存する、指示的（denotational）な回答を求めている。課題は、プロセスがその内部状態とは無関係に、入力と出力に対してどのような制約を課すか（それは有限の観測によって決定される）に基づき、二つのプロセスが同等であると定義できるような意味論的構成を定義することである。

手法

1. 構造的基礎：破棄双圏（Discard Bicategories）

著者らは、**破棄双圏（discard bicategory）**と呼ばれる構造的枠組みを導入する。これは、すべての対象に対して「破棄」射（$\top_X: X \to I$）を備えた、前順に富む対称モノイダル圏である。これは情報を無視する能力を表している。

• 前順による富み: ホム集合は前順（$\subseteq$）を備えており、プロセスの情報量（近似）の比較を可能にする。
• 破棄の緩やかな自然性: 破棄操作は近似と互換性がある（$\top_Y \circ f \subseteq \top_X$）。これは、プロセスを実行してから破棄することは、入力を直接破棄することよりも情報量が少ないことを意味する。
• 範囲: この構造は、部分関数（制限順序）、関係（包含関係）、確率カーネル（条件付き順序）、量子チャネル（純化順序）を含む様々なプロセス理論を統一する。

2. 意味論的構成：振る舞いの圏

核となる貢献は、振る舞いの破棄双圏（$\text{Obs}_{I,J}(\mathcal{C})$と表記）の構成である。

• コンテキスト: この構成は、インデックス集合 $I$（時間または空間を表す）と、$I$ の有限部分集合の集まり $J$（コンテキスト）によってパラメータ化される。
• 単調な族: 振る舞いは、「単調な族」の観測として定義される。これは、各 $j \in J$ について、プロセスを有限のコンテキスト $j$ に制限した記述である射の族 $\{f_j\}_{j \in J}$ である。
• 一貫性条件: この族は一貫していなければならない。すなわち、より大きなコンテキスト $j'$ における観測は、より小さなコンテキスト $j$ における観測を精緻化しなければならない（形式的には、$(1 \otimes \top) \circ f_{j'} \subseteq f_j \otimes \top$）。
• 観測的同値性: 二つのプロセスは、すべての観測が、（おそらくより大きなコンテキストにおいて）他方の観測によって検証可能であるとき、観測的に同値であるとして同一視される。これは相互近似（$f \subseteq g$ かつ $g \subseteq f$）として定式化される。
• 商: 振る舞いの圏は、この観測的同値関係によって単調なネット（monotone nets）を商をとることによって得られる。

3. 状態を持つプロセスとの統合

著者らは、この構成が状態を持つプロセスに対して関手的な意味論を提供することを実証している。

• 状態の再パラメータ化: この構成は、内部状態のディナチュラルな再パラメータ化によってのみ異なる状態を持つプロセスを同一視する。
• 時間遅延: 時間遅延操作は自然変換であることが示されている。コンパクト閉設定においては、それは自然同型となり、Katis, Sabadini, Waltersの意味におけるフィードバック圏を構成することを可能にする。
• 不整合の伝播: 従来のストリーム意味論（例：余代数的ストリームや外延的ストリーム）とは異なり、この構成は不整合をグローバルに伝播させる。もしプロセスが単一の有限コンテキストにおいて不整合であれば、その振る舞い全体がゼロ射となる。

主要な結果

1. 一様性と関手性

この構成は、部分的、非決定論的、確率的、および量子的なプロセスに対して一様に適用される。また、基底変換に対して関手的であり、これは基礎となるプロセス理論間の射が、それぞれの振る舞いの圏間の射を誘導することを意味する。

2. カテゴリ化されたコンパクト性定理

非決定論的な設定（関係）に焦点を当て、著者らはカテゴリ化されたコンパクト性定理（定理 5.5）を証明している。

• 記述: コンパクトハウスドルフ空間の間の閉じた関係の圏において、すべての互換な有限観測の族（単調なネット）は、単一の無限の閉じた関係へと一意的かつ関手的に拡張される。
• 意義: これは、特定の条件下において、局所的な一貫性がグローバルな存在と一意性を意味することを確立しており、有限の観測をグローバルな振る舞いへと効果的に「接着」する。

3. Willemsの振る舞いの回収

アフィン関係（有限体上の）に限定した場合、このコンパクト性定理はWillemsの振る舞いを回収する。

• 著者らは、未初期化LTI（線形時不変）システムに対する彼らの時間領域意味論が、定数係数差分方程式の核としてWillemsが定義した振る舞いを正確に捉えていることを示している。
• これにより、信号流グラフに対する組成的な時間領域意味論が提供される。これは、これまで主に周波数領域（z領域）の解釈に依存していた圏論的な扱いにおいて、これまで困難であった事項である。

4. 既存の意味論との比較

本論文は、既存のアプローチ（状態を持つ射の列、余代数的ストリーム、因果的・単調な列）が、望ましい特性をすべて同時に満たすことができないと主張している。

• 状態を持つ射の列は純粋に局所的であり、不整合を無限に伝播させることはできない。
• 余代数的ストリームは、部分性やゼロ射が存在する場合に崩壊する（非離散的になる）。
• 因果的／単調な列は、ディナチュラルに同値なストリームを同一視しない。
  提案された構成は、有限の観測の一貫性を優先することで、これらの問題を解決している。

意義と主張

本論文は、余代的不動点が（存在しない可能性があるため）存在しない場合に対処するための、状態を持つシステムにおける無限の振る舞いを定義するという問題に対する、プロセス理論的な解決策を提供すると主張している。内部状態から有限の制約へと焦点を移すことで、著者らは以下の性質を持つ堅牢な意味論的枠組みを提供している。

1. 様々なプロセス理論（決定論的、部分的、確率的、量子論的）にわたる行動的同値性を一般化する。
2. 局所的な観測とグローバルな振る舞いの視点を統一し、特定の位相的条件（コンパクトハウスドルフ空間）の下で、局所的な観測がグローバルな振る舞いを一意に決定することを証明する。
3. 圏論的な意味論と古典的なシステム理論を調和させ、有限体上のLTIシステムに対するWellesの振る舞いを、組成的な時間領域の枠組みの中で回収する。

著者らは、本研究を基礎的な一歩として位置づけている。振る舞いの存在とその性質を確立した一方で、これらの振る舞いのグラフィカル言語（公理化）の完全性は、将来の研究に向けた未解決の問題として残っている。また、コンパクト性定理を確率的または量子的な設定へと一般化することが、自然な次のステップであることを示唆している。