Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
From MaRDI portal
(Redirected from Publication:1303448)
Abstract: The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.
Recommendations
Cited in
(75)- Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras
- Topos quantum logic and mixed states
- Why categories?
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Quantum contextuality implies a logic that does not obey the principle of bivalence
- Topologies on quantum topoi induced by quantization
- A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors
- Truth as contextual correspondence in quantum mechanics
- Contextual semantics in quantum mechanics from a categorical point of view
- A BRIDGE BETWEEN Q-WORLDS
- On the notion of truth in quantum mechanics: a category-theoretic standpoint
- Contextual logic for quantum systems
- Contextuality and truth-value assignment
- Classical and quantum probabilities as truth values
- Double-slit interference and temporal topos
- Finitary topos for locally finite, causal and quantal vacuum Einstein gravity
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
- Individuality, quasi-sets and the double-slit experiment
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive values
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- A topos perspective on state-vector reduction
- Boolean subalgebras of orthoalgebras
- A topos for algebraic quantum theory
- Complementarity in categorical quantum mechanics
- Superlogic manifolds and geometric approach to quantum logic
- Kochen-Specker theorem for von Neumann algebras
- On the structure of abstract \(H^*\)-algebras
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- Towards a paraconsistent quantum set theory
- Gleason’s theorem for composite systems
- The sheaf-theoretic structure of non-locality and contextuality
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- Topos quantum theory with short posets
- A topos perspective on state-vector reduction
- Contextuality and the fundamental theorems of quantum mechanics
- Gödel, Escher, Bell: contextual semantics of logical paradoxes
- Structure in machine learning
- Roots and (re)sources of value (in)definiteness \textit{versus} contextuality
- Topos models for physics and topos theory
- Orthogeometries and AW*-algebras
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- scientific article; zbMATH DE number 1984276 (Why is no real title available?)
- On the consistency of quasi-set theory
- A comparison of two topos-theoretic approaches to quantum theory
- A topos foundation for theories of physics: IV. Categories of systems
- Topos quantum theory reduced by context-selection functors
- Spectral presheaves as quantum state spaces
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- A categorial semantic representation of quantum event structures
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- Topos quantum theory on quantization-induced sheaves
- A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
- Negations and meets in topos quantum theory
- The rest-frame instant form of metric gravity.
- A difficulty of local truth-value assignment in contextual approach
- Exploring mathematical objects from custom-tailored mathematical universes
- Bohrification of operator algebras and quantum logic
- The strong and weak holographic principles
- Sheaf-theoretic representation of quantum measure algebras
- TOPOS THEORY AND SPACETIME STRUCTURE
- On the relation between quantum mechanical probabilities and event frequencies
- Modality and contextuality in topos quantum theory
- A topos formulation of history quantum theory
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- Subalgebras of orthomodular lattices
- Boolean information sieves: a local-to-global approach to quantum information
- A topological study of contextuality and modality in quantum mechanics
- Intuitionistic quantum logic of an \(n\)-level system
- Contextuality and noncommutative geometry in quantum mechanics
This page was built for publication: Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1303448)
