[论文解读] Mermin's pentagram and Bell's theorem

P. K. Aravind|ArXiv.org|Apr 30, 2001

Quantum Mechanics and Applications参考文献 1被引用 3

一句话总结

本文通过两个远距离观测者共享的六量子比特纠缠态，联合证明了贝尔- Kochen-Specker（BKS）定理与贝尔定理。作者将Mermin的五角星 contextuality 框架与Kernaghan和Peres的40态非着色证明相结合，表明对这一态的独立测量所产生的关联性无需不等式即可排除定域隐变量理论，从而实现了无依赖于态的BKS定理证明以及通过共享纠缠实现的无不等式贝尔检验。

ABSTRACT

It is shown how a proof of the Bell-Kochen-Specker (BKS) theorem given by Kernaghan and Peres can be experimentally realized using a scheme of measurements derived from a related proof of the same theorem by Mermin. It is also pointed out that if this BKS experiment is carried out independently by two distant observers who repeatedly make measurements on a specially correlated state of six qubits, it provides an inequality-free demonstration of Bell's theorem as well.

研究动机与目标

• 通过六量子比特纠缠态展示一种无依赖于态的BKS定理证明。
• 阐明如何通过两个远距离观测者独立测量，将此BKS定理证明转化为贝尔定理的证明。
• 建立一种可在实验室实现的方案，通过在Mermin五角星可观测量上进行混合测量，以检验上下文性和非局域性。
• 探索该框架在量子密码学中的潜力，特别是生成非二进制（八进制）量子密钥的可能性。

提出的方法

• 作者使用由三对贝尔态组成的六量子比特纠缠态，每对贝尔态分别在Alice与Bob的量子比特之间共享。
• 在每位观测者的量子比特上定义11种混合测量，涉及对Mermin五角星中相交边的联合测量，其结果由基于中间结果的条件测量策略决定。
• 这些测量被设计为使得每种混合测量对应于40个Kernaghan-Peres态中特定的一组本征值结果，从而与五角星边的乘积约束保持一致。
• 该证明依赖于这样一个事实：若一位观测者测量到40种结果之一对应的态，则另一位观测者的量子比特将坍缩为同一态，从而实现共享关联。
• 该方案采用非破坏性测量技术，涉及辅助量子比特或广义多测量协议，每轮运行中每量子比特最多可执行三次测量。
• 理论基础建立在40态非着色证明中非上下文性赋值不可能性，以及共享态在测量下发生非局域坍缩的特性之上。

实验结果

研究问题

• RQ1 能否利用六量子比特纠缠态实验实现基于Kernaghan-Peres 40态的无依赖于态BKS定理证明？
• RQ2 如何利用对Mermin五角星的混合测量，推导出无需依赖不等式的联合BKS-Bell定理证明？
• RQ3 当两位远距离观测者独立对由五角星框架导出的共享六量子比特纠缠态进行测量时，会涌现出何种非局域关联？
• RQ4 该框架能否被改造用于生成非二进制量子密钥？此类密钥相较于二进制密钥有何优势？
• RQ5 由三对贝尔态组成的特定六量子比特态在实现上下文性与非局域性检验中起什么作用？

主要发现

• 六量子比特纠缠态 |Ψ⟩ = (1/√2)(|00⟩+|11⟩)₁₄ ⊗ (1/√2)(|00⟩+|11⟩)₂₅ ⊗ (1/√2)(|00⟩+|11⟩)₃₆ 能够实现无不等式的联合BKS-Bell定理证明。
• 通过五角星边上的条件策略定义的每位观测者上的11种混合测量，能够完整实现40态非着色证明。
• 当Alice与Bob的测量至少共享一条边时，其结果完全关联：若一方检测到特定结果，另一方也检测到相同结果，或双方均抑制该结果，这是由于共享态的坍缩特性所致。
• 共享态确保了一侧的测量坍缩会将另一侧投影到相同的本征态，从而实现从独立BKS证明向联合贝尔定理证明的过渡。
• 该框架支持320种不同的测量方案，表明其在实验实现中具有丰富的结构。
• 该协议可被改造为生成八进制量子密钥分发系统，为标准二进制量子密钥分发提供一种非二进制替代方案。