Big toy models. Representing physical systems as Chu spaces
From MaRDI portal
Publication:383003
DOI10.1007/S11229-011-9912-XzbMATH Open1275.81008arXiv0910.2393OpenAlexW4289255633WikidataQ57006488 ScholiaQ57006488MaRDI QIDQ383003FDOQ383003
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Abstract: We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a `big toy model', in which both quantum and classical systems can be faithfully represented - as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems - the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hilbert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness.
Full work available at URL: https://arxiv.org/abs/0910.2393
Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum state spaces, operational and probabilistic concepts (81P16)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Universal coalgebra: A theory of systems
- Phase groups and the origin of non-locality for qubits
- Linear logic
- An elementary proof of the fundamental theorem of projective geometry
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Transition and cancellation in concurrency and branching time
- A topologist's view of Chu spaces
- FUZZY SETS AND FUZZY RELATIONAL STRUCTURES AS CHU SPACES
- Nabla Algebras and Chu Spaces
- Information Flow
- Information transfer across Chu spaces
- GAME FORMATS AS CHU SPACES
- Bifinite Chu Spaces
- The structure of projection-valued states: A generalization of Wigner's theorem
- Chu spaces from the representational viewpoint
Cited In (11)
- Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics
- Chu duality theory and coalgebraic representation of quantum symmetries
- Generalized possibilistic theories: the multipartite experiments problem
- Reconstructing quantum theory from its possibilistic operational formalism
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- A Shortcut from Categorical Quantum Theory to Convex Operational Theories
- Coalgebras, Chu spaces, and representations of physical systems
- Relational Galois connections between transitive digraphs: characterization and construction
- Title not available (Why is that?)
- (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
Recommendations
- Some generalized physical models through homographic group 👍 👎
- Coalgebras, Chu spaces, and representations of physical systems 👍 👎
- Chu spaces from the representational viewpoint 👍 👎
- On the general structure of mathematical models for physical systems 👍 👎
- Topos models for physics and topos theory 👍 👎
- Toy Models in Physics and the Reasonable Effectiveness of Mathematics 👍 👎
- Models as universes 👍 👎
- Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics 👍 👎
- Models for physics very small and very large 👍 👎
This page was built for publication: Big toy models. Representing physical systems as Chu spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383003)
