No Finite NPA Level Characterizes the Complete Quantum Set in the Simplest Bell Scenario

技术摘要：在最简贝尔场景中，不存在有限阶 NPA 水平能刻画完整的量子集

问题陈述
Navascués–Pironio–Acín (NPA) 层级提供了一系列半正定规划 (SDP) 松弛，这些松弛构成了对交换算符模型中量子相关集 ($Q$) 的外逼近。虽然该层级在渐近意义下收敛于交换算符模型中的量子集，但一个基本的开放性问题仍然存在：在给定的贝尔场景中，是否存在任何单一的有限阶层级能够精确刻画完整的量子集？

本文通过研究最小非平凡贝尔场景——即两个参与者、两个二元输入和两个二元输出的二分情况 $(2,2,2)$——来解决这一问题。先前的研究表明，特定的有限阶级对于某些投影或特定的贝尔泛函是精确的。例如，第 1 阶级对于标准的 CHSH 不等式给出了精确的 Tsirelson 界；而包含交叉项的中间阶级“Level $1+AB$”则对于所有单侧倾斜 CHSH 泛函给出了精确的量子最大值。然而，目前尚不清楚一个有限阶级是否能精确描述该场景中所有的量子行为，特别是在量子优势消失的边界附近。

方法论
作者研究了对称双向倾斜 CHSH 泛函：
$$h_\alpha = A_0B_0 + A_0B_1 + A_1B_0 - A_1B_1 + \alpha(A_0 + B_0), \quad 0 \le \alpha < 1$$
其中局部最大值为 $2+2\alpha$。研究重点在于当 $\alpha \to 1$（或 $T = 1-\alpha \to 0$）时的端点行为。在此极限下，最优量子态趋向于积态，且测量对变得相容，导致贝尔违背消失。

其方法论通过以下步骤进行：

1. 端点缩放分析：利用 Jordan 引理以及将问题简化为两个量子比特策略的 $4\times4$ 分块，作者推导出了量子最大值 $\omega_Q(\alpha)$ 的精确渐近展开式。他们确定了量子优势相对于局部界的增益随 $\alpha \uparrow 1$ 的缩放关系为：$\omega_Q(1-T) - (4-2T) \sim \frac{4}{3}T^3$。
2. Motzkin 多项式识别：通过对测量角和算符间隙 $\omega_Q(1-t^2)I - H_t$（其中 $T=t^2$）进行重缩放，作者构造了一个特定的向量 $\xi_t$，使得其期望值在 $t \to 0$ 的极限下收敛到 Motzkin 多项式 $M(X,Y) = X^4Y^2 + X^2Y^4 - 3X^2Y^2 + 1$（在常数因子意义下）。
3. 平方和 (SOS) 阻碍：本文利用了 NPA 层级的对偶性。如果有限阶级 $L$ 是精确的，那么 NPA 界 $\omega_L$ 与量子界 $\omega_Q$ 之间的差值应当可以表示为测量投影算符的多项式的平方和。
4. 紧致性与矛盾：作者证明，如果误差 $\omega_L(\alpha) - \omega_Q(\alpha)$ 被限制在 $(1-\alpha)^3$ 的阶数内（匹配量子缩放），那么重缩放后的 SOS 证书的极限将迫使 Motzkin 多项式（加上一个非负常数）成为实多项式的平方和。
5. Newton 多面体论证：通过引用 Newton 多面体的性质，作者证明了 Motin 多项式不是平方和；更关键的是，添加任何非负常数 $c \ge 0$ 也无法使其成为平方和。这是由于允许的单项式结构的特定性，强制要求 $X^2Y^2$ 项的系数为非负，而 Motzkin 多项式中的系数为 $-3$。

主要结果

1. 有限阶级误差的发散性：对于每一个有限阶级 $L \ge 1$，NPA 界与真实量子最大值之间的误差相对于三次缩放关系是发散的：
   $$\lim_{\alpha \uparrow 1} \frac{\omega_L(\alpha) - \omega_Q(\alpha)}{(1-\alpha)^3} = +\infty$$
   这意味着，随着接近局部确定性点，NPA 误差最终会以任意大的倍数超过整个量子优势。
2. 行为集的严格包含关系：因此，对于任何由固定有限列表的测量投影算符单词定义的标准 NPA 松弛（记作 $N_S$），量子集都严格包含在松弛集中：
   $$Q \subsetneq N_S$$
   这甚至适用于“几乎量子”（almost quantum）集（由 Level $1+AB$ 松弛导出），该集合已知满足各种信息论原理。
3. 非量子行为的累积：本文证明，在任何固定的有限 NPA 阶级下，都可以构造出位于局部确定性行为（具体为 $p_{loc}(a,b|x,y) = \delta_{a,1}\delta_{b,1}$）任意近处的非量子行为。

意义与主张
本文确立了：即使对于特定的贝尔泛函（如 CHSH 或单侧倾斜 CHSH），有限阶 NPA 层级的精确性并不能扩展到对完整量子集的刻画。这种阻碍在靠近局部确定性行为（即量子态变为积态且测量变得相容之处）时依然清晰可见。

作者强调，这是一个关于对称双向倾斜 CHSH 泛函族的统一陈述。这并不排除随着 $\alpha \to 1$ 而增加所需 NPA 阶级的证书，但它证明了没有任何一个单一的、固定的有限阶级足以描述完整的量子集。这区分了对称分支与单侧倾斜轴的情况——在后者中，尽管状态趋向于积态，Level $1+AB$ 仍保持精确；这表明，除非存在特定的对称性（即两个测量对均相容），否则弱纠缠和微小的违背本身并不一定会导致更高的 NPA 阶级需求。

这项工作完全依赖于涉及 Motzkin 多项式和固定阶级平方和证书的解析证明，而非调用 $MIP^*=RE$ 的不可判定性结果或特定的非局部博弈，而是专注于基础的 $(2,2,2)$ 贝尔场景。