⚛️ quantum physics

Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

本文构建了一个双局部经典理论（bilocal classical theory）的本体模型，旨在证明局部经典性并不保证经典可解释性，从而反驳了先前的猜想，揭示了结构定理中局部层析假设（local tomography assumptions）的局限性，并通过反例证明了这两个概念在本质上是截然不同的。

原作者： Sina Soltani, Marco Erba, David Schmid, John H. Selby

发布于 2026-06-16

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Sina Soltani, Marco Erba, David Schmid, John H. Selby

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下你正在试图理解一个游戏的规则。在物理学中，我们通常有两种看待世界的主要方式：一种是“经典”的方式（就像一副标准的扑克牌，每张牌都有确定的正反面）；另一种是“量子”的方式（就像扑克牌在被观察之前，可能处于多种面值的叠加态）。

这篇论文讨论的是一个特定的、非常奇特的游戏，叫做双局部经典理论（Bilocal Classical Theory, BCT）。作者提出了一个深刻的问题：我们能否用简单的、日常的逻辑（经典性）来解释这个奇特的游戏，即便这个游戏中玩家组合的方式似乎打破了通常的物理定律？

以下是他们发现的拆解，使用了简单的类比。

1. 两种“经典”的方式

该论文区分了两种类型的“经典性”：

局部经典（Locally Classical）： 想象游戏中的每一个玩家都是一个正常、可预测的人。如果你逐一观察他们，他们完全符合常理。
经典可解释（Classically Explainable）： 想象你可以用一个简单的、逻辑性的故事（本体模型）来解释整个游戏，包括玩家如何互动以及如何组合，这个故事符合我们对因果关系的日常理解。

通常，物理学家认为，如果一个游戏在玩家组合时看起来很“奇怪”（具体来说，如果它违反了被称为**局部层析（Local Tomography）**的规则），那么用简单的逻辑故事来解释它将是不可能的。局部层析就像是在说：“要了解一个团队的状态，你只需要检查每一个单独的成员即可。”如果一个游戏违反了这一条，就意味着这个团队拥有某种“秘密握手”或隐藏的联系，而这种联系是你仅通过观察个体时无法看到的。

2. 第一项发现：这个“双局部”游戏是“可解释的”

作者研究了双局部经典理论（BCT）。

设定： 在 BCT 中，每一个单独的玩家都是完全正常的（局部经典）。然而，当两个玩家合力时，他们的组合规则却很奇怪。这就像是两个正常的人牵手时，突然创造出了第三个隐形的个体，而这个个体仅仅是因为他们正在牵手才存在的。你无法仅通过观察 A 个人和 B 个人来弄清楚这对组合正在做什么。
旧观点： 此前的理论认为，由于 BCT 具有这种“隐形第三人”（违反了局部层析），因此不可能创建一个简单的、逻辑性的故事来解释它。它被认为过于奇特，无法用经典方式来解释。
新结果： 作者构建了一个映射图（本体模型），将这个奇特的 BCT 游戏转化为一个标准的、平庸的经典游戏。
- 类比： 想象 BCT 是一个复杂的魔术。作者找到了一种方法，证明这个魔术实际上只是在一个比你想象中大两倍的桌子上进行的标准洗牌过程。他们展示了，尽管“团队”行为看起来很神秘，但你完全可以通过在你对玩家的心理模型中增加一些额外的“隐藏槽位”（本体态）来解释它。
- 结论： 你可以拥有一个在组合时看起来很奇怪的游戏，但它仍然可以用简单的、局部的逻辑来解释。这种“奇特性”并不是一种根本性的谜团；它只是观察层面（细节程度）的问题。

3. 第二项发现：并非所有的“奇特游戏”都是“可解释的”

如果说第一个结果是“是的，这个奇特的游戏是可解释的”，那么作者接着问道：“是否所有奇特的游戏都是可解释的？”

反例： 他们构建了另一种类型的游戏，叫做潜经典理论（Latent Classical Theories, LCT）。
设定： 与 BCT 类似，每个单独的玩家都是正常的。但他们组合的方式更加扭曲。在这个游戏中，当两个玩家组合时，他们有时会创造出一种“幽灵”般的连接，这种连接强大到足以抵消他们之间任何正常的互动。
结果： 作者证明了对于这些特定的游戏，不存在任何简单的故事。你无法构建一个映射，将这个游戏转化为标准的经典游戏。
- 类比： 想象一个游戏，两个正常的人握手，突然间他们变成了一个单一的实体，并且可以“抹除”房间里的任何其他人。无论你如何尝试用标准逻辑（比如“他们只是在握手”）来解释，数学逻辑都会崩溃。这种“幽灵”连接太过于根本，无法通过增加隐藏槽位来解释掉。
- 结论： 仅仅因为一个游戏在观察个体时表现为经典，并不意味着整个游戏都能用经典方式来解释。这种“幽灵”连接是极其根本的，无法通过添加隐藏槽位来化解。

4. 大局观

这篇论文划定了一道分界线：

旧观点： 如果一个理论未能通过“局部层析”测试（即你无法通过观察局部来了解整体），那么它一定是根本性的非经典且不可解释的。
新观点： 这是错误的。
- 有些理论（如 BCT）虽然未能通过测试，但是可解释的。
- 有些理论（如 LCT）虽然未能通过测试，但不是可解释的。

结论：
作者表明，“在内部表现为经典”与“能被简单的故事所解释”之间并没有简单的直线关系。系统如何组合（组合性）是一个至关重要的、独立的因素。你不能仅仅因为部分是简单的，就假设整体也是简单的；或者仅仅因为整体很奇怪，就认为它是不可解释的。你必须观察具体的组合规则才能确定。

简而言之：“局部经典”并不足以保证一个理论是“经典可解释的”。 细节之处（事物如何结合的方式）才是问题的关键。

技术摘要：解耦局部经典性与经典可解释性

问题陈述
本文探讨了在操作概率理论（OPT）框架下，两种不同的“经典性”概念之间的关系：局部经典性（local classicality）与经典可解释性（classical explainability）。

局部经典性： 如果一个理论中的每一个单独系统都是经典的（即其状态空间是一个单纯形且满足无限制假设），则该理论是局部经典的，即使这些系统的组合规则与标准经典理论不同。
经典可解释性： 如果一个理论允许存在一个本体模型（ontological model），则该理论是经典可解释的。这被定义为一个从该理论到标准经典理论（CT）的线性、保持图表（diagram-preserving）且保持确定性（determinacy-preserving）的映射。这一概念等价于该理论是广义非上下文的（generalized noncontextual）。

一个核心问题在于：是否每一个局部经典的理论都允许存在本体模型？此前关于双局部经典理论（BCT）[1] 的研究表明，由于 BCT 违反了局部层析性（local tomography，即复合系统状态完全由局部测量决定的原则），它可能不具备局部实在论的本体模型。相反，其他构造的局部经典理论可能本质上无法实现经典可解释性。本文旨在通过构建显式的模型和反例来解耦这两个概念。

方法论
作者采用了 OPT 的形式化方法以及文献 [2, 6] 中定义的本体模型框架。其方法论涉及两个主要的构造：

为 BCT 构建本体模型的构造：
- 作者定义了一个从 BCT 到标准经典理论（ $\Delta$ ）的线性映射 $\tilde{\xi}$ 。
- 系统映射： BCT 中的一个非平凡系统 $n$ 被映射到一个维度为 $2n$ 的经典系统（具体而言，是 $n$ 维空间与一个二进制空间的张量积）。
- 状态/效应映射： BCT 中的纯态和效应涉及二进制变量（ $s \in \{0,1\}$ ）以及标准指标，它们被映射到使用二进制子空间上的“复制”（copy）和“受控非门”（CNOT）门的经典状态/效应。
- 变换映射： BCT 中的原子变换被映射为经典理论中的亚随机矩阵（substochastic matrices），并保持了 BCT 组合规则的特定结构（该规则涉及通过二进制变量进行的指标“扭曲”）。
- 一致性检查： 作者严格验证了该映射满足所需的属性：线性、保持图表（保持顺序组合、并行组合、恒等映射和交换映射）以及保持确定性（将确定性变换映射为确定性变换）。
构建反例（潜在经典理论 - LCTs）：
- 作者利用了从文献 [76] 引入并适配于经典系统的“潜在理论（latent theory）”构造。
- 定义： LCTs 由一种组合规则定义，其中两个系统的复合 $C_1 \otimes C_2$ 包含一个额外的“潜在”因子空间 $L_{12}$ （即 $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$ ）。
- 条件： 潜在状态 $|\kappa\rangle_{L_{12}}$ 被选择为非满秩（即不覆盖整个潜在空间）。
- 不存在性证明： 作者证明，如果潜在状态不是满秩的，则存在一个非零的双体效应（bipartite effect），它会湮灭每一个乘积态。他们论证了此类理论不存在任何本体模型，因为保持图表的性质要求该效应必须映射到经典理论中的零效应，这与该效应在特定复合态上的概率保持性相矛盾。

主要贡献与结果

为 BCT 构建本体模型（定理 2.3）：
本文构建了第一个针对整个违反局部层析性的理论的本体模型。这一结果反驳了文献 [1] 中的猜想，即 BCT 可能缺乏局部实在论的本体模型。
- 启示： 局部层析性的失效并不一定排除经典可解释性。BCT 中非局部层析性的自由度可以通过在局部添加额外的本体状态来解释。
LCTs 不存在本体模型的证明（定理 3.2）：
作者证明了具有非满秩潜在状态的**潜在经典理论（Latent Classical Theories）**并不允许存在任何本体模型。
- 启示： 并非所有局部经典的理论都是经典可解释的。在某些组合规则（特别是那些允许强烈违反局部层析性的规则）与非上下文隐变量模型的存在之间，存在着根本性的张力。
概念的解耦：
结果表明，局部经典性与经典可解释性是相互独立的属性。一个理论可以是局部经典的但不是经典可解释的（如 LCTs），也可以是局部经典且经典可解释的，即便它违反了局部层析性（如 BCT）。

意义与主张
本文声称这些发现对于理解经典性的基础具有重要意义：

结构定理的局限性： 该结果表明，作为文献 [2] 中广义非上下文模型结构定理基础的“局部层析性”假设是一个真实的局限。即使是局部经典的，如果违反了局部层析性，该定理也不再适用。
组合属性的核心地位： 作者认为，系统如何组合（组合规则）并非技术性的次要问题，而是理解经典性的核心且不可回避的问题。区分“局部经典但全局非经典（就可解释性而言）”的理论，凸显了组合结构的重要性。
澄清经典性： 本文提供了一个具体的例子（BCT），在该例子中，通过其底层的本体模型来理解该理论比通过其原始的操作形式化更为简单，这类似于 Spekkens 的玩具理论对奇数维稳定器子理论的澄清作用。
不存在直接关系： 研究结果确立了一个理论具有局部经典性与其具有经典可解释性之间不存在直接的联系。作者建议未来的工作应致力于寻找能够区分哪些局部经典理论允许存在本体模型的物理原理。

论文总结道，组合属性的状态对于构建连贯的经典性理解至关重要，这超越了将局部层析性视为经典可解释性必要条件的传统观点。

1. 两种“经典”的方式

2. 第一项发现：这个“双局部”游戏是“可解释的”

3. 第二项发现：并非所有的“奇特游戏”都是“可解释的”

4. 大局观

技术摘要：解耦局部经典性与经典可解释性

类似论文