Efficient Verification of Entangled Measurements with Local States

技术摘要：基于局部态的高效纠缠测量验证

问题陈述
量子测量设备是量子系统与经典决策之间的关键接口，支持着诸如量子隐形传态、密集编码和容错计算等任务。然而，测量硬件本质上是存在噪声的，未经验证的设备可能会导致实验结果失效。虽然全检测器层析成像（tomography）已经存在，但其计算量巨大且耗时。现有的量子态验证（QSV）和过程验证框架并不直接适用于量子测量验证（QMV），因为故障测量是由一个满足完备性关系（$\sum M_\theta = 1$）的正算符值测度（POVM）描述的。这使得攻击者可以通过在不同输出之间重新分配概率来实施攻击，从而使得最坏情况下的通过概率与标准的态验证有所不同。此外，验证纠缠测量通常需要制备高度纠缠的测试态，这在实验上具有挑战性。本研究旨在解决建立一个仅依赖于局部乘积态制备的高效 QMV 框架的需求。

方法论
作者提出了一个基于局部乘积态的通用 QMV 框架。其核心方法论包括：

1. QMV 的形式化： 任务被定义为区分“良好”情况（设备实现目标冯·诺依曼测量 $P$）与“故障”情况（设备实现故障 POVM $M$，其测量保真度 $F(P, M) \le 1 - \varepsilon$）。协议 $S$ 对局部测试态 $\rho_x$ 进行采样，并定义一个“接受集合” $P(\rho_x)$。如果观测到的结果落在该集合内，则认为设备通过了一轮测试。目标是最小化故障设备在单轮中的最坏情况通过概率 $P(S, \varepsilon)$。
2. 对称性简化： 本文引入了针对目标测量 $P$ 的两种对称性条件：
   • 局部传递性（Local Transitivity）： 一个有限群 $G$ 通过局部酉表示在测量输出上作用是传递的。
   • 不可约性（Irreducibility）： 单个输出的稳定子在对应的基态及其正交补上是不可约的。
     在这些条件下，作者证明了受约束的 QMV 优化问题可以简化为针对单个代表性基态的量子态验证（QSV）问题。具体而言，设计高效局部 QMV 协议等价于优化一个代表性态的齐次验证算符。
3. 齐次协议（Homogeneous Protocols）： 该框架侧重于构建“齐次”协议，其中每个输出 $\theta$ 的验证算符具有形式 $\Omega_\theta = |\psi_\theta\rangle\langle\psi_\theta| + \beta(1 - |\psi_\theta\rangle\langle\psi_\theta|)$。这种结构允许对成功概率和样本复杂度进行闭式表达式表达。

主要贡献与结果
本文将该框架应用于四类代表性的测量，推导出了显式的局部协议、验证算符和样本复杂度：

• 广义贝尔测量 (GBM)： 对于 $d$ 维量子比特（其中 $d$ 为素数），GBM 被证明是局部传递且不可约的。最优局部协议实现的样本复杂度为 $N \approx \frac{d+1}{d} \frac{1}{\varepsilon} \ln \frac{1}{\delta}$。局部性约束仅引入了 $(d+1)/d$ 的常数因子惩罚（相对于无约束的最优协议）。对于两个量子比特（$d=2$），该因子为 $3/2$。
• 双量子比特单参数测量： 分析了一类在乘积基测量与贝尔测量之间插值的测量系列。作者构建了一个具有常数成功概率因子的对称局部协议，其样本复杂度为 $N \approx \frac{3}{2} \frac{1}{\varepsilon} \ln \frac{1}{\delta}$，与贝尔测量的标度一致。
• 优雅联合测量 (EJM)： 对于这种具有四面体边缘分布的部分纠缠测量，作者推导出的协议中参数 $\beta$ 取决于纠缠参数 $\kappa$。其样本复杂度从 $2 \cdot \frac{1}{\varepsilon} \ln \frac{1}{\delta}$（原始 EJM）变化到 $\frac{3}{2} \cdot \frac{1}{\varepsilon} \ln \frac{1}{\delta}$（最大纠缠端点）。
• 稳定器态诱导测量： 对于由稳定器基诱导的 $n$ 个量子比特测量，该框架提供了一个样本复杂度标度为 $N \approx \frac{d^n - 1}{d^n - d^{n-1}} \frac{1}{\varepsilon} \ln \frac{1}{\delta}$ 的局部协议。

意义与主张
本文声称建立了与态验证、过程验证和子空间验证并列的“量子验证理论的最后一块拼图”。其主要意义在于证明，对于广泛的一类纠缠测量，局部性约束并不会从根本上降低验证效率；它仅相对于全局最优（但实验上不可行）的协议引入了一个常数因子的惩罚。

关键技术成就包括：

• 将复杂的故障 POVM 优化问题简化为对单个验证算符第二大特征值的优化问题。
• 实现了 $O(1/\varepsilon)$ 的样本复杂度标度，这比直接保真度估计的 $O(1/\varepsilon^2)$ 标度在二次方级上更优。
• 表明齐次 QMV 协议允许直接从观测到的通过频率中估计测量保真度，而不仅仅是提供界限。

作者指出，虽然目前的框架假设了理想的测试态制备和独立同分布（i.i.d.）的设备行为，但所推导的协议为在实际量子平台上进行稳健验证奠定了基础。未来的工作确定为将这些对称性简化方法扩展到非传递或非不可约测量，并纳入现实的噪声模型。