任意网络中网络非定域性的线性规划见证

网络非定域性将 Bell 非定域性扩展到具有多个独立源和参与方的设定中。在量子信息处理任务中对其进行认证需要合适的见证。然而，与定域关联不同，网络定域关联的集合是非凸的。这种非凸性使得认证网络非定域性成为一项高度非平凡的任务。现有方法涉及利用网络特定属性，或基于膨胀的方法，其约束随局部变量的数量组合增长。在本工作中，我们引入了一个由五类线性约束构建的、用于网络非定域性的线性规划见证。这些类别是网络无关的，尽管约束的显式形式必须针对特定网络的结构进行定制。我们使用该程序为一族环形网络构建了网络非定域性见证，并仅依赖观测概率和一个可调实验参数，对一个具体示例认证了网络非定域性。我们的工作推进了在多样化量子网络架构中认证网络非定域性的高效见证的探索。