何种经典性？有限量子逻辑中的关联、单纯形与乘积规则检验

有限量子逻辑构造根据所保留的结构不同，可能表现为经典或非经典。我们区分了基于赋值、着色和划分表示的关联检验；针对特定制备-测量片段的单纯形嵌入检验；以及施加谱规则和乘积规则的算子泛函检验。我们表明，集体的GHZ联合测量是一个单一的布尔语境，只有当要求对局域因子进行共同赋值并保持乘积时，它才变得非经典。对于选定的标记射线片段，我们计算了受限投影子锥分解和特定矢量生成的操作闭包的状态退极化阈值，将精确的原始-对偶证书与数值估计区分开来。这些值是所述片段和噪声模型的属性，而非底层超图的不变量或语境性的普遍排序。