设备无关的因果序检验及其与不动点的关系

贝尔非局域关联无法在固定的因果结构中得到自然解释。这促使人们考虑除逻辑一致性外不做全局假设的模型。一组参与方之间固定因果序的假设，加上自由随机性，意味着设备无关不等式——正如定域性假设那样。已知量子理论的局域有效性可与违背此类不等式相一致。此外，对于三个或更多参与方，即便是（更强的）局域经典概率论加逻辑一致性的假设也允许违背因果不等式。在此，我们证明，参与方所作用的经典环境（可能包含环路）在逻辑上是一致的，当且仅当无论所涉参与方做什么，都恰有一个不动点，且后者可表示为确定性不动点的混合。我们进一步表明，非因果观点允许一种计算模型，其能力严格强于固定因果序世界中的计算。