Intuitionistic quantum logic of an n-level system
From MaRDI portal
Publication:735205
Contextuality in quantum theory (81P13) Subsystems of classical logic (including intuitionistic logic) (03B20) 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) Complemented lattices, orthocomplemented lattices and posets (06C15)
Abstract: A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra of complex n by n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen--Specker Theorem. The essential point is that the logical structure of a quantum n-level system turns out to be intuitionistic, which means that it is distributive but fails to satisfy the law of the excluded middle (both in opposition to the usual quantum logic).
Recommendations
- Quantum logic in intuitionistic perspective
- Systems of quantum logic
- Quantum logic and nonclassical logics
- Quantum logics with the Radon-Nikodym property
- Weakly intuitionistic quantum logic
- QUANTUM LOGICS WITH JAUCH–PIRON STATES
- Delinearization of quantum logic
- Higher-order quantum logics
- Quantum logics with classically determined states
- The Birkhoff-von Neumann concept of quantum logic
Cites work
- scientific article; zbMATH DE number 1001729 (Why is no real title available?)
- scientific article; zbMATH DE number 3853324 (Why is no real title available?)
- scientific article; zbMATH DE number 3929737 (Why is no real title available?)
- scientific article; zbMATH DE number 3987248 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3521027 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 790015 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- scientific article; zbMATH DE number 3051724 (Why is no real title available?)
- A globalisation of the Gelfand duality theorem
- 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 state-vector reduction
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- About Stone's notion of spectrum
- An extension of the Galois theory of Grothendieck
- Bohrification of operator algebras and quantum logic
- Characterization of quantum logics
- Constructive Gelfand duality for C*-algebras
- Fibrewise separation axioms for locales
- Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
- Integrals and valuations
- MACROSCOPIC OBSERVABLES AND THE BORN RULE, I: LONG RUN FREQUENCIES
- Quantum logic in algebraic approach
- Quantum logic in intuitionistic perspective
- Sheaves in geometry and logic: a first introduction to topos theory
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
Cited in
(22)- A comparison of two topos-theoretic approaches to quantum theory
- The logic of quantum mechanics (Revisited)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
- Quantum categories for quantum logic
- Classical and quantum probabilities as truth values
- Topos quantum logic and mixed states
- A topos for algebraic quantum theory
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- Physical and mathematical foundations of quantum mechanics
- Bohrification of operator algebras and quantum logic
- Quantum logic and non-commutative geometry
- scientific article; zbMATH DE number 4030272 (Why is no real title available?)
- Gelfand spectra in Grothendieck toposes using geometric mathematics
- Q. An algebraic language for quantum-spacetime topology
- Quantum numbers viewed intuitionistically
- Negations and meets in topos quantum theory
- Logic, counterexamples, and translation
- Topos models for physics and topos theory
- Ortho-sets and Gelfand spectra
- Uncertainty relations and possible experience
- Speakable in quantum mechanics
- Semilattices global valuations in the topos approach to quantum mechanics
This page was built for publication: Intuitionistic quantum logic of an \(n\)-level system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q735205)
