Intuitionistic quantum logic of an n-level system

DOI10.1007/S10701-009-9308-7zbMATH Open1206.81012arXiv0902.3201OpenAlexW2004160709MaRDI QIDQ735205FDOQ735205

Chris Heunen, Klaas Landsman, M. Caspers, Bas Spitters

Publication date: 21 October 2009

Published in: Foundations of Physics (Search for Journal in Brave)

Abstract: A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra of complex n by n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen--Specker Theorem. The essential point is that the logical structure of a quantum n-level system turns out to be intuitionistic, which means that it is distributive but fails to satisfy the law of the excluded middle (both in opposition to the usual quantum logic).

Full work available at URL: https://arxiv.org/abs/0902.3201

Recommendations

• Quantum logic in intuitionistic perspective
• Systems of quantum logic
• Quantum logic and nonclassical logics
• Quantum logics with the Radon-Nikodym property
• Weakly intuitionistic quantum logic
• QUANTUM LOGICS WITH JAUCH–PIRON STATES
• Delinearization of quantum logic
• Higher-order quantum logics
• Quantum logics with classically determined states
• The Birkhoff-von Neumann concept of quantum logic

zbMATH Keywords

intuitionistic logicquantum logictopos theoryfinite dimensional complex algebra

Mathematics Subject Classification ID

Contextuality in quantum theory (81P13) Subsystems of classical logic (including intuitionistic logic) (03B20) Quantum logic (03G12) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Applications of selfadjoint operator algebras to physics (46L60) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• A globalisation of the Gelfand duality theorem
• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• A topos for algebraic quantum theory
• Integrals and valuations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum logic in algebraic approach
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Quantum logic in intuitionistic perspective
• About Stone's notion of spectrum
• Constructive Gelfand duality for C*-algebras
• Bohrification of operator algebras and quantum logic
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• Topoi. The categorial analysis of logic. Rev. ed
• Title not available (Why is that?)
• A topos foundation for theories of physics: IV. Categories of systems
• A topos foundation for theories of physics: I. Formal languages for physics
• Characterization of quantum logics
• MACROSCOPIC OBSERVABLES AND THE BORN RULE, I: LONG RUN FREQUENCIES
• A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
• Fibrewise separation axioms for locales
• Title not available (Why is that?)
• A topos perspective on state-vector reduction

Cited In (16)

• Topos quantum logic and mixed states
• Speakable in quantum mechanics
• Title not available (Why is that?)
• Classical and quantum probabilities as truth values
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
• Quantum numbers viewed intuitionistically
• A topos for algebraic quantum theory
• Quantum logic and non-commutative geometry
• Topos models for physics and topos theory
• A comparison of two topos-theoretic approaches to quantum theory
• Logic, Counterexamples, and Translation
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
• Q. An algebraic language for quantum-spacetime topology
• Bohrification of operator algebras and quantum logic
• Uncertainty relations and possible experience
• Ortho-sets and Gelfand spectra

This page was built for publication: Intuitionistic quantum logic of an \(n\)-level system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q735205)