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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abramsky, S. (2010). Coalgebras, Chu Spaces, and representation of physical systems. In Proceedings of 25th Annual Symposium on Logic in Computer Science (LiCS) (pp. 411–420). IEEE press.
Barr, M. (1979). *-Autonomous categories. Lecture Notes in Mathematics (Vol. 752). New York: Springer.
Barr M. (1998) The separated extensional Chu category. Theory and Applications of Categories 4(6): 137–147
Barwise J., Seligman J. (1997) Information flow: The logic of distributed systems. Cambridge University Press, Cambridge
Chu, P.-H. (1979). Constructing *-autonomous categories. Lecture Notes in Mathematics (Vol. 752, pp. 103–137). New York: Springer.
Coecke, B., Edwards, B., & Spekkens, R. (2009). The group theoretic origin of non-locality For qubits. Technical Report RR-09-04, OUCL.
Devarajan, H., Hughes, D. J. D., Plotkin, G. D., & Pratt, V. R. (1999). Full completeness of the multiplicative linear logic of Chu spaces. In LICS (pp. 234–242). Washington, DC: IEEE Computer Society.
Dirac P.A.M. (1947) The principles of quantum mechanics (3rd ed.). Oxford University Press, Oxford
Droste, M., & Zhang, G.-Q. (2007). Bifinite Chu spaces. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Proceedings. Lecture Notes in Computer Science (Vol. 4624, pp. 179–193), Bergen, Norway, 20–24 Aug 2007. New York: Springer.
Faure C.-A. (2002) An elementary proof of the fundamental theorem of projective geometry. Geometriae Dedicata 90: 145–151
Faure C.-A., Frölicher A. (2000) Modern projective geometry. Kluwer, Dordrecht
Faure C.-A., Moore D.J., Piron C. (1995) Deterministic evolutions and Schrödinger flows. Helvetica Physica Acta 68(2): 150–157
Girard J.-Y. (1987) Linear logic. Theoretical Computer Science 50: 1–102
Giuli E., Tholen W. (2007) A topologist’s view of Chu spaces. Applied Categorical Structures 15(5–6): 573–598
Ivanov L. (2008) Modeling non-iterated system behavior with Chu spaces. In: Arabnia H. R. (Ed.) CDES. CSREA Press, Las Vegas, NV, pp 145–150
Jauch J. M. (1968) Foundations of quantum mechanics. Addison-Wesley, Reading, MA
Jordan T. F. (1969) Linear operators for quantum mechanics. Wiley, New York
Lafont, Y., & Streicher, T. (1991). Games semantics for linear logic. In LICS (pp. 43–50). Washington, DC: IEEE Computer Society.
Mackey G. W. (1963) Mathematical foundations of quantum mechanics. W.A. Benjamin, New York
MacLane, S., & Moerdijk, I. (1992). Sheaves in geometry and logic: A first introduction to topos theory. Universitext. New York: Springer-Verlag.
Nguyen N., Nguyen H. T., Wu B., Kreinovich V. (2001) Chu spaces: Towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the world wide web. JACIII 5(3): 149–156
Palmigiano, A., & Venema, Y. (2007). Nabla algebras and Chu spaces. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Proceedings. Lecture Notes in Computer Science (Vol. 4624, pp. 394–408), Bergen, Norway, 20–24 Aug 2007. New York: Springer.
Papadopoulos B. K., Syropoulos A. (2000) Fuzzy sets and fuzzy relational structures as Chu spaces. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(4): 471–479
Pierce B. C. (1991) Basic category theory for computer scientists. MIT Press, Cambridge
Piron C. (1976) Foundations of quantum physics. W. A. Benjamin, New York
Pratt, V. R. (1995). The stone gamut: A coordinatization of mathematics. In LICS (pp. 444–454). Washington, DC: IEEE Computer Society.
Pratt V. R. (1999) Chu Spaces from the representational viewpoint. Annals of Pure and Applied Logic 96(1–3): 319–333
Pratt V. R. (2003) Transition and cancellation in concurrency and branching time. Mathematical Structures in Computer Science 13(4): 485–529
Redhead M. (1987) Incompleteness, nonlocality and realism: A prolegomenon to the philosophy of quantum mechanics. Oxford University Press, Oxford
Rutten J. J. M. M. (2000) Universal coalgebra: A theory of systems. Theoretical Computer Science 249(1): 3–80
Scott, D. S. (1970). Outline of a mathematical theory of computation. Technical report, Oxford University Computing Laboratory. Technical Monograph PRG-2 OUCL.
Seely, R. A. G. (1989). Linear logic, *-autonomous categories and cofree coalgebras. In: Categories in computer science and logic. Contemporary Mathematics (Vol. 92, pp. 371–382). Boston, MA: American Mathematical Society.
Simon B. (1976) From automorphism to Hamiltonian. In: Lieb E. H., Simon B., Wightman A. S. (eds) Studies in mathematical physics. Princeton University Press, Princeton, NJ, pp 305–326
Spekkens R.W. (2007) Evidence for the epistemic view of quantum states: A toy theory. Physical Review A 75(3): 032110
Stubbe I., van Steirteghem B. (2007) Propositional systems, Hilbert lattices and heneralized Hilbert spaces. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures: Quantum structures. Elsevier, Amsterdam, pp 477–523
van Benthem J. (2000) Information transfer across Chu spaces. Logic Journal of the IGPL 8(6): 719–731
Vannucci S. (2007) On game formats and Chu spaces. International Game Theory Review 9(1): 119–138
von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton, NJ: Princeton University Press. Translated from Mathematische Grundlagen der Quantenmechanik. Berlin: Springer, 1932.
Wright R. (1977) The structure of projection-valued states: A generalization of Wigner’s theorem. International Journal of Theoretical Physics 16(8): 567–573
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Abramsky, S. Big toy models. Synthese 186, 697–718 (2012). https://doi.org/10.1007/s11229-011-9912-x
Received:
Accepted:
Published:
Issue date:
DOI: https://doi.org/10.1007/s11229-011-9912-x
