[论文解读] Equivalence of relativistic causal structure and process terminality

Aleks Kissinger, Matty J. Hoban+1 more|arXiv (Cornell University)|Aug 14, 2017

Quantum Mechanics and Applications被引用 10

一句话总结

本文建立了相对论因果结构（由编码时空事件之间前向影响的偏序定义）与过程终端性（即丢弃过程的输出意味着可丢弃该过程本身）之间的等价性。通过过程理论与图解推理的框架，作者证明该等价性在任意理论中普遍成立，为量子引力提供了最小且具有操作基础的理论基础。

ABSTRACT

In general relativity, `causal structure' refers to the partial order on space-time points (or regions) that encodes time-like relationships. Recently, quantum information and quantum foundations saw the emergence of a `causality principle'. In the form used in this paper, which we call `process terminality', it states that when the output of a process is discarded, then the process itself may as well be discarded. While causal structure and process terminality at first seem to be entirely different notions, they become equivalent when making explicit what the partial order actually encodes, that is, that an event in the past can influence one in its future, but not vice-versa. The framework in which we establish this equivalence is that of process theories. We show how several previous results are instances of this result and comment on how this framework could provide an ideal, minimal canvas for crafting theories of quantum gravity.

研究动机与目标

• 建立两个看似不同的概念之间的形式等价性：广义相对论中的相对论因果结构与量子基础中的过程终端性。
• 证明过程终端性——即丢弃过程的输出意味着可丢弃该过程本身——编码了与时空中的前向因果结构相同的因果结构。
• 证明该等价性存在于过程理论的一般框架中，且无需事先假设量子或经典结构。
• 通过统一因果结构与过程层面原理，为构建量子引力理论提供一个最小且具有操作动机的基础。

提出的方法

• 使用过程理论的图解语言，其中过程表示为具有输入（底部）和输出（顶部）的方框，复合通过连接它们实现。
• 将因果结构定义为偏序 $ x \leq y $，其中 $ x $ 在因果上先于 $ y $，以编码前向因果性。
• 将过程终端性引入为方程 $ f = \text{discarding} \circ f $，表示若其输出被丢弃，则该过程本身也可被丢弃。
• 通过证明任何尊重终端性的过程理论也必须尊重因果结构，反之亦然（通过过去事件的向下封闭性），建立等价性。
• 采用构造性程序将电路分解为过去和未来部分，证明在所有图中终端性蕴含因果结构。
• 将该框架应用于恢复已知结果，如无信号性与广义协变性，表明它们是该一般等价性的特例。

实验结果

研究问题

• RQ1 过程终端性原则——即丢弃过程的输出意味着可丢弃该过程——能否与相对论因果结构在形式上建立联系？
• RQ2 是否存在一个通用框架，使得因果结构与过程终端性在操作上等价，且独立于量子或经典假设？
• RQ3 在操作理论中，过程终端性是否蕴含无信号条件？若然，其与相对论因果性的关系如何？
• RQ4 该等价性能否用于通过统一因果与过程理论原则来构建新的量子引力理论？
• RQ5 该框架如何推广已知结果，如量子与相对论理论中的无信号性与协变性？

主要发现

• 过程终端性，以 $ f = \text{discarding} \circ f $ 表达，与全局双曲时空中的相对论因果结构在操作上等价。
• 该等价性在任何过程理论中普遍成立，无需事先假设量子或经典系统。
• 该框架从过程终端性恢复了无信号条件，表明其为该一般原理的特例。
• 在离散因果结构中研究的广义协变性（如 Markopoulou, 2000 和 Coecke & Lal, 2013 所研究）亦作为该等价性的实例被恢复。
• 证明依赖于电路中过去事件的向下封闭性，表明任何其输出被丢弃的过程均可被移除而不影响结果。
• 该结果为通过统一因果与过程理论原则构建量子引力理论，提供了一个最小且具有操作基础的理论画布。