Quantum Behaviors Are Not Semialgebraic

技术摘要：量子行为并非半代数集

问题陈述
本文探讨了由 Tsirelson 在 1993 年提出的一个长期存在的数学问题，即在 Bell 情景中，量子行为集合的数学结构。具体而言，该问题询问在给定 Bell 情景（输入/输出数量固定）的情况下，由局部测量共享量子态所能实现的条件概率集合（量子集 $\mathcal{C}_q$）是否为半代数集（semialgebraic）。如果一个集合可以由实系数的多项式方程和不等式的有限布尔组合来描述，则称该集合为半代数集。虽然在固定的 Bell 情景中，局部集和无信号集是多胞形（由线性不等式定义），但量子集位于两者之间，具有更丰富的几何结构。虽然有限维量子集已知是半代数的（通过 Tarski–Seidenberg 定理），但在内部希尔伯特空间维度不受限制但 Bell 情景（输入/输出数量）固定的情况下，这一性质是否成立仍然是一个悬而未决的问题。

方法论
作者在具有每方四个二进制测量（$4 \times 4$ 输入，$2 \times 2$ 输出）的 Bell 情景中构造了一个特定的反例。其方法包括以下步骤：

1. 构造二次曲线： 他们定义了一个由实数 $\alpha \in (1, 2)$ 参数化的同步、无信号行为的一参数族 $p_\alpha$。这些概率被定义为 $\alpha$ 的二次函数。
2. 投影谱分析： 他们利用同步相关（其中相同输入产生相同输出）的结构。通过分析交换算符模型（$\mathcal{C}_{qc}$），他们证明了如果行为 $p_\alpha$ 是可实现的，那么四个正交投影的和 $S = \sum_{i=1}^4 A_i$ 必须在特定子空间上满足算符恒等式 $S = \alpha I$。
3. 应用 KRS 分类： 他们利用已知的关于四个正交投影标量和的分类（Kruglyak, Rabanovich, 和 Samoilenko）。该分类规定，对于 $1 < \alpha < 2$，方程 $\sum_{i=1}^4 P_i = \alpha I$ 有解当且仅当 $\alpha$ 属于离散序列 $\alpha_m = 2 - 2/m$，其中 $m \ge 3$ 为整数。
4. 在有限维中的实现： 他们证明了对于该序列中的每一个 $\alpha_m$，都可以使用一种涉及在 $24m$ 维希尔伯特空间上对称化投影的特定构造来获得有限维量子实现。
5. 几何障碍： 他们分析了曲线 $p_\alpha$ 与量子集 $\mathcal{C}_q$、其闭包 $\mathcal{C}_{qa}$ 以及交换算符集 $\mathcal{C}_{qc}$ 的交集。他们证明了有效的参数集恰好是离散序列 $\{\alpha_m\}$，该序列在经典点 $\alpha = 2$（对应于 $p_2$）处累积。

核心贡献与结果

• 非半代数性： 主要结果是，在四输入二进制输出情景下，集合 $\mathcal{C}_q$、$\mathcal{C}_{qa}$ 和 $\mathcal{C}_{qc}$ 不是半代数集。
  • 证明逻辑： 如果这些集合是半代数的，那么它们与多项式曲线 $p_\alpha$ 的交集将是实数轴上的一个半代数子集。然而，其交集是无限可数集 $\{2 - 2/m\}_{m \ge 3}$，该集合在 2 处有一个累积点。一个实数轴上的半代数子集是区间和点的有限并集；除非它包含一个区间，否则它不能是一个具有累积点的无限可数集。由于该序列在极限附近不包含任何区间，因此这些集合不是半代数的。
• 局部解析障碍： 论文进一步证明，这些集合在经典行为 $p_2$ 处都不是半解析集（semianalytic）。在某点附近的半解析集由实解析函数的有限布尔组合定义。作者表明，任何此类描述都将意味着其成员资格条件在 $\alpha=2$ 的穿孔邻域内是常数，这与有效参数的离散性质相矛盾。
• 维度缩放： 该构造揭示了精确实现 $p_{\alpha_m}$ 所需的最小局部维度随 $\Theta((2-\alpha_m)^{-1})$ 缩放，即随着行为接近经典极限 $p_2$，维度趋于无穷大，尽管 $p_2$ 本身是一个经典的局部行为。
• 有限松弛的失效： 结果意味着，没有任何有限层级的 Navascués–Pironio–Acín (NPA) 层级可以精确表征这些集合。每一个有限层级的 $Q_\ell$ 都是一个半代数的外部近似。因此，对于任何固定的 $\ell$，都存在一个 $\beta_\ell < 2$，使得 $Q_\ell$ 包含整个区间 $(\beta_\ell, 2)$，其中包括大量不属于 $\mathcal{C}_{qc}$ 的行为。

意义与主张
该论文声称它以否定回答了 Tsirelson 在 1993 年提出的问题。其意义在于：

1. 排除精确有限描述： 它确立了量子集无法由任何有限的多项式方程和不等式系统描述，也无法由任何有限的半正定表示（SDR）描述，无论使用多少辅助变量。
2. 层级的局限性： 它展示了 NPA 层级的根本局限性：虽然它在极限情况下收敛到量子集，但在该情景下，没有任何有限层级足以进行精确表征。
3. 几何性质的障碍： 不同于以往关于非闭性或不可判定性的研究，这种障碍是纯几何性质的，即使在考虑量子集的闭包时依然存在。这也适用于交换算符模型，将集合的代数性质与极限点的解析性质区分开来。
4. 阈值识别： 论文确定了在同步二进制扇区内，非半代数性恰好始于四个输入，并指出具有三个输入的场景仍保持半代数性。

作者强调，这些结果源于精确的数学证明，而非依赖于经验数据或实验方案。研究结果限制了对可能表征量子相关性的物理原理的搜索，暗示如果这些原理旨在捕捉精确的量子集，则不能简化为有限的多项式条件。