量子纠缠的物理机制清楚了吗？

——非定域性的形式理论、经验确证与本体论僵局

摘要：量子纠缠的数学结构已相当清楚，在可分初态与局域相互作用的条件下，其动力学起源也是明确的，但其蕴含的非定域性——类空分离的系统之间不依赖任何媒介的关联——仍是量子基础中最深刻的未解问题。本文以非定域性为主线，区分三个层次：纠缠是什么（数学结构）、纠缠如何产生（动力学来源）、非定域关联意味着什么（物理机制）。前两个层次的回答是精确的；第三个层次的回答则陷入诠释分裂——五种主要解释彼此排斥却无法实验裁决。这一僵局并非暂时的知识空缺，而是量子力学形式体系对本体论保持沉默的必然结果

1 引言：纠缠的真正困难在于非定域性

“量子纠缠的物理机制清楚了吗？”

这个问题之所以被反复追问，根源不在于数学形式的不完备，而在于一个概念上的断裂：量子力学提供了精确的态空间结构和动力学方程，却始终拒绝回答一个朴素的问题——两个类空分离的粒子之间，究竟是什么在“承载”它们测量结果的协调？

如果纠缠只是相互作用遗留的统计印记，没有人会觉得“机制不清楚”。真正令人不安的是：在贝尔不等式被违反的确凿事实面前 [1, 2, 3]，我们不得不接受一种既非局域因果、又非可控信号、却真实存在的跨空间关联。它不像引力或电磁力那样随距离衰减，不通过任何可指认的媒介传递，却在每次测量中精确地实现统计一致性。这意味着非定域性不只是量子力学的一个“怪异的特征”：它是量子理论区别于经典物理的根本标志，也是理解“物理机制”问题不可绕过的核心 [4, 5]。

本文将以非定域性问题为主线，严格区分三个层次：

• 数学层面：什么是纠缠？它的结构是否清晰？

• 动力学层面：纠缠如何从物理过程中产生？在什么条件下产生？

• 本体论层面：非定域关联对应着什么物理实在？它的“实现机制”是什么？

并论证：前两个层次在数学与动力学上已相当清楚；而第三个层次——非定域性背后的物理机制——至今仍是量子基础中最深刻的未解问题。

2 纠缠的数学结构：完全清楚，但已隐含非定域性

纠缠的数学定义不含糊。复合系统 A + B 的纯态若不能写成直积形式：

则该态是纠缠态。对于混态 ρ_AB ，判据为是否可写成可分离态的凸组合：

纠缠熵给出了纯态纠缠的完备度量：

2.1 Schmidt 分解：纠缠的结构定理

任何有限维纯态都可以写成 Schmidt 形式 [6]：

其中 λ_i > 0，满足 ∑_i λ^2_i = 1，r 称为 Schmidt 秩。这一分解揭示了纠缠的数学本质：

• 若 r = 1，态可分；

• 若 r > 1，态必纠缠；

• Schmidt 系数 {λi} 完全决定纠缠的量；

• 约化态的谱由 {λ2i } 给出，因此纠缠熵为

更重要的是，Schmidt 分解表明：

纠缠态的整体性不是诠释问题，而是线性代数的结构定理。

态空间的张量结构强制要求：只要 r > 1，系统就不能被描述为两个局域态的组合。

2.2 非定域性已编码在态结构中

关键点在于：纠缠态的数学形式本身已经蕴含了非定域性。以两粒子自旋单态为例:

其 Schmidt 秩为 r = 2，两个 Schmidt 系数均为 1/√2，因此是最大纠缠态。

这个态没有指定哪个粒子自旋向上——这个信息不是“尚未确定”，而是在标准量子力学中根本不存在。态的完备描述是整体的，不能被分解为两个局域描述的组合。这种整体性意味着：任何试图将系统状态分解为局域属性的描述，要么不完整，要么在测量统计上不等价。这正是贝尔不等式违反的数学根源 [1]。

因此：

非定域性不是纠缠的附加特征，而是纠缠态数学结构的直接推论。态矢量描述的是整体系统，而非各部分的集合。

更重要的是：

量子非定域性是相关性的非局域性，而不是因果信号的可控传递。它违反贝尔不等式 [2, 3]，确证了自然界的关联无法用局域隐变量复现；但它同时严格满足无信号定理 [7]，因此不与相对论的因果结构发生操作层面的冲突。然而，这种“和平共处”本身正是谜团所在：非定域关联在操作上不可用于通信，但它们在物理上是如何在不借助任何媒介的情况下跨越类空间距“实现”的？无信号定理告诉我们非定域性不是什么（不是超光速信道），却没有告诉我们它是什么。

数学层面这一点完全清楚。但数学上的整体性并不自动提供物理上的理解：

• 这种整体性描述的是系统状态的客观特征，还是仅是对我们信息的编码？（这是诠释问题 [5]）

• 如果它是客观的，那跨越空间的整体性如何与时空的局域结构兼容？（这是量子引力问题）

这正是后续章节要展开的核心困难

3 动力学来源：如何产生，但非定域性如何“传递”？

3.1 从可分初态产生纠缠：相互作用是必要条件

设初态为可分态 |Ψ(0)⟩ = |ψA⟩ ⊗ |ψB ⟩，哈密顿量为

若 H_int = 0，时间演化保持直积形式，不会产生纠缠。若 H_int̸ = 0，演化算符不再因子化，初态演化为纠缠态。

因此，从可分初态出发，相互作用是产生纠缠的充要条件。这一动力学机制完全清楚。

3.2 动力学机制的局域性悖论

但这里存在一个深刻的张力：

• 纠缠的产生需要相互作用——这要求粒子在彼此的光锥之内，体现了局域性；

• 纠缠态的测量关联却可以在类空间距上显现——这正是贝尔定理所揭示的非定域性 [1, 2, 3]。

标准量子力学的处理方式是：纠缠一旦产生，就成为系统态结构的一部分。此后粒子可以彼此远离直至类空间隔，态结构保持不变。，态结构保持不变。测量时，波包坍缩使得关联以违反贝尔不等式的方式呈现。

但问题就在这里：

在可分初态的前提下，我们知道纠缠的动力学来源是相互作用。然而，纠缠的表观行为——即跨类空间距的非定域关联——其“实现方式”在概念上仍然是一个鸿沟：量子力学的动力学方程（如薛定谔方程）精确描述了多粒子纠缠态的幺正演化，但这些方程不提供任何局域在时空中的“作用传递”机制。更根本地说，即使是纠缠的产生本身，我们也只在一个狭窄的前提下才声称“清楚”：

如果初态可分，相互作用是产生纠缠的必要条件。但我们不知道量子场论真空中的原生纠缠是如何“产生”的，不知道黑洞蒸发中涌现的纠缠是否遵循统一的起源法则，更不知道在量子引力层面是否存在比“可分 → 相互作用 → 纠缠”更基本的纠缠创生机制。这些未解问题表明，我们对纠缠的“产生”远未达到根本性的理解。

要理解这个鸿沟的本质，我们需要一个既能容纳非定域性、又能与局域动力学兼容的

框架。路径积分正是这样一种工具——它从“历史空间”的视角重新表述了非定域性，将其从“空间中的神秘作用”转化为“历史结构的整体性”。

3.3 路径积分视角：非定域性在历史空间中的体现

标准量子力学的态矢量形式强调纠缠态的整体性，而路径积分则提供了另一种同样精确但更具物理直观性的图像：非定域性并非来自某种跨空间的“影响”，而是来自作用量中耦合项对历史空间结构的改变。在路径积分框架下，纠缠的产生与非定域性的呈现可以被统一地理解为“可能历史之间的相关结构”所导致的整体性 [8]。

3.3.1 可分作用量：历史空间的直积结构

设两个系统 A 与 B 的作用量可分：

则总传播子因子化为：

此时历史空间是直积结构：

系统永远不会产生纠缠。这对应于哈密顿量可分、演化算符因子化的情形。

3.3.2 耦合作用量：历史空间的非直积结构

若存在耦合项：

则传播子变为：

此时积分测度不再因子化，历史空间不再是直积结构。换言之：

相互作用使得系统的可能历史不再独立，从而在态空间中形成非分离结构。

这正是纠缠的动力学来源在路径积分中的体现。

3.3.3 类空分离后的非定域性：整体历史的保留

关键在于：一旦耦合项在某段时间内存在，其对历史空间结构的影响不会因空间分离而消失。即使两个粒子后来飞往类空间距，传播子仍然包含所有历史的整体性贡献。

因此，路径积分给出的图像是：

非定域性不是跨空间的“即时影响”，而是历史空间整体结构的保留。

测量时呈现的非定域关联，并非来自某种超光速信号，而是来自于：

历史空间的非直积性 =⇒ 态空间的非分离性 =⇒ 测量统计的非定域性.

3.3.4 路径积分与无信号定理的兼容性

考虑一个典型的贝尔实验场景：两个观测者 Alice 和 Bob 分别对类空分离的粒子 A 和 B 进行局域测量。无信号定理在路径积分框架下有一个自然的解释：尽管整体历史结构是非局域的，但 Bob 的约化密度矩阵只依赖于对 Alice 一侧变量 xA 的积分：

而 Alice 的局域操作（如选择不同的测量基）只改变被积分掉的部分，因此无法改变 Bob 的边缘统计。

换言之：

历史空间的整体性导致非定域关联；边缘化（积分掉局域自由度）导致无信号性。

路径积分因此提供了一个统一框架：非定域性与无信号性并不矛盾，它们分别对应于整体历史结构与边缘化操作的不同层次。

3.3.5 路径积分视角的启示：非定域性是“历史的整体性”

路径积分的图像揭示：

• 非定域性不是“跨空间的作用”，而是“历史空间的整体结构”；

• 相互作用在过去某一时段的存在，使得系统的历史永久地纠缠在一起；

• 测量时呈现的非定域关联，是对这一整体历史结构的投影；

• 无信号定理来自边缘化操作，而非来自历史结构的局域性。

因此，路径积分提供了一个极具洞察力的观点：

非定域性不是时空中的过程，而是历史空间中的结构。

它既解释了纠缠为何产生，也解释了非定域性为何不违反相对论因果性，但它同样没有回答一个更深的问题：

这种整体性结构在物理上对应着什么样的实在？

这正是后续章节将继续探讨的本体论难题。

4 非定域性的严格刻画：贝尔定理与无信号定理

量子力学中“非定域性”一词承载着多种不同的含义，必须首先加以区分。1964 年，贝尔将爱因斯坦等人提出的“不完备性”论证从哲学思辨转变为一个可实验检验的物理问题[1]。此后数十年的理论澄清与实验检验，共同勾勒出一幅精确的图景：非定域关联是经验事实，但它的物理机制仍在概念层面悬而未决。

4.1 非定域性的逻辑结构：从 EPR 到贝尔

贝尔定理的逻辑结构值得仔细审视。EPR 论证的关键前提是“定域性”与“实在论”的合取：如果量子力学是完备的，那么某些可观测量的值在没有测量的情况下也是确定的（实在论）；而类空分离的测量不应相互影响（定域性）。两者合取导致量子力学“不完备”的结论，因此需要一个隐变量补全。

贝尔的突破在于：他并不需要同时假设定域性与实在论。贝尔不等式可以从“局域因果性”这一单独条件导出——即类空分离的事件之间不存在直接的因果影响。更精确地说，

贝尔局域性条件要求：

其中 A、B 是双方的测量选择，a、b 是测量结果，λ 是隐变量。这一条件本身已足以导出贝尔不等式，无需额外假设结果的“预先存在”（实在论）。因此，贝尔定理排除的并非“局域性加实在论”这个合取，而是局域因果性这一单独假设 [5, 9]。

这一区分在概念上至关重要：

贝尔定理的精确含义是：任何局域因果理论都无法复现量子力学的关联模式。实验违反贝尔不等式，意味着自然界的关联模式是非局域的——无论我们是否接受实在论。

4.2 贝尔不等式的实验检验

量子力学预言纠缠粒子对的关联违反贝尔不等式。实验检验经历了近半个世纪的技术演进：从 Freedman 和 Clauser 的首个检验（1972），到阿斯佩利用高速开关排除“测量设置之间亚光速通信”的可能（1982），再到 Hensen 等人、Giustina 等人和 Shalm 等人同时填补“定域性漏洞”和“探测漏洞”的无漏洞实验（2015）[2, 3, 10, 11]。

这些实验以压倒性的置信度确认：

自然界产生的关联确实违反贝尔不等式。

局域因果性作为普遍原理在微观层次被证伪。

这一结论的深远影响在于：它排除了“粒子在分离时携带局域指令，测量只是读取指令”这一最符合经典直觉的图像。纠缠粒子之间的协调，不可能是预先约定的结果。

4.3 非定域性的类型学：什么被排除了，什么没有被排除

贝尔定理的实验确认引发了进一步的精确化：究竟是什么样的“非定域性”进入了量子力学？

Shimony 区分了“参数依赖”与“结果依赖”两种非定域性 [9, 12]：

• 参数依赖（Parameter dependence）： Alice 的测量选择影响 Bob 的结果统计。这是一种强的非定域性，意味着类空分离的测量设置之间存在因果影响。

• 结果依赖（Outcome dependence）： Alice 的测量结果与 Bob 的测量结果之间存在统计关联，但 Bob 的约化统计与 Alice 的测量选择无关。这是一种弱的非定域性，即关联本身是非局域的，但没有跨空间的因果影响。

量子力学在操作层面只展现了结果依赖，而不展现参数依赖——这正是无信号定理的保护范围。德布罗意-玻姆隐变量理论则在隐变量层面包含了参数依赖，尽管在统计层面与量子力学一致。

这一类型学的价值在于：

量子非定域性不是笼统的“超距作用”，而是有精确边界的结果依赖型非定域性。它不是因果影响跨空间的传递，而是测量结果之间存在不可消解的统计协调。

4.4 无信号定理：非定域性的操作边界

与贝尔不等式违反相辅相成的是无信号定理的约束。该定理并非一个独立的物理假设，而是量子力学形式体系的导出定理 [7]。

其推导基于量子力学的三个基本结构特征：

1. 复合系统的张量积结构： HAB = HA ⊗ HB ；

2. 局域测量的定义： Alice 的测量由算符 MA ⊗ IB 表示；

3. 线性演化与迹运算：统计预言由玻恩规则给出。

由此可证：Alice 的任意局域操作 EA（包括幺正演化与测量）不会改变 Bob 的约化密度矩阵：

因此，Bob 的局域测量统计完全独立于 Alice 的测量选择与结果。

换言之：

非定域关联是真实的（违反贝尔不等式），但不可用于可控通信（满足无信号定理）

4.5 两条定理的共存：“和平共处”及其概念代价

贝尔定理与无信号定理的共存，构成了量子力学“和平共处”特征的核心 [9]：量子力学在操作层面不与相对论的因果结构冲突（无信号），但其关联模式在原理层面无法用局域因果解释（贝尔违反）。

然而，“和平共处”本身并非一个廉价的结论，它要求我们接受：

• 存在一种既非局域因果、又非可控信号的“第三种关系”；

• 这种关系在操作上不可达——我们无法利用它来做什么；

• 但它真实存在——每次贝尔实验的统计数据都精确地体现着它。

这正是“物理机制不清楚”的精确症结：

我们有一个精确的数学理论来计算非定域关联，有压倒性的实验证据来确认非定域关联，却没有一个独立于诠释的理论来理解非定域关联

4.6 贝尔定理没有回答的问题

综上所述，贝尔定理及其验证确立了非定域性作为一个不可否认的经验事实。但它——连同无信号定理一起——留下了根本性的未解问题：

• 物理承载问题：两个类空分离的纠缠粒子之间，究竟是什么在物理上“承载”着它们的统计协调？贝尔定理排除了局域因果承载的可能性，但没有提供任何替代的承载机制。

• 范畴化问题：非定域关联不属于任何已知的自然关系范畴——不是力的传递（不随距离衰减），不是信号的交换（不可用于通信），不是纯粹的随机巧合（统计显著性远超巧合）。这种“第三种关系”尚未被物理学充分概念化。

• 诠释裁决问题：贝尔定理排除了局域隐变量理论——一个具体的理论类。但它无法在量子力学的不同诠释之间做出裁决：哥本哈根诠释、多世界诠释、德布罗意-玻姆理论、GRW 自发坍缩模型等在贝尔不等式违反这一事实上给出相同的可观测预言，却对“非定域关联意味着什么”给出了完全不同的本体论说明 [4, 5]。这意味着，仅凭现有的经验数据，物理学无法回答“非定域性的正确诠释是什么”这一问题，甚至无法确定这一问题是否有唯一正确的答案。

因此：

非定域性本身是一个被实验确认的现象。

但它的物理机制——即这个现象背后对应着什么样的实在结构——仍然完全开放。

这一开放性并非暂时的知识空缺，而可能是量子力学形式体系的内禀特征：当前的数学结构本身对本体论问题保持沉默。任何声称“非定域性的机制已经清楚”的说法，实际上都隐式地选择了一种诠释，而非从理论中推导出一个必然的结论。

5 为什么非定域性的机制仍不清楚？——诠释的分裂与本体论僵局

非定域性机制的不清楚，并非因为缺乏候选解释，而是因为候选解释太多，且无法在实验上做出裁决 [5, 4]。

量子力学的形式体系提供了一套精确的算法——态空间、动力学方程、玻恩规则——却拒绝回答这些数学结构对应着什么样的物理实在。这就造成了一个根本性的不对称：

形式体系是唯一的，但它的本体论诠释不是。

五种主要诠释对非定域性给出了互相排斥的说明：哥本哈根诠释将其视为概率结构的整体更新，拒绝追问背后的物理过程 [13]；多世界诠释将其转化为世界分支之间的关联结构 [14]；德布罗意-玻姆理论给出唯一显式的超距作用机制，但以违反洛伦兹不变性为代价[15]；信息论观点将其消解为概率约束，放弃了解释物理实在的传统目标 [6]；ER=EPR 猜想试图将其还原为时空的拓扑连接，但仍是未经证实的猜想 [16, 17]。

这些诠释在可观测预言上完全等价，因此它们之间的分歧在原则上无法通过实验裁决[4]。非定域性问题的当前状态因此可精确划分为四个层次：

现象层面：非定域关联存在——完全清楚（贝尔实验确认 [2, 3, 10, 11]）。

否定层面：不是局域隐变量机制——完全清楚（贝尔定理 + 实验排除 [1]）。

操作层面：不可用于超光速通信——完全清楚（无信号定理 [7]）。

肯定层面：是什么机制——完全不清楚。

这一“肯定层面”的空白，不是暂时的知识空缺，而是量子力学形式体系对本体论保持沉默的必然结果 [5]。打破这一僵局，需要的不是更精致的诠释，而是一个能够在各诠释之间做出实验裁决的新理论框架

6 结论

量子纠缠的数学结构、动力学来源与实验确证均已清楚。真正未解的是非定域性的物理机制——两个类空分离的粒子之间，关联如何在不借助任何媒介的情况下实现？这一问题的困难不在于缺乏候选答案，而在于答案太多且无法裁决：五种主要诠释给出了互相排斥的说明，却在可观测预言上完全等价。

这不是暂时的知识空缺，而是量子力学形式体系对本体论保持沉默的必然结果。打破这一僵局，需要的是一个能够在各诠释之间做出实验裁决的新理论框架——无论它最终来自量子引力、量子信息，还是某种尚未成形的物理原理。

参考文献

[1] John S. Bell. On the einstein podolsky rosen paradox. Physics, 1:195–200, 1964.

[2] Alain Aspect, Philippe Grangier, and Gérard Roger. 1 引言：纠缠的真正困难在于非定域性

“量子纠缠的物理机制清楚了吗？”

本文将以非定域性问题为主线，严格区分三个层次：

• 数学层面：什么是纠缠？它的结构是否清晰？

• 动力学层面：纠缠如何从物理过程中产生？在什么条件下产生？

• 本体论层面：非定域关联对应着什么物理实在？它的“实现机制”是什么？

并论证：前两个层次在数学与动力学上已相当清楚；而第三个层次——非定域性背后的物理机制——至今仍是量子基础中最深刻的未解问题。

2 纠缠的数学结构：完全清楚，但已隐含非定域性

纠缠的数学定义不含糊。复合系统 A + B 的纯态若不能写成直积形式：

则该态是纠缠态。对于混态 ρ_AB ，判据为是否可写成可分离态的凸组合：

纠缠熵给出了纯态纠缠的完备度量：

2.1 Schmidt 分解：纠缠的结构定理

任何有限维纯态都可以写成 Schmidt 形式 [6]：

其中 λ_i > 0，满足 ∑_i λ^2_i = 1，r 称为 Schmidt 秩。这一分解揭示了纠缠的数学本质：

• 若 r = 1，态可分；

• 若 r > 1，态必纠缠；

• Schmidt 系数 {λi} 完全决定纠缠的量；

• 约化态的谱由 {λ2i } 给出，因此纠缠熵为

更重要的是，Schmidt 分解表明：

纠缠态的整体性不是诠释问题，而是线性代数的结构定理。

态空间的张量结构强制要求：只要 r > 1，系统就不能被描述为两个局域态的组合。

2.2 非定域性已编码在态结构中

关键点在于：纠缠态的数学形式本身已经蕴含了非定域性。以两粒子自旋单态为例:

其 Schmidt 秩为 r = 2，两个 Schmidt 系数均为 1/√2，因此是最大纠缠态。

因此：

非定域性不是纠缠的附加特征，而是纠缠态数学结构的直接推论。态矢量描述的是整体系统，而非各部分的集合。

更重要的是：

数学层面这一点完全清楚。但数学上的整体性并不自动提供物理上的理解：

• 这种整体性描述的是系统状态的客观特征，还是仅是对我们信息的编码？（这是诠释问题 [5]）

• 如果它是客观的，那跨越空间的整体性如何与时空的局域结构兼容？（这是量子引力问题）

这正是后续章节要展开的核心困难

3 动力学来源：如何产生，但非定域性如何“传递”？

3.1 从可分初态产生纠缠：相互作用是必要条件

设初态为可分态 |Ψ(0)⟩ = |ψA⟩ ⊗ |ψB ⟩，哈密顿量为

若 H_int = 0，时间演化保持直积形式，不会产生纠缠。若 H_int̸ = 0，演化算符不再因子化，初态演化为纠缠态。

因此，从可分初态出发，相互作用是产生纠缠的充要条件。这一动力学机制完全清楚。

3.2 动力学机制的局域性悖论

但这里存在一个深刻的张力：

• 纠缠的产生需要相互作用——这要求粒子在彼此的光锥之内，体现了局域性；

• 纠缠态的测量关联却可以在类空间距上显现——这正是贝尔定理所揭示的非定域性 [1, 2, 3]。

标准量子力学的处理方式是：纠缠一旦产生，就成为系统态结构的一部分。此后粒子可以彼此远离直至类空间隔，态结构保持不变。，态结构保持不变。测量时，波包坍缩使得关联以违反贝尔不等式的方式呈现。

但问题就在这里：

要理解这个鸿沟的本质，我们需要一个既能容纳非定域性、又能与局域动力学兼容的

框架。路径积分正是这样一种工具——它从“历史空间”的视角重新表述了非定域性，将其从“空间中的神秘作用”转化为“历史结构的整体性”。

3.3 路径积分视角：非定域性在历史空间中的体现

3.3.1 可分作用量：历史空间的直积结构

设两个系统 A 与 B 的作用量可分：

则总传播子因子化为：

此时历史空间是直积结构：

系统永远不会产生纠缠。这对应于哈密顿量可分、演化算符因子化的情形。

3.3.2 耦合作用量：历史空间的非直积结构

若存在耦合项：

则传播子变为：

此时积分测度不再因子化，历史空间不再是直积结构。换言之：

相互作用使得系统的可能历史不再独立，从而在态空间中形成非分离结构。

这正是纠缠的动力学来源在路径积分中的体现。

3.3.3 类空分离后的非定域性：整体历史的保留

因此，路径积分给出的图像是：

非定域性不是跨空间的“即时影响”，而是历史空间整体结构的保留。

测量时呈现的非定域关联，并非来自某种超光速信号，而是来自于：

历史空间的非直积性 =⇒ 态空间的非分离性 =⇒ 测量统计的非定域性.

3.3.4 路径积分与无信号定理的兼容性

而 Alice 的局域操作（如选择不同的测量基）只改变被积分掉的部分，因此无法改变 Bob 的边缘统计。

换言之：

历史空间的整体性导致非定域关联；边缘化（积分掉局域自由度）导致无信号性。

路径积分因此提供了一个统一框架：非定域性与无信号性并不矛盾，它们分别对应于整体历史结构与边缘化操作的不同层次。

3.3.5 路径积分视角的启示：非定域性是“历史的整体性”

路径积分的图像揭示：

• 非定域性不是“跨空间的作用”，而是“历史空间的整体结构”；

• 相互作用在过去某一时段的存在，使得系统的历史永久地纠缠在一起；

• 测量时呈现的非定域关联，是对这一整体历史结构的投影；

• 无信号定理来自边缘化操作，而非来自历史结构的局域性。

因此，路径积分提供了一个极具洞察力的观点：

非定域性不是时空中的过程，而是历史空间中的结构。

它既解释了纠缠为何产生，也解释了非定域性为何不违反相对论因果性，但它同样没有回答一个更深的问题：

这种整体性结构在物理上对应着什么样的实在？

这正是后续章节将继续探讨的本体论难题。

4 非定域性的严格刻画：贝尔定理与无信号定理

4.1 非定域性的逻辑结构：从 EPR 到贝尔

贝尔局域性条件要求：

这一区分在概念上至关重要：

4.2 贝尔不等式的实验检验

这些实验以压倒性的置信度确认：

自然界产生的关联确实违反贝尔不等式。

局域因果性作为普遍原理在微观层次被证伪。

4.3 非定域性的类型学：什么被排除了，什么没有被排除

贝尔定理的实验确认引发了进一步的精确化：究竟是什么样的“非定域性”进入了量子力学？

Shimony 区分了“参数依赖”与“结果依赖”两种非定域性 [9, 12]：

• 参数依赖（Parameter dependence）： Alice 的测量选择影响 Bob 的结果统计。这是一种强的非定域性，意味着类空分离的测量设置之间存在因果影响。

这一类型学的价值在于：

4.4 无信号定理：非定域性的操作边界

与贝尔不等式违反相辅相成的是无信号定理的约束。该定理并非一个独立的物理假设，而是量子力学形式体系的导出定理 [7]。

其推导基于量子力学的三个基本结构特征：

1. 复合系统的张量积结构： HAB = HA ⊗ HB ；

2. 局域测量的定义： Alice 的测量由算符 MA ⊗ IB 表示；

3. 线性演化与迹运算：统计预言由玻恩规则给出。

由此可证：Alice 的任意局域操作 EA（包括幺正演化与测量）不会改变 Bob 的约化密度矩阵：

因此，Bob 的局域测量统计完全独立于 Alice 的测量选择与结果。

换言之：

非定域关联是真实的（违反贝尔不等式），但不可用于可控通信（满足无信号定理）

4.5 两条定理的共存：“和平共处”及其概念代价

然而，“和平共处”本身并非一个廉价的结论，它要求我们接受：

• 存在一种既非局域因果、又非可控信号的“第三种关系”；

• 这种关系在操作上不可达——我们无法利用它来做什么；

• 但它真实存在——每次贝尔实验的统计数据都精确地体现着它。

这正是“物理机制不清楚”的精确症结：

我们有一个精确的数学理论来计算非定域关联，有压倒性的实验证据来确认非定域关联，却没有一个独立于诠释的理论来理解非定域关联

4.6 贝尔定理没有回答的问题

综上所述，贝尔定理及其验证确立了非定域性作为一个不可否认的经验事实。但它——连同无信号定理一起——留下了根本性的未解问题：

因此：

非定域性本身是一个被实验确认的现象。

但它的物理机制——即这个现象背后对应着什么样的实在结构——仍然完全开放。

5 为什么非定域性的机制仍不清楚？——诠释的分裂与本体论僵局

非定域性机制的不清楚，并非因为缺乏候选解释，而是因为候选解释太多，且无法在实验上做出裁决 [5, 4]。

形式体系是唯一的，但它的本体论诠释不是。

这些诠释在可观测预言上完全等价，因此它们之间的分歧在原则上无法通过实验裁决[4]。非定域性问题的当前状态因此可精确划分为四个层次：

现象层面：非定域关联存在——完全清楚（贝尔实验确认 [2, 3, 10, 11]）。

否定层面：不是局域隐变量机制——完全清楚（贝尔定理 + 实验排除 [1]）。

操作层面：不可用于超光速通信——完全清楚（无信号定理 [7]）。

肯定层面：是什么机制——完全不清楚。

6 结论

参考文献

[1] John S. Bell. On the einstein podolsky rosen paradox. Physics, 1:195–200, 1964.

[2] Alain Aspect, Philippe Grangier, and Gérard Roger. Experimental realization ofeinstein-podolsky-rosen-bohm gedankenexperiment: A new violation of bell’s inequali-ties. Physical Review Letters, 49:91–94, 1982.

[3] B. Hensen et al. Loophole-free bell inequality violation using electron spins separatedby 1.3 kilometres. Nature, 526:682–686, 2015.

[4] Nicolas Brunner et al. Bell nonlocality. Reviews of Modern Physics, 86:419–478, 2014.[5] Tim Maudlin. Quantum non-locality and relativity. Wiley, 2011.

[6] Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Infor-mation. Cambridge University Press, 2010.

[7] Nicolas Gisin. Weinberg’s nonlinear quantum mechanics and superluminal communica-tions. Physics Letters A, 143:1–2, 1990.

[8] Richard P. Feynman and Albert R. Hibbs. Quantum Mechanics and Path Integrals. McGraw-Hill, 1965.

[9] Abner Shimony. Controllable and uncontrollable nonlocality. Foundations of Quantum

Mechanics in the Light of New Technology, pages 225–230, 1984.

[10] M. Giustina et al. Significant-loophole-free test of bell’s theorem with entangled photons.

Physical Review Letters, 115(25):250401, 2015.

[11] L. K. Shalm et al. Strong loophole-free test of local realism. Physical Review Letters,115(25):250402, 2015.

[12] Jon Jarrett. On the physical significance of the locality conditions in the bell arguments. Noûs, 18(4):569–589, 1984.

[13] J. J. Sakurai. Modern Quantum Mechanics. Addison-Wesley, 1994.

[14] Hugh Everett. Relative state formulation of quantum mechanics. Reviews of ModernPhysics, 29:454–462, 1957.

[15] David Bohm. A suggested interpretation of the quantum theory in terms of “hidden”variables. Physical Review, 85:166–193, 1952.

[16] Juan Maldacena and Leonard Susskind. Cool horizons for entangled black holes. Fortschritte der Physik, 61(9):781–811, 2013.

[17] Shinsei Ryu and Tadashi Takayanagi. Holographic derivation of entanglement entropy from ads/cft. Physical Review Letters, 96:181602, 2006.

. Physical Review Letters, 49:91–94, 1982.