A refined Frauchiger--Renner paradox based on strong contextuality

本文基于强语境性的 GHZ–Mermin 情形提出了一种改进的 Frauchiger–Renner 悖论，该情形消除了对后选择及建模观察者进行量子推理的需求，并假设量子理论的普适性，提出对 Peres 格言的扩展以解决此类扩展的 Wigner 朋友悖论。

要点

以下是论文《基于强语境性的改进版 Frauchiger–Renner 悖论》的通俗解释，采用日常类比进行说明。

大局观：一场量子家庭纷争

想象一群朋友试图解开一个谜团。在量子物理的世界里，当你拥有“超级观察者”——即能够观察其他人观察事物，同时又将这些观察者本身视为量子谜题一部分的人——时，事情会变得非常诡异。

2016 年，两位科学家（Frauchiger 和 Renner）提出了一个著名的思想实验，表明如果每个人都遵循量子力学的规则，最终会得出逻辑矛盾。这就像一场家庭争吵，每个人根据自己的视角都是对的，但当他们交换意见时，数学却告诉他们“不可能”。

这篇由 Walleghem 及其同事撰写的新论文指出：“我们找到了一种方法，使这一论证更加有力、更简洁、更难以忽视。”他们将其新版本称为GHZ–FR 悖论。

旧问题："Hardy"谜题

要理解新版本，我们先看看旧版本（即 Frauchiger–Renner 或 FR 悖论）。

• 设定：想象 Alice 和 Bob 身处密封的房间内。他们测量一枚量子硬币。在房间外，两位“超级观察者”（Ursula 和 Wigner）观察着整个房间。
• 故障：原始悖论依赖于一种特定的量子设置，称为Hardy 模型。这个模型有点像一场“也许”游戏。它只有在运气好、得到特定结果时才成立。
  • 类比：想象 Ursula 和 Wigner 正在抛硬币。只有当他们都得到“正面”时，悖论才会发生。如果他们得到“反面”，论证就会瓦解。因此，他们必须丢弃所有未得到“正面”的轮次。这被称为后选择。这就像说：“我们只计算我们获胜的游戏。”
• 推理：在旧版本中，房间内的人（Alice 和 Bob）必须进行复杂的量子推理，才能向外部传递信息。

新解决方案："GHZ"谜题

作者们意识到，他们可以将"Hardy"谜题替换为一个更强大的模型，称为GHZ–Mermin 模型。

• 不再“也许”：GHZ 模型就像一把完美的锁。无论结果如何，矛盾每一次都会发生。
  • 类比：在旧游戏中，你必须等待特定的幸运投掷才能看到故障。而在这个新游戏中，无论你怎么掷骰子，故障都会发生。你不需要丢弃任何结果。
• 更简单的推理：在新版本中，房间内的人（Alice、Bob、Charlie）不需要进行任何复杂的量子推理。他们只需测量他们的硬币。“超级观察者”（Ursula、Valentina、Wigner）负责思考。
  • 类比：想象三个朋友（Alice、Bob、Charlie）在各自的房间里抛硬币。三位外部侦探（Ursula、Valentina、Wigner）观察着他们。侦探们不需要是量子天才；他们只需要是合乎逻辑的普通人。当他们聚在一起交换意见时，会意识到彼此的记录相互矛盾。

游戏的三条规则

该论文认为，这种矛盾证明我们无法同时让以下三个观点都成立：

1. 量子理论的普适性：即量子规则适用于一切，甚至包括像人和实验室这样的大物体。“超级观察者”可以将整个实验室视为单个量子对象。
2. 绝对真理（或“事实就是事实”）：即当测量发生时，存在一个单一的、真实的答案。如果 Alice 看到“正面”，那么“正面”对所有人、在任何地方都是绝对真理。
3. Born 兼容性：即如果你使用标准量子数学（Born 规则）来预测可能发生的情况，你的预测应该与你最终看到的现实相符。

悖论：该论文表明，如果你相信 #1（超级观察者存在）和 #3（量子数学有效），那么 #2（绝对真理）必须为假。或者，如果你相信 #2，那么 #1 或 #3 必须是错误的。

提出的修正方案：“观测事件的相对性”

如果我们接受超级观察者是可能的（规则 #1）且量子数学是有效的（规则 #3），我们该如何解决这一矛盾？

作者们提出了一种新的思维方式，称为观测事件的相对性。

• 类比：想象一张纸上写着一封秘密信件，放在一个密封的盒子里。
  • Alice 打开盒子，看到了“你好”。对 Alice 来说，事实就是“你好”。
  • Bob 在盒子外面。在他打开盒子（或询问 Alice）之前，从他的视角来看，这张纸仍然是“你好”和“再见”的“量子叠加态”。
  • 规则：在你实际获知一个事实（如“你好”）之前，你不能给它赋予一个值。
• 新原则：“未执行的实验没有结果，且未知的结果没有值。”

这意味着，Ursula（超级观察者）不能断言"Bob 肯定看到了正面”，直到她实际询问 Bob 或检查他的实验室。在她这样做之前，这对她来说还不是一个“事实”。它仅仅是一种可能性。

为何这很重要

该论文得出结论，这不仅仅是一个棘手的数学谜题。它迫使我们必须在以下选项中选择：

1. 放弃“对所有人而言存在单一、绝对现实”的观点（事实是相对于被询问者而言的）。
2. 放弃“量子力学适用于一切”的观点（也许像实验室这样的大物体不能被当作量子对象处理）。
3. 放弃“我们的标准量子预测总是以我们预期的方式与现实相符”的观点。

作者们倾向于第一种选择：事实是相对的。只有当观察者实际获知结果时，测量才会对该观察者成为一个“事实”。在此之前，它仅仅是一个量子可能性。

一句话总结

这篇论文证明，如果量子力学适用于每个人（包括观察实验的人），那么整个宇宙就不存在单一的“绝对真理”；事实只有在观察者实际获知它们时才会成为现实。

技术摘要

技术摘要：基于强语境性的改进版 Frauchiger–Renner 佯谬

问题陈述

Frauchiger–Renner（FR）佯谬（2016）揭示了量子理论在用于描述自身时所表现出的表观不一致性。在一个扩展的 Wigner 朋友场景中，代理（超级观察者）将其他代理建模为量子系统，并推理彼此的知识，从而导致关于测量结果的逻辑矛盾。虽然 FR 佯谬依赖于逻辑语境性的 Hardy 模型，但它需要对特定测量结果进行后选择，并涉及那些自身也被量子建模的代理的推理。本文指出，FR 佯谬的逻辑结构由“逻辑非局域性”（Hardy）支撑，并试图基于“强语境性”（GHZ–Mermin）构建一个更强的佯谬，以推导出更稳健的无定理论。

方法论

作者采用了一个结合量子信息理论、语境性的层论方法以及认识逻辑的框架。方法论分为三个主要阶段：

1. FR 佯谬分析：作者首先证明，通过修改推理阶段，使得仅由“经典代理”（即在协议中未被其他代理建模为量子系统的代理）进行推理，可以加强 FR 佯谬。他们确定其底层机制为 Hardy 模型，这是一种无需不等式的非局域性证明，依赖于可能性的（零概率与非零概率）论证。
2. GHZ–FR 佯谬构建：利用贝尔非局域性场景与扩展 Wigner 朋友场景之间的映射，作者基于 GHZ–Mermin 模型构建了一个新佯谬。该模型表现出“强语境性”，意味着不存在与局部可能性一致的全局结果分配，这与 Hardy 模型（其中存在某些全局分配）不同。
3. 无定理论推导：作者形式化了佯谬成立所需的假设，并推导了两个不同的无定理论：
   • GHZ–FR 真理无定理论：基于所有观测事件具有绝对、单值真理的假设。
   • GHZ–FR 一致无定理论：一个更强的结果，用“个人知识”（代理可以相对于自身分配结果）和“经典一致性”（经典通信的代理必须在重叠结果上达成一致）取代了绝对真理的假设。

主要贡献

1. GHZ–FR 佯谬

本文引入了一种涉及三对观察者 - 超级观察者（Alice/Ursula、Bob/Valentina、Charlie/Wigner）共享 GHZ 态的新协议。

• 协议：观察者（A、B、C）在 $Y$ 基下测量他们的量子比特。随后，超级观察者（U、V、W）对观察者及其量子比特的组合系统执行“超级测量”（类 X 测量）。
• 与 FR 的对比：与 FR 佯谬不同，GHZ–FR 佯谬不需要后选择。矛盾出现在超级观察者获得特定结果的每一次协议运行中，而不仅仅是在后选择的子集中。此外，推理完全由经典代理（测量后的超级观察者）执行，消除了量子代理推理其他量子代理的需求。

2. GHZ–FR 真理无定理论

该定理证明了三个假设的不相容性：

• 量子理论的普适性：超级观察者存在，并且可以将实验室建模为幺正演化的封闭量子系统。
• 观测事件的绝对性（AOE）：每次执行的测量都有一个绝对的、单值的结果。
• 玻恩相容性：代理对可能性玻恩规则的使用提供了关于这些绝对结果的有效预测，即使该代理并未在物理上收集所有结果。

证明表明，超级观察者的玻恩规则预测（源自 GHZ-Mermin 奇偶方程）与存在将测量映射到结果的单一全局分配函数 $f$ 是相互矛盾的。

3. GHZ–FR 一致无定理论

该定理弱化了假设，使矛盾更加稳健。它将 AOE 替换为：

• 个人知识：代理可以为其认为能够访问的测量分配单值结果。
• 经典一致性：如果经典代理进行通信，他们的结果分配必须在他们知识的重叠部分达成一致。

该定理证明，即使不假设绝对真理，普适性、个人知识、经典一致性和玻恩相容性的组合也会导致矛盾。这意味着，如果超级观察者存在，经典代理即使在通信时也无法一致地就结果值达成一致，除非放弃其他假设之一。

4. 拟议的解决方案：玻恩实用性

为了在保持量子理论普适性的同时解决该佯谬，作者提出了一个称为玻恩实用性（或观测事件的相对性）的原则。

• 原则：代理只能使用玻恩规则来制定以实际获知这些结果为条件的结果预测。
• 含义：“未执行的实验没有结果，未知的结果没有值。”除非代理（例如 Ursula）实际询问 Bob，否则她不能断言 Bob 的结果 $b$ 具有确定的值。在 GHZ–FR 协议中，超级观察者从未向观察者询问他们的结果；他们仅推理如果他们确实询问会发现什么。通过将预测限制为条件语句（“如果我询问，我将发现……"），逻辑矛盾得以避免，因为代理从未同时拥有触发不一致性所需的联合知识。

结果

• 更强的非局域性：本文确立了 GHZ–Mermin 模型（强语境性）比 Hardy 模型（逻辑语境性）为 Wigner 朋友佯谬提供了更强大的基础，消除了对后选择的需求。
• 精细化的假设：这项工作澄清了矛盾并不依赖于量子代理推理其他量子代理（这是先前文献中的争议点），而是源于经典代理对量子系统的推理。
• 推理原则的失效：GHZ–FR 佯谬使文献中提出的特定推理原则集（例如参考文献 [88] 中的那些）失效，这些原则试图通过限制受超级测量代理的预测来解决 FR 佯谬，因为这些原则不适用于 GHZ–FR 设置中的经典代理。

意义与主张

作者声称，GHZ–FR 佯谬代表了 FR 佯谬的“严格更强”版本。其意义在于：

1. 稳健性：通过消除后选择和量子代理推理，该佯谬适用于更广泛的场景，并依赖于更少、更自然的假设。
2. 基础澄清：它通过表明即使仅由经典代理进行推理（只要他们接受量子理论的普适性并能够为他们认为可访问的测量分配结果），不一致性也会产生，从而 sharpened 了关于测量问题的辩论。
3. 解决路径：本文提出，如果接受超级观察者，最自然的解决方案是采用玻恩实用性。这将 Peres 的格言（“未执行的实验没有结果”）扩展为包含“未知的结果没有值”这一概念，有效地使测量结果相对于获知它们的代理而言是相对的。这表明，“观测事件的绝对性”是必须在拥有超级观察者的宇宙中为保持一致性而拒绝的特定假设。

本文最后指出，这些结果为研究测量问题、量子态的本质（认识论的 vs. 本体论的）以及不同拟议解决方案（如关系量子力学和隐变量理论）之间的关系开辟了新的方向。