[論文レビュー] State transitions as morphisms for complete lattices

Bob Coecke, Isar Stubbe|arXiv (Cornell University)|Aug 4, 2000

Advanced Algebra and Logic参考文献 9被引用数 5

ひとこと要約

本稿は、完全格子における状態遷移をモデル化するための新しいカテゴリカル枠組みを提示する。同定は、一般化された自己準同型写像と呼ばれる「状態遷移」でホムセットを豊かにした、任意の${\cal P}arset$-具体的圏${\cal A}$に対して、量化圏${\cal Q}^{st}{\cal A}$を構成する。この${\cal Q}^{st}{\cal A}$は、関手的拡張${\cal Q}^{-}{\cal A}$と文脈的拡張${\cal Q}^{+}{\cal A}$の間で厳密に位置づけられ、量子論的論理およびカテゴリカル量子基礎における状態遷移構造の階層を確立する。

ABSTRACT

We enlarge the hom-sets of categories of complete lattices by introducing `state transitions' as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps ($Parset$).

研究の動機と目的

• 完全格子における状態遷移を、カテゴリカル枠組み内での一般化された射として形式化すること。
• ${\cal P}rop$のような既存の圏が状態遷移を捕捉できないという不備を指摘し、${\cal Q}^{st}$による豊か化を提案すること。
• ${\cal P}arset$-具体的圏${\cal A}$の3つの量化圏的拡張、すなわち${\cal Q}^{-}{\cal A}$、${\cal Q}^{st}{\cal A}$、${\cal Q}^{+}{\cal A}$を比較し、それらの階層的関係を確立すること。
• ${\cal Q}^{st}{\cal A}$が結合に関する閉包性を満たすことで、遷移行動における不確実性を反映する物理的に意味のある構造を提供すること。

提案手法

• 完全格子の圏のホムセットを、状態遷移と呼ばれる一般化された射として豊かにし、新たな量化圏${\cal Q}^{st}{\cal A}$を構成する。
• ${\cal Q}^{-}{\cal A}$を、冪関手${\cal P}$による関手的拡張として定義し、射を冪集合上の直接像写像に写す。
• ${\cal Q}^{+}{\cal A}$を、基礎集合の冪集合間のすべての結合を保存する写像からなる文脈的拡張として構成する。
• 忠実関手$U: {\cal A} \to {\cal P}arset$と冪関手${\cal P}$の合成により、基本圏${\cal P}{\cal A}$を定義し、これにより${\cal Q}^{st}{\cal A}$の構成を可能にする。
• 関手$F_{pr}: {\cal Q}^{st}{\cal J}{\cal C}{\cal L}at \to {\cal J}{\cal C}{\cal L}at$を用いて、状態遷移と性質遷移の双対性を関係づける。
• 最小の量化圏的拡張を保証するための前豊か化関手${\cal E} = F_{pr} \circ {\cal Q}^{-}$を導入する。

実験結果

リサーチクエスチョン

• RQ1 完全格子における状態遷移を、結合を保存する写像の範囲を越えて、一貫性のあるカテゴリカル構造として体系的に一般化する方法は何か？
• RQ2 ${\cal Q}^{-}{\cal A}$、${\cal Q}^{st}{\cal A}$、${\cal Q}^{+}{\cal A}$の3つの量化圏的拡張の関係は何か？ それらの構成方法と閉包性の性質における違いは何か？
• RQ3 ${\cal P}rop$の圏がなぜ状態遷移をモデル化するのに不十分であり、どのような豊か化が必要か？
• RQ4 包含${\cal Q}^{-}{\cal E}{\cal A} \hookrightarrow {\cal Q}^{st}{\cal E}{\cal A}$が厳密に成立するのはどのような条件下か？ これは物理的解釈にどのような意味を持つのか？
• RQ5 状態遷移と性質遷移の間の双対性はどのようにカテゴリカルに現れるのか？ また、関手$F_{pr}$はこの双対性において果たす役割は何か？

主な発見

• 任意の${\cal J}{\cal C}{\cal L}at$の非自明な部分圏${\cal A}$で、$a,b,c$が存在して$a < b \vee c$、$a \not\leq b$、$a \not\leq c$を満たす場合、量化圏${\cal Q}^{st}{\cal A}$は${\cal Q}^{-}{\cal A}$と${\cal Q}^{+}{\cal A}$の間に厳密に位置づけられる。
• ${\cal A}$が上記の条件を満たすとき、包含${\cal Q}^{-}{\cal E}{\cal A} \hookrightarrow {\cal Q}^{st}{\cal E}{\cal A}$は厳密である。これは、状態遷移が結合閉包を超えた別個の構造を必要としていることを示唆する。
• 前豊か化関手${\cal E}$は${\cal A}$をその最小の量化圏的拡張$F_{pr}{\cal Q}^{-}{\cal A}$に写し、${\cal Q}^{-}$によって誘導されるすべての射が有効な状態遷移であることを保証する。
• ${\cal A}$が既に${\cal J}{\cal C}{\cal L}at$の部分量化圏である場合、前豊か化${\cal E}{\cal A}$は${\cal A}$と一致する。これは、このような圏がすでに必要な構造について閉じていることを示している。
• ${\cal Q}^{st}{\cal A}$の構成は物理的に意味のある解釈を提供する：ホムセット内の結合は、状態遷移における不確実性や知識の欠如を表しており、このような量化圏構造の必要性を正当化する。
• ${\cal P}rop$にこの枠組みを適用すると、${\cal P}rop$単体では必要な結合操作についての閉包性が欠落しているため、状態遷移を適切にモデル化するには${\cal E}{\cal P}rop$に置き換える必要があることが明らかになる。