A Homomorphism on Orthoimplication Algebras for Quantum Logic
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
The quantum logic was introduced by G. Birkhoff and J. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.
Abstract
The quantum logic was introduced by G. Birkhoff and J. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.
참고문헌 (17)
- Garrett Birkhoff, "The Logic of Quantum Mechanics", The Annals of Mathematics, 37(4), pp.823~ (1936), JSTOR[DOI]
- K. Husimi, "Studies on the foundations of quantum mechanics I", Proceedings of the Physico- Mathematical Society of Japan. 3rd Series, 19, pp.766~789 (1937)[DOI]
- G. Kalmbach, "Orthomodular lattices" (1983), Academic Press
- P. D. Finch, "On the structure of quantum logic", The Journal of Symbolic Logic, 34(02), pp.275~282 (1969), Cambridge University Press (CUP)[DOI]
- P.D. Finch, "Quantum logic as an implication algebra", Bulletin of the Australian Mathematical Society, 2(01), pp.101~106 (1970), Cambridge University Press (CUP)[DOI]
- J. C. Abbott, "Orthoimplication algebras", Studia Logica, 35(2), pp.173~177 (1976), Springer Nature[DOI]
- Ivan Chajda, "Orthomodular implication algebras", International Journal of Theoretical Physics, 40(11), pp.1875~1884 (2001), Springer Nature[DOI]
- Norman D. Megill, "Quantum Implication Algebras", International Journal of Theoretical Physics, 42(12), pp.2807~2822 (2003), Springer Nature[DOI]
- Gary M. Hardegree, "Quasi-implication algebras, Part I: Elementary theory", Algebra Universalis, 12(1), pp.30~47 (1981), Springer Nature[DOI]
- Gary M. Hardegree, "Quasi-implication algebras, Part II: Structure theory", Algebra Universalis, 12(1), pp.48~65 (1981), Springer Nature[DOI]
- G. M. Hardegree, "Material implication in orthomodular (and Boolean) lattices", Notre Dame J. Form. Log., 22(2), pp.163~182 (1981)[DOI]
- Jeannine Gabriëls, "Associativity of operations on orthomodular lattices", Mathematica Slovaca, 62(6), pp.1069~1078 (2012), Walter de Gruyter GmbH[DOI]
- Ivan Chajda, "An approach to orthomodular lattices via lattices with an antitone involution", Mathematica Slovaca, 66(4), pp.773~780 (2016), Walter de Gruyter GmbH[DOI]
- 이효직, "산업융합환경을 위한 보안 거버넌스 프레임워크 설계", 한국융합학회논문지, 6(4), pp.33~40 (2015), 한국융합학회[DOI]
- 허나영, "4P 분석을 통한 양자점 기술개발 현황 분석 - 양자점 기술의 응용 및 융합 분야를 중심으로", 한국융합학회논문지, 6(2), pp.49~55 (2015), 한국융합학회[DOI]
- 박영수, "퀀텀 에스프레소와 제온 파이 프로세서의 융합을 이용한 분산컴퓨팅 성능에 대한 연구", 한국융합학회논문지, 7(5), pp.15~21 (2016), 한국융합학회[DOI]
- 윤성현, "보안레벨 조절이 가능한 바이오메트릭 인증 기법", 한국융합학회논문지, 8(2), pp.9~14 (2017), 한국융합학회[DOI]