无纠缠非定域性的半设备无关认证

Semi-Device-Independent Certification for Nonlocality without Entanglement

arXiv: 2606.13667v1

论文信息

标题: Semi-Device-Independent Certification for Nonlocality without Entanglement

作者: Hanwool Lee, Joonwoo Bae

发布日期: 2026-06-11

arXiv ID: 2606.13667v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：这篇论文要解决如何在存在测量缺陷（如未检测事件）的实际场景中，演示并认证量子信息处理中的无纠缠非局域性（NLWE），即全局测量（Global measurement）在状态区分任务中严格优于可分离测量（SEP）的现象。
  • 核心方法：采用最大置信度测量（MCM） 策略，该策略仅依赖检测到的结果来最大化给定结果的正确猜测概率；通过比较全局测量与可分离测量在相同结果率下可达到的置信度，建立可认证的差距，并对结果率进行半设备无关（sDI）认证。
  • 关键结果：对于四态反平行量子比特系综，全局测量的最大置信度可达 11，而可分离测量仅为 3/43/4；当某个结果率 ηx<1/3\eta_x<1/3 时，只要可认证置信度 C^x>3/4\hat{C}_x>3/4，即可在未知测量设备上认证 NLWE（见图 2）。
  • 主要局限：认证必须预先信任所准备的量子态系综；只有在结果率较低（ηx<1/3\eta_x<1/3）时才能认证全局测量；对于任意产品态系综，当 ηx≥⟨Ψx∣ρ∣Ψx⟩\eta_x\geq\langle\Psi_x|\rho|\Psi_x\rangle 时 NLWE 无法被认证（命题 2）。
  • 适合读者：从事量子信息理论、量子测量非局域性、半设备无关认证及量子态区分的研究者，尤其关注如何在有噪声和低探测效率的条件下验证测量设备量子优势的读者。

论文背景和研究动机

量子测量通过纠缠基（全局测量，GLOBAL）执行信息任务的能力，可超越局域操作与经典通信（LOCC）的限制，这种现象被称为无纠缠非局域性（NLWE）。自 Bennett 等人 1999 年提出以来，NLWE 的验证主要依赖最小错误区分（Minimum‑error discrimination）和明确区分（Unambiguous discrimination）两种策略。例如，在 “双三态” 系综中，全局测量能获得比 LOCC 严格更高的猜测概率。然而，这些区分策略要求测量设备完美的条件（如零不确定结果概率或零误差识别），在现实实验中由于光子损耗、低探测效率和噪声而极难满足。

为了在实际装置（可能是未知或不可信的测量设备）中展示并认证 NLWE，本文提出了一个全新的框架：利用最大置信度测量（MCM，Maximum‑Confidence Measurement）。MCM 只考虑已被探测到的事件，不强制要求所有结果都是确定性的，因此可以自然容纳未检测事件。通过优化每个结果的置信度（即给定结果时正确猜测的概率），MCM 能统一地推广最小错误区分和明确区分。作者在此基础上进一步构造了半设备无关（sDI）认证：仅根据结果率与置信度，就能判断未知测量设备是否属于全局测量而非可分离测量，即使设备本身不被信任。

核心方法和技术细节

最大置信度测量与全局‑可分离的差距

对于一个系综 S={qx,ρx}S=\{q_x,\rho_x\}，MCM 对每一个结果 xx 寻找一个 POVM 元素 Mx≥0M_x\ge0，使得条件概率即置信度

Cx,max⁡=max⁡Mx≥0qx tr[ρxMx]tr[ρMx]C_{x,\max} = \max_{M_x\ge0} \frac{q_x\,\mathrm{tr}[\rho_x M_x]}{\mathrm{tr}[\rho M_x]}

最大化。作者指出该优化可转化为半定规划（SDP），其最优解总是秩一的 POVM 元素，且置信度等于算子 ρ−1qxρxρ−1\sqrt{\rho}^{-1}q_x\rho_x\sqrt{\rho}^{-1} 的最大特征值。

若将 POVM 限制为可分离测量（SEP），相应置信度记为 Cx,max⁡(S)C_{x,\max}^{(S)}；而无需此限制时记为 Cx,max⁡(G)C_{x,\max}^{(G)}。由于可分离测量总能通过随机 LOCC 实现，故 Cx,max⁡(LOCC)=Cx,max⁡(S)C_{x,\max}^{(\mathrm{LOCC})}=C_{x,\max}^{(S)}，因而在 MCM 框架下，LOCC 与 SEP 之间不存在鸿沟。

论文通过互补松弛条件得到NLWE 存在的充要条件（命题 1）：当且仅当不存在乘积向量 ∣e⟩∣f⟩|e\rangle|f\rangle 使得互补态 σx\sigma_x 满足 σx∣e⟩∣f⟩=0\sigma_x|e\rangle|f\rangle=0，才会出现 Cx,max⁡(G)>Cx,max⁡(S)C_{x,\max}^{(G)}>C_{x,\max}^{(S)}。利用这一条件，作者在反平行态系综（每个态由两个比特的反平行方向组成）上严格证明了 NLWE。对于该系综，全局 MCM 是由纠缠态 ∣φx⟩|\varphi_x\rangle（含系数 2:1 的叠加）构成的秩一测量，可实现置信度 11，即明确地区分所有状态；而可分离 MCM 只能得到置信度 3/43/4。文中也表明，平行态系综无法产生此差距，该结论与已知的反平行态在状态估计中更具效率的结果一致。

半设备无关认证框架

在实际场景中，测量设备可能未知或不可靠，但实验者可以记录每个结果的频率——结果率 ηx=tr[ρMx]\eta_x = \mathrm{tr}[\rho M_x] 和测量结果态对应的条件概率 pM∣P(x∣x)p_{M|P}(x|x)，从而给出可认证置信度 C^x=qxηxpM∣P(x∣x)\hat{C}_x = \frac{q_x}{\eta_x}p_{M|P}(x|x)。随后，通过求解给定 ηx\eta_x 下最大可能置信度的 SDP：

C^x,max⁡=max⁡qxηxtr[ρxMx]s.t. tr[ρMx]=ηx, 0≤Mx≤I,\hat{C}_{x,\max} = \max \frac{q_x}{\eta_x}\mathrm{tr}[\rho_x M_x]\quad\text{s.t.}\ \mathrm{tr}[\rho M_x]=\eta_x,\ 0\le M_x\le\mathbb{I},

可以计算出全局测量和可分离测量的上界 C^x,max⁡(G)\hat{C}_{x,\max}^{(G)} 和 C^x,max⁡(S)\hat{C}_{x,\max}^{(S)}。当实验得到的 C^x\hat{C}_x 大于 C^x,max⁡(S)\hat{C}_{x,\max}^{(S)} 且不超过 C^x,max⁡(G)\hat{C}_{x,\max}^{(G)} 时，即可认证该测量属于 GLOBAL。该认证天然对测量缺陷鲁棒，因为它仅利用探测到的事件。

论文又给出一个重要的必要条件（命题 2）：对于任意产品态系综 {∣ψx⟩1∣ψx′⟩2}\{|\psi_x\rangle_1|\psi_x'\rangle_2\}，如果 ηx≥⟨Ψx∣ρ∣Ψx⟩\eta_x \ge \langle\Psi_x|\rho|\Psi_x\rangle，NLWE 无法被认证。这严格界定了结果率的上限。

利用非结论性结果的认证

即便置信度因噪声而无法直接认证 NLWE（例如 C^x≤3/4\hat{C}_x\le3/4），作者证明非结论性结果率 η0\eta_0 也可作为资源：全局测量能够实现比可分离测量更低的非结论性结果率。通过求解在保持可认证置信度下可分离测量的最小非结论性结果率 η0,min⁡(S)\eta_{0,\min}^{(S)} 的 SDP，当实验得到的 η0<η0,min⁡(S)\eta_0 < \eta_{0,\min}^{(S)} 时，即可认证测量属于 GLOBAL。例如，对于反平行态，当 C^x=3/4\hat{C}_x=3/4 时（即置信度无法单独认证），全局噪声测量给出的 η0=1/(3+10γ)\eta_0 = 1/(3+10\gamma) 可能低于 SEP 的最小值 1/31/3，从而实现认证。

创新点和贡献

  1. 首次将 MCM 应用于 NLWE 的演示与半设备无关认证，弥补了传统最小错误和明确区分策略在实验噪声下的不足。MCM 只依赖于探测结果，天然适应光子损耗和低探测效率。
  2. 建立了完整的 sDI 认证框架，仅根据结果率和置信度就能验证测量是否属于 GLOBAL，而不需要对测量设备作任何信任假设。该框架通过 SDP 的互补问题给出了清晰的充要条件。
  3. 揭示了非结论性结果的认证能力，即使置信度不足以区分 GLOBAL 和 SEP，低非结论性率仍可认证全局测量，扩展了 NLWE 的认证手段。
  4. 证明了框架对噪声的鲁棒性，即使在局部退极化噪声下，反平行态系综仍存在 GLOBAL 与 SEP 之间的置信度差距，并且能在一定参数范围内用非结论性结果认证 NLWE（见图 3）。

实验结果分析

论文以四态反平行量子比特系综（对称信息完备态）为核心实例，详细分析了不同结果率下的认证能力，并将结果划分为三个区间（如图 2 所示）：

  • 区间 I：0<ηx≤1/50<\eta_x\le1/5，全局 MCM 达到置信度 11（即明确区分），可分离为 3/43/4，差距恒为 1/41/4。此时认证效果最佳。
  • 区间 II：1/5<ηx<1/31/5<\eta_x<1/3，全局最优测量逐渐从纠缠态偏向混态，置信度降为 18ηx(1+38ηx−12ηx2−1)\frac{1}{8\eta_x}(1+\sqrt{3}\sqrt{8\eta_x-12\eta_x^2-1})，可分离仍保持 3/43/4，差距随 ηx\eta_x 增大而缩小。
  • 区间 III：ηx≥1/3\eta_x\ge1/3，最优 POVM 元素变为可分离形式 Mx=αx∣Ψx⟩⟨Ψx∣+(1−αx)IM_x = \alpha_x|\Psi_x\rangle\langle\Psi_x|+(1-\alpha_x)\mathbb{I}，此时 Δx=0\Delta_x=0，无法认证 NLWE。这与命题 2 的结论完全吻合。

在噪声模型中（局部退极化参数 pp），对于结果率低于临界值 ηc(p)\eta_c(p) 的情况，Cx,max⁡(G)>Cx,max⁡(S)C_{x,\max}^{(G)} > C_{x,\max}^{(S)} 仍然成立，且差距随 pp 减小而缩小。非结论性结果认证同样对噪声鲁棒：当置信度无法区分时，全局测量仍能以低于 SEP 极限的非结论性率完成认证。这些分析表明，即使在当前中等规模的量子光学实验中（探测效率低于 1/31/3），该认证方案也具有可行性。

局限与待解决问题

尽管该工作为 NLWE 的实际认证铺平了道路，但仍存在若干值得关注的局限与未解问题：

  1. 必须信任态制备：认证中需要精确知道所发送的量子态系综，这属于半设备无关而非完全设备无关的范畴。对于不完美或恶意的态源，认证的安全性未讨论。
  2. 系综依赖性：所展示的 NLWE 差距及其认证直接依赖于特定的反平行态系综。虽然论文指出了任意产品态系综的必要条件，但尚未给出构造通用系综以获得最大认证差距的一般方法。
  3. 结果率阈值的限制：NLWE 只能在低结果率区间被认证，这意味着只有在有限的探测事件频率下才能区分全局与可分离测量。如果实验中结果率因高损失而处于更低区间，认证可能受益，但过度损失也可能导致数据不足。论文未具体讨论统计误差和限界。
  4. 可扩展性及实际协议：虽提及了潜在应用（如联合测量和量子通信对抗敌手中继器），但尚未构建具体的量子信息任务协议，也未分析多子系情形下的认证条件。未来工作需要将 MCM 认证框架推广到多体系统和连续变量系统，并探究其在设备无关量子密钥分发或联合测量中的实际增益。

总体而言，该理论框架为未来在现有量子技术上实验验证 NLWE 提供了明确的路线图，但将其转化为实用量子信息协议仍需解决信任态制备、有限统计和协议设计等关键问题。