多量子比特辛极化空间中二次曲面的情境性程度

量子情境性在量子计算的概念中占有重要地位，这些概念使其相对于经典对应物具有优势。对于一大类情境性证明，即基于可观测量的Kochen-Specker定理证明，我们将情境性属性表述为线性系统无解，并为情境性构型定义其情境性程度。然后我们解释为何二元辛极化空间的子几何是情境性证明的候选。我们报告了一个软件的结果，该软件生成这些子几何，判定其情境性并计算某些小辛极化空间的情境性程度。我们表明辛极化空间$W_n$中的二次曲面对于$n=3,4,5$是情境性的。我们所考虑的证明显然比已知最小证明涉及更多的上下文和可观测量。这些证明的中间规模特性对于实验测试很有意义，但也可能在量子博弈论中令人感兴趣。