[论文解读] A categorical semantics for causal structure

Aleks Kissinger, Sander Uijlen|arXiv (Cornell University)|Jun 20, 2017

Quantum Mechanics and Applications参考文献 15被引用 28

一句话总结

本文提出了一种新颖的范畴论框架，用于在经典力学和量子力学等过程理论中建模确定性和非确定性因果结构。通过使用图示公理编码细粒度的因果关系，该框架推导出诸如单向通信、非通信映射、量子n组合体以及量子开关等过程的操作行为，将多种因果结构统一于单一形式体系之下。

ABSTRACT

We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode fine-grained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.

研究动机与目标

• 开发一个统一的范畴论框架，用于建模过程理论中的因果结构。
• 以细粒度方式捕捉子系统之间确定与非确定因果关系。
• 为因果过程的操作行为提供一种图示推导方法。
• 通过将因果关系作为对象的结构性特征，扩展范畴量子力学。

提出的方法

• 该框架构建了一个范畴，其中对象代表具有显式因果关系的子系统。
• 其基于捕捉因果依赖与信息传递约束的公理，采用图示推理方法。
• 该构造通过将因果顺序嵌入范畴对象中，推广了现有结构如量子组合体与过程矩阵。
• 它将诸如单向通信与非通信映射等过程定义为该范畴内的态射。
• 通过简单且组合式的图示规则，推导出如量子开关等过程的行为。
• 该方法适用于经典概率理论与量子理论，确保了广泛的通用性。

实验结果

研究问题

• RQ1 如何在过程理论的范畴框架中统一建模确定性与非确定性因果结构？
• RQ2 哪些图示公理足以推导出具有复杂因果顺序的过程的操作行为？
• RQ3 如何从统一的范畴构造中推导出量子开关与过程矩阵？
• RQ4 该框架中的对象以何种方式编码子系统之间的细粒度因果关系？
• RQ5 该框架能否通过一组一致的原则重现已知的因果过程，如量子n组合体与非通信映射？

主要发现

• 该框架通过在范畴对象中编码方向性信息，成功建模了单向通信过程。
• 非通信过程自然地作为尊重子系统之间因果独立性的态射被捕捉。
• 量子n组合体被推导为该范畴构造的特定实例，与已知操作行为保持一致。
• 量子开关于公理由图示公理推导得出，无需额外假设，展示了其操作行为。
• Oreshkov、Costa与Brukner的过程矩阵在此框架中被证明可实现，证实了其通用性。
• 整个构造在经典与量子理论之间保持一致，实现了因果结构的统一处理。