A comparison of two topos-theoretic approaches to quantum theory
From MaRDI portal
(Redirected from Publication:1936655)
von Neumann algebra\(C^*\)-algebraframecoarse grainingcontextualitylocalestate spacecovariant approachspectral presheafbohrificationcontravariant approachdaseinisation
General and philosophical questions in quantum theory (81P05) General mathematical topics and methods in quantum theory (81Q99) Yang-Mills and other gauge theories in quantum field theory (81T13) 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) Applications of operator algebras to the sciences (47L90)
Abstract: The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and Butterfield, and was later extended by Doering and Isham. The second approach, which we will call the covariant approach, was developed by Heunen, Landsman and Spitters. Motivated by coarse-graining and the Kochen-Specker theorem, the contravariant approach uses the topos of presheaves on a specific context category, defined as the poset of commutative von Neumann subalgebras of some given von Neumann algebra. In particular, the approach uses the spectral presheaf. The intuitionistic logic of this approach is given by the (complete) Heyting algebra of closed open subob jects of the spectral presheaf. We show that this Heyting algebra is, in a natural way, a locale in the ambient topos, and compare this locale with the internal Gelfand spectrum of the covariant approach. In the covariant approach, a non-commutative C*-algebra (in the topos Set) defines a commutative C*-algebra internal to the topos of covariant functors from the context category to the category of sets. We give an explicit description of the internal Gelfand spectrum of this commutative C*-algebra, from which it follows that the external spectrum is spatial. Using the daseinisation of self-adjoint operators from the contravariant approach, we give a new definition of the daseinisation arrow in the covariant approach and compare it with the original version. States and state-proposition pairing in both approaches are compared. We also investigate the physical interpretation of the covariant approach.
Recommendations
Cites work
- scientific article; zbMATH DE number 5977109 (Why is no real title available?)
- scientific article; zbMATH DE number 3853324 (Why is no real title available?)
- scientific article; zbMATH DE number 3820471 (Why is no real title available?)
- scientific article; zbMATH DE number 3680516 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- scientific article; zbMATH DE number 3365842 (Why is no real title available?)
- scientific article; zbMATH DE number 3382539 (Why is no real title available?)
- A globalisation of the Gelfand duality theorem
- A sheaf model for intuitionistic quantum mechanics
- A topos for algebraic quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- A topos foundation for theories of physics: IV. Categories of systems
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- About Stone's notion of spectrum
- Aspects of general topology in constructive set theory
- Bohrification of operator algebras and quantum logic
- Completely positive maps into corona algebras
- Integrals and valuations
- Intuitionistic quantum logic of an \(n\)-level system
- Logic and structure
- PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
- Quantum logic in intuitionistic perspective
- Sheaves in geometry and logic: a first introduction to topos theory
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- The Mackey-Gleason Problem for Vector Measures on Projections in Von Neumann Algebras
- The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
- The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem
- The spectral theory of commutative C∗-algebras: The constructive spectrum
- Topoi. The categorial analysis of logic. Rev. ed
- Topos methods in the foundations of physics
- 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 theory and consistent histories: The internal logic of the set of all consistent sets
Cited in
(15)- scientific article; zbMATH DE number 5526583 (Why is no real title available?)
- Topologies on quantum topoi induced by quantization
- The Born rule as structure of spectral bundles (extended abstract)
- Measure theory over Boolean toposes
- A topos for algebraic quantum theory
- The space of measurement outcomes as a spectral invariant for non-commutative algebras
- On the structure of abstract \(H^*\)-algebras
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
- Topos quantum theory with short posets
- scientific article; zbMATH DE number 6917933 (Why is no real title available?)
- Topos models for physics and topos theory
- Topos quantum theory reduced by context-selection functors
- Spectral presheaves as quantum state spaces
- Topos quantum theory on quantization-induced sheaves
- Negations and meets in topos quantum theory
This page was built for publication: A comparison of two topos-theoretic approaches to quantum theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1936655)
