Causal inequalities witness non-stabilizerness

技术摘要：因果不等式见证非稳定化性

问题陈述
本文探讨了“魔力”（non-stabilizerness，即非稳定化性）资源理论中的一个基本差异。这种特性对于实现超越经典可模拟稳定器分量（Gottesman-Knill 定理）的通用量子计算至关重要。具体而言，本文研究了两种自由操作定义之间的分离：

1. 稳定器操作 (SO)： 由 Clifford 门、稳定器态制备以及自适应 Pauli 测量构成的操作。
2. 完全稳定器保持操作 (CSPO)： 即使在存在辅助量子比特的情况下也能保持稳定器多面体的通道。

虽然已知 $SO \subsetneq CSPO$，但其分离的运算意义尚未得到充分表征。文献 [10] 中识别出了一种被称为“无魔力的非稳定化性”（Non-Stabilizerness Without Magic, NSWM）的关键现象：某些稳定器态系综（特别是 SHIFT 系综）尽管可以通过 SO 制备且可通过 CSPO 进行完美判别，但无法使用 SO 进行完美判别。本文旨在为 NSWM 提供一个原则性的理解，特别是确定其存在性的充要条件，并探索其与因果结构的关系。

方法论
作者分析了 $n$ 个 $d$ 维素数维量子比特系统中的稳定器态判别问题。其方法包括：

1. 形式化判别协议： 他们定义了自适应稳定器判别协议为 Pauli 测量和 Clifford 操作的序列。他们证明（引理 1）在这一框架内，使用辅助量子比特对于判别并无优势，从而允许分析集中在无辅助量子比特的协议上。
2. 递归准则推导： 他们引入了与稳定器基 $B$ 相关的稳定器子群 $S_B$，定义为所有基中状态的稳定器群的交集。他们证明 $S_B$ 包含了所有确定性测量。利用这一点，他们推导出了一个递归条件（定理 1）来判定一个基是否是完美可判别的。
3. 与过程函数建立联系： 对于稳定器乘积基（SPB）的特殊情况，作者利用了已知的无歧义乘积基与“过程函数”之间的对应关系。过程函数 $\omega$ 是一个描述输入如何由输出决定的因果环路中的经典模型。他们将 SPB 的结构映射到一个唯一的过程函数，其中量子比特的局部基对应于过程的函数依赖性。
4. 因果分析： 他们分析了这些过程函数的因果性质。如果存在一个处于所有其他部分全局过去（global past）的参与者（即一个常数输入分量），则该过程是“因果的”。如果不存在这样的参与者，则该过程是“非因果的”。

核心贡献与结果

• 定理 1（通用准则）： 作者证明了稳定器基 $B$ 使用 SO 进行完美判别的充要条件。一个基是完美可判别的，当且仅当 $S_B \neq \{1\}$，并且对于 $S_B$ 生成元的所有联合特征值 $\chi$，所得的子基 $B_\chi$ 也是完美可判别的。

  • 推论： 如果 $S_B = \{1\}$，则该基表现出 NSWM。这解释了 SHIFT 系综的 NSWM 现象，因为其关联的子群是平凡的。

• 定理 2（乘积基与因果性）： 通过将研究对象特化为稳定器乘积基 (SPB)，本文证明了一个 SPB 通过 SO 实现完美判别，当且仅当其关联的过程函数是因果的。

  • 反之，一个 SPB 表现出 NSWM，当且仅当其关联的过程函数是非因果的。

• 推论 2（因果不等式）： 由于已知每个非因果过程函数都会违反因果不等式，作者得出结论：一个 SPB 表现出 NSWM，当且仅当其关联的过程函数违反了因果不等式。

意义与主张
本文声称提供了一种关于违反因果不等式的新的运算意义。具体而言，它将因果不等式的违反确立为非稳定化性的见证者，这是一种计算上的非经典性。

作者将此框架化为因果序与非稳定化性之间的权衡：仅使用稳定器操作无法完美判别稳定器乘积基（NSWM），这与过程函数的非因果本质有着不可分割的联系。通过允许通过非因果过程函数（如过程矩阵框架所建模）进行通信，可以使用局部操作来实现这些乘积基所需的判别测量。

这项工作将之前对 NSWM（特别是 SHIFT 系综）的观察推广到了任意素数维度，并为该现象提供了严谨的充要特征描述。作者指出，虽然结果是针对乘积基推导的，但递归准则（定理 1）同样适用于包括纠缠态在内的广义稳定器基。他们提出了一个开放性问题，即是否存在不属于 Clifford 等价于乘积基的 NSWM 纠缠系综，并指出这种情况可能需要放宽对因果解释中逻辑一致性的假设。