An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs
Axel Muller, Alain Giorgetti
本文深入探讨了量子语境的概念,特别侧重于通过将Pauli可观测值分配给满足给定的换向关系的超图顶点获得的Kocheen-Specker定理的证明。 由这个超图和反交换图组成的抽象结构被命名为超克。 它的标签与保利可观测物概括了众所周知的魔法集。 第一个结果是,给定高克的所有这些正确的量子标签本质上具有相同的上下文性。 然后,我们为这种量子标签的存在提供了一个必要和充分的条件,并找到了其中的一个有效算法。 我们最终在每个可分配的超图上附加了一个抽象的上下文度概念。 通过从图形和矩阵的角度呈现基于可观察的Kocheen-Specker证明的研究,这种抽象为寻找原始上下文配置的新方法开辟了道路。
This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The abstract structure composed of this hypergraph and the graph of anticommutations is named a hypergram. Its labelings with Pauli observables generalize the well-known magic sets. A first result is that all these correct quantum labelings of a given hypergram inherentl...