Journal of Convergence for Information Technology (융합정보논문지)

Convergence Society for SMB (중소기업융합학회)
권호 표지
DOI QR코드

DOI QR Code

A Homomorphism on Orthoimplication Algebras for Quantum Logic

양자논리를 위한 직교함의 대수에서의 준동형사상

  • Yon, Yong-Ho (Division of Information and Communication Convergence Engineering, Mokwon University)
  • 연용호 (목원대학교 정보통신융항공학부)
  • Received : 2017.05.11
  • Accepted : 2017.06.20
  • Published : 2017.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

The quantum logic was introduced by G. Birkhoff and 1. 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.

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.

Keywords

References

  1. G. Birkhoff and J. von Neumann, "The logic of quantum mechanics," Annals of Mathematics, Vol. 37, No. 4, pp. 822-843, Oct. 1936. DOI : 10.2307/1968621
  2. K. Husimi, "Studies on the foundations of quantum mechanics," Proceedings of the Physico-Mathematical Society of Japan. 3rd Series, Vol. 19, pp. 766-789, 1937. DOI : 10.11429/ppmsj1919.19.0766
  3. G. Kalmbach, Orthomodular lattices, Academic Press, New York, 1983.
  4. P. D. Finch, "On the lattice structure of quantum logic," The Journal of Symbolic Logic, Vol. 34, No. 2, pp. 275-282, Jun. 1969. DOI : 10.2307/2271104
  5. P. D. Finch, "Quantum logic as an implication algebra," Bulletin of the Australian Mathematical Society, Vol. 2, No. 1, pp. 101-106, Feb. 1970. DOI : 10.1017/S0004972700041642
  6. J. C. Abbott, "Orthoimplication algebras," Studia Logica, Vol. 35, pp. 173-177, Jun. 1976. DOI : 10.1007/BF02120879
  7. I. Chajda, R. Halas and Langer, "Orthomodular implication algebras," International Journal of Theoretical Physics, Vol. 40, No. 11, pp. 1875-1884, Nov. 2001. DOI : 10.1023/A:1011933018776
  8. N. D. Megill and M. Pavicic, "Quantum implication algebras," International Journal of Theoretical Physics, Vol. 42, No. 12, pp. 2807-2822, Oct. 2003. DOI : 10.1023/B:IJTP.0000006007.58191.da
  9. G. M. Hardegree, Quasi-implication algebras, Part I: Elementary theory," Algebra Univeralis, Vol. 12, No. 1, pp. 30-47, Dec. 1981. DOI : 10.1007/BF02483861
  10. G. M. Hardegree, Quasi-implication algebras, Part II: Structure theory," Algebra Universalis, Vol. 12, No. 1, pp. 48-65, Dec. 1981. DOI : 10.1007/BF02483862
  11. G. M. Hargree, "Material implication in orthomodular (and Boolean) lattices," Notre Dame J. Form. Log., Vol. 22, No. 2, pp. 163-182, Apr. 1981. DOI : 10.1305/ndjfl/1093883401
  12. J. J. M. Gabiels and M. Navara, "Associativity of operations in orthomodular lattices," Math. Slovaca, Vol. 62, No. 6, pp. 1069-1078, Dec. 2012. DOI : 10.2478/s12175-012-0065-2
  13. I. Chajda and S. Radeleczki, "An approach to orthomodular lattices via lattices with an antitone involution, "Math. Slovaca, Vol. 66, No. 4, pp. 773-780, Aug. 2016. DOI : 10.1515/ms-2015-0179
  14. H. J. Lee, O. C. Na, S. Y. Sung and H. B. Chang, "A Design on Security Governance Framework for Industry Convergenc Environment," Journal of the Korea Convergence Society, Vol. 6, No. 4, pp. 33-40, Aug. 2015. DOI : 10.1523307/JKCS.2015.6.4.0
  15. N. Y. Heo and Y. J. Ko, "The Status of Research of Quantum dot Using 4P Analysis-Focusing on the application and convergence field of quantum technology," Journal of the Korea Convergence Society, Vol. 6, No. 2, pp. 49-55, 2015. DOI : 10.15207/JKCS.2015.6.2.049
  16. Y. S. Park, K. R. Park and D. H. Kim, "A Study of Distribute Computing Performance Using a Convergence of Xeon-Phi Processor and Quantum ESPRESSO," Journal of the Korea Convergency Society, Vol. 7, No. 5, pp. 15-21, Oct. 2016. DOI : 10.15207/JKCS.2016.7.5.015
  17. S. H. Yun, "The Biometric Authentication Scheme Capable of Multilevel Security Control," Journal of the Korea Convergence Society, Vol. 8, No. 2, pp. 9-14, Feb. 2017. DOI : 10.15207/JKCS.2017.8.2.009