Classical Explanations in (and of) General Probabilistic Theories

Each language version is independently generated for its own context, not a direct translation.

这是一篇关于**“如何用经典世界的逻辑去解释量子世界（或其他奇怪的概率世界）”**的数学论文。

为了让你轻松理解，我们可以把这篇论文想象成在讨论**“如何给一个神秘的魔术表演写一本‘幕后说明书’"**。

1. 核心问题：魔术 vs. 说明书

经典世界（说明书）： 就像你玩扑克牌。如果你有两副牌，你可以把它们放在桌子上，同时看两副牌。所有的结果都是确定的，你可以把两个实验“拼”在一起做。
量子世界（魔术）： 就像量子力学。有些实验是“互斥”的（比如你不能同时知道一个粒子的位置和速度）。你没法把它们简单地拼在一起做。这就像魔术师变了一个你看不懂的戏法，你无法用普通的扑克牌逻辑来解释它。

作者的核心观点是： 即使量子世界看起来这么“反直觉”，我们总是能找到一个“经典世界”的模型来解释它。但这有个代价：这个解释要么丢失了“局域性”（Local），要么丢失了“上下文无关性”（Contextuality）。

2. 什么是“解释”（Explanation）？

在论文里，作者定义了一种叫“解释”的东西。你可以把它想象成**“搭建一座桥梁”**：

A 是那个神秘的魔术模型（比如量子力学）。
B 是那个普通的经典模型（比如经典的概率分布）。
解释（Bridge）： 我们找一个中间模型 C。
- 从 C 到 A，我们扔掉一些细节（就像把很多不同的路合并成一条大路，这叫“商映射”）。
- 从 C 到 B，我们保留所有细节，只是换个名字（这叫“嵌入”）。

通俗比喻：
想象 A 是一个被加密的复杂密码（量子态）。
B 是一个普通的明文列表（经典概率）。
“解释”就是找到一本字典（模型 C）。

这本字典里包含了所有可能的明文（B）。
但是，当我们把字典里的内容翻译成密码（A）时，我们故意把很多不同的明文合并成了一个密码。
所以，虽然 A 看起来很难懂，但它其实只是 B 的一种“压缩版”或“模糊版”。

3. 主要发现：每个人都能找到“经典说明书”

作者证明了两个惊人的事实：

只要你的魔术不是无限复杂的（局部有限），你总能找到一本“经典说明书”。
- 不管你的量子模型多奇怪，作者都构造了一个叫 Bor(A) 的东西。这就像是一个**“万能翻译机”**。
- 它把任何量子模型都“翻译”成了一个经典的、基于集合的概率模型。
- 结论： 从数学上讲，没有什么是真正“非经典”的，只要你不介意把解释变得很复杂。
这个翻译是“尖锐”的（Sharp）。
- 这意味着在翻译后的经典世界里，所有的结果都是确定的（要么发生，要么不发生），没有模糊地带。
- 但是，为了达到这种确定性，我们必须接受一些奇怪的设定（比如“隐变量”）。

4. 最大的代价：纠缠与“鬼魅般的超距作用”

这是论文最精彩、也最反直觉的部分。

当我们要解释两个纠缠在一起的粒子（比如量子纠缠）时，这个“经典说明书”会露出马脚。

比喻：
想象你有两个骰子 A 和 B。在经典世界，如果你把它们扔得足够远，它们的结果应该是独立的，或者至少是可以通过某种“共同原因”（比如你扔骰子的手势）来解释的。
但在量子世界，这两个骰子纠缠了：A 是 6，B 就一定是 1，哪怕它们隔着银河系。
作者的发现：
如果你强行用上面的“经典说明书”（Bor）去解释这种纠缠，你会发现：
- 在说明书的底层（那个“字典”C 里），确实存在确定的状态。
- 但是！ 这些底层状态是**“超距作用”（Signalling）**的。
- 也就是说，为了在经典层面解释量子纠缠，你必须假设：在底层世界里，A 的变化会瞬间影响 B，哪怕它们相隔万里。

简单说：
你可以用量子力学解释经典世界，也可以用量子力学解释量子世界。但如果你想用量子力学解释纠缠，你就必须承认：在更深层的经典现实里，信息是可以瞬间传递的（非局域的）。

5. 哲学总结：我们该信什么？

论文最后提出了三种看待这个结果的态度：

态度一（物理学家视角）： 那个底层的“超距作用”是不存在的，是物理上不允许的。所以，世界本质上是非经典的。量子力学就是它本来的样子，不需要强行用经典逻辑去解释。
态度二（隐变量视角）： 那个底层的“超距作用”是存在的，是世界的真实架构。世界本质上是经典的，只是它非局域（允许瞬间通讯）。我们之所以没看到瞬间通讯，是因为大自然“微调”了规则，让我们只能看到不传递信息的表象。
态度三（定义视角）： 如果“经典”的定义里必须包含“局域性”（不能瞬间通讯），那么世界就是非经典的。

一句话总结

这篇论文告诉我们：数学上，你总能把任何奇怪的量子概率模型“还原”成一个经典的、确定的模型。但代价是，这个经典模型必须允许“鬼魅般的超距作用”。

如果你拒绝接受“瞬间通讯”，那么你就必须承认：世界在本质上就是非经典的，量子纠缠是真实存在的“魔法”，无法被任何局域的经典逻辑完全驯服。

Each language version is independently generated for its own context, not a direct translation.

这篇论文《一般概率理论中的经典解释（及其解释）》（Classical Explanations in (and of) General Probabilistic Theories）由 John Harding 和 Alex Wilce 撰写，旨在为广义概率理论（包括量子力学）提供一个统一的、范畴论视角的“经典解释”框架。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

核心矛盾：经典概率理论假设所有实验都有共同的细化（common refinements），因此可以联合执行。然而，量子力学（QM）表明存在不相容的实验（incompatible experiments），这一假设在量子领域失效。
现有局限：现有的广义概率理论主要沿两条路线发展：“量子逻辑”（用正交补偏序集替代布尔代数）和“凸集”（用任意凸集替代单纯形）。虽然已有定理表明，在放弃“无上下文性”（non-contextuality）和“局域性”（locality）的前提下，这些模型可以嵌入经典模型，但这些结果分散在不同的形式框架中，缺乏统一性，且对“经典解释”的定义不够明确。
目标：作者希望建立一个统一的框架，定义什么是“一个概率模型由另一个模型解释”，并探讨这种解释在复合系统（composite systems）中的性质，特别是它与纠缠（entanglement）和贝尔非局域性（Bell non-locality）的关系。

2. 方法论 (Methodology)

作者采用范畴论（Category Theory）作为主要工具，构建了一个名为 Prob 的范畴，其对象是具体的概率模型，态是特定的映射。

概率模型的定义：
- 测试空间（Test Space）：一组非空集合的集合，代表可能的实验及其结果。
- 概率模型 (PM)：由测试空间 $M$ 和状态空间 $\Omega$ （定义在 $M$ 上的概率权重集合）组成的对 $(M, \Omega)$ 。
- 范畴 Prob：对象是概率模型，态是测试空间态射（Test space morphisms），需满足特定的保态条件（即拉回状态必须是亚归一化的状态）。
“解释”的定义 (Definition of Explanation)：
- 作者定义模型 $A$ $A$ 被模型 $B$ $B$ 解释，如果存在一个中间模型 $C$ $C$ ，使得：
  1. $q: C \to A$ 是一个商态射（Quotient morphism，即满射，忽略某些区分度）。
  2. $e: C \to B$ 是一个嵌入态射（Embedding，即单射，将 $C$ 视为 $B$ 的子模型）。
- 在范畴论语言中，这构成了一个张量积（Span）： $A \leftarrow C \hookrightarrow B$ 。
- 这种结构允许通过“拉回”（Pullback）构造来组合解释，证明了“解释”关系的传递性。
Borelification 函子：
- 作者构造了一个自函子 $\text{Bor}: \text{Prob} \to \text{Prob}$ 。
- 对于任何局部有限（locally-finite）的概率模型 $A$ ， $\text{Bor}(A)$ 是一个经典 Borel 模型。
- 构造过程涉及：
  1. 取 $A$ 的“半经典覆盖”（Semiclassical cover） $\tilde{A}$ 。
  2. 取 $\tilde{A}$ 上所有**色散自由（dispersion-free, d.f.）**概率权重的集合 $S$ （即确定性状态）。
  3. 构建基于 $S$ 的 Borel 测试空间。
  4. 利用 Choquet 边界理论和重心（barycenter）理论，证明 $A$ 中的任何状态都可以表示为 $S$ 上某个测度的重心。

3. 主要贡献与结果 (Key Contributions & Results)

A. 经典解释的存在性与规范性

定理 3.4：每一个局部有限的概率模型 $A$ $A$ 都有一个规范的经典解释。
- 具体而言， $A$ 是其半经典覆盖 $\tilde{A}$ 的商，而 $\tilde{A}$ 可以嵌入到一个经典的 Borel 模型 $\text{Bor}(\tilde{A})$ 中。
- 这意味着，任何广义概率理论（作为从物理系统范畴到 Prob 的函子）都有一个规范的经典表示（即 $\text{Bor} \circ M$ ）。
与现有理论的联系：
- 该框架推广了 Beltrametti-Bugajski 的嵌入和扩展。
- 它与“本体论模型”（Ontological models）紧密相关：一个尖锐（sharp）的本体论表示本质上就是一个将半经典覆盖嵌入到经典 Borel 模型的态射。

B. 复合系统与局域性 (Locality and Composites)

非信号复合体：定义了非信号（non-signalling）复合模型 $A \times_{NS} B$ ，其中联合状态在边缘分布上独立于局部实验的选择。
纠缠的定义：
- 区分了作为概率权重的纠缠和作为状态的纠缠。
- 一个联合状态可能是“可分离的权重”（separable weight，即可以写成乘积权重的凸组合），但在给定的状态空间 $\Omega$ 中却是“纠缠状态”（entangled state，即不能写成 $\Omega$ 中乘积状态的凸组合）。
贝尔局域性 (Bell-locality)：
- 定义了贝尔局域解释：如果经典解释中的确定性状态（d.f. weights）在拉回后对应于乘积权重（product weights），则称该解释是贝尔局域的。
- 命题 4.7：如果一个非信号复合系统 admits 一个贝尔局域的经典嵌入，那么该系统的所有状态在作为概率权重时必须是可分离的（separable as joint probability weights）。
- 推论：如果复合系统支持纠缠态（即存在不可分离的概率权重），那么它不可能拥有贝尔局域的经典解释。
- 关键发现：作者指出，规范的经典解释（Borelification）通常将非信号状态表示为信号（signalling）的确定性权重的加权平均。这意味着，虽然经典解释在数学上存在，但它通常破坏了物理上的局域性（因为底层的确定性状态是信号传递的）。

C. 贝尔定理的重新表述

在广义框架下，贝尔定理被表述为：存在量子系统（或广义概率系统）的联合状态，它们无法拥有局域的经典解释。
这并不一定意味着世界是非经典的，而是意味着“局域性”与某种特定形式的“经典性”（即由局域确定性状态构成的解释）是不兼容的。

4. 意义与哲学反思 (Significance & Conclusion)

统一性：该论文提供了一个统一的数学框架，将量子逻辑、凸集方法以及本体论模型统一在范畴论的“解释”概念下。
澄清概念：
- 明确了“经典解释”并不等同于“局域解释”。一个模型可以有经典解释（即可以嵌入经典模型），但该解释可能是非局域的（依赖于信号传递的确定性状态）。
- 区分了“作为权重的可分离性”和“作为状态的可分离性”，解释了为何经典模型中也可能出现类似纠缠的现象（如例 4.2 所示）。
对贝尔定理的解读：
作者提出了三种合理的态度来理解这一结果：
1. 非经典且非局域：确定性权重是信号传递的（物理上不可行），世界本质上是非经典的（非对易观测值不可联合测试）。如果将纠缠视为非局域性，则世界是非局域的。
2. 经典但非局域：确定性权重构成了世界的连贯本体论，观测到的非信号状态只是这种本体论的精细调节（fine-tuning）。世界是经典的，但非局域。
3. 非经典因为非局域：局域性是经典性的定义部分，因此非局域性直接意味着非经典性。

总结

这篇论文通过范畴论工具，证明了任何广义概率模型在数学上都可以被“经典化”（即嵌入到一个经典 Borel 模型中），但这通常是以牺牲局域性为代价的。特别是，纠缠态的存在直接阻碍了局域经典解释的可能性。这一工作不仅推广了现有的嵌入定理，还深刻揭示了经典性、局域性和纠缠之间的微妙关系，为理解量子力学的本质提供了新的数学视角。