[论文解读] Generalized parity proofs of the Kochen-Specker theorem

Petr Lisoněk, Robert Raussendorf+1 more|arXiv (Cornell University)|Jan 13, 2014

Quantum Mechanics and Applications参考文献 18被引用 3

一句话总结

本文提出了两种互补的方法，用于使用乘积为±I的可交换可观测量的约束，生成Kochen-Specker定理的广义奇偶性证明。第一种方法利用线性代数和编码理论，从一组固定的约束中枚举证明；第二种方法利用组合关联结构，判断可观测量赋值是否能产生有效的奇偶性证明。主要贡献是一个系统化的框架，用于分类和枚举此类证明，结果显示许多组合结构无法产生任何奇偶性证明。

ABSTRACT

We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$; we call them constraints. In the first approach, one starts with a fixed set of constraints and methods of linear algebra are used to produce subsets that are generalized parity proofs. Coding theory methods are used for enumeration of the proofs by size. In the second approach, one starts with the combinatorial structure of the set of constraints and one looks for ways to suitably populate this structure with observables. As well, we are able to show that many combinatorial structures can not produce parity proofs.

研究动机与目标

• 开发一种系统化框架，用于生成Kochen-Specker定理的广义奇偶性证明，超越传统的泡利可观测量。
• 通过编码理论技术，解决按大小枚举奇偶性证明的挑战。
• 确定哪些组合关联结构（无论可观测量的维度或类型如何）能够或不能支持任何奇偶性证明。
• 提供一种算法方法，利用群论工具（如Knuth-Bendix算法）检查给定关联结构上奇偶性证明的存在性。
• 建立一个结论：从一组固定约束中可导出的奇偶性证明数量总是0或2的幂，这是基于二元线性码的理论。

提出的方法

• 将奇偶性证明建模为约束集合（可交换可观测量的集合，其乘积为±I），其中每个可观测量出现在偶数个约束中，且奇数个约束的乘积为−I。
• 利用二元线性代数证明，有效奇偶性证明的集合对应于一个二元线性码的陪集，从而表明此类证明的数量总是0或2^k（k为某一定值）。
• 应用编码理论的对偶性，通过间接方法按大小枚举奇偶性证明，避免穷举搜索。
• 将约束的组合结构表示为关联结构，其中点为可观测量，块为约束，并利用此结构指导有效赋值的搜索。
• 在群论中使用Knuth-Bendix算法，通过检查所有约束中所有可观测量的乘积是否约化为I，来测试给定关联结构是否能支持奇偶性证明。
• 通过识别在任何有效证明中都必须不满足交换关系的可观测量对，来剪枝搜索空间，依据群关系进行判断。

实验结果

研究问题

• RQ1 能否系统化地生成和枚举Kochen-Specker定理的广义奇偶性证明，超越标准的泡利基构造？
• RQ2 对于给定的一组约束，奇偶性证明存在的决定因素是什么，可能存在的证明数量有多少？
• RQ3 哪些组合关联结构（具有固定的块和点度数）能够或不能支持任何奇偶性证明，无论可观测量的维度如何？
• RQ4 如何利用群论方法（如Knuth-Bendix算法）排除特定关联结构上奇偶性证明的存在性？
• RQ5 编码理论在实现按大小高效枚举奇偶性证明中起到什么作用？

主要发现

• 从一组固定约束中可导出的奇偶性证明数量总是0或2的幂，这是由于其与二元线性码陪集之间存在一一对应关系。
• 对于由最多10个顶点的连通3-正则图导出的关联结构，19种中有10种可产生奇偶性证明，其余9种不能。
• C2结构（6个顶点的3-正则图）被证明无法支持任何奇偶性证明，因为在相关群中，所有约束中所有可观测量的乘积约化为I。
• C3结构（同样在6个顶点上）至少支持一个奇偶性证明，如Mermin正方形构造所示，且Knuth-Bendix算法证实该乘积不会约化为I。
• 该方法通过编码理论中的对偶性，实现了按大小间接枚举奇偶性证明，显著降低了计算成本。
• 可利用Knuth-Bendix算法严格证明奇偶性证明的非存在性，通过测试群关系，在完整搜索前剪枝不可能的配置。