[论文解读] 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}^{-}{\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 Q}^{st}$ 的丰富化，解决现有范畴如 ${\cal P}rop$ 在捕捉状态转移时的不足。
• 比较 ${\cal P}arset$-具体范畴 ${\cal A}$ 的三种量值范畴扩展：${\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}$ 之间的关系是什么？它们在构造方式与封闭性质上有哪些差异？
• RQ3 为何范畴 ${\cal P}rop$ 不足以建模状态转移？需要何种丰富化才能使其在物理上充分？
• RQ4 在何种条件下，包含关系 ${\cal Q}^{-}{\cal E}{\cal A} \hookrightarrow {\cal Q}^{st}{\cal E}{\cal A}$ 成为严格包含？这对物理解释意味着什么？
• RQ5 状态转移与性质转移之间的对偶性在范畴上如何体现？函子 $F_{pr}$ 在此过程中起什么作用？

主要发现

• 对于任意非平凡子范畴 ${\cal A}$（包含满足 $a < b \vee c$，$a \not\leq b$，$a \not\leq c$ 的元素 $a,b,c$）的 ${\cal J}{\cal C}{\cal L}at$，量值范畴 ${\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 J}{\cal C}{\cal L}at$ 的子量值范畴的子范畴 ${\cal A}$，预丰富化 ${\cal E}{\cal A}$ 与 ${\cal A}$ 一致，表明此类范畴已具备所需结构的封闭性。
• ${\cal Q}^{st}{\cal A}$ 的构造提供了物理上合理的解释：同态集中的并运算代表状态转移中的不确定性或知识缺失，从而证明了此类量值范畴结构的必要性。
• 将该框架应用于 ${\cal P}rop$ 时发现，必须用 ${\cal E}{\cal P}rop$ 取代 ${\cal P}rop$ 才能正确建模状态转移，因为 ${\cal P}rop$ 本身缺乏对必要并运算的封闭性。