[论文解读] Inequalities witnessing coherence, nonlocality, and contextuality

Rafael Wagner, Rui Soares Barbosa+1 more|arXiv (Cornell University)|Sep 6, 2022

Quantum Information and Cryptography参考文献 73被引用 7

一句话总结

本文提出了一种统一的图论框架，通过边加权图推导出非定域性、非contextuality（非contextuality）和无相干性模型的经典性不等式。通过将顶点解释为制备或测量，该方法将环不等式识别为制备contextuality的判据，推广了基无关的相干性判据，并在统一框架下恢复了基于排除关系的非contextuality不等式。

ABSTRACT

Quantum coherence, nonlocality, and contextuality are key resources for quantum advantage in metrology, communication, and computation. We introduce a graph-based approach to derive classicality inequalities that bound local, non-contextual, and coherence-free models, offering a unified description of these seemingly disparate quantum resources. Our approach generalizes recently proposed basis-independent coherence witnesses, and recovers all non-contextuality inequalities of the exclusivity graph approach. Moreover, violations of certain classicality inequalities witness preparation contextuality. We describe an algorithm to find all such classicality inequalities, and use it to analyze some of the simplest scenarios.

研究动机与目标

• 在单一形式体系下统一描述非定域性、非contextuality和无相干性模型。
• 利用态重叠的关联信息，推广基无关的相干性判据。
• 在统一框架下，从排除图方法恢复已知的非contextuality不等式。
• 确定经典性不等式违反条件，以作为制备contextuality的判据。
• 为简单场景提供系统生成所有此类经典性不等式的算法方法。

提出的方法

• 从无向事件图 $ G $ 构造一个概率多面体 $ C_G $，其中边权重表示顶点过程之间的相关性。
• 将经典边权重定义为来自一组联合分布的随机变量 $ (A_i)_{i \in V(G)} $ 的权重，其中 $ r_{ij} = P(A_i = A_j) $。
• 通过总变差距离 $ \|\mu_i - \mu_j\|_{\text{TV}} $ 定义制备非contextual边权重，即 $ r_{ij} = 1 - \|\mu_i - \mu_j\|_{\text{TV}} $。
• 从总变差范数的三角不等式推导出环不等式，从而对制备-测量场景中的混淆性提供约束边界。
• 将该框架应用于环图 $ C_n $，表明对不等式 $ -r_{i,i+n-1} + \sum_{k=1}^{n-1} r_{i+k-1,i+k} \leq n-2 $ 的违反可作为制备contextuality的判据。
• 开发一种系统性算法，用于为给定图找出所有经典性不等式，从而支持对最小场景的分析。

实验结果

研究问题

• RQ1 非定域性、非contextuality和无相干性模型能否在单一统一形式体系下被描述？
• RQ2 在统一框架中，基无关的相干性判据如何与contextuality和非定域性相关联？
• RQ3 从图多面体导出的经典性不等式违反是否可作为制备contextuality的判据？
• RQ4 该框架能否恢复并推广基于排除图的非contextuality方法？
• RQ5 环不等式在操作理论中检测制备contextuality方面起什么作用？

主要发现

• 经典多面体 $ C_G $ 捕获了所有来自联合分布随机变量的边权重，构成一个由逻辑约束界定的凸集。
• 从总变差距离的三角不等式导出的环不等式，为制备非contextual模型提供了必要边界。
• 对环图 $ C_n $，不等式 $ -r_{i,i+n-1} + \sum_{k=1}^{n-1} r_{i+k-1,i+k} \leq n-2 $ 的违反可作为量子制备contextuality的判据。
• 该框架通过仅使用态之间的关联关系（而非固定参考基），推广了基无关的相干性判据。
• Spekkens玩具模型（其具有非contextual隐性模型）满足所有环不等式，证实了这些不等式作为contextuality判据的作用。
• Giordani 等人（2021）的实验可重新解释为对制备contextuality的检验，尽管其未明确探测操作等价性或关闭漏洞。