[論文レビュー] Quantum Logic in Intuitionistic Perspective

Bob Coecke|ArXiv.org|Nov 24, 2000

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.

研究の動機と目的

• 直観論理（分配的）と量子論理（非分配的）の間の基礎的対立を、それらの代数的構造を調和させることで解消すること。
• 直観論理の分配的性質と量子論理の直交補元性を両方維持する論理的枠組みを提供すること。
• 操作的解消または補元を備えた性質格子と命題格子の間の全単射対応を確立すること。
• 量子性質格子上で真正の直観論理的関数的含意を導出することにより、量子論理が内部含意を欠いているという長年の批判に応えること。
• 完全格子および直交ラティスの文脈において、交わり半格子の分配的ハルのブランズ＝ラクサー構成を精緻化すること。

提案手法

• 完全格子上で性質を命題レベルに露わにする操作としての『操作的解消』の導入。これにより完全ヘイティング代数の構成が可能になる。
• 完全直交ラティスにおける操作的補元の定義。これにより、直交ラティスと直観論理的命題格子の間の全単射対応が洗練される。
• 随伴函手定理を用いて、随伴 $ a \wedge - \dashv a \Rightarrow - $ を通じて関数的含意を導出。これにより格子構造における分配的性が保証される。
• 交わり半格子を分配的格子に埋め込むためのブランズ＝ラクサー構成を適用。これを完全格子および直交ラティスに一般化する。
• 量子論理的演算をモデル化する主要な要素として、ササキ射影 $ \varphi_a(b) = a \wedge (a^\perp \vee b) $ を用い、その随伴 $ \varphi_a^*(b) = a^\perp \vee (a \wedge b) $ が成り立つことを示す。
• 完全格子上の閉包作用素の像が下界部分対象を形成することを確立。これにより、随伴を通じた閉包の因子分解が可能になる。

実験結果

リサーチクエスチョン

• RQ1 直観論理の分配的構造と量子論理の直交補元性を両方保つ統一的論理枠組みを構築可能か？
• RQ2 量子論理において、直観論理の基準を満たす関数的含意をどのように定義できるか？
• RQ3 操作的解消が性質格子を完全ヘイティング代数に変換する役割は何か？
• RQ4 ブランズ＝ラクサー構成は完全格子および直交ラティスにどのように一般化され、量子論理においてどのような意義を持つのか？
• RQ5 ササキ射影と量子論理における内部含意の関係は何か？また、随伴函手とどのように関係するか？

主な発見

• 本稿は、完全直交ラティスと操作的補元を備えた完全ヘイティング代数の間の全単射対応を確立し、ビルホフ＝フォン・ノイマンのジレンマを解決した。
• 操作的解消の導入により、物理的性質の格子が完全ヘイティング代数構造を有し、すべての上界の分配的性が保証された。
• 随伴を通じて真正の直観論理的含意が導出され、$ a \wedge - \dashv a \Rightarrow - $ が成り立ち、直観論理的命題論理の内部論理要件を満たした。
• ササキ射影 $ \varphi_a $ とその随伴 $ \varphi_a^* $ は、量子論理的演算をモデル化でき、$ \varphi_a \dashv \varphi_a^* $ が成り立つ。これにより、含意の圏論的基盤が提供された。
• ブランズ＝ラクサーの結果（交わり半格子のイントラクティブハル）が完全格子および直交ラティスに一般化され、数学的構成の物理的かつ論理的精緻化が達成された。
• 本フレームワークにより、古典論理への静的極限と、直交モジュラリティによる動的量子論理への移行が可能となり、操作的アプローチが統一的認識論的・実在論的視点を提供する。