实数量子理论能否在可对易测量与超选择规则下存活？

刻画 Alice 与 Bob 分离的两种方式

双体量子理论必须说明是什么让 Alice 与 Bob 的测量彼此分离。张量积表述给每一方分配各自的希尔伯特空间因子，测量因此具有 E^a_x ⊗ 1_B 与 1_A ⊗ F^b_y 的形式，观测到的行为是 p(a,b|x,y) = Tr[ρ (E^a_x ⊗ F^b_y)]。可对易表述则把双方放在同一个公共希尔伯特空间上，要求它们的测量算符对易，[E^a_x, F^b_y] = 0，概率写作 p(a,b|x,y) = Tr[ρ E^a_x F^b_y]。

Tsirelson 问题问的是这两种分离含义是否给出相同的双体关联。在有限维复数量子理论（QT）中它们确实相同：每一个有限维可对易算符策略都能被精确改写为有限维张量积策略。论文的第一个结果把这一等价性推广到实数量子理论，其中状态与效应由实对称矩阵表示。

复数证明为何无法直接搬到实数上

这一等价性在 RQT 中并非自动成立。使用通常的证明方法，存在成对的可对易实 POVM {E^a_x} 与 {F^b_y}，它们需要被表示为复 POVM {Ẽ^a_x ⊗ 1} 与 {1 ⊗ F̃^b_y} 才能符合张量积形式。当有效效应的集合受到线性限制（例如施加超选择规则）时，这种可能性会进一步加剧。

如果可对易定义产生了一个严格更大的行为集合，那将构成一种不同且可能更强的 RQT 变体，其中“局域”测量不再被张量积局域测量穷尽。这正是论文在把框架推广到超选择理论之前要填补的缺口。

实数可对易与张量积关联彼此重合

定理 8 证明 C^fin_tensor,R = C^fin_commuting,R。左侧是由实对称状态与张量积局域实 POVM 得到的行为集合；右侧是由实对称状态与同一有限维实希尔伯特空间上的可对易实 POVM 得到的集合。结合此前的复数到实数嵌入，定理 12 给出 C^fin_tensor,R = C^fin_commuting,R = C^fin_tensor,C = C^fin_commuting,C。

证明有两个要素。第一，有限维 C*-代数结构定理（即 Artin-Wedderburn 定理）把希尔伯特空间分解为有限个直和块 H ≅ ⊕_k (H_A,k ⊗ H_B,k)，因此有限维可对易测量在相差一个充当经典关联的直和标签 k 的意义上已经是张量积测量。第二，保局域性的实化把逐块的复数张量积实现转换为实对称实现，且不改变任何概率，块标签 k 则被吸收为更大实数张量积模型中的共享经典随机性。

论文明确给出一个注意事项：实数张量积表示的总矩阵维数大于可对易表示的维数。作者称这一点是次要的，因为当允许任意局域测量时，优化是在任意大的有限维上进行的，这一注意事项随之消失。

这一等价性被限定在有限维

该结果只针对有限维陈述，论文也明确说明了这一边界为何重要。在复数 QT 中，对应的无穷维断言是假的：Ji、Natarajan、Vidick、Wright 与 Yuen 的 MIP* = RE 结果意味着张量积关联模型与可对易算符关联模型之间存在严格分离。

因此作者预期，RQT 的无穷维可对易测量版本也会比对应的张量积版本更强，但他们并未在此证明这样的无穷维实数分离。读者应把这一等价性视为有限维陈述，而不是关于所有 RQT 模型的断言。

论文还指出，交换状态与测量的角色并不能得到同样直接的“对偶”定理。如果状态与测量都被强制为字面意义上的张量积，那么所有关联都会因子化。更重要的是，RQT 不是局域层析的：全局实状态中存在的关联未必能被局域实测量探测到，因此状态侧的对偶需要一种不同的操作表述，而不是把可对易测量简单替换为可对易状态。

超选择是对可用操作的限制而非替换

论文把超选择规则视为对哪些制备、测量与变换在物理上可用的限制，而不是对底层系统的替换。固定一个群 G、每个系统一个有限维复希尔伯特空间 H_A，以及一个酉表示 U_A: G → U(H_A)。相应的超选择（或称不变）理论只允许被该作用固定的状态与效应，U_A(g)(ρ) = ρ 与 U_A(g)(E) = E，以及在该作用下等变的变换，对每个 g ∈ G 有 Φ ∘ U_A(g) = U_B(g) ∘ Φ。

这使得超选择理论成为量子理论的子理论：若 QT^inv_G 表示不变理论、QT 表示无限制理论，则 QT^inv_G ⊆ QT。从不变理论过渡到无限制 QT 不改变任何希尔伯特空间、矩阵、信道、结果或经典控制标签；它只是忘掉了那条禁止非不变备选项的规则。因此，在有限自适应协议中，每个 Born 概率以及每个联合或条件概率在忘掉限制前后都完全相同。

把超选择理论嵌入实数量子理论

实化映射 Γ_d(A) = ((Re(A), -Im(A)), (Im(A), Re(A))) 把厄米正矩阵送到实对称正矩阵，并使迹加倍，因此编码后的 RQT 状态 ρ̃ = ½ Γ_d(ρ) 与效应 Ẽ = Γ_d(E) 保持 Born 配对不变：Tr_R[ρ̃ Ẽ] = Tr_C[ρE]。同一映射把每个酉算符 U_A(g) 送到正交矩阵 O_A(g) = Γ(U_A(g))，把不变性与等变方程搬运为编码实算符上的正交共轭方程。

定理 17 识别出一个嵌入的 RQT 子理论，其 Born 概率完全相同。记 X 为编码后的实状态或效应，J_d := J ⊗ 1_d = Γ(i 1_d) 为表示乘以 i 的实算符，这些状态与效应同时满足原有的对称性限制以及与编码复结构的相容性：[X, O(g)] = 0 对每个 g ∈ G 成立，且 [X, J_d] = 0。后一条件本身可以表述为在 J_d 生成的循环群 C4 下不变，因此嵌入的状态与效应由 C4 × G 的联合对称性选出。仅要求 O(G) 下不变通常会允许一个更大的 RQT 理论。

对于有限多体协议，假设对称性相对于所选张量因子是逐点作用的，定理 20 表明每个这样的超选择 QT 协议都允许一个 RQT 实现，具有相同的联合与条件概率，以及相同的既定操作局域性。每个操作的实代表只依赖于该操作及其声明的输入与输出块，因此该构造在不同协议间一致适用，而不是为每个实验单独分配一个模拟。与无限制情形一样，保持操作局域性并不要求乘积初态在映射下仍为乘积态。

费米子信息论获得实数像

费米子信息论（FIT）是具体例子，其中 G = Z2 实现宇称超选择。论文显式地实化了 Fock 空间描述、宇称算符以及允许的状态、效应与信道，在保留刻画费米子局域性的分次对易关系的同时得到相同概率。实化后的 Fock 空间分解为 F̃_m = ⊕_{k=0}^m F̃_{m,k} ≅ ⊕_{k=0}^m ∧^k C^m，各扇区由实化数算符 Ñ 的本征空间给出。

实化后的算符空间为 B̂(F_m) = Γ(B(F_m)) = {X ∈ B(F̃_m) : [J_{F̃_m}, X] = 0} ≅ {X ∈ M_{2d_m}(R) : [J_{2d_m}, X] = 0}。宇称超选择的实数理论随后由状态、效应与信道上的三个条件刻画：正性与单位迹、与 J_{d_m} 对易、与实化宇称算符 P̃_m 对易。J_{2d_m} 对易条件恰好选出量子算符代数像中的实矩阵，而 P̃_m 对易条件就是宇称不变超选择规则。

论文强调 J_{2d_m} 条件必不可少。若省略它，得到的是所有宇称不变的 RQT 状态与效应，这是一个严格大于费米子量子理论像的理论。命题 22 陈述了由此得到的操作等价性：作为操作概率论定义，费米子信息论具有一个实数像，保留全部概率与局域性分配，其集合通过三元映射 (½ Γ, Γ, Ad Γ) 被等距映射。

作者也标明了他们在此未做的事。他们没有尝试证明实化后的 FIT 本身可以被理解为 C4 超选择的实数 FIT。定义实数 FIT 是什么，需要在什么应构成实数 CAR 代数上作出选择；而 ∧^k C^m 与 ∧^k R^{2m} 之间的维数不匹配，则需要用诸如 Γ^(k) 的逐因子实化来重新表述该构造。

这一等价性解决了什么又未解决什么

综合两个结果：在有限维中，无论是选择实数还是复数标量，还是选择可对易还是张量积的测量局域性表述，都不改变可观测统计量；并且有限维超选择 QT 允许 RQT 表示，保留其对称性限制、有限自适应协议中的全部概率，以及既定的操作张量积局域性。宇称超选择的费米子 QT 是这一结论被完整展开的具体情形。

因此对读者而言，最具决策相关性的区分不是实数与复数，而是有限维与无穷维，以及无限制与超选择限制。该等价性是对有限维行为与有限自适应协议证明的；RQT 的无穷维可对易测量版本被预期严格更强，但这一分离在此并未被证明。论文还留下了复数超选择理论在 RQT 中的表示与 RQT 中真正超选择子理论之间的联系这一未决问题。在论文实际覆盖的有限维、对称性受限的范围内，RQT 与 QT 的操作预测仍然不可区分。

本文引用的文献