Abstract
This paper describes a generalization of the usual category in which coalgebras are considered, and its application to modelling quantum systems and their physical symmetries. Following the programme of work initiated in [1], [2], we aim to model systems described by the laws of quantum physics using coalgebraic techniques. A broader notion of the morphisms of coalgebras is given, in which diagrams are allowed to commute only up to appropriate natural isomorphism. This relaxed setting is then shown to have analogues of coalgebraic notions such as bisimulations, with properties that parallel the usual coalgebraic ones closely. This new setting is then exploited to give coalgebraic models of quantum systems in which the conceptually important physical symmetries are given as automorphisms of a suitable coalgebra.
Finally, we investigate coalgebraic logic in this setting, showing that there is a natural notion of “symmetry modality” that can be exploited. The notions of Schrödinger and Heisenberg evolution are discussed, and it is argued that Heisenberg evolution is more natural in the coalgebraic setting. It is then shown that these additional modalities can be used to give an adequate and expressive coalgebraic logic for quantum system in which state evolution and measurement outcomes can be described by suitable modal operators. An appropriate model of this logic then gives predictions consistent with the laws of quantum mechanics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S.: Big toy models: Representing physical systems as Chu spaces. CoRR abs/0910.2393 (2009)
Abramsky, S.: Coalgebras, Chu spaces, and representations of physical systems. In: LICS, pp. 411–420. IEEE Computer Society (2010)
Kurz, A., Pattinson, D.: Notes on coalgebras, cofibrations and concurrency. Electr. Notes Theor. Comput. Sci. 33, 196–229 (2000)
Kurz, A., Pattinson, D.: Coalgebras and modal logic for parameterized endofunctors. Technical Report SEN-R0040, CWI (2000)
Pattinson, D.: Coalgebraic modal logic, soundness, completeness and decidability of local consequence. Theoretical Computer Science 309, 177–193 (2003)
Schröder, L.: Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci. 390(2-3), 230–247 (2008)
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3–80 (2000)
Mermin, N.: Quantum Computer Science: An Introduction. Cambridge University Press (2007)
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. 10th anniversary edn. Cambridge University Press (2010)
Stubbe, I., van Steirteghem, B.: Propositional systems, Hilbert lattices and generalized Hilbert spaces. In: Ensegger, K., Gabbay, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures: Quantum Structures, pp. 477–523. Elsevier (2007)
Kurz, A.: Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München (2000)
Abramsky, S., Coecke, B.: Categorical quantum mechanics. In: Engesser, K., Gabbay, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures. Elsevier (2008)
Moss, L.: Coalgebraic logic. Ann. Pure Appl. Logic 96 (1999)
Abramsky, S.: A cook’s tour of the finitary non-well-founded sets. CoRR abs/1111.7148 (2011)
Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Electr. Notes Theor. Comput. Sci. 82(1), 170–190 (2003)
Klin, B.: Coalgebraic modal logic beyond sets. Electr. Notes Theor. Comput. Sci. 173, 177–201 (2007)
Cîrstea, C., Kupke, C., Pattinson, D.: EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science 7(3) (2011)
Bennett, C.H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., Wooters, W.K.: Teleporting an unknown state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 70, 1895–1899 (1993)
Gottesman, D., Chang, I.: Quantum teleporation is a universal computational primitive. Nature 402, 390–393 (1999)
Źukowski, M., Zeilinger, A., Horne, M., Ekert, A.: “Event ready detectors” Bell experiments via entanglement swapping. Physical Review Letters 71, 4287–4290 (1993)
Ekert, A.K.: Quantum cryptography based on Bell’s theorem. Physical Review Letters 67, 661–663 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marsden, D. (2013). Coalgebras with Symmetries and Modelling Quantum Systems. In: Heckel, R., Milius, S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40206-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-40206-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40205-0
Online ISBN: 978-3-642-40206-7
eBook Packages: Computer ScienceComputer Science (R0)