Topos quantum theory with short posets

DOI10.1007/S11083-020-09531-6MaRDI QIDQ2663173zbMATH OpenOpenAlexFDO

Authors John Harding, Chris Heunen

Publication date 16 April 2021

Published in Order (Search for Journal in Brave)

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

zbMATH Keywords

automorphismdaseinisationinternal logicpresheaftoposvon Neumann algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Applications of selfadjoint operator algebras to physics (46L60) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established several results, including: (a) a connection between the Kochen-Specker theorem and the non-existence of a global section of the spectral presheaf; (b) a version of the spectral theorem for self-adjoint operators; (c) a connection between states of N and measures on the spectral presheaf; and (d) a model of dynamics in terms of V(N). We consider a modification to this approach using not the whole of the poset V(N), but only its elements of height at most two. This produces a different topos with different internal logic. However, the core results (a)--(d) established using the full poset V(N) are also established for the topos over the smaller poset, and some aspects simplify considerably. Additionally, this smaller poset has appealing aspects reminiscent of projective geometry.

Recommendations

• Topologies on quantum topoi induced by quantization
• A topos for algebraic quantum theory
• Topos quantum theory reduced by context-selection functors
• A topos theory foundation for quantum mechanics
• Topos quantum theory on quantization-induced sheaves
• Topos theoretic quantum realism
• Quantalic topological theories
• A topos theoretic framework for paraconsistent quantum theory
• A first course in topos quantum theory
• Quantum topology and quantisation on the lattice of topologies

Cites work

• ``What is a thing?: topos theory in the foundations of physics
• A comparison of two topos-theoretic approaches to quantum theory
• A first course in topos quantum theory
• A second course in topos quantum theory
• A topos for algebraic quantum theory
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Abelian subalgebras and the Jordan structure of a von Neumann algebra
• Bohrification of operator algebras and quantum logic
• Boolean subalgebras of orthoalgebras
• Classical and quantum probabilities as truth values
• Cohomology of effect algebras
• Group-valued measures on the lattice of closed subspaces of a Hilbert space
• scientific article; zbMATH DE number 3820471 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 3273135 (Why is no real title available?)
• On the cohomology of contextuality
• Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
• Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
• Spectral presheaves as quantum state spaces
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Topos-based logic for quantum systems and bi-Heyting algebras

Cited in

(1)

• Difference posets and the histories approach to quantum theories

This page was built for publication: Topos quantum theory with short posets

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