用于检验非语境实在论模型的Peres-Mermin证明的一个变体

对于四维系统中的任何态，基于Peres-Mermin证明检验非语境实在论模型的不等式的量子违反已在实验上得到证实。在Peres-Mermin证明中，使用了针对两个两量子比特系统的九个整体可观测量阵列。在本文中，我们为同一系统提出了一组新的对称可观测量，该组可观测量也以与态无关的方式提供了量子力学与非语境实在论模型之间的矛盾。整个论证也可以转化为一个新的不等式形式，该不等式可以进行经验检验。