Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0910.2393

Big Toy Models: Representing Physical Systems As Chu Spaces

Samson Abramsky

Published Oct 13, 2009• 16 citations
arXivHTMLPDF

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.

DOI
10.48550/arxiv.0910.2393

Related papers

Representing physical systems as Chu spaces

Samson Abramsky

We pursue a model-oriented rather than axiomatic approach to the foun- dations 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 Sci- ence. 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.

•Jan 1, 2012•0 citations

Coalgebras, Chu Spaces, and Representations of Physical Systems

Samson Abramsky

We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate the use of coalgebra as an alternative framework. On the one hand, coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics.

arXiv:0910.3959•Oct 20, 2009•2 citations

Coalgebras, Chu Spaces, and Representations of Physical Systems

Samson Abramsky

We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, this application raises new challenges for coalgebra: how to accommodate the contravariance which arises naturally as we represent both the states and the properties of physical systems; and how to represent the symmetries of these systems, which account e.g. for their unitary dynamics. This motivates us to introduce a novel fibrational structure for coalgebra, and also to make new connections betwen coalgebras and Chu spaces.

ACM/IEEE Symposium on Logic in Computer Science (LICS)•Jul 1, 2010•16 citations

Quantum Mechanics (Revisited)

Jean Claude Dutailly

The paper proposes a new approach in the foundations of Quantum Mechanics.It does not make any assumption about the physical world, but looks at the consequences of the formalism used in models.Whenever a system is represented by variables which meet precise, but common, mathematical properties, one can prove theorems which are very close to the axioms of Quantum Mechanics (Hilbert spaces, observables, eigen values,...).It is then possible to explore the conditions of the validity of these axioms and to give a firm ground to the usual computations.Moreover this approach sheds a new ligth on the issues of determism, and interacting systems.In the third edition of this paper developments have been added about the statistical procedures used to detect anomalies in Physical Laws.

WORLD SCIENTIFIC eBooks•Aug 17, 2015•0 citations

Quantum Mechanics (Revisited)

The paper proposes a new approach in the foundations of Quantum Mechanics.It does not make any assumption about the physical world, but looks at the consequences of the formalism used in models.Whenever a system is represented by variables which meet precise, but common, mathematical properties, one can prove theorems which are very close to the axioms of Quantum Mechanics (Hilbert spaces, observables, eigen values,...).It is then possible to explore the conditions of the validity of these axioms and to give a firm ground to the usual computations.Moreover this approach sheds a new ligth on the issues of determism, and interacting systems.In the third edition of this paper developments have been added about the statistical procedures used to detect anomalies in Physical Laws.

WORLD SCIENTIFIC eBooks•Mar 1, 2010•1 citation

A Mathematical Foundation of the Quantum-Classical Correspondence

Nina Culver

In this thesis we explore the mathematical foundations that unite physics at a quantum scale, quantum mechanics, with a macroscopic scale, classical mechanics. We seek to understand the mathematical motivation behind the quantum-classical correspondence and how it unites two seemingly different theories of the physical world. We show how this correspondence binds the Hamiltonian theory of classical physics to the Hilbert space theory in quantum mechanics, and establish a way to translate between classical observables and quantum operators, using the Fourier transform. These approaches to “quantizing” a physical state can be applied generally to a wide variety of observable quantities in classical mechanics.

Journal of international women's studies•Jan 1, 2015•0 citations
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.
We pursue a model-oriented rather than axiomatic approach to the foun- dations 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 Sci- ence. 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.
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate the use of coalgebra as an alternative framework. On the one hand, coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics.
We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, this application raises new challenges for coalgebra: how to accommodate the contravariance which arises naturally as we represent both the states and the properties of physical systems; and how to represent the symmetries of these systems, which account e.g. for their unitary dynamics. This motivates us to introduce a novel fibrational structure for coalgebra, and also to make new connections betwen coalgebras and Chu spaces.
The paper proposes a new approach in the foundations of Quantum Mechanics.It does not make any assumption about the physical world, but looks at the consequences of the formalism used in models.Whenever a system is represented by variables which meet precise, but common, mathematical properties, one can prove theorems which are very close to the axioms of Quantum Mechanics (Hilbert spaces, observables, eigen values,...).It is then possible to explore the conditions of the validity of these axioms and to give a firm ground to the usual computations.Moreover this approach sheds a new ligth on the issues of determism, and interacting systems.In the third edition of this paper developments have been added about the statistical procedures used to detect anomalies in Physical Laws.
The paper proposes a new approach in the foundations of Quantum Mechanics.It does not make any assumption about the physical world, but looks at the consequences of the formalism used in models.Whenever a system is represented by variables which meet precise, but common, mathematical properties, one can prove theorems which are very close to the axioms of Quantum Mechanics (Hilbert spaces, observables, eigen values,...).It is then possible to explore the conditions of the validity of these axioms and to give a firm ground to the usual computations.Moreover this approach sheds a new ligth on the issues of determism, and interacting systems.In the third edition of this paper developments have been added about the statistical procedures used to detect anomalies in Physical Laws.
In this thesis we explore the mathematical foundations that unite physics at a quantum scale, quantum mechanics, with a macroscopic scale, classical mechanics. We seek to understand the mathematical motivation behind the quantum-classical correspondence and how it unites two seemingly different theories of the physical world. We show how this correspondence binds the Hamiltonian theory of classical physics to the Hilbert space theory in quantum mechanics, and establish a way to translate between classical observables and quantum operators, using the Fourier transform. These approaches to “quantizing” a physical state can be applied generally to a wide variety of observable quantities in classical mechanics.