[논문 리뷰] Orthomodular Lattices and a Quantum Algebra

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

Advanced Algebra and Logic참고 문헌 17인용 수 4

한 줄 요약

이 논문은 오р토모듈라 레이티스 내에서 다섯 개인 양자 연산과 하나의 고전 연산을 통합하는 새로운 양자 대수학(QA)을 제안하며, 고전 논리 연산이 양자 연산으로 유도될 수 있음을 보여준다. 컴퓨터 보조 알고리즘을 사용하여 교환 조건 하에서 결합법칙과 분배법칙을 증명하고, 힐베르트 공간과 광범위한 그리치 차트에서 핵심 양자 항등식이 성립하는 것을 보여주며, 모든 오르토모듈라 레이티스에서의 완전한 분배법칙은 여전히 열린 문제로 남아 있다.

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.

연구 동기 및 목표

• 오르토모듈라 레이티스를 단일 양자 연산을 기반으로 한 기본 대수적 구조로 재구성하는 것.
• 오르토모듈라 레이티스에서 고전 논리 연산이 양자 연산으로 유도될 수 있음을 보여주는 것.
• 교환 조건 하에서 양자 연산의 결합법칙과 분배법칙을 증명하는 것.
• 힐베르트 공간과 5,000만 개 이상의 그리치 차트에서 양자 분배 항등식의 타당성을 조사하는 것.
• 약한 오르토모듈라 레이티스(WOML)와 같은 더 약한 레이티스에서도 양자 항등식이 성립하는지 탐색하는 것.

제안 방법

• 오르토모듈라 레이티스에서 모든 양자 및 고전 연산 간의 동치성을 유도하기 위해 이변수 표현을 단순화하는 컴퓨터 알고리즘을 개발하였다.
• 단일 양자 합연산(Cup)을 기반으로 한 새로운 양자 대수학(QA)을 정의하기 위해 치환 규칙을 사용하였다.
• 고전 합연산이 다섯 개의 양자 합연산(i=0,…,5)에 대해 모두 유효한 단일 식으로 표현될 수 있음을 증명하였다.
• 한 원소가 나머지 두 원소와 교환 가능할 경우, 양자 합연산과 곱연산의 조건부 결합법칙을 확립하였다.
• 고도우스키 레이티스에서 분배 항등식을 검증하고, 5,000만 개 이상의 그리치 차트를 테스트하여 일반성의 정도를 평가하였다.
• 모든 유도된 항등식에 대한 알고리즘과 증명을 제공하였으며, 핵심 결과는 보조정리와 정리에 통합되어 있다.

실험 결과

연구 질문

• RQ1 오르토모듈라 레이티스 내에서 고전 논리 연산은 양자 연산으로 유일하게 유도될 수 있는가?
• RQ2 양자 항등식의 분배법칙은 모든 오르토모듈라 레이티스에서 성립하는가, 아니면 힐베르트 공간과 같은 특정 클래스에서만 성립하는가?
• RQ3 한 원소가 나머지 두 원소와 교환 가능할 경우, 양자 합연산과 곱연산의 조건부 결합법칙은 유효한가?
• RQ4 단일 양자 연산을 사용하여 양자 대수학을 정의할 수 있으며, 고전 연산은 유도된 실체로 간주할 수 있는가?
• RQ5 힐베르트 공간과 테스트된 모든 그리치 차트에서 성립하는 특정 양자 항등식이 약한 오르토모듈라 레이티스(WOML)에서도 성립하는가?

주요 결과

• 고전 합연산은 다섯 개의 양자 합연산(i=0,…,5)에 대해 모두 유효한 단일 식으로 표현될 수 있으며, 이는 깊이 있는 통합을 보여준다.
• 한 원소가 나머지 두 원소와 교환 가능할 경우, 어떤 오르토모듈라 레이티스에서든 양자 합연산과 곱연산의 결합법칙이 성립한다.
• 양자 항등식의 분배법칙은 고도우스키 레이티스에서 성립하므로 힐베르트 공간에서도 성립하지만, 모든 오르토모듈라 레이티스에서의 성립은 아직 증명되지 않았다.
• 5,000만 개 이상의 그리치 차트를 테스트한 결과, 분배법칙이나 식 (7.5) 및 (7.7)의 두 항등식에 대해 반례가 발견되지 않았다.
• 양자 대수학 QA는 표준 공리(A1–A7)가 기본이 아니라 결과로 도출되는 치환 규칙에 의해 단지 정의된다.
• 논문은 유한 공리화된 QA의 정의와 약한 오르토모듈라 레이티스(WOML)에서 항등식의 타당성과 같은 열린 문제를 규명하고 있다.