Abstract
In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” (Baltag et al. in Int J Theor Phys, 44(12):2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a (generalized) Hilbert space. The other approach considers a “Piron lattice” (Piron in Foundations of Quantum Physics, 1976), which characterizes the algebra of closed linear subspaces of a (generalized) Hilbert space. We define categories of these two sorts of structures and show a duality between them. This result establishes, on one direction of the duality, that quantum dynamic frames represent quantum structures correctly; on the other direction, it gives rise to a representation of dynamics on a Piron lattice.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aerts, D., Quantum axiomatics, in K. Engesser, D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures, 1st edn., Elsevier Science B.V., Amsterdam, 2009, pp. 79–126.
Awodey S.: Category Theory. Oxford University Press, Oxford (2006)
Baltag A., Smets S.: Complete axiomatizations for quantum actions. International Journal of Theoretical Physics 44(12), 2267–2282 (2005)
Baltag A., Smets S.: LQP: the dynamic logic of quantum information. Mathematical Structures in Computer Science 16(3), 491–525 (2006)
Beltrametti, E., and G. Cassinelli, The Logic of Quantum Mechanics, Encyclopedia of Mathematics and Its Applications, Addison-Wesley Publishing Company, Boston, 1981.
Birkhoff G.: Lattice Theory. American Mathematical Society, New York (1967)
Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Coecke B., Smets S.: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. International Journal of Theoretical Physics 43, 1705–1736 (2004)
Faure C.-A.: An elementary proof of the fundamental theorem of projective geometry (dedicated to Alfred Frölicher). Geometriae Dedicata 90(1), 145–151 (2002)
Goldblatt R.: Semantic analysis of orthologic. Journal of Philosophical Logic 3, 19–35 (1974)
Harel D., Tiuryn J., Kozen D.: Dynamic Logic. MIT Press, Cambridge, MA (2000)
Johnstone P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)
Kozen, D., K. G. Larsen, R. Mardare, and P. Panangaden, Stone duality for Markov processes, in Proceedings of the 28th Annual IEEE Symposium on Logic in Computer Science: LICS.
Mayet R.: Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms. International Journal of Theoretical Physics 37, 109–114 (1998)
Moore D.J.: Categories of representations of physical systems. Helvetica Physica Acta 68, 658–678 (1995)
: On state spaces and property lattices. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30(1), 61–83 (1999)
Piron C.: Foundations of Quantum Physics. W.A. Benjamin Inc., San Francisco (1976)
Stone M.H.: The theory of representations for Boolean algebras. Transactions of the American Mathematical Society 40, 37–111 (1936)
Stubbe, I., and B. van Steirteghem, Propositional systems, Hilbert lattices and generalized Hilbert spaces, in K. Engesser, D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures, Elsevier Science B.V., Amsterdam, 2007, pp. 477–523.
Venema, Y., Algebras and coalgebras, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, Elsevier, New York, 2007, pp. 331–426.
Wilce, A., Quantum logic and probability theory, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, fall 2012 edn., 2012.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bergfeld, J.M., Kishida, K., Sack, J. et al. Duality for the Logic of Quantum Actions. Stud Logica 103, 781–805 (2015). https://doi.org/10.1007/s11225-014-9592-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9592-x