见证相干性、非定域性与情境性的不等式

量子相干性、非定域性和情境性是量子在计量、通信与计算中取得优势的关键资源。我们引入一种基于图的方法，以推导约束定域、非情境和无相干模型的经典性不等式，对这些看似不同的量子资源给出统一描述。我们的方法推广了近期提出的基无关相干见证，并恢复了排他图方法中所有的非情境性不等式。此外，某些经典性不等式的违背可见证制备情境性。我们描述了一种寻找所有此类经典性不等式的算法，并用其分析了若干最简单情景。