Abstract
It is well known that the non-orthogonality relation between the (pure) states of a quantum system is reflexive and symmetric, and the modal logic \(\mathbf {KTB}\) is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that satisfies each one of these two properties and both, respectively. We also show that the modal logics involved are decidable.
Similar content being viewed by others
Notes
Throughout this paper we make the convention that \(\{ 0 , \dots , n-1 \} = \emptyset \) when \(n = 0\).
I adopt this name from Moore (1995).
I adopt this name from Baltag and Smets (2005).
I adopt this name from Moore (1995).
For the notion of a formula being canonical for a property of Kripke frames, please refer to Definition 4.31 in Blackburn et al. (2001).
For the notion of a formula defining a property of Kripke frames, please refer to Section 3.1 in Blackburn et al. (2001).
The idea of this construction is inspired by Exercise 4.5.1 in Blackburn et al. (2001).
For a proof, please refer to textbooks in modal logic, for example, Section 4.3 of Blackburn et al. (2001).
For the notion of a formula corresponding to a property of Kripke frames, please refer to Definition 3.5 in Blackburn et al. (2001).
x, y, \(u_i\) and \(v_j\) are used to denote points in a Kripke frame in this paper, except that in this first-order formula they serve as individual variables.
For a set A, card(A) denotes the cardinality of A.
References
Baltag, A., & Smets, S. (2005). Complete axiomatizations for quantum actions. International Journal of Theoretical Physics, 44(12), 2267–2282.
Baltag, A., & Smets, S. (2012). The dynamic turn in quantum logic. Synthese, 186(3), 753–773.
Bergfeld, J., Kishida, K., Sack, J., & Zhong, S. (2015). Duality for the logic of quantum actions. Studia Logica, 103(4), 781–805.
Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. The Annals of Mathematics, 37, 823–843.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.
Chagrov, A., & Zakharyaschev, W. (1997). Modal logic. Oxford: Clarendon Press.
Christoff, Z., & Hansen, J. (2015). A logic for diffusion in social networks. Journal of Applied Logic, 13(1), 48–77.
Dalla Chiara, M., & Giuntini, R. (2002). Quantum logics. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 129–228). Dordrecht: Kluwer Academic Publishers.
Dishkant, H. (1972). Semantics of the minimal logic of quantum mechanics. Studia Logica, 30(1), 23–30.
Engesser, K., Gabbay, D., & Lehmann, D. (2007). Handbook of quantum logic and quantum structures: Quantum structures. Amsterdam: Elsevier Science B.V.
Engesser, K., Gabbay, D., & Lehmann, D. (2009). Handbook of quantum logic and quantum structures: Quantum logic. Amsterdam: Elsevier Science B.V.
Foulis, D., & Randall, C. (1971). Lexicographic orthogonality. Journal of Combinatorial Theory, Series A, 11(2), 157–162.
Goldblatt, R. (1974). Semantic analysis of orthologic. Journal of Philosophical Logic, 3, 19–35.
Goldblatt, R. (1975). The Stone space of an ortholattice. Bulletin of the London Mathematical Society, 7(1), 45–48.
Goldblatt, R. (1984). Orthomodularity is not elementary. Journal of Symbolic Logic, 49, 401–404.
Hedlíková, J., & Pulmannová, S. (1991). Orthogonality spaces and atomistic orthocomplemented lattices. Czechoslovak Mathematical Journal, 41, 8–23.
Husimi, K. (1937). Studies on the foundations of quantum mechanics I. Proceedings of the Physico-Mathematical Society of Japan, 19, 766–789.
Kalmbach, G. (1983). Orthomodular lattices. Cambridge, MA: Acadamic Press.
Leskovec, J., & Horvitz, E. (2008). Planetary-scale views on a large instant-messaging network. In Proceedings of the 17th international world wide web conference (WWW2008).
Miyazaki, Y. (2007). Kripke incomplete logics containing KTB. Studia Logica, 85(3), 303–317.
Moore, D. (1995). Categories of representations of physical systems. Helvetica Physica Acta, 68, 658–678.
Piron, C. (1976). Foundations of quantum physics. Reading: W.A. Benjamin, Inc.
Seligman, J., Liu, F., & Girard, P. (2011). Logic in the community. In M. Banerjee & A. Seth (Eds.), Logic and its applications: 4th Indian conference, ICLA 2011, Delhi, India, 5–11 January 2011. Proceedings’ (pp. 178–188). Springer, Berlin.
Varadarajan, V. (1985). Geometry of quantum theory (2nd ed.). New York, NY: Springer.
von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Berlin: Julius Springer.
Zhong, S. (2015). Orthogonality and quantum geometry: Towards a relational reconstruction of quantum theory. Ph.D. thesis, University of Amsterdam. http://www.illc.uva.nl/Research/Publications/Dissertations/DS-2015-03.text.pdf.
Zhong, S. (2017a) Correspondence between Kripke frames and projective geometries. Studia Logica. https://doi.org/10.1007/s11225-017-9733-0.
Zhong, S. (2017b). A formal state-property duality in quantum logic. Studies in Logic, 10(2), 112–133.
Acknowledgements
The axiomatizations and their decidability of the modal logics of state spaces and state spaces satisfying Superposition are obtained in Section 4.3 of my PhD thesis (Zhong 2015) finished at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, in 2015. I am very grateful to my supervisors, Prof. Johan van Benthem, Dr. Alexandru Baltag and Prof. Sonja Smets, for their supervision and the detailed comments on my thesis which are invaluable in the writing of this paper. I am also very grateful to the members in my PhD committee, Dr. Nick Bezhanishvili, Prof. Robert Goldblatt, Prof. John Harding, Prof. Yde Venema, Prof. Ronald de Wolf and Prof. Mingsheng Ying, for their comments on my thesis which are very helpful in writing this paper. The results were also presented in Tsinghua Logic Colloquium on Information Flow in a Social World, and I am very grateful to the audience for the interesting discussion. I thank very much the two reviewers of this paper for their detailed and helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
My PhD research was funded by China Scholarship Council (CSC), and the writing of this paper is supported by NSSFC Grant 14ZDB015 and the International Postdoctoral Exchange Fellowship Program run by the China Postdoctoral Council.
Rights and permissions
About this article
Cite this article
Zhong, S. On the Modal Logic of the Non-orthogonality Relation Between Quantum States. J of Log Lang and Inf 27, 157–173 (2018). https://doi.org/10.1007/s10849-017-9262-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-017-9262-2