No extension of the Quantum Tensor Product admits a Superposition principle

技术摘要：“量子张量积的任何扩展都不允许叠加原理”

问题陈述
教科书式的量子力学将叠加定义为：量子态（希尔伯特空间中的一条射线）可以表示为其他纯态的复线性组合。然而，这一定义过度依赖于希尔伯特空间形式体系，缺乏操作性。鉴于近期已有实验提议测试不定因果序以及依赖于叠加性的引力非经典性，迫切需要一种独立于理论、具有操作性的叠加概念定义。作者探讨了一个开放性问题：在缺乏希尔伯特空间框架的情况下，哪些观测方面对应于叠加，以及叠加是否可以作为一个必要原理来重构量子理论。

方法论
作者在**广义概率理论（GPTs）**的框架内开展工作，在该框架中，实验被分解为态制备、变换和测量。

1. 操作性定义： 他们将叠加定义为一种关系统计属性，而非数学上的向量求和。若一个态 $r$ 是集合 $D'$ 的叠加，则意味着当使用一个最大区分且极端的（MDE）测量（该测量能完美区分包含 $D'$ 的极大完美可区分集 $D$）进行测量时，$r$ 会产生概率性结果。
2. 叠加原理： 受量子理论结构属性的启发，他们制定了三个不同的原理：
   • 完全性（Complete）： 每个极值态都是某些其他态的叠加。
   • 均匀性（Uniform）： 对于任何 MPD 集，该集合之外的每个极值态都是其子集的叠加。
   • 互补性（Mutual）： 如果一个态是某个集合的叠加，那么该集合中的每个态都是另一个包含原集合的集合的叠加。
3. 组合分析： 作者研究了这些原理在子系统组合时的行为。他们分析了各种 GPT，包括经典理论、gbits、多边形模型、Boxworld（广义无信号理论）以及特定的量子碎片（GPT-1, GPT-2）。
4. 与不确定性的联系： 他们引入了“制备不确定性”（即无法找到对两个不同 MDE 测量都具有确定性的态），并分析了其与叠加性的关系。

核心贡献与结果

• 操作性表征： 本文提供了一个基于制备-测量统计的严谨且独立于理论的叠加定义，将其与非单纯性（non-simpliciality）及其他非经典特征区分开来。
• GPT 分类： 作者根据三种叠加原理对各种理论进行了分类。值得注意的是：
  • 经典理论不承认叠加。
  • Spekkens 玩具理论承认所有三种原理。
  • Boxworld 承认叠加（由于存在纠缠），但未能满足更强的均匀性和互补性原理。
  • 这些原理并不构成严格的层级关系：可能存在仅承认均匀叠加和互补叠加而不同时承认完全叠加的理论，或者仅承认均匀叠加的理论。
• 组合规则：
  • 引理 1： 若子系统承认叠加（且满足结果锐利性以满足均匀性），则其无信号组合也承认存在性和完全叠加。
  • 引理 2： 纠缠的存在（一种严格大于最小张量积的组合）意味着复合系统存在叠加性，即使子系统本身缺乏叠加性。
  • 定理 1（主要结果）： 互补叠加原理对组合规则构成了一个严格约束。具体而言，在“无限制假设”成立的前提下，任何量子张量积的严格无信号扩展（即任何满足 $S_{Q,1} \otimes_{min} S_{Q,2} \subset S_{1,2} \subseteq S_{Q,1} \otimes_{max} S_{Q,2}$ 的组合 $S_{1,2}$）都不承认互补叠加。
  • 推论 1： 因此，没有任何量子张量积的严格扩展能同时满足所有三个叠加原理和无限制假设。
• 叠加与不确定性： 作者证明了制备不确定性是一个比叠加性更强的非经典要求。在假设结果锐利性的条件下，制备不确定性的存在等价于特定叠加结构的出现（推论 2）。他们表明，纠缠和制备不确定性可以被视为操作性叠加的特殊体现。

意义与主张
本文声称提供了一种对量子张量积的操作性表征。通过证明互补叠加是量子张量积所特有的属性（而非其严格扩展所具有的属性），作者指出，这一原理可以作为重构量子理论时替代教科书式组合公理的方案。

作者对研究范围保持谦逊：

• 该结果是在已知子系统已是量子系统的前提下识别出量子张量积。仅凭操作条件来推导单系统的量子态空间仍是一个开放性问题。
• 研究结果为从物理动机原理出发重构量子理论提供了部分答案，特别是解决了组合规则的问题。
• 该操作性定义澄清了在测试引力量子性的提议中“位置叠加”的含义，避免了预设引力是非经典性的循环论证。

这项工作确立了叠加、纠缠和制备不确定性共享一个共同的底层操作结构，将这两个中心非经典特征（纠缠和不确定性）重新阐释为叠加性的特定表现形式。