论文标题
用于测试非经典性和开源实现的线性程序
A linear program for testing nonclassicality and an open-source implementation
论文作者
论文摘要
一种有动力的方法证明一个实验可以抵抗任何经典解释的方法是表明其统计数据违反了广义的非上下文性。在这里，我们将此问题提出为线性程序，并提供了其开源实现，从而测试了任何给定的准备量度实验是否可以从这个意义上讲经典。该程序的输入只是一组任意的量子状态和一组任意的量子效应。然后，该程序确定所有对所有对生成的诞生规则统计量是否可以通过经典（非上下文）模型来解释。如果存在经典模型，它提供了一个明确的模型。如果不这样做，它将计算必须添加的最小噪声，以使模型确实存在，然后提供此模型。我们将所有这些结果推广到任意的广义概率理论（以及其可访问的片段）。确实，我们的线性程序是对单纯化性的测试。
A well motivated method for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here formulate this problem as a linear program and provide an open-source implementation of it which tests whether or not any given prepare-measure experiment is classically-explainable in this sense. The input to the program is simply an arbitrary set of quantum states and an arbitrary set of quantum effects; the program then determines if the Born rule statistics generated by all pairs of these can be explained by a classical (noncontextual) model. If a classical model exists, it provides an explicit model. If it does not, then it computes the minimal amount of noise that must be added such that a model does exist, and then provides this model. We generalize all these results to arbitrary generalized probabilistic theories (and accessible fragments thereof) as well; indeed, our linear program is a test of simplex-embeddability.
