[论文解读] THE SEMILATTICE, BOX, AND LATTICE-TENSOR PRODUCTS IN QUANTUM LOGIC

Boris Ischi|arXiv (Cornell University)|Jan 1, 2005

Advanced Algebra and Logic参考文献 16被引用 2

一句话总结

本文引入了一个完整的格 S(L₁, L₂)，其由公理或普遍性质定义，用于建模量子复合系统。当要求正交补时，S 同构于分离积 L₁ ∧○L₂；在正交模性和覆盖性质下，本文刻画了自同构和覆盖性质，其中 L₁ ∨○L₂ 作为并半格张量积，同构于 Chu 和 Shmuely 的构造。

ABSTRACT

Abstract. Given two complete atomistic lattices L1 and L2, we define a set S = S(L1, L2) of complete atomistic lattices by means of three axioms (natural regarding the description of quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms. We prove that S is a complete lattice. The bottom element L1 ∧○L2 is the separated product of Aerts. For atomistic lattices with 1 (not complete), L1 ∧○L2 ∼ = L1□L2 the box product of Grätzer and Wehrung, and, in case L1 and L2 are moreover coatomistic, L1 ∧○L2 ∼ = L1 ⊠ L2 the lattice tensor product. The top element L1 ∨○L2 is the (complete) join-semilattice tensor product of Fraser, which is isomorphic to the tensor products of Chu and Shmuely. With some additional hypotheses on L1 and L2 (true if L1 and L2 are moreover orthomodular with the covering property), we prove that S is a singleton if and only if L1 or L2 is distributive, if and only if L1 ∨○L2 has the covering property. Our main result reads: L ∈ S admits an orthocomplementation if and only if L = L1 ∧○L2. For L1 and L2 moreover irreducible, we characterize the automorphisms of each L ∈ S in terms of those of L1 and L2. At the end, we construct an example L1 ⇓○L2 in S which has the covering property. 1.

研究动机与目标

• 为建模量子复合系统的完整原子格定义一个通用构造 S(L₁, L₂)。
• 通过双态射类的公理和普遍性质，刻画 S(L₁, L₂) 的结构。
• 确定 S(L₁, L₂) 为单元素集的条件，尤其与可分配性及覆盖性质的关系。
• 确立 S(L₁, L₂) 中元素存在正交补的条件，表明其仅在分离积 L₁ ∧○L₂ 时成立。
• 在 L₁ 和 L₂ 均不可约时，以 L₁ 和 L₂ 的自同构刻画 S(L₁, L₂) 中元素的自同构。

提出的方法

• 通过反映量子复合系统自然性质的三个公理定义 S(L₁, L₂)。
• 利用关于双态射类的普遍性质，从范畴论角度刻画 S(L₁, L₂)。
• 证明在给定公理下，S(L₁, L₂) 是一个完全格。
• 将下界元素 L₁ ∧○L₂ 识别为 Aerts 的分离积，并证明当格为原子格且含 1 时，其同构于方框积 L₁□L₂。
• 确立 L₁ ∨○L₂ 为 Fraser 的并半格张量积，且同构于 Chu 和 Shmuely 的张量积。
• 应用正交模性和覆盖性质，分析 S(L₁, L₂) 为单元素集的条件，并刻画自同构。

实验结果

研究问题

• RQ1 在何种条件下集合 S(L₁, L₂) 为单元素集，且这与 L₁ 或 L₂ 的可分配性有何关联？
• RQ2 在何种条件下元素 L ∈ S(L₁, L₂) 允许正交补，且该唯一元素为何？
• RQ3 当 L₁ 和 L₂ 均不可约时，S(L₁, L₂) 中元素的自同构如何与 L₁ 和 L₂ 的自同构相关？
• RQ4 L₁ ∨○L₂ 的覆盖性质与 L₁ 或 L₂ 的可分配性之间有何关系？
• RQ5 在余原子格与原子格假设下，方框积 L₁□L₂ 与格张量积 L₁ ⊠ L₂ 如何与分离积 L₁ ∧○L₂ 相关联？

主要发现

• 在给定公理下，S(L₁, L₂) 是一个完全格，为量子复合系统提供了通用框架。
• 下界元素 L₁ ∧○L₂ 是 Aerts 的分离积，且是 S(L₁, L₂) 中唯一允许正交补的元素。
• 当 L₁ 和 L₂ 为原子格且含 1 时，L₁ ∧○L₂ 同构于方框积 L₁□L₂。
• 当 L₁ 和 L₂ 为余原子格且原子格时，L₁ ∧○L₂ 同构于格张量积 L₁ ⊠ L₂。
• L₁ ∨○L₂ 是 Fraser 的并半格张量积，同构于 Chu 和 Shmuely 的张量积。
• S(L₁, L₂) 为单元素集当且仅当 L₁ 或 L₂ 可分配，且此情况恰好发生在 L₁ ∨○L₂ 具有覆盖性质时。