Topos quantum logic and mixed states

DOI10.1016/J.ENTCS.2011.01.023zbMATH Open1348.81051arXiv1004.3561OpenAlexW2962749364WikidataQ113318314 ScholiaQ113318314MaRDI QIDQ2825364FDOQ2825364

A. Döring

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Abstract: The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach.

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

zbMATH Keywords

quantum logicimplicationsuperpositiontopos approach

Mathematics Subject Classification ID

Quantum logic (03G12) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
• 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
• Kochen-Specker theorem for von Neumann algebras
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• Intuitionistic quantum logic of an \(n\)-level system
• Topoi. The categorial analysis of logic. Rev. ed
• The canonical topology on a meet-semilattice
• A topos foundation for theories of physics: IV. Categories of systems
• A topos foundation for theories of physics: I. Formal languages for physics
• A constructive proof of the Stone-Weierstrass theorem
• A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• Topos Methods in the Foundations of Physics
• The physical interpretation of daseinisation

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Primacy of the Classical? Saul Kripke Meets Niels Bohr
• A topos perspective on state-vector reduction
• Topos-based logic for quantum systems and bi-Heyting algebras
• Spectral presheaves as quantum state spaces
• Topologies on pure quantum states
• Quantum computational logic with mixed states

This page was built for publication: Topos quantum logic and mixed states

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