Absence of gravitationally induced entanglement in certain semi-classical theories of gravity

本文表明，包括牛顿 - 薛定谔模型和玻姆类比在内的一类特定半经典引力模型无法在宏观系统之间产生纠缠，从而在拟议的实验测试背景下将它们与标准量子引力预测区分开来。

要点

以下是用通俗语言和创造性类比对该论文的解读。

核心问题：引力是量子现象吗？

想象你有两个重物，比如两个微小的保龄球。在量子物理世界中，这些球可以同时处于两个位置（即“叠加态”）。科学家 Bose、Marletto 和 Vedral（BMV 团队）提出了一个巧妙的实验：如果你让这两个量子球仅通过引力相互作用，它们会变得“纠缠”吗？

纠缠是一种诡异的连接，两个粒子无论相距多远，都会作为一个整体行动。BMV 团队认为：如果引力能让两个物体发生纠缠，那么引力本身必须是一种量子力，而非经典力。

然而，一些科学家（如 Döner 和 Großardt）争辩道：“且慢！也许引力保持经典状态（像平滑、连续的场），但仍然能产生这种诡异的连接。”

作者的观点：“可分离”之墙

这篇由 Ward Struyve 撰写的论文指出：“不，那是不可能的。”

Struyve 审视了一类特定的理论，其中引力被视为作用于量子粒子的经典力。他认为，在这些特定模型中，引力就像一堵个性化的、无法沟通的墙。

以下是类比：
想象两个人，Alice 和 Bob，分别站在不同的房间里。

• 标准量子观点（牛顿引力）： Alice 和 Bob 由一根共享的绳子连接。如果 Alice 拉绳子，Bob 会瞬间感觉到。他们是相连的。这使他们能够完美协调行动（纠缠）。
• 半经典模型（Struyve 分析的那些）： Alice 和 Bob 在各自拥有私人镜子的房间里。
  • Alice 看着镜子，看到了 Bob 的倒影。
  • Bob 看着镜子，看到了 Alice 的倒影。
  • 关键在于： Alice 的镜子只显示她自己对 Bob 的想象，而 Bob 的镜子只显示他自己对 Alice 的想象。他们是对自己私人的倒影做出反应，而不是直接对彼此做出反应。

因为他们是对各自独立的倒影做出反应，所以他们永远无法真正“同步”或发生纠缠。即使他们受到对方概念的影响，他们的运动依然保持独立。

三种“镜子”模型

Struyve 检查了三种使用这种“镜子”方法的具体理论，并证明它们都无法产生纠缠：

1. 牛顿 - 薛定谔（NS）模型：

   • 类比： “镜子”是由模糊的概率云构成的。Alice 感受到的引力取决于 Bob 模糊云的平均形状。
   • 结果： 由于云只是可能性的总和，Alice 感受到的引力也只是独立力的总和。它无法将两者联系起来。

2. 玻姆类比（NSB）：

   • 类比： “镜子”是由一个单一的、真实的点构成的（像一个小点）。Alice 感受到的引力取决于 Bob 的点此刻的确切位置。
   • 结果： 即使这个点是真实的，Alice 和 Bob 仍然处于不同的房间。Alice 对 Bob 的点做出反应，Bob 对 Alice 的点做出反应，但他们并不共享单一的量子态。

3. Döner 和 Großardt 模型：

   • 类比： 这是声称打破规则的那个模型。它是上述两种镜子的混合体。
   • 结果： Struyve 表明，该模型实际上只是一个数学把戏。它看起来像是建立了一种连接，但如果你仔细观察，它仍然是两面独立的镜子。该模型的作者在计算中犯了错误，混淆了计算不同部分时使用的是哪个“点”。

“加性可分离”规则

这篇论文使用了一个复杂的数学术语：“加性可分离”。

把它想象成食谱。

• 产生纠缠的引力（标准）： 食谱是冰沙。你将 Alice 和 Bob 混合在一起。你无法再将他们分开。
• 不产生纠缠的引力（半经典）： 食谱是沙拉。你有一碗 Alice 的生菜和一碗 Bob 的番茄。你可以把它们放在一个大碗里混合，但它们仍然只是紧挨着的生菜和番茄。你可以将它们重新分离回各自的碗里。

Struyve 证明，在这些半经典理论中，引力永远是一种“沙拉”。它将 Alice 和 Bob 的影响分别相加，因此它们永远不会融合成单一的量子冰沙。

这对实验意味着什么？

该论文得出结论，如果进行 BMV 实验：

• 如果结果显示纠缠（负见证）： 这证明引力是量子的（像冰沙）。
• 如果结果显示没有纠缠（正见证）： 这表明引力可能是经典的（像沙拉），具体遵循 Struyve 分析的模型之一。

该论文提供了一种方法，通过观察一种称为“纠缠见证”的特定测量，来区分“冰沙”（标准量子引力）和“沙拉”（这些特定的经典理论）。

总结

Ward Struyve 的论文是一个数学证明，表明某些将引力视为经典力的方法根本无法产生量子纠缠。他展示了声称能做到这一点的模型实际上计算有误。因此，如果即将到来的实验发现了纠缠，那将是引力确实是一种量子力的有力证据，而这些特定的经典理论则是错误的。

技术摘要

以下是 Ward Struyve 论文《某些半经典引力理论中引力诱导纠缠的缺失》的详细技术总结。

1. 问题陈述

本文解决的核心问题是量子力学与引力的调和。Bose 等人（BMV）以及 Marletto 和 Vedral 提出了一项著名的桌面实验方案，旨在检验引力是否能在两个处于空间叠加态的大质量系统之间诱导纠缠。主流观点认为，如果引力能够产生纠缠，那么它必然是一个量子实体。

然而，这一主张受到了作者（特别是 Döner 和 Großardt）的挑战，他们提出了半经典模型，其中引力保持经典性质却仍能产生纠缠。Struyve 的论文旨在反驳这一具体的反例，并更广泛地证明，一大类半经典引力模型（其中引力在薛定谔方程中被视为经典势）无法产生纠缠。

2. 方法论

作者分析了一类由以下框架定义的半经典模型：

• 系统描述：系统由波函数 $\psi_t(x)$ 和构型 $Q_t$（例如粒子位置）描述。
• 动力学：波函数根据非线性薛定谔方程演化：
  $$i\hbar\partial_t\psi_t(x) = \left[ -\sum \frac{\hbar^2}{2m_i}\nabla_i^2 + V(x, t; \psi_t, Q_t) \right] \psi_t(x)$$
  其中势 $V$ 可能依赖于波函数或构型。
• 关键判据：论文考察了势的可加可分性。如果势可以写成单粒子势之和，则称其为可加可分的：
  $$V(x, t) = \sum_{i=1}^N V_i(x_i, t)$$
• 考察的模型：
  1. 牛顿 - 薛定谔（NS）模型：引力由波函数的质量密度（$|\psi|^2$）源生。
  2. 牛顿 - 薛定谔 - 玻姆（NSB）模型：引力由实际的点粒子位置（玻姆轨迹）源生。
  3. GRW 型类比：引力由“闪光”（坍缩事件）源生。
  4. Döner-Großardt 模型：NS 和 NSB 模型之间的插值。
  5. 标准牛顿势：标准的量子处理，其中势同时依赖于所有粒子的位置（不可分）。

作者将这些模型应用于 BMV 提出的具体实验装置，计算时间演化态，并评估纠缠见证（由 Chevalier 等人提出），以确定是否产生了纠缠。

3. 主要贡献与理论证明

论文提供了关于纠缠生成的两个主要理论证明：

• 可分势的非纠缠证明：
  作者证明，如果势 $V$ 是可加可分的，则动力学无法从初始可分态生成纠缠。

  • 逻辑：如果势是可分的，哈密顿量可以分解为相互对易的单粒子哈密顿量之和（在固定背景构型或波函数的语境下）。时间演化算符分解为单粒子幺正算符的乘积。因此，乘积态 $\psi_0 = \prod \psi_i$ 在所有时刻仍保持为乘积态 $\psi_t = \prod \psi_i(t)$。
  • 推论：即使势依赖于 $\psi$ 或 $Q$，只要这种依赖保持了可加可分结构，该结论依然成立。

• 对 Döner-Großardt 反例的驳斥：
  论文专门针对 Döner 和 Großardt 声称能产生纠缠的模型进行了处理。Struyve 证明他们的模型依赖于计算错误：

  • Döner 和 Großardt 错误地假设单个波函数随相位因子演化，而这些相位因子在叠加态的每一项中使用了不同的粒子构型进行计算。
  • Struyve 表明，在玻姆式语境（或任何具有确定轨迹的模型）中，系统演化为四个不同可分态的统计混合（对应四种可能的轨迹组合）。
  • 由于系综是可分态的混合，整个系统并未纠缠。

4. 结果：BMV 实验分析

作者将理论框架应用于涉及两个处于空间叠加态（$|L\rangle$ 和 $|R\rangle$）质量的 BMV 实验装置。

• 标准牛顿势（$V_N$）：

  • 势不可加可分（它依赖于粒子 1 和粒子 2 之间的距离）。
  • 结果：态演化为纠缠叠加态。
  • 见证（$W_N$）：纠缠见证 $W$ 在特定时刻变为负值，表明存在纠缠。

• 半经典模型（NS, NSB, Döner-Großardt）：

  • 势是可加可分的（每个粒子感受到由另一个粒子源生的势，但相互作用项分裂为单粒子项）。
  • 结果：态保持可分（或是可分态的混合）。
  • 见证（$W_{NS}, W_{NSB}$）：纠缠见证在所有时刻保持非负（$W \geq 0$）。

• 定量比较：
  使用原始 BMV 提案中的参数（$d=450\mu m$, $\delta=250\mu m$, $m=10^{-14}kg$），论文绘制了见证 $W$ 随时间的变化。

  • $V_N$ 显示出振荡并跌至零以下（纠缠）。
  • $V_{NS}$ 和 $V_{NSB}$ 保持严格为正（无纠缠）。

5. 意义与影响

• 验证“量子引力”论点：本文加强了这一论点，即在 BMV 实验中观察到引力诱导的纠缠确实将是引力具有量子性质的证据。它排除了一类被认为能模拟量子行为的“漏洞”半经典理论。
• 实验判别：本文证明，BMV 实验不仅仅是在二元意义上测试“量子与经典”，而且可以根据纠缠见证的行为，具体区分标准牛顿势与半经典模型（如 NS 或 NSB）。
• 澄清半经典动力学：它阐明了，虽然具有可分势的半经典模型允许非局域依赖（即粒子 A 的演化依赖于粒子 B 的位置），但这种依赖不足以产生量子纠缠。
• 修正文献：它纠正了 Döner 和 Großardt 的错误主张，确保未来关于引力量子性质的理论辩论建立在准确的数学基础之上。

总之，Struyve 确立了可加可分性是半经典引力模型中不存在纠缠生成的充分条件。因此，任何依赖此类势的半经典理论都将无法复现具有牛顿势的标准量子力学所预测的纠缠，从而使 BMV 实验成为一种可行的判别工具。