Locality Implies Complex Numbers in Quantum Mechanics

✨

这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

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

这篇论文探讨了一个非常深刻的问题：量子力学为什么必须使用“复数”（包含虚数 $i$ 的数），而不能只用普通的“实数”？

为了让你轻松理解，我们可以把这篇论文的核心思想想象成一场关于**“翻译”和“拼图”**的冒险。

1. 背景：复数真的是必须的吗？

在物理学中，大多数理论（比如电磁学、光学）虽然用复数计算很方便，但本质上用实数也能描述清楚。就像你写小说，用华丽的辞藻（复数）很美，但用大白话（实数）也能把故事讲通。

但在量子力学里，情况有点特殊。几十年来，物理学家一直困惑：为什么描述微观粒子的数学公式里，必须带着那个神秘的虚数单位 $i$ ？

以前有一种观点（由 Stueckelberg 提出）认为：“其实复数只是实数的‘伪装’。”
这就好比：

复数世界：是一个二维的平面地图（有经度和纬度）。
实数世界：是一个一维的长条地图。
Stueckelberg 的魔法：他发明了一种“翻译器”，能把二维地图上的每一个点，都拆解成两个一维的点拼在一起。这样，用实数也能模拟复数。

但是，这篇论文发现了一个巨大的漏洞。

2. 核心冲突：当两个独立的系统相遇

论文的核心在于讨论**“独立性”**（Locality）。
想象一下，Alice 在地球，Bob 在火星。他们各自手里有一个独立的量子系统（比如两个独立的骰子）。

假设：他们之间没有超光速的通信，彼此完全独立（这是物理学的基石，叫“定域性”）。
任务：他们要把这两个独立的系统“拼”在一起，看看会发生什么（这在量子力学里叫“张量积”或“纠缠”）。

这里的“翻车”现场：

在复数世界里：Alice 和 Bob 各自操作自己的骰子，然后拼起来，过程非常自然、流畅，就像把两块乐高积木拼在一起，完全不需要互相“通气”。
在实数世界里（试图翻译时）：
- 如果你试图用 Stueckelberg 的“翻译器”把复数变成实数，你会发现：当 Alice 和 Bob 各自操作自己的骰子，然后试图把结果拼起来时，实数版本的“拼法”和复数版本的“拼法”对不上号！
- 就像你想把两块拼图拼好，但实数版本的拼图块形状变了，怎么拼都缺角或者多出一块。

3. 论文的发现：为了拼好，必须引入“幽灵”

为了让实数理论也能像复数理论那样，完美地描述两个独立系统的结合，论文的作者发现，必须引入一个**“修正规则”**（Modified Tensor Product）。

这个规则是什么？

它就像是一个**“幽灵连接器”**。
当 Alice 操作她的骰子，Bob 操作他的骰子时，这个“幽灵连接器”会瞬间在两人之间建立一种看不见的、非局域的（Non-local）联系。
即使 Alice 和 Bob 相隔几亿光年，这个“幽灵”也会瞬间协调他们的操作，强行把两块拼不上的拼图“变”成能拼上的样子。

这就好比：
你想用纯木头（实数）造一辆能飞的车（复数理论的效果）。

复数理论说：“这车本来就有翅膀，飞得很自然。”
实数理论说：“木头也能飞，只要我们给每辆木头车装一个隐形的、瞬间连接的魔法引擎，让两辆车在飞的时候能互相‘心灵感应’，调整姿态。”

4. 结论：复数是“必需品”

这篇论文的结论非常有力：

如果你坚持只用实数：你确实可以描述单个粒子，或者两个完全不互动的粒子。
但是，一旦涉及“两个独立系统产生纠缠”（这是量子力学的核心）：
- 要么你承认复数是必须的（因为复数描述很自然，不需要额外假设）。
- 要么你坚持用实数，但必须承认你的理论里藏着**“非局域的幽灵”**（Hidden Non-local Degrees of Freedom）。这意味着，虽然表面上 Alice 和 Bob 是独立的，但背后有一个看不见的“幽灵”在瞬间操控一切。

这违背了“独立性”的初衷。
如果为了用实数解释量子力学，必须引入这种“幽灵般的瞬间联系”，那这种实数理论其实比复数理论更复杂、更不自然。

总结比喻

想象量子力学是一个**“双人舞”**：

复数理论：舞者天生就会跳这种舞，动作流畅，不需要额外道具。
实数理论：试图把舞者变成只会走直线的机器人。
- 如果两个机器人各自走路，没问题。
- 但如果要跳双人舞（纠缠），机器人必须通过一根看不见的、瞬间连接的线来互相配合。

这篇论文告诉我们：
如果你不想让机器人之间连那根“看不见的线”（非局域性），你就必须接受舞者天生就会的“复数语言”。复数不是数学家的炫技，而是大自然为了保持“独立性”和“局域性”所必须的“操作系统”。

简单来说：没有复数，量子世界的“独立系统”就无法自然地“牵手”；如果强行用实数，就得给它们装上“超光速的隐形手”，这反而更奇怪。

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

这是一份关于论文《Locality implies Complex Numbers in Quantum Mechanics》（局域性蕴含量子力学中的复数）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：复数在量子力学中是否是必不可少的？
- 经典物理理论（如电磁学、光学）通常可以使用实数描述，复数仅作为数学工具引入以简化表达。
- 然而，标准量子力学建立在复希尔伯特空间之上。虽然 Birkhoff 和 von Neumann 早在 1936 年就指出实数或四元数模型在逻辑结构上可能满足量子公理，但长期以来缺乏实验或理论证明复数结构的根本必要性。
现有进展与矛盾：
- Stueckelberg 规则 (1960)：提出可以将 $d$ 维复希尔伯特空间映射到 $2d$ 维实希尔伯特空间（实数化），使得单系统下的实数量子理论与标准复数理论等价。
- 近期突破 (Renou et al., 2021)：理论证明并实验验证了，在网络结构（涉及多个独立源）中，标准实数量子理论无法模拟复数量子理论的实验结果。
- 新争议：近期有观点（如 Hita et al., Hoffreumon et al.）声称，在**独立源假设（即局域性假设）**下，实数量子理论可能是自洽的。
本文切入点：本文旨在深入分析在“独立源假设”下，试图构建自洽的实数量子理论时，是否真的能保持局域性，或者是否隐含了非局域性。

2. 方法论 (Methodology)

作者采用代数语言回顾了 Stueckelberg 的实数化规则，并对比了单系统与复合系统在实数描述下的数学结构差异：

Stueckelberg 映射规则 (MapR)：
- 将复态 $|\psi\rangle = \sum (a_j + i b_j)|j\rangle$ 映射为实态 $\tilde{|\psi\rangle} = \sum a_j |0\rangle|j\rangle + b_j |1\rangle|j\rangle$ 。
- 将复密度矩阵 $\rho$ 映射为实矩阵 $\tilde{\rho} = \frac{1}{2}I \otimes \text{Re}(\rho) + \frac{1}{2}XZ \otimes \text{Im}(\rho)$ 。
- 证明了对于单系统，实数域上的加法和乘法运算与复数域运算完全同构（即 $\widetilde{V_1+V_2} = \tilde{V_1} + \tilde{V_2}$ ， $\widetilde{V_1 V_2} = \tilde{V_1} \tilde{V_2}$ ）。
复合系统分析 (Tensor Product)：
- 考察两个独立系统（源） $A$ 和 $B$ 的张量积。
- 标准张量积的失效：直接对实数化后的态进行张量积运算（ $\tilde{\rho}_1 \otimes \tilde{\rho}_2$ ）与先张量积再实数化（ $\text{MapR}(\rho_1 \otimes \rho_2)$ ）是不等价的。即 $\text{MapR}(\rho_1 \otimes \rho_2) \neq \tilde{\rho}_1 \otimes \tilde{\rho}_2$ 。
- 修正张量积的引入：为了在实数理论中复现复数理论的预测，必须引入一个修正的张量积（Modified Tensor Product, $\tilde{\otimes}$ ）。
非局域映射的构造：
- 作者构造了一个非线性映射算子 $\tilde{P}$ （类似于奇偶性校验函数），作用于辅助量子比特（ancillary qubits）上，使得 $\tilde{P}(\tilde{|\psi\rangle} \otimes \tilde{|\phi\rangle})$ 能够还原出 $\text{MapR}(|\psi\rangle \otimes |\phi\rangle)$ 。
- 该映射 $\tilde{P}$ 被定义为对两个独立系统的辅助比特进行联合操作（例如： $|00\rangle \to |0\rangle$ , $|11\rangle \to -|0\rangle$ , $|01\rangle/|10\rangle \to |1\rangle$ ）。

3. 关键贡献 (Key Contributions)

揭示实数化理论中的隐藏非局域性：
- 论文证明，如果要在独立源假设下使实数量子理论与复数理论等价，必须引入一个非局域映射（Nonlocal Map）。
- 这个映射 $\tilde{P}$ 要求对两个空间分离的独立系统的辅助自由度进行联合操作。这意味着，即使两个源在空间上是局域分离的，描述它们复合系统的实数理论也必须包含一个“隐藏的非局域自由度”。
重新定义“局域性”在实数理论中的含义：
- 虽然 Hita 等人（Ref [12]）和 Hoffreumon 等人（Ref [13]）声称他们的实数模型满足独立源假设，但本文指出，他们的模型实际上依赖于上述的非局域张量积规则。
- 从物理本体论（Physical Ontology）的角度看，这种依赖全局辅助系统的操作违背了严格的局域性（Locality）。
确立复数的必要性：
- 结论表明：复数并非仅仅是数学便利，而是描述两个独立系统之间纠缠过程的不可或缺要素。
- 如果不使用复数，就必须引入隐藏的、非局域的相互作用来解释纠缠现象。

4. 主要结果 (Results)

单系统一致性：对于单个量子系统，实数描述（Stueckelberg 规则）与复数描述完全等价，且保持局域性。
复合系统的不一致性：
- 标准张量积 $\tilde{\rho}_1 \otimes \tilde{\rho}_2$ 无法正确描述独立源产生的纠缠态。
- 为了修正这一点，必须定义 $\tilde{\rho}_1 \tilde{\otimes} \tilde{\rho}_2 = \text{MapR}(\rho_1 \otimes \rho_2)$ 。
非局域映射的必然性：
- 修正后的张量积 $\tilde{\otimes}$ 本质上是一个非局域操作。它要求对两个独立系统的辅助比特进行联合测量或操作，以计算“奇偶性”。
- 这种操作意味着，对系统 A 的局域操作实际上依赖于系统 B 的状态（通过辅助自由度关联），从而破坏了独立源假设下的严格局域性。
与实验的关联：
- 近期实验（Ref [9-11]）排除了标准 Stueckelberg 类型的实数理论（即直接张量积）。
- 本文进一步指出，即使是那些试图通过引入辅助系统来“挽救”实数理论的新模型（Ref [12, 13]），也仅仅是将非局域性“隐藏”了起来，并未真正解决局域性问题。

5. 意义与结论 (Significance & Conclusion)

理论意义：
- 本文从数学结构上严格证明了：复数在量子力学中的出现是描述独立系统间纠缠现象的必然结果。
- 如果坚持使用实数描述量子力学，就必须接受“隐藏的非局域性”作为理论的一部分。这与量子力学通常所强调的局域实在性（在贝尔不等式语境下）或独立源假设相冲突。
对物理哲学的启示：
- 复数不仅仅是计算工具，它们编码了量子纠缠中系统间内在的、非局域的关联结构。
- 试图用实数完全替代复数，实际上是将这种非局域关联转移到了辅助自由度（Hidden Degrees of Freedom）中，这并没有消除非局域性，只是改变了其表现形式。
最终结论：
- 对于不涉及纠缠相互作用的复合系统，实数理论可能足够。
- 但对于涉及独立源纠缠的复合系统，复数是不可替代的。任何试图用实数理论描述此类过程的尝试，都不可避免地需要引入非局域映射，从而在本质上违背了局域性假设。因此，复数是量子理论描述纠缠现象的基石。

总结语：
这篇论文通过严谨的代数推导，有力地反驳了“在独立源假设下实数量子理论可以完全替代复数理论”的观点。它指出，所谓的“实数替代方案”实际上是通过引入一个非局域的张量积规则（隐藏的非局域映射）来实现的。因此，复数在量子力学中的地位是根本性的，它们不仅是数学形式，更是描述自然界中独立系统间纠缠关联所必需的物理语言。