Big toy models. Representing physical systems as Chu spaces

DOI10.1007/S11229-011-9912-XzbMATH Open1275.81008arXiv0910.2393OpenAlexW4289255633WikidataQ57006488 ScholiaQ57006488MaRDI QIDQ383003FDOQ383003

Authors: Samson Abramsky 

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

Recommendations

• Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics
• Coalgebras, Chu spaces, and representations of physical systems
• Toy Models in Physics and the Reasonable Effectiveness of Mathematics
• Topos models for physics and topos theory
• Models for physics very small and very large
• On the general structure of mathematical models for physical systems
• Chu spaces from the representational viewpoint
• Models as universes
• Some generalized physical models through homographic group

zbMATH Keywords

quantum mechanicsChu spacesrepresentation of physical systemsWigner's theorem

Mathematics Subject Classification ID

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?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• An elementary proof of the fundamental theorem of projective geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Transition and cancellation in concurrency and branching time
• Title not available (Why is that?)
• A topologist's view of Chu spaces
• FUZZY SETS AND FUZZY RELATIONAL STRUCTURES AS CHU SPACES
• Nabla Algebras and Chu Spaces
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• 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
• From operational Chu duality to coalgebraic quantum symmetry
• 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

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)