Hardy几乎无处不在：几乎所有纠缠多体态的无不等式非定域性

我们证明所有$n$量子比特纠缠态，除了单量子比特与二分最大纠缠态的张量积外，都承认无不等式或概率的Hardy型非定域性证明。更精确地，我们证明对于所有此类态，存在局部的单量子比特可观测量，使得所得概率表在Abramsky和Brandenburger意义下是逻辑情境的，这是Hardy型性质的普遍形式。此外，我们的证明是构造性的：给定一态，我们展示如何产生见证局部可观测量。事实上，我们给出了一个算法来做此事。尽管算法相当直接，其正确性证明非平凡。另一惊人特征是，我们证明$n+2$个局部可观测量足以见证任意$n$量子比特态的逻辑情境性：两个参与方各两个，其余$n-2$参与方各一个。