Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

本文指出，此前提出用于筛选实数希尔伯特空间量子理论的一般物理公设无法适用于费米子信息理论（FIT），因此该公设不具备普遍性，并强调了在基础原理研究中必须检验其与费米子信息理论的兼容性。

要点

这篇文章其实是在进行一场关于“宇宙底层代码”的学术辩论。为了让你轻松理解，我们可以把量子力学想象成一套**“宇宙的游戏规则”**。

1. 背景：这场争论在吵什么？

想象一下，我们要编写一个模拟宇宙的软件。

• 标准版本（复数版）： 目前大家公认最准确的版本，它的代码里必须包含“复数”（一种包含虚数 $i$ 的数学工具）。就像游戏里必须用“复数”这个特殊指令，才能完美运行所有关卡。
• 简化版本（实数版）： 最近有科学家提出，也许我们不需要这么复杂的“复数”，只用普通的“实数”（就像 1, 2, 3 这种）也能写出同样的游戏。

但是，用实数写游戏时，遇到了一个大麻烦：怎么定义“两个玩家各自独立操作”？

• 方案 A（$T^R_1$）： 认为两个玩家的操作必须像两个完全隔离的盒子，互不干扰。但实验证明，这个方案漏掉了很多游戏里的现象，是错的。
• 方案 B（$T^R_2$）： 认为两个玩家的操作虽然独立，但允许某种更深层的“隐形联系”。这个方案能完美复刻标准版本的游戏效果。

那篇被评论的文章（Hoffreumon & Woods）提出了一个“物理公理”（Postulate 1）：

“如果两个玩家的操作在实验上看起来互不影响（操作独立），那他们在物理上就一定是独立准备的。”

作者认为，只有方案 B符合这个公理，所以方案 B 才是正确的实数量子理论。

2. 本文作者的反驳： Fermions（费米子）是“捣乱者”

本文的三位作者（Fatemeh Moradi Kalarde 等）站出来说：“等等！这个公理在‘费米子’的世界里行不通！”

什么是费米子？

想象一下，宇宙里的粒子分两种：

1. 玻色子（像光子）： 它们很随和，可以挤在一起，像一群可以随意重叠的幽灵。
2. 费米子（像电子）： 它们非常“有个性”，遵守**“泡利不相容原理”。就像两个性格不合的人，绝对不能坐在同一个座位上。在信息理论中，这被称为“费米子信息理论”（FIT）**。

作者的反驳逻辑（用“隐形斗篷”做比喻）

作者举了一个费米子的例子，证明那个“公理”是错的。

• 场景： 有两个费米子玩家 A 和 B。
• 状态： 他们处于一种特殊的混合状态（$\rho_{AB}$）。
• 现象 1（操作独立）： 当 A 和 B 各自拿着自己的“测量尺”去测量时，他们发现彼此的结果完全互不影响。就像两个戴着**“隐形斗篷”**的人，虽然实际上他们可能是一个整体，但斗篷挡住了所有的干扰信号，让他们看起来像是完全独立的。
• 现象 2（无法独立准备）： 但是，如果你试图把这两个费米子分开准备（比如 A 自己准备一个，B 自己准备一个，互不沟通），你会发现根本做不到！因为费米子有特殊的“排他规则”（宇称超选择定则），这种特殊的混合状态只能由一个整体系统产生，无法拆分成两个独立的个体。

结论：
在费米子的世界里，“看起来互不影响”（操作独立）并不等于“真的是独立准备的”。

这就好比：

你看到两个人在街上走，步调完全一致，互不干扰（操作独立）。
你推断他们是两个陌生人（独立准备）。
但实际上，他们是一对双胞胎，穿着完全一样的衣服，甚至可能共用一个大脑（整体准备），只是你被某种规则（费米子规则）蒙蔽了眼睛，看不出他们是一体的。

3. 核心观点总结

1. 公理失效： 那个被用来筛选“实数量子理论”的公理（Postulate 1），在费米子信息理论（FIT）中是失效的。
2. 普遍性存疑： 如果一个物理公理不能解释费米子（宇宙中构成物质的基本粒子，如电子），那它就不能被称为“通用的物理公理”。
3. 深层原因： 费米子世界存在“超选择定则”（Superselection Rules），这就像给系统加了一层滤镜，让某些非独立的状态看起来像是独立的。标准量子理论（QIT）通常没有这种限制，所以那个公理在标准理论里看起来是对的，但一放到费米子世界就露馅了。

4. 这篇文章的意义

这就好比在争论“所有鸟都会飞”这个理论时，有人提出“企鹅也是鸟，但它不会飞，所以你的理论需要修正”。

这篇文章提醒物理学家：

• 在构建宇宙的基础理论时，不能只盯着“标准模型”或“可区分的粒子”看。
• 必须把费米子（那些有个性、不能重叠的粒子）考虑进去。
• 任何试图用简单原则（如“操作独立=独立准备”）来推导宇宙规则的做法，如果忽略了费米子的特殊性，都是不完整的。

一句话总结：
这篇论文指出，之前有人提出的一个用来证明“实数量子理论”的简单规则，在费米子（构成我们身体的电子等粒子）的世界里行不通，因为费米子有一种特殊的“隐身”机制，会让非独立的状态看起来像独立的。因此，这个规则不能作为通用的物理真理。

技术摘要

这是一份关于论文《Comment on"Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions》（关于“基于实数的量子理论无法被实验证伪”的评论：物理原理与费米子信息理论的兼容性）的详细技术总结。

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

• 核心争议：近年来，物理学界重新关注量子理论是否必须基于复希尔伯特空间（Complex Hilbert Spaces），或者是否可以基于实希尔伯特空间（Real Hilbert Spaces）构建。
• 两种候选理论：在实数域构建量子理论时，关于复合系统和独立制备的定义存在歧义，主要产生两种理论变体：
  • $T^R_1$：基于标准量子信息理论（QIT）但限制在实希尔伯特空间。其独立制备态定义为张量积态（Kronecker tensor product states）。该理论已被证明在实验上可被证伪（Nature 2021, Ref [2]），因为它无法复现标准 QIT 的所有预测。
  • $T^R_2$：通过扩大独立制备态的集合（定义为“操作独立态”，Operational Independent States），使其在预测上与标准 QIT 等价。
• 待评论的论点 (Ref [1])：Hoffreumon 和 Woods (Ref [1]) 提出了一条物理公设（Postulate 1），声称“独立制备”应等同于“操作独立”（即所有局部测量产生乘积概率分布）。他们论证该公设在 $T^R_2$ 中成立而在 $T^R_1$ 中不成立，从而主张 $T^R_2$ 是实数域下正确的量子理论，并因此认为基于实数的量子理论在实验上不可证伪。
• 本文提出的问题：Ref [1] 提出的公设是否是一个普适的物理原理？作者指出，任何声称普适的物理公设必须能够兼容现有的、物理上已确立的理论框架，特别是费米子信息理论 (Fermionic Information Theory, FIT)。

2. 方法论 (Methodology)

作者采用反例法和理论一致性检验来评估 Ref [1] 提出的公设：

1. 提出核心主张 (Claim)：任何“普适物理公设”必须在费米子信息理论 (FIT) 中成立，因为费米子是自然界中真实存在的基本粒子，FIT 是描述全同费米子编码信息的标准框架。
2. 构建反例：
   • 在 FIT 框架下，利用宇称超选择定则 (Parity Superselection Rule)。该定则禁止奇数和偶数费米子数态之间的相干叠加。
   • 构造一个特定的混合态 $\rho_{AB}$（由两个贝尔态 $|\phi^+\rangle$ 和 $|\psi^+\rangle$ 的等概率混合而成）。
   • 验证该态在 FIT 中的两个属性：
     • 非独立制备性：检查它是否可以写成满足宇称超选择定则的局部态的张量积。
     • 操作独立性：检查在允许的所有局部测量下，其联合概率分布是否等于边缘概率的乘积。
3. 逻辑推导：如果该态是“操作独立”的（局部测量无法区分它和独立制备态），但它实际上“无法独立制备”（受限于超选择定则），则证明“操作独立”$\neq$“独立制备”。
4. 推广分析：将结论推广到广义概率理论 (GPTs)，论证“操作独立”与“独立制备”的等价性仅在局部可观测性 (Local Tomography) 成立的理论中才成立，而 FIT 和 $T^R_1$ 均不满足局部可观测性。

3. 关键贡献与结果 (Key Contributions & Results)

A. 费米子反例的构建 (The Fermionic Counterexample)

作者构造了一个具体的费米子态 $\rho_{AB} = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\psi^+\rangle\langle\psi^+|)$，并证明了以下矛盾：

• 非独立制备：在 FIT 中，独立制备的态必须是局部态的张量积，且局部态必须满足宇称超选择定则。然而，$\rho_{AB}$ 的任何可分离分解都会导致违反宇称超选择定则的局部态。因此，$\rho_{AB}$ 不能由两个独立的费米子系统制备。
• 操作独立：由于宇称超选择定则，所有允许的局部测量算符必须与局部宇称算符对易。计算表明，对于任何允许的局部测量 $M_A \otimes M_B$，$\rho_{AB}$ 产生的联合概率分布 $p(ab)$严格等于边缘概率的乘积$p(a)p(b)$。这意味着在操作层面，该态表现得像是一个独立制备的态。
• 结论：在 FIT 中，操作独立性并不蕴含独立制备。因此，Ref [1] 提出的公设（Postulate 1）在 FIT 中不成立。

B. 对公设普适性的否定

由于 FIT 是描述真实物理系统（全同费米子）的有效框架，而 Ref [1] 的公设在 FIT 中失效，因此该公设不能被视为一个普适的物理原理。这意味着不能仅凭此公设来排除 $T^R_1$ 或确立 $T^R_2$ 作为实数域量子理论的唯一正确形式。

C. 对局部可观测性 (Local Tomography) 的关联分析

作者在附录 C 中证明了在广义概率理论 (GPT) 框架下：

• 命题：操作独立性与独立制备的等价性 $\iff$ 理论具有局部可观测性。
• 现状：标准 QIT 和 $T^R_2$ 是局部可观测的，因此满足该等价性。然而，$T^R_1$ 和 FIT 均不是局部可观测的（即存在全局态无法仅通过局部测量统计完全区分）。
• 推论：FIT 违反公设 1 的根本原因在于其缺乏局部可观测性，这是全同粒子系统的固有特征。

D. 对其他相关工作的警示

作者指出，近期其他试图基于实数重构量子理论的工作（如 Ref [3], [4]）所依赖的替代公设（如 Postulate 2，涉及子系统组合的双线性映射），在全同粒子（特别是费米子）的二次量子化框架下并非显而易见，需要进一步的合理性证明。

4. 意义与影响 (Significance)

1. 基础物理原则的严谨性：文章强调，任何试图从物理原理推导量子理论结构（特别是实数与复数之争）的尝试，必须经受住所有已知物理框架（包括全同粒子系统）的检验。历史上，许多看似自然的经典直觉（如 EPR 论证中的定域实在论）在量子力学中被证伪，本文提醒研究者避免类似的“直觉陷阱”。
2. 费米子信息理论的重要性：文章突显了费米子信息理论 (FIT) 在基础物理研究中的核心地位。FIT 具有非局部可观测性、受超选择定则限制等独特性质，是检验量子理论基础假设的“试金石”。
3. 对实数量子理论研究的修正：虽然 Ref [1] 试图通过物理公设排除 $T^R_1$ 并确立 $T^R_2$，但本文表明这一路径在费米子系统中存在逻辑漏洞。这意味着关于“实数域量子理论是否可被实验证伪”的讨论不能简单地通过引入一个在费米子系统中失效的公设来终结。
4. 方法论启示：在构建基础理论时，必须仔细区分“可区分子系统”（如标准 QIT 中的自旋或偏振）与“全同粒子”（如费米子模式）在信息编码和操作定义上的本质差异。

总结：该论文通过严谨的数学反例证明，Hoffreumon 和 Woods 提出的用于筛选实数域量子理论的“操作独立性”公设，在描述全同费米子的标准框架 (FIT) 中失效。因此，该公设不具备普适性，不能单独作为确立实数域量子理论结构的依据。这一发现强调了在基础物理原理的构建中，必须充分考虑全同粒子系统的特殊性质（如超选择定则和非局部可观测性）。