An extended Wigner's friend no-go theorem inspired by generalized contextuality

受非定域性与广义语境性之间对应关系的启发，本文提出了“非语境友好性”的不可能定理，该定理表明量子理论与“观测事件的绝对性”和“非语境能动性”的联合假设不相容，从而对现有的“局部友好性”不可能定理进行了推广和强化。

要点

以下是用简单语言、类比和隐喻对这篇论文的解读。

全景图：通往现实之路上的新“禁止通行”标志

想象你正试图用一套特定的蓝图（量子理论）来建造一座房子（我们对现实的理解）。长期以来，科学家们一直在努力弄清楚，这些蓝图是否与“房子以单一的、坚实的、客观的方式存在，且所有人都对此达成一致”这一理念相兼容。

这篇论文引入了一条更严格的新规则，用于检验这些蓝图是否有效。作者劳伦斯·瓦莱格姆（Laurens Walleghem）和洛伦佐·卡塔尼（Lorenzo Catani）创造了一个新的“不可能定理”（No-Go Theorem）。你可以把“不可能定理”想象成这样一个标志：“你无法鱼与熊掌兼得。”

具体来说，他们证明了你无法同时拥有：

1. 量子理论（宇宙当前的规则）。
2. 绝对事实（即当某人看到某事时，这对所有人来说都是一个单一的、客观的真理）。
3. 非语境化能动性（关于信息如何传递的一条规则的、稍弱的新版本）。

如果你接受量子理论是正确的，并且上述实验是可行的，你就被迫放弃“被观测的事件是绝对的”这一观念。

---

角色介绍：朋友与超级观测者

要理解这个实验，我们需要认识其中的角色，他们基于一个著名的思想实验——“维格纳的朋友”。

• 查理和黛比：他们是“朋友”。他们身处密封的实验室中。他们对微小粒子（如电子）进行测量并得到结果。对他们而言，结果是真实且最终的。
• 爱丽丝和鲍勃：他们是“超级观测者”。他们位于实验室之外。他们拥有一种神奇的超能力：可以将查理和黛比的整个实验室视为一个巨大的量子物体。

魔术戏法：
通常，一旦查理测量了一个粒子，结果就固定了。但是，作为超级观测者的爱丽丝可以使用“量子擦除器”（一种复杂的幺正操作）来撤销查理的测量。她可以抹去查理对结果的记忆，并逆转整个过程，使得查理仿佛从未测量过任何东西。

两种场景：贝尔 vs. 语境性

这篇论文比较了两种检验现实的不同方式。

1. 旧方法：局部友好性（贝尔场景）

在之前的工作中，科学家们将“朋友”与一种称为贝尔场景的装置结合了起来。

• 类比：想象查理和黛比身处两个不同的城市。他们各自抛一枚硬币。站在外面的爱丽丝和鲍勃可以选择是检查硬币，还是“撤销”抛掷动作。
• 规则：他们假设了局部能动性。这意味着“城市 A 发生的事不能瞬间改变城市 B 发生的事”。
• 结果：他们证明，如果你假设结果是绝对事实，那么量子理论就会打破这一规则。

2. 新方法：非语境化友好性（语境性场景）

在这篇论文中，作者将“贝尔”装置替换为语境性装置。

• 类比：不是两个城市，想象在一个实验室里，查理以不同的方式准备一个粒子（比如给它们涂上不同的颜色），然后由黛比进行测量。
• 规则：他们引入了非语境化能动性。
  • 什么是语境性？ 在量子世界中，你得到的答案往往取决于你如何提问（即语境）。例如，测量粒子的“自旋向上”可能会得到不同的结果，这取决于你是将其与“自旋向左”还是“自旋向右”一起测量。
  • 什么是非语境化能动性？ 这是一种信念，即如果两种不同的粒子准备方式在外部世界看起来完全一样，那么即使没有任何单个人能同时检查这两种方式，它们在内部的“现实”中也应被视为相同。

核心论点：现实的“阴谋”

作者认为，非语境化能动性是一个非常合理的假设。它基于一个称为“无需微调”的原则。

“阴谋”的隐喻：
想象你在烤蛋糕。

• 场景 A：你尝了面糊，味道像巧克力。
• 场景 B：你又尝了一次面糊，但这次你用了不同的勺子。它仍然尝起来像巧克力。
• 规则：如果面糊在这两种场景下味道相同，那么假设原料（即现实）是相同的，这是合乎情理的。

阴谋：
如果当你能够检查时，面糊尝起来味道相同，但当你无法检查时（因为“超级观测者”抹去了关于勺子的记忆），它突然尝起来像香草，那这就是一种阴谋。这意味着宇宙会秘密地改变原料，仅仅因为没人看着。

论文认为：“相信宇宙仅仅因为超级观测者抹去了记忆就改变其规则，这种阴谋论太过分了。”因此，我们必须接受非语境化能动性：规则即使在“被抹去”的事件中也应成立。

结论性打击：矛盾

这里是“不可能”的部分：

1. 量子理论预测，如果爱丽丝和鲍勃使用他们的“量子擦除”能力，结果的统计数据将呈现某种特定模式。
2. 非语境化友好性（绝对事实 + 非语境化能动性的结合）则声称结果必须遵循另一种模式（即假设存在单一、一致的现实）。
3. 冲突：当你进行数学推导时，量子理论和非语境化友好性预测了截然相反的结果。它们不可能同时为真。

为什么这个结果“更强”？

作者声称这个新定理比旧定理“更强”。原因如下：

• 旧规则（贝尔/局部友好性）：要求假设“这里发生的事不会瞬间影响那里发生的事”（局部因果性）。这是关于空间和时间的一条非常严格的规则。
• 新规则（非语境化友好性）：仅要求假设“如果两件事看起来一样，它们就是相同的”（非语境性）。这是关于逻辑和现实的一条更弱、更基本的规则。

类比：
想象你试图证明一座桥是不安全的。

• 旧证明：“这座桥不安全，因为风刮得太大了。”（需要一个特定的、强烈的条件：大风）。
• 新证明：“这座桥不安全，因为砖块是由果冻做的。”（需要一个弱得多的条件：只要砖块是果冻做的）。

如果你能证明即使在没有风的情况下（使用果冻论证），桥也是不安全的，那么你的证明就更强。同样，这篇论文表明，即使我们使用关于现实如何运作的最弱、最基本的假设，量子理论与现实也是不相容的。

结论

如果你相信：

1. 量子理论是正确的。
2. “超级观测者”实验是可行的（这意味着量子理论也适用于观测者）。
3. 宇宙并没有在我们要看的时候“密谋”隐藏其真实本性（非语境化能动性）。

那么，你必须得出结论：被观测的事件并非绝对的。

换句话说，当查理看到一个结果时，那个结果对查理来说可能是真实的，但对爱丽丝来说，它可能并不是一个单一的、客观的事实。在这种观点下，现实是相对于观测者的，即使该观测者是一个能够抹去记忆的“超级观测者”。

这篇论文并不建议这会改变我们今天建造计算机或治疗疾病的方式。这是一个关于现实根本性质以及我们能否用单一、客观的故事来描述宇宙的极限的深刻哲学和数学结果。

技术摘要

技术摘要：受广义语境性启发的扩展维格纳之友无定域性定理

问题陈述
本文探讨了量子理论与经典世界观之间的张力，特别聚焦于当智能体被视为能够执行测量的量子系统时所引发的解释性问题。尽管“局部友好性（LF）无定域性定理”已确立了量子预测与“观测事件的绝对性（AOE）”和“局部能动性（Local Agency）”的联合假设之间的矛盾，但作者旨在推广这一结果。其目标是确定，当用源自“广义语境性”的较弱假设替代“局部能动性”（一种强化版的无信号性）时，是否会产生类似的矛盾。作者试图证明量子理论与“非语境友好性（Noncontextual Friendliness）”场景不相容，从而得出一个比仅基于广义非语境性的无定域性定理更强的定理。

方法论
作者利用了贝尔场景中的非定域性证明与制备 - 测量场景中的语境性证明之间已知的对应关系。方法论步骤如下：

1. 场景构建：作者设计了一个“非语境友好性（NF）”场景（图 4），涉及一个量子系统 $S$ 和三个智能体：爱丽丝（超级观察者）、查理（朋友）和黛比（朋友），随后是鲍勃（超级观察者）。

   • 爱丽丝制备一个量子比特并将其发送给查理。
   • 查理执行测量 $C$（在幺正演化下建模为 $U_C$）。
   • 根据设置 $x \in \{0, 1\}$，爱丽丝要么接受查理的测量结果（$x=0$），要么作为超级观察者通过 $U_C^\dagger$ 撤销查理的测量（$x=1$），从而擦除结果记录。
   • 系统传递给黛比，她执行测量 $D$（建模为 $U_D$）。
   • 根据设置 $y \in \{0, 1\}$，鲍勃要么接受黛比的测量结果（$y=0$），要么通过 $U_D^\dagger$ 撤销她的测量并执行测量 $B$（$y=1$）。

2. 假设：该定理依赖于两个核心假设：

   • 观测事件的绝对性（AOE）：观测到的结果是单一的、客观的事件，而非相对于任何观察者。这意味着即使对于被擦除或对单个智能体不可访问的结果，也存在一个联合概率分布 $p(a, b, c, d|x, y)$。
   • 非语境能动性（Noncontextual Agency）：这被定义为要求：任何在所有变量联合可访问时可验证的操作等价性，在那些变量对单个智能体不可联合访问时仍必须成立。具体而言，它将标准的操作等价性（例如制备独立性）扩展到由 AOE 保证的联合不可访问事件层面。这被呈现为标准操作等价性的更强版本，但却是广义非语境性的较弱版本（后者要求此类等价性在本体论模型内成立）。

3. 证明策略：作者将广义语境性中最简单的非平凡场景（涉及四个制备和两个测量）映射到 NF 设置上。通过假设 AOE 和非语境能动性，他们表明在 NF 场景中观测到的经验相关性必须源自单一的联合概率分布。然而，通过选择特定的量子制备和测量（类比于非语境性不等式的最大违背），他们证明了不存在这样的联合分布，从而导致矛盾。

主要贡献

• 非语境友好性（NF）无定域性定理：本文证明，如果超级观察者能够对观察者及其环境执行任意量子操作，则没有任何物理理论能满足 AOE 与非语境能动性的合取。
• LF 定理的推广：该工作确立了“局部能动性”是“非语境能动性”的一个特例（其中操作等价性即为无信号性）。因此，NF 定理推广了 LF 定理。
• 强度层级：作者证明，NF 无定域性定理严格强于基于广义非语境性的无定域性定理。虽然 NF 场景中的经验相关性与最简单的语境性场景中的相关性相同，但推导矛盾所需的假设（AOE + 非语境能动性）比标准非语境性证明所需的假设（依赖于非语境本体论模型的存在）更弱。
• 能动性的概念重构：本文将“局部能动性”和“非语境能动性”重新诠释为不仅仅是关于相对论因果结构或本体论模型的形而上学承诺，而是“无微调（no fine-tuning）”方法论原则的实例。文章认为，在 AOE 成立的世界中，如果操作等价性在可访问时成立而在不可访问时失效，那将是“阴谋论”式的。

结果
本文推导出了量子力学预测与非语境友好性假设之间的矛盾。具体而言：

• 在 AOE 和非语境能动性下，经验相关性 $\wp(c, d|x=0, y=0)$、$\wp(c, b|x=0, y=1)$、$\wp(a, d|x=1, y=0)$ 和 $\wp(a, b|x=1, y=1)$ 必须是单一联合分布 $p(a, b, c, d|x=1, y=1)$ 的边缘分布。
• 通过选择特定的量子态和测量（例如泡利 $X$ 和 $Z$ 基），这些相关性对应于非语境性不等式的最大违背。
• 根据法恩定理（Fine's theorem），对于这些相关性，这样的联合分布不可能存在。
• 因此，量子理论与非语境友好性不相容。

意义
作者声称，这一结果通过表明即使在比先前基于语境性的无定域性定理所使用的假设更弱的条件下，与量子理论的不相容性依然存在，从而加强了对经典世界观的反驳。

• 强于贝尔/语境性定理：正如 LF 定理强于贝尔定理（因为局部能动性弱于局域因果性）一样，NF 定理强于广义非语境性定理（因为非语境能动性弱于广义非语境性）。
• 方法论与形而上学：一个关键的概念性贡献是将“能动性”假设的正当性基础从形而上学承诺（例如相对论因果结构）转移到方法论原则（无微调）。如果一个人接受量子理论的普适性（允许该场景实现）并坚持无微调原则，那么他就被迫放弃 AOE——即观测事件是绝对的这一假设。
• 未来方向：本文建议该框架可扩展到其他场景，包括涉及有界本体论区分度或超量子理论的场景，并指出 NF 假设涵盖了其他近期假设，如科赫 - 施佩克（Kochen-Specker）语境中的“对易无关性（Commutation Irrelevance）”。

本文结论认为，NF 无定域性定理提供了一个有力的论证：如果量子理论是普适的且假设无微调，那么观测事件就不可能是绝对的，从而在量子观察者的背景下挑战了客观现实的经典观念。