[论文解读] Orthomodular Lattices and a Quantum Algebra

Norman D. Megill, Mladen Pavičić|ArXiv.org|Mar 24, 2001

Advanced Algebra and Logic参考文献 17被引用 4

一句话总结

本文提出了一种新颖的量子代数（QA），在正交模格中将五个量子操作与一个经典操作统一起来，证明了经典逻辑操作可从量子操作中推导得出。通过计算机辅助算法，作者证明了在交换性条件下结合律与分配律成立，并表明关键的量子恒等式在希尔伯特空间及大量格雷奇图（Greechie diagrams）中成立，而所有正交模格中的完全分配律仍为开放问题。

ABSTRACT

We show that one can formulate an algebra with lattice ordering so as to contain one quantum and five classical operations as opposed to the standard formulation of the Hilbert space subspace algebra. The standard orthomodular lattice is embeddable into the algebra. To obtain this result we devised algorithms and computer programs for obtaining expressions of all quantum and classical operations within an orthomodular lattice in terms of each other, many of which are presented in the paper. For quantum disjunction and conjunction we prove their associativity in an orthomodular lattice for any triple in which one of the elements commutes with the other two and their distributivity for any triple in which a particular one of the elements commutes with the other two. We also prove that the distributivity of symmetric identity holds in Hilbert space, although it remains an open problem whether it holds in all orthomodular lattices, as it does not fail in any of over 50 million Greechie diagrams we tested.

研究动机与目标

• 以单一量子操作作为基础代数结构，重新表述正交模格。
• 证明在正交模格中，经典逻辑操作可从量子操作中推导得出。
• 在交换性条件下，证明量子操作的结合律与分配律。
• 研究量子分配恒等式在希尔伯特空间及超过五千万个格雷奇图中的有效性。
• 探讨某些量子恒等式是否在更弱的格结构（如弱正交模格，WOML）中也成立。

提出的方法

• 开发计算机算法，将双变量表达式约化，并推导正交模格中所有量子与经典操作之间的等价关系。
• 使用替换规则定义一种基于单一量子析取（Cup）的新量子代数（QA），取代标准公理。
• 证明经典析取可用一个对所有五个量子析取（i=0,…,5）均成立的单一方程表达。
• 在某一元素与另外两个元素交换时，建立量子析取与合取的条件结合律。
• 在戈多夫斯基格（Godowski lattices）中验证分配恒等式，并在超过五千万个格雷奇图中进行测试，以评估其普遍性。
• 为所有推导出的恒等式提供算法与证明，关键结果以引理与定理形式嵌入。

实验结果

研究问题

• RQ1 在正交模格中，经典逻辑操作能否唯一地从量子操作中推导得出？
• RQ2 量子恒等式的分配律是否在所有正交模格中成立，还是仅在希尔伯特空间等特定类中成立？
• RQ3 当某一元素与另外两个元素交换时，量子析取与合取的条件结合律是否成立？
• RQ4 能否仅用单一量子操作定义量子代数，而将经典操作作为衍生实体？
• RQ5 在希尔伯特空间及所有测试过的格雷奇图中成立的某些量子恒等式，是否也在更弱的格结构（如WOML）中成立？

主要发现

• 经典析取可用一个对所有五个量子析取（i=0,…,5）均成立的单一方程表达，展示了深刻的统一性。
• 若某一元素与另外两个元素交换，则量子析取与合取的结合律在任意正交模格中成立。
• 量子恒等式的分配律在戈多夫斯基格中成立，因此在希尔伯特空间中也成立，但尚未在所有正交模格中得到证明。
• 对超过五千万个格雷奇图进行了测试，未发现公式（7.5）和（7.7）中两个恒等式的反例。
• 量子代数QA仅通过一个替换规则定义，标准公理（A1–A7）是其推论而非基础。
• 本文指出了开放问题，包括QA的有限公理化以及恒等式在弱正交模格（WOML）中的有效性。