[논문 리뷰] THE SEMILATTICE, BOX, AND LATTICE-TENSOR PRODUCTS IN QUANTUM LOGIC

Boris Ischi|arXiv (Cornell University)|2005. 01. 01.

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₂가 모두 기약적일 경우 S(L₁, L₂)의 원소들에 대한 자동형사가 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 S(L₁, 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₂가 커버링 성질을 가질 때 성립한다.