[논문 리뷰] Quantum Logic in Intuitionistic Perspective

Bob Coecke|ArXiv.org|2000. 11. 24.

Advanced Algebra and Logic인용 수 5

한 줄 요약

이 논문은 물리적 성질의 완전 헤이팅 대수로 구성된 직관주의 논리와 양자 논리의 통합을 통해 양자 논리의 기초적 딜레마를 해결한다. 여기서 운영적 해결을 통해 분배법칙을 복원하면서도 수직보완성을 유지한다. 주요 기여는 수직격자와 직관주의 명제 격자 간의 이항 대응 관계를 설정함으로써 양자 논리에서 완전한 직관주의 함의를 가능하게 한다.

ABSTRACT

In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic." In this paper we eliminate this dilemma, providing a way for maintaining both. Via the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction we obtain a complete Heyting algebra of propositions on physical properties. In particular there is a bijective correspondence between property lattices and propositional lattices equipped with a so called operational resolution, an operation that exposes the properties on the level of the propositions. If the property lattice goes equipped with an orthocomplementation, then this bijective correspondence can be refined to one with propositional lattices equipped with an operational complementation, as such establishing the claim made above. Formally one rediscovers via physical and logical considerations as such respectively a specification and a refinement of the purely mathematical result by Bruns and Lakser (1970) on injective hulls of meet-semilattices. From our representation we can derive a truly intuitionistic functional implication on property lattices, as such confronting claims made in previous writings on the matter. We also make a detailed analysis of disjunctivity vs. distributivity and finitary vs. infinitary conjunctivity, we briefly review the Bruns-Lakser construction and indicate some questions which are left open.

연구 동기 및 목표

• 직관주의 논리(분배법칙 적용)와 양자 논리(비분배법칙 적용) 간의 기초적 갈등을 그들의 대수적 구조를 조율함으로써 해결하기.
• 직관주의 논리의 분배법칙과 양자 논리의 수직보완성을 모두 유지하는 논리적 프레임워크를 제공하기.
• 운영적 해결 또는 보완을 갖춘 성질 격자와 명제 격자 간의 이항 대응 관계를 수립하기.
• 양자 성질 격자에서 진정한 직관주의 기능적 함의를 유도함으로써 오랫동안 지적되어 온 양자 논리의 내부 함의 부재 문제를 해결하기.
• 완전 격자 및 수직격자 맥락에서 만족형 격자에 대한 브룬스-락서 건축의 일반화를 통해 만족형 격자에 대한 브룬스-락서 건축을 개선하기.

제안 방법

• 완전 격자에서 성질을 명제 수준으로 드러내는 '운영적 해결'의 개념을 도입함으로써 완전 헤이팅 대수의 구축을 가능하게 한다.
• 완전 수직격자에 대한 운영 보완을 정의함으로써 수직격자와 직관주의 명제 격자 간의 이항 대응 관계를 정밀화한다.
• 함의자 연상 정리(Adjoint Functor Theorem)를 활용하여 $ a \wedge - \dashv a \Rightarrow - $ 의 관계를 통해 기능적 함의를 도출함으로써 격자 구조에서의 분배법칙을 보장한다.
• 만족형 격자에서 분배법칙이 적용되는 격자로의 임bedding을 위해 브룬스-락서 건축을 적용하고, 이를 완전 격자 및 수직격자로 일반화한다.
• 양자 논리 연산을 모델링하는 데 핵심적인 역할을 하는 사사키 사영 $ \varphi_a(b) = a \wedge (a^\perp \vee b) $ 를 활용하며, 그 쌍대형 $ \varphi_a^*(b) = a^\perp \vee (a \wedge b) $ 와의 수반성($ \varphi_a \dashv \varphi_a^* $)을 보여준다.
• 완전 격자에서 닫힘 연산자의 범위가 하한부개체(subobject)를 이룬다는 것을 확립함으로써, 수반을 통한 닫힘의 인수분해를 가능하게 한다.

실험 결과

연구 질문

• RQ1 직관주의 논리의 분배법칙과 양자 논리의 수직보완성을 모두 유지하는 통합 논리적 프레임워크를 구축할 수 있는가?
• RQ2 직관주의 논리의 기준을 충족하는 기능적 함의는 양자 논리에서 어떻게 정의될 수 있는가?
• RQ3 운영적 해결은 성질 격자를 완전 헤이팅 대수로 전환하는 데 어떤 역할을 하는가?
• RQ4 브룬스-락서 건축은 완전 격자 및 수직격자로 어떻게 일반화되며, 양자 논리에서 그 의미는 무엇인가?
• RQ5 사사키 사영과 양자 논리의 내부 함의 사이의 관계는 무엇이며, 이는 수반 함자와 어떻게 연결되는가?

주요 결과

• 논문은 완전 수직격자와 운영 보완을 갖춘 완전 헤이팅 대수 간의 이항 대응 관계를 확립함으로써, 비르코프-빈 네이먼 딜레마를 해결한다.
• 운영적 해결의 도입으로 물리적 성질 격자가 분배법칙이 보장되는 완전 헤이팅 대수의 구조를 물려받게 되며, 모든 상한의 분배법칙이 보장된다.
• 함의자 수반을 통한 기능적 함의가 유도되며, $ a \wedge - \dashv a \Rightarrow - $ 의 관계를 통해 직관주의 명제 논리의 내부 논리 요구 조건을 충족한다.
• 사사키 사영 $ \varphi_a $ 와 그 쌍대형 $ \varphi_a^* $ 는 양자 논리 연산을 모델링하며, $ \varphi_a \dashv \varphi_a^* $ 의 관계를 통해 함의의 범주론적 기반을 제공한다.
• 만족형 격자에 대한 브룬스-락서 결과를 완전 격자 및 수직격자로 일반화함으로써, 수학적 건축의 물리적 및 논리적 정교화를 제공한다.
• 이 프레임워크는 고전 논리로의 정적 극한과 수직모듈라리티에 의한 동적 양자 논리 전환을 가능하게 하며, 운영 철학이 통합된 인식론적 및 실재론적 시각을 제공한다.