[论文解读] Efficient verification of entangled continuous-variable quantum states with local measurements

Ye‐Chao Liu, Jiangwei Shang+1 more|arXiv (Cornell University)|Mar 30, 2021

Quantum Information and Cryptography参考文献 78被引用 8

一句话总结

该论文提出了一套系统性框架，仅通过局域测量即可高效验证纠缠的连续变量（CV）量子态，实现无条件的高验证效率，其资源效率相比量子层析成像（QST）具有二次方优势。通过采用基于能量的光子计数测量与福克态投影，该协议实现了对两模及多模纠缠相干态的最优验证，资源标度为 N ∝ O(ϵ⁻¹ ln δ⁻¹)，显著降低了传统方法的开销。

ABSTRACT

Continuous-variable quantum states are of particular importance in various quantum information processing tasks including quantum communication and quantum sensing. However, a bottleneck has emerged with the fast increasing in size of the quantum systems which severely hinders their efficient characterization. In this work, we establish a systematic framework for verifying entangled continuous-variable quantum states by employing local measurements only. Our protocol is able to achieve the unconditionally high verification efficiency which is quadratically better than quantum tomography as well as other nontomographic methods. Specifically, we demonstrate the power of our protocol by showing the efficient verification of entangled two-mode and multimode coherent states with local measurements.

研究动机与目标

• 为解决由于标准量子态层析成像（QST）资源成本过高而导致的大规模连续变量（CV）量子系统表征瓶颈问题。
• 开发一种实用且高效率的纠缠CV态验证协议，避免四象限测量所需的数据后处理。
• 仅使用局域、确定性测量，实现对多模纠缠相干态——量子通信与计量学中的关键资源——的验证。
• 实现相比QST及其他非层析方法验证效率的二次方提升，资源标度为 N ∝ O(ϵ⁻¹ ln δ⁻¹)，其中 ϵ 为保真度，1−δ 为置信水平。

提出的方法

• 该协议使用局域、确定性的单光子探测（SPD）或光子数分辨探测（PNRD）进行光子计数测量，投影至福克态或相干态，避免四象限测量所需的数据后处理。
• 采用由二元投影测量构成的验证算符 Ω = ∑ₗ μₗΩₗ，其谱隙 ν = 1−λ₂(Ω) 决定验证效率。
• 对于类GHZ的CV态，协议通过局域位移操作与偶 parity 测量（π⊗m）来验证相干态与真空的叠加态。
• 该框架可推广至多模纠缠相干态，包括 |ψ′GHZ-m⟩ = (1/√C′)(⊗|αᵢ⟩ − |0⟩⊗m)，使用对称测量设置。
• 通过在满足谱隙约束条件下调节测量设置的概率分布 {μₗ}，实现最优效率。
• 该方法对独立同分布（i.i.d.）态具有鲁棒性，且无需预处理，与某些先前方法不同。

实验结果

研究问题

• RQ1 能否仅通过局域测量高效验证纠缠的连续变量量子态，而无需依赖四象限测量的后处理？
• RQ2 CV态验证的根本资源标度是什么？是否可实现相比量子层析成像的二次方改进？
• RQ3 如何利用局域操作与确定性测量验证类GHZ的多模纠缠相干态？
• RQ4 该验证框架能否推广至标准GHZ形式之外的其他纠缠CV态？
• RQ5 在给定实验约束下，如何确定最优测量策略以最大化验证效率？

主要发现

• 所提出的验证协议实现了 N ∝ O(ϵ⁻¹ ln δ⁻¹) 的资源开销，相比量子层析成像及其他非层析方法具有二次方优势。
• 该协议仅通过局域测量即可高效验证两模及多模纠缠相干态，包括形如 |ψGHZ-m⟩ = (1/√C)(⊗|αᵢ⟩ + |0⟩⊗m) 的类GHZ态。
• 对于态 |ψ′GHZ-m⟩ = (1/√C′)(⊗|αᵢ⟩ − |0⟩⊗m)，协议实现了最优验证效率，其谱隙 ν 确保在 N 份副本后满足 (1−νϵ)^N ≤ δ。
• 该框架可推广至更广泛的多模纠缠相干态类 |~ψ′GHZ-m⟩ = (1/√~C′)(⊗|αᵢ⟩ − ⊗|βᵢ⟩)，当且仅当 ∑ᵢ ℑ(αᵢβᵢ*) = nπ（n 为整数）时可验证。
• 该方法具有鲁棒性，无需 i.i.d. 态制备或数据预处理，与某些先前的验证方案不同。
• 理论分析证实，验证算符的本征态与目标纠缠CV态完全一致，确保了高保真度验证。