多特征化 parties 场景下的后量子引导

后量子现象（即超越量子理论的现象）的研究深化了对量子理论范围的理解。关于 Bell 情景下相关性的研究已为 device-independent 框架提供了大量知识，使我们能够独立于量子理论的形式化来探索其可能性。然而，关于 Einstein-Podolsky-Rosen 引导的研究就不那么为人所知。在 "特征化 parties" 的情况下，假设各方通过量子形式化局部描述其系统，这会给理论独立的描述带来不便。此外，Gisin、Hughston、Josza 和 Wootters 的定理也阻碍了该现象的发现。十余年来，后量子引导的研究虽已相当丰富，包括数学正式化框架、量化其作为资源的 resource theory，以及将其与 Bell 相关性关联的激活协议等，但这些结果都有一个共同限制：它们仅适用于只有一个量子 party 的情景。本文提出了针对多个量子 parties 场景的后量子引导概念，为拼图中缺失的关键部分。我们提供了一个算法来认证后量子性，在某些情况下也能认证量子性。我们还定义了一个半正定规划层次结构，从外部界定量子 assemblages 的集合。此外，我们表明后量子引导的研究在根本意义上具有相关性，因为它不仅是 no-signalling 原理允许的数学巧思，而且可能在超越量子理论的组合理论中实现。我们的工作进一步发现了引导的一个奇特之处：其理论独立的描述根本阻止了其与 Bell 非局域性之间的直接联系——例如，非经典的 Bell 相关性并不必然导致非经典的引导。