摘要 使用 Mermin 多项式可以检测量子系统的非局域性和由此产生的纠缠。这为我们提供了一种研究量子算法执行过程中非局域性演变的方法。我们首先考虑 Grover 的量子搜索算法,注意到在算法执行过程中,当接近预定状态时,状态的纠缠度达到最大值,这使我们能够搜索单个最优 Mermin 算子,并在整个 Grover 算法执行过程中使用它来评估非局域性。然后还使用 Mermin 多项式研究量子傅里叶变换。在每个执行步骤中搜索不同的最优 Mermin 算子,因为在这种情况下没有任何迹象表明我们能够找到最大程度地违反 Mermin 不等式的预定状态。将量子傅里叶变换的结果与之前使用凯莱超行列式进行纠缠研究的结果进行了比较。由于我们提供的是结构化且有文档记录的开源代码,因此所有的计算都可以重复。
Mermin Square方案为与国家无关的上下文提供了简单的证明。在本文中,我们研究了从Mermin方案获得的多面体MPβ,在一组环境中由函数β进行了参数。直到组合同构,有两种类型的多型MP 0和MP 1,具体取决于β的均衡。我们的主要结果是这两个多面体的顶点的分类。另外,我们描述了与多面体关联的图。MP 0的所有顶点结果都是确定性的。此结果提供了一个新的拓扑证明,证明了CHSH场景上的非上下文分布的精细表征。mp 1可以看作是λ-聚植物的非局部玩具版本,这是用于仿真通用量子计算的一类多型。在2 Quibit的情况下,我们使用MP 1进行了λ-聚型的分解,其顶点是分类的,并且(2、3、2)钟形场景的非信号层,其顶点是众所周知的。
