The Low-Individual-Degree Test Without the Diagonal-Lines Test Is Not Quantum-Sound

技术摘要：不含对角线测试的低个体度数测试在量子层面是不完备的

问题陈述
本文探讨了一个关于经典低个体度数测试（low-individual-degree test）在量子健全性（quantum soundness）方面的问题，该测试是证明复杂度类相等性 $\text{MIP}^* = \text{RE}$ [JNV+21] 中的关键组成部分。在 Ji, Natarajan, Vidick, Wright, 和 Yuen [JNV+20] 的修正分析中，低个体度数测试被分解为三个子测试：轴平行线测试、自一致性测试以及对角线测试。对角线测试在量子设定中承担着特定角色：它为任意两点相关的点测量提供了一种兼容性保证，这种性质在经典全局函数中是自动满足的，但在量子测量中则是非平凡的。

本研究的核心问题在于：对角线测试是否严格必要？具体而言，如果仅满足所有轴平行线上的完美（或近乎完美）一致性以及自一致性检查，是否足以迫使点测量在全局范围内近似交换，从而确保存在一个全局低度多项式测量？虽然 [JNV+20] 为参数 $(m, d, q) = (2, 2, 4)$ 提供了一个反例，但该示例并未解决与低度测试相关的“大域情形”（large-field regime，即 $d/q \to 0$）。本文研究了这种阻碍在这一渐近情形下是否依然存在。

方法论
作者针对有限域 $\mathbb{F}_q$ 上缩减后的低个体度数测试（仅包含轴平行线和自一致性检查），构造了一个两证明投影策略，其参数为 $(m, d) = (2, 2)$，其中 $q$ 为任何奇素数。

1. 希尔伯特空间与态： 该策略利用希尔伯特空间 $H = \mathbb{C}^{\mathbb{F}_q^3}$ 以及最大纠缠态 $|\Phi\rangle = \frac{1}{\sqrt{q^3}} \sum_{z \in \mathbb{F}_q^3} |z\rangle \otimes |z\rangle$。
2. 点测量： 对于每个点 $u = (x, y) \in \mathbb{F}_q^2$，作者使用 Weyl 算符定义点测量 $A^u_a$。该构造依赖于一个特定的标签函数 $w: \mathbb{F}_q^2 \to \mathbb{F}_q^3 \oplus \mathbb{F}_q^3$，定义为：
   $$w(x, y) = (1, y, y^2; xy^2, -2xy, x)$$
   测量算符通过傅里叶投影构造：
   $$A^u_a = \frac{1}{q} \sum_{t \in \mathbb{F}_q} \omega^{-ta} W(tw(u))$$
   其中 $W$ 表示广义 Weyl 算符。Bob 的测量被定义为 Alice 测量的转置。
3. 线测量： 对于轴平行线 $\ell$，该策略基于由 $\{w(u) : u \in \ell\}$ 张成的子空间 $S_\ell$ 定义线测量。作者证明了 $S_\ell$ 是关于辛形式（symplectic form）的一个各向同性子空间，这确保了限制在该子空间上的 Weyl 算符是交换的。这使得能够构造出与该线上点测量一致的有效投影线测量。
4. 辛性质： 标签 $w$ 的一个关键性质是其辛配对满足 $\langle w(u), w(v) \rangle = (x' - x)(y' - y)^2$。当且仅当 $u$ 和 $v$ 位于同一条轴平行线上（即 $x=x'$ 或 $y=y'$）时，该量为零；否则为非零。

主要结果
所构造的策略得出以下结果：

1. 完美接受： 该策略以概率 1 通过了自一致性测试和轴平行线测试。点测量与线测量是完美细化的；具体而言，线测量算符细化了对应线上的点测量算符。
2. 全局健全性失效： 尽管完美通过了缩减后的测试，该策略仍无法实现全局低个体度数多项式测量。
   • 对易子误差： 对于独立的均匀分布点 $u, v$，计算出的平均状态相关对易子误差为：
     $$\mathbb{E}_{u,v} \sum_{a,b} \| ([A^u_a, A^v_b] \otimes I) |\Phi\rangle \|^2 = 2 \left(1 - \frac{1}{q}\right)^3$$
     随着 $q \to \infty$（即 $d/q \to 0$ 的大域情形），该误差趋于 2，而非 0。
   • 与全局测量的距离： 作者证明，对于 Bob 空间上的任何投影测量 $G = \{G_g\}$（其输出为函数 $g: \mathbb{F}_q^2 \to \mathbb{F}_q$），其与所构造策略的一致性被限制在远离 1 的范围内：
     $$\mathbb{E}_{u} \sum_{a} \sum_{g: g(u)=a} \langle \Phi | A^u_a \otimes G_g | \Phi \rangle \leq 1 - \frac{1}{16}\left(1 - \frac{1}{q}\right)^3 \leq 1 - \frac{1}{54}$$
     该界限对于所有奇素数 $q \geq 3$ 均一致成立。

意义与主张
本文结论认为，仅靠轴平行一致性不足以强制执行低个体度数测试中所需的全局兼容性。因此，如果不引入对角线测试（或等效的显式兼容性机制），将无法在不损害健全性保证的情况下移除该测试。

作者明确指出，其结果并未排除用另一种显式兼容性测试来替换对角线测试的可能性；它仅表明将测试简化为轴平行线和自一致性的做法是不充分的。该工作凸显了一种类似于 Mermin–Peres 魔方（Mermin–Peres magic square）的结构性阻碍，即局部兼容性（行与列）并不一定意味着全局交换性。

本文声称，这一结果对于理解 $\text{MIP}^* = \text{RE}$ 的基础理论具有重要意义，它澄清了在 [JNV+20] 关于 $\text{MIP}^* = \text{RE}$ 证明中提到的，将“条件线性函数”替换为“坐标删除函数”的行为本身并不能保持所需的健全性。该构造依赖于来自有限阿贝尔群调和分析和有限维量子力学的标准工具，特别是利用了 Weyl–Heisenberg 系统的辛相空间表述。