Topos quantum theory on quantization-induced sheaves

DOI10.1063/1.4898185zbMATH Open1373.81265arXiv1404.2370OpenAlexW3100302870MaRDI QIDQ2928096FDOQ2928096

Authors: Kunji Nakayama 

Publication date: 6 November 2014

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

Abstract: In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf topos. We show that a topos quantum theory akin to the presheaf-based one can be constructed on sheaves defined by the quantization-induced Lawvere-Tierney topology. That is, starting from the spectral sheaf as a state space of a given quantum system, we construct sheaf-based expressions of physical propositions and truth objects, and thereby give a method of truth-value assignment to the propositions. Furthermore, we clarify the relationship to the presheaf-based quantum theory. We give translation rules between the sheaf-based ingredients and the corresponding presheaf-based ones. The translation rules have `coarse-graining' effects on the spaces of the presheaf-based ingredients; a lot of different proposition presheaves, truth presheaves, and presheaf-based truth-values are translated to a proposition sheaf, a truth sheaf, and a sheaf-based truth-value, respectively. We examine the extent of the coarse-graining made by translation.

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

Recommendations

• Topologies on quantum topoi induced by quantization
• A first course in topos quantum theory
• Topos quantum theory reduced by context-selection functors
• A topos for algebraic quantum theory
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory

Mathematics Subject Classification ID

Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum state spaces, operational and probabilistic concepts (81P16) General quantum mechanics and problems of quantization (81S99) Applications of selfadjoint operator algebras to physics (46L60)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• A first course in topos quantum theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• A topos for algebraic quantum theory
• ``What is a thing?: topos theory in the foundations of physics
• 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
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
• A topos foundation for theories of physics: IV. Categories of systems
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• A topos foundation for theories of physics: I. Formal languages for physics
• 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
• Classical and quantum probabilities as truth values
• Topologies on quantum topoi induced by quantization
• A topos formulation of history quantum theory
• A comparison of two topos-theoretic approaches to quantum theory
• Group action in topos quantum physics

Cited In (9)

• Topologies on quantum topoi induced by quantization
• Quantum event structures from the perspective of Grothendieck topoi
• Microcosm to macrocosm via the notion of a sheaf (observers in terms of t-topos)
• Classical and quantum probabilities as truth values
• A first course in topos quantum theory
• Topos quantum theory with short posets
• Topos quantum theory reduced by context-selection functors
• A sheaf model for intuitionistic quantum mechanics
• Bohrification of local nets

This page was built for publication: Topos quantum theory on quantization-induced sheaves

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