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

arXiv: 2606.13667v1

论文信息

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

作者: Hanwool Lee, Joonwoo Bae

发布日期: 2026-06-11

arXiv ID: 2606.13667v1

PDF 链接: 下载 PDF

论文背景与研究动机

量子信息处理的核心优势源于纠缠等非经典特性。然而，量子非局域性并不总是需要纠缠作为前提。Bennett 等人提出的 “无纠缠非局域性”(Nonlocality Without Entanglement, NLWE)现象表明，即使是对可分离态进行全局测量(GLOBAL)，其能力也超越了局限于局域操作和经典通信(LOCC)的可分测量(SEP)。这一发现挑战了我们对量子非局域性的传统理解。

传统的量子态区分策略，如最小错误区分和明确区分，已在理论上证实了 GLOBAL 与 SEP 之间存在性能差距。然而，这些策略在实用场景中面临根本性困难：它们要么要求零概率的不确定结果，要么要求零错误的态识别。当测量设备存在噪声、光子损耗或低探测效率时，这些理想化要求无法满足，导致 NLWE 难以在实际系统中得到验证和应用。

本文的核心动机正是解决这一困境。作者提出基于最大置信度测量(Maximum-Confidence Measurement, MCM)的框架，不仅能够在实用条件下展示 NLWE，更重要的是实现了半设备无关(semi-device-independent, sDI)的认证——即便测量设备未知或不可信，仅凭探测到的事件结果就能判定测量是否具有全局特性。

核心方法与技术细节

最大置信度测量的数学框架

MCM 的核心思想是反向推理：给定一个测量结果，判断最可能是哪个态被制备。其数学表述为条件概率的最大化：

Cx,max⁡:=max⁡Mqxtr[ρxMx]tr[ρMx]C_{\mathrm{x},\max}:=\max_{M}\frac{q_{\mathrm{x}}\mathrm{tr}[\rho_{\mathrm{x}}M_{\mathrm{x}}]}{\mathrm{tr}[\rho M_{\mathrm{x}}]}

该优化问题可转化为半定规划(SDP)，最优置信度等于算子 ρ−1qxρxρ−1\sqrt{\rho}^{-1}q_{\mathrm{x}}\rho_{\mathrm{x}}\sqrt{\rho}^{-1} 的最大特征值。

关键的最优性条件通过互补问题表述：

Cx,max⁡ρ−qxρx=rxσx,tr[σxMx]=0C_{\mathrm{x},\max}\rho - q_{\mathrm{x}}\rho_{\mathrm{x}} = r_{\mathrm{x}}\sigma_{\mathrm{x}}, \quad \mathrm{tr}[\sigma_{\mathrm{x}}M_{\mathrm{x}}] = 0

其中 σx\sigma_{\mathrm{x}} 称为互补态。POVM 元素必须与被 σx\sigma_{\mathrm{x}} 的核空间所支撑。

NLWE 的判据

论文提出了判定 GLOBAL 与 SEP 之间存在差距的充要条件（命题 1）：当且仅当存在直积向量 ∣e⟩∣f⟩|e\rangle|f\rangle 使得 σx∣e⟩∣f⟩=0\sigma_{\mathrm{x}}|e\rangle|f\rangle = 0 时，可分测量才可达最优置信度。若不存在这样的直积态，则全局测量严格优于可分测量。

反平行态示例

研究采用对称信息完备(SIC)态构成的反平行态集合：

∣Ψx⟩=∣ϕx⟩⊗∣ϕx⊥⟩,x=1,…,4|\Psi_{\mathrm{x}}\rangle = |\phi_{\mathrm{x}}\rangle \otimes |\phi_{\mathrm{x}}^{\perp}\rangle,\quad \mathrm{x}=1,\ldots,4

对于该集合，全局 MCM 可实现置信度 Cx,max⁡(G)=1C_{\mathrm{x},\max}^{(G)} = 1（达到明确区分），最优 POVM 元素为纠缠态：

∣φx⟩=15(2∣ϕx⟩⊗∣ϕx⊥⟩+∣ϕx⊥⟩⊗∣ϕx⟩)|\varphi_{\mathrm{x}}\rangle = \frac{1}{\sqrt{5}}(2|\phi_{\mathrm{x}}\rangle\otimes|\phi_{\mathrm{x}}^{\perp}\rangle + |\phi_{\mathrm{x}}^{\perp}\rangle\otimes|\phi_{\mathrm{x}}\rangle)

而可分 MCM 仅能达到 Cx,max⁡(S)=3/4C_{\mathrm{x},\max}^{(S)} = 3/4，最优测量为直积形式 ∣ϕx⟩⟨ϕx∣⊗∣ϕx⊥⟩⟨ϕx⊥∣|\phi_{\mathrm{x}}\rangle\langle\phi_{\mathrm{x}}|\otimes|\phi_{\mathrm{x}}^{\perp}\rangle\langle\phi_{\mathrm{x}}^{\perp}|。二者之间的差距清晰展示了 NLWE。

半设备无关认证

认证框架基于三个要素：态集合 SS、探测到的结果率 {ηx}\{\eta_{\mathrm{x}}\}、以及可认证置信度：

C^x=qxηxpM∣P(x∣x)\hat{C}_{\mathrm{x}} = \frac{q_{\mathrm{x}}}{\eta_{\mathrm{x}}}p_{M|P}(\mathrm{x}|\mathrm{x})

通过求解约束优化问题（等式 10），计算给定结果率下 SEP 与 GLOBAL 分别能实现的最大置信度。当满足 C^x,max⁡(G)≥C^x>C^x,max⁡(S)\hat{C}_{\mathrm{x},\max}^{(G)} \geq \hat{C}_{\mathrm{x}} > \hat{C}_{\mathrm{x},\max}^{(S)} 时，NLWE 得到认证。

创新点与贡献

本文的贡献体现在以下几个层面：

一是将 NLWE 的展示与认证扩展到实用场景。通过 MCM 策略，仅依赖已探测事件，自然包容了光子损耗、探测效率不足等实验缺陷，避免了最小错误区分和明确区分对理想测量条件的苛刻要求。

二是建立了半设备无关认证框架。类似于纠缠目击者检测纠缠而无需完全表征态，该方法仅从测量结果统计就能判定测量设备是否具备全局性，无需信任或了解测量设备的内部运作。

三是揭示了结果率与认证能力的关系（图 2 所示）。对于纯粹态反平行集合，存在三个区域：低结果率区(ηx≤1/5\eta_{\mathrm{x}}\leq 1/5)差距最大(Δx=1/4\Delta_{\mathrm{x}}=1/4)；中间区域(1/5<ηx<1/31/5<\eta_{\mathrm{x}}<1/3)差距逐渐减小；高结果率区(ηx≥1/3\eta_{\mathrm{x}}\geq 1/3)差距消失，无法认证。

四是利用无结论结果(indeterminate outcomes)作为补充认证手段。当确定性结果的置信度不足以区分 GLOBAL 与 SEP 时，无结论结果率的异常低值仍可揭示 NLWE 的存在。例如，即使引入噪声使置信度降至 3/43/4 以下，无结论率仍可低于 SEP 可达的下界(η0,min⁡(S)=1/3\eta_{0,\min}^{(S)} = 1/3)。

五是验证了噪声鲁棒性。对于受局域去极化噪声污染的反平行态，GLOBAL 与 SEP 之间的差距始终存在，认证在低结果率区域依然可行。临界结果率 ηc\eta_c 随噪声参数 pp 单调变化，体现了框架的实际适用性。

实验结果分析

对于纯净反平行态的认证能力，作者给出了闭式解：

  • 区域 I(ηx∈(0,1/5]\eta_{\mathrm{x}}\in(0,1/5])：POVM 元素为纯纠缠态，实现置信度 1，与 SEP 的差距恒为 1/4
  • 区域 II(ηx∈(1/5,1/3)\eta_{\mathrm{x}}\in(1/5,1/3))：POVM 元素仍为纠缠态，但置信度随结果率增加而递减，差距公式为 Δx=18ηx(1+38ηx−12ηx2−1)−34\Delta_{\mathrm{x}} = \frac{1}{8\eta_{\mathrm{x}}}(1+\sqrt{3}\sqrt{8\eta_{\mathrm{x}}-12\eta_{\mathrm{x}}^2-1})-\frac{3}{4}
  • 区域 III(ηx≥1/3\eta_{\mathrm{x}}\geq 1/3)：最优 POVM 变为可分形式 Mx=αx∣Ψx⟩⟨Ψx∣+(1−αx)IM_{\mathrm{x}} = \alpha_{\mathrm{x}}|\Psi_{\mathrm{x}}\rangle\langle\Psi_{\mathrm{x}}|+(1-\alpha_{\mathrm{x}})\mathbb{I}，差距为零

这一结果揭示了一个有趣的反直觉现象：NLWE 在低探测率时反而更容易认证。原因在于，低结果率迫使最优测量更 “纯粹” 地指向期望态，从而凸显了全局测量的优势。

对于无结论结果的认证，带有噪声的全局 POVM Mx(G)=a(∣φx⟩⟨φx∣+γI)M_{\mathrm{x}}^{(G)} = a(|\varphi_{\mathrm{x}}\rangle\langle\varphi_{\mathrm{x}}|+\gamma\mathbb{I}) 可产生低于 SEP 下限的无结论率。当噪声参数 γ≥1/10\gamma\geq 1/10 时，确定性结果的置信度已降至 SEP 水平以下，但无结论率 η0=1/(3+10γ)\eta_0 = 1/(3+10\gamma) 仍可低于 1/3，维持认证能力。

实践应用建议与未来方向

对于希望在现有量子光学平台上实现 NLWE 认证的实验研究者，本文提供如下实践指导：

实验设计方面，应优先选择 SIC 态的反平行组合，因其具有最大对称性和结构清晰的互补态。单光子偏振-路径纠缠是自然的实现平台，两个光子分别编码可有效制备所需的直积态。

参数选择方面，应有意工作在低探测效率区域(ηx<1/5\eta_{\mathrm{x}}<1/5)。这看似与常规优化目标相悖，但可利用可控的光子衰减或门控探测来实现。关键是在此区间 GLOBAL 与 SEP 的差距最大，认证鲁棒性最强。

噪声管理方面，局域去极化噪声不破坏 NLWE 的认证能力，说明该框架对某些类型的实验噪声具有天然容忍度。实验者可将资源集中在抑制非局域噪声源上，而非追求完美的态制备。

双重认证策略，当确定性结果的置信度因噪声而被压缩时，应同时监测无结论结果率。两者的联合使用可扩展可认证的参数空间。

未来研究方向包括：将 MCM 框架与其他 NLWE 展示形式统一；开发基于 NLWE 的量子通信安全协议，特别是对抗量子中继器攻击；探索多体系统和连续变量体系中的对应现象；以及实现完全设备无关的 NLWE 认证方案。

总结与展望

本文成功构建了实用条件下展示和认证无纠缠非局域性的理论框架。核心创新在于将最大置信度测量策略与半设备无关认证范式相结合，使得 NLWE 这一基础量子现象能够在非理想测量条件下得到验证。

该工作桥接了量子基础理论与实验实现之间的鸿沟。所揭示的低探测率有利于认证的反直觉结论，为实验设计提供了反传统的优化方向。此外，无结论结果作为认证资源的发现，拓展了量子信息处理中 “负面” 事件的利用途径。

展望未来，该框架有望促进 NLWE 从理论奇异现象向实用量子技术组件的转化，特别是在设备不完美条件下的量子优势验证领域催生新应用。