Simulating Noncausality with Quantum Control of Causal Orders

技术摘要：通过量子控制因果序模拟非因果性

问题陈述
本文探讨了“非因果”过程与物理上可实现的量子过程之间的张力。非因果过程（例如“Lugano (AF/BW) 过程”）在过程函数形式化中被定义为违反因果不等式的经典相关性。这些过程允许参与者同时处于彼此的过去和未来，从而能够完美辨别在标准局部操作与经典通信（LOCC）下局部不可测的乘积态基。这种现象被称为“无纠缠非定域性”（NLWE），以 SHIFT 基作为典型代表。

虽然 Lugano 过程是酉可扩展的，并且可以通过时空去定域化的子系统进行建模，但在固定时空中的物理实现性仍是一个悬而未决的问题，因为它通常意味着依赖于闭合类时曲线。相反，具有不定因果序的物理可实现过程（例如“量子开关”，即量子控制因果序或 QC-QC）已知仅产生因果相关性，且在标准场景下无法违反因果不等式。核心问题在于：具有非因果 Lugano 过程结构优势的特性（特别是测量 SHIFT 基的能力），是否可以由物理可实现的量子过程来模拟，以及这对因果不可分性（causal nonseparability）的解释意味着什么。

方法论
作者采用了过程矩阵形式化，以及 Kunjwal 和 Baumeler 建立的关于 SHIFT 测量与 Lugano 过程之间对应关系的理论。其方法论包括：

1. 重构 SHIFT-Lugano 对应关系： 他们分析了一个三方场景，其中 Alice、Bob 和 Charlie 对量子比特进行局部投影测量。他们的输入由一个布尔过程函数 $w_L$（Lugano 过程）决定，该函数将输出映射到输入：$x = c(b \oplus 1)$，$y = a(c \oplus 1)$，以及 $z = b(a \oplus 1)$。该设置生成了一个有效的 SHIFT 基投影测量。
2. 构建 QC-QC 模拟： 作者提出了一个替代方案，涉及一个量子开关。他们引入了第四个参与者 Phil（位于全局过去）和第三个参与者 Fiona（位于全局未来），以及 Alice 和 Bob。
   • Alice 和 Bob 执行涉及量子系统经典测量与制备的局部操作。
   • Alice 和 Bob 之间的因果序通过一个量子比特（“控制”系统）受控于一个量子开关过程矩阵（$W_{QS}$）。
   • Fiona 在因果未来执行测量，其设置由 Alice 和 Bob 的经典结果决定。
3. 推导有效测量： 通过在量子开关框架内对控制系统和目标系统进行迹运算，作者推导出了有效测量算符。他们证明，通过特定的局部操作（涉及以经典结果为条件的 Hadamard 门），所得的辅助量子输入上的有效测量与 SHFT 测量是完全一致的。
4. 推广： 他们将这一构造推广到一类更广泛的“经典通信叠加”（LOSupCC）过程，并确定了一个条件（透明控制通道），在该条件下，任何由非因果过程函数可测量的 $N$ 乘积 NLWE 基也可以由 QC-QC 测量。

主要贡献与结果

• 模拟 Lugano 过程： 本文证明了 SHIFT 测量（即非因果 Lugano 过程的运算特征）可以使用带有量子输入的量子开关来实现。这表明 Lugano 过程的“结构”可以通过物理可实现的 QC-QC 进行模拟。
• 重新诠释因果不可分性： 作者表明，在上述量子开关场景中成功辨别 SHIFT 基并不能证实“非因果性”（指在设备无关方式下违反因果不等式），而是证实了因果不可分性——即该过程无法表示为具有确定因果序的过程的凸混合。
• 区分不同场景： 本文澄清了与 SHIFT 测量相关的“非因果性的运算特征”是特定于“局部操作与过程函数”（LOPF）场景的（即参与者共享一个没有全局过去的全局过程函数）。在量子开关场景（一个 $(P+2+F)$-部分场景）中，相同的测量仅能见证较弱概念的因果不可分性。
• LOSupCC 类： 作者识别了一类被称为“局部操作与叠加经典通信”（LOSupCC）的过程。这些过程源自非因果过程矩阵的酉扩展，可以实现表现出既有 NLWE 又有因果不可分性的测量。
• 关于 NLWE 基的定理： 他们证明了一个定理，指出任何在没有全局过去的情况下（满足“透明控制通道”条件）可由布尔过程函数测量的 $N$ 乘积 NLWE 基，同样可以由 LOSupCC 测量。

意义与主张
本文声称解决了关于非因果结构物理实现性的概念模糊问题。作者认为，虽然 Lugano 过程在经典过程函数形式中代表了一种非因果资源，但其特定的运算优势（测量 SHIFT 基）并不需要真正的非因果性（即违反相对论因果律或需要闭合类时曲线）。相反，这种优势可以通过量子控制因果序（量子开关）来实现。

因此，作者断言，成功的 SHIFT 辨别不是非因果性的确定性证据，而是因果不可分性的证据。这一发现重新审视了不定因果序的辩论：在这些模拟中观察到的“非因果”相关性，源于因果不可分信道（量子开关）与一个将经典输出反馈为输入的循环的结合，而非源于根本性的因果结构崩溃。这项工作表明，经典通信的层级可以扩展到包含“经典通信的叠加”，为超越标准 LOCC 的信息处理优势提供了新的视角，且无需诉诸病态的非因果结构。