Reconstructing quantum theory from its possibilistic operational formalism
Tóm tắt
We develop a possibilistic semantic formalism for quantum phenomena from an operational perspective. This semantic system is based on a Chu duality between preparation processes and yes/no tests, the target space being a three-valued set equipped with an informational interpretation. A basic set of axioms is introduced for the space of states. This basic set of axioms suffices to constrain the space of states to be a projective domain. The subset of pure states is then characterized within this domain structure. After having specified the notions of properties and measurements, we explore the notion of compatibility between measurements and of minimally disturbing measurements. We achieve the characterization of the domain structure on the space of states by requiring the existence of a scheme of discriminating yes/no tests, necessary condition for the construction of an orthogonality relation on the space of states. This last requirement about the space of states constrain the corresponding projective domain to be ortho-complemented. An orthogonality relation is then defined on the space of states and its properties are studied. Equipped with this relation, the ortho-poset of ortho-closed subsets of pure states inherits naturally a structure of Hilbert lattice. Finally, the symmetries of the system are characterized as a general subclass of Chu morphisms. We prove that these Chu symmetries preserve the class of minimally disturbing measurements and the orthogonality relation between states. These symmetries lead naturally to the ortho-morphisms of Hilbert lattice, defined on the set of ortho-closed subsets of pure states.
Tài liệu tham khảo
Abramsky, S.: Big toy models. Synthese 186(3), 697–718 (Jun2012)
Abramsky, S.: Coalgebras, Chu Spaces, and Representations of Physical Systems. J. Philos. Log. 42(3), 551–574 (2013)
Abramsky, S., Coecke, B.: Categorical Quantum Mechanics. In: Engesser, K., Gabbay, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures, pp. 261–323. Elsevier, Amsterdam (2009)
Abramsky, S., Heunen, C.: Operational theories and categorical quantum mechanics, page 88-122. Lecture Notes in Logic. Cambridge University Press, (2016)
Abramsky, S., Jung, A.: Handbook of Logic in Computer Science - Vol 3, chapter Domain Theory, pages 1–168. Oxford University Press, Inc., New York, NY, USA, (1994)
Aerts, D.: Construction of the tensor product for the lattices of properties of physical entities. J. Math. Phys. 25(5), 1434–1441 (1984)
Aerts, D., Valckenborgh, F.: Failure of standard quantum mechanics for the description of compound quantum entities. Int. J. Theor. Phys. 43(1), 251–264 (2004)
Aerts, D., Van Steirteghem, B. Quantum: Axiomatics and a Theorem of M. P. Solèr. International Journal of Theoretical Physics, 39(3):497–502, (2000)
Baltag, A., Smets, S.: Complete axiomatizations for quantum actions. Int. J. Theor. Phys. 44(12), 2267–2282 (Dec2005)
Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3), 491–525 (2006)
Baltag, A., Smets, S.: A dynamic-logical perspective on quantum behavior. Stud. Logica. 89(2), 187–211 (Jul2008)
Barr, M.: *-Autonomous Categories and Linear Logic. Math. Struct. Comput. Sci. 1, 159–178 (1991)
Barrett, J.: Information processing in generalized probabilistic theories. Phys. Rev. A 75, 032304 (Mar2007)
Bergfeld, J.M., Kishida, K., Sack, J., Zhong, S.: Duality for the Logic of Quantum Actions. Stud. Logica. 103(4), 781–805 (Aug2015)
Birkhoff, G., Von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)
Bordalo, G.H., Rodrigues, E.: Complements in modular and semimodular lattices. Port. Math. 55, 373–380 (1998)
Cabello, A. Specker’s fundamental principle of quantum mechanics, 2012
Cassinelli, G., Beltrametti, E.G.: Ideal, first-kind measurements in a proposition-state structure. Commun. Math. Phys. 40(1), 7–13 (Feb1975)
Chiribella, G., Chiribella, D.A., Mauro, Perinotti, P.: Informational derivation of quantum theory. Phys. Rev. A 84, 012311 (2011)
Coecke, B., Moore, D.J., Smets, S.: Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples, pages 527–555. Springer Netherlands, Dordrecht, (2004)
Coecke, B., Moore, D. J., Wilce, A.: Operational Quantum Logic: An Overview, pages 1–36. Springer Netherlands, Dordrecht, (2000)
Coecke, B., Moore, D.J., Stubbe, I.: Quantaloids describing causation and propagation of physical properties. Found. Phys. Lett. 14(2), 133–145 (Apr2001)
Coecke, B., Smets, S.: A logical description for perfect measurements. Int. J. Theor. Phys. 39(3), 595–603 (Mar2000)
Coecke, B., Smets, S.: The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes. Int. J. Theor. Phys. 43(7), 1705–1736 (Aug2004)
Crawley, P., Dilworth, R.P.: Algebraic theory of lattices. Prentice-Hall Englewood Cliffs, N.J. (1973)
Dacey, J.R.: Orthomodular spaces, Ph.D. Thesis, University of Massachusetts Amherst (1968)
Einstein, A., Podolsky, B., Rosen, N.: Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Phys. Rev. 47, 777–780 (May935)
Faure, C.-A., Froelicher, A.: Projective Geometries and Projective Lattices. In: Modern Projective Geometry. Mathematics and Its Applications, pp. 25–53. Springer, Dordrecht (2000)
Foulis, D.J., Randall, C.H.: Empirical logic and tensor products. Bibliographisches Inst, Germany (1981)
Foulis, D., Piron, C., Randall, C.: Realism, operationalism, and quantum mechanics. Found. Phys. 13(8), 813–841 (Aug1983)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Encyclopedia of Mathematics and its Applications (2003)
Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50(1), 1–101 (1987)
Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, New York (1989)
Gleason, A.M.: Measures on the Closed Subspaces of a Hilbert Space, pages 123–133. Springer Netherlands, Dordrecht, (1975)
Hardegree, G.M.: Reichenbach and the logic of quantum mechanics. Synthese 35(1), 3–40 (1997)
Hardy, L.: Quantum theory from five reasonable axioms. (2001)
Hardy, L.: Reformulating and Reconstructing Quantum Theory. (2011)
Hardy, L.: Reconstructing quantum theory. Fundam. Theor. Phys. 181, 223–248 (2016)
Hoehn, P.A.: Toolbox for reconstructing quantum theory from rules on information acquisition. Quantum 1, 38 (Dec2017)
Hoehn, P.A., Wever, C.S.P.: Quantum theory from questions. Phys. Rev. A 95, 012102 (Jan2017)
Holland, S. S.: Orthomodularity in infinite dimensions : a theorem of M. Soler. Bull. Am. Math. Soc., 32(math.RA/9504224):205–234, (1995)
Janotta, P., Hinrichsen, H.: Generalized probability theories: what determines the structure of quantum theory? J. Phys. A: Math. Theor. 47(32), 323001 (Jul2014)
Keimel, K., Lawson, J.: Continuous and Completely Distributive Lattices, pages 5–53. Lattice Theory: Special Topics and Applications: Volume 1. Ed.Grätzer, G., Wehrung, F. Springer International Publishing, (2014)
Kochen, S., Specker, E.: The problem of hidden variables in quantum mechanics. Indiana Univ. Math. J. 17, 59–87 (1968)
Kraus, K., Böhm, A., Dollard, J.D., Wootters, W.H., editor. States, Effects, and Operations - Fundamental Notions of Quantum Theory, volume 190 of Lecture Notes in Physics, Berlin Springer Verlag, 1983
Ludwig, G.: Quantum theory as a theory of interactions between macroscopic systems which can be described objectively. Erkenntnis 16(3), 359–387 (Nov1981)
Ludwig, G. Foundations of Quantum Mechanics, volume 1 of Theoretical and Mathematical Physics. Springer-Verlag, Berlin Heidelberg, 1983. Original German edition published in one volume as Band 70 of the series: Grundlehren der mathematischen Wissenschaften
Ludwig, G., Summers, S.J.: An Axiomatic Basis for Quantum Mechanics Volume 1: Derivation of Hilbert Space Structure and Volume 2: Quantum Mechanics and Macrosystems. Phys. Today 41, 72 (1988)
MacKey, G. W. The Mathematical Foundations of Quantum Mechanics: a Lecture. Mathematical physics monograph series. Benjamin, New York, NY, 1963. This book has also been published by Dover in 1963
Moore, D.J.: Categories of representations of physical systems. Helv. Phys. Acta 68(7–8), 658–678 (1995)
Moore, D.J.: 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)
Mueller, M.P., Masanes, L.: Information-theoretic postulates for quantum theory. Fundam. Theor. Phys. 181, 139–170 (2016)
Pauli, W.: Die allgemeinen Prinzipien der Wellenmechanik. Handbuch der Physik 5, 1–168 (1958)
Peres, A. Quantum theory : concepts and methods . Dordrecht ; Boston : Kluwer Academic , 1993 . Reprinted with corrections [1995?]–Verso t.p. paperback reprint
Piron, C.: Survey of general quantum physics. Found. Phys. 2(4), 287–314 (Oct1972)
Piron, C. On the Foundations of Quantum Physics, pages 105–116. Springer Netherlands, Dordrecht, 1976
Piron, C. A First Lecture on Quantum Mechanics, pages 69–87. Springer Netherlands, Dordrecht, 1977
Piron, C.: Ideal measurement and probability in quantum mechanics. Erkenntnis 16(3), 397–401 (Nov1981)
Pokorny, F., Zhang, C., Higgins, G., Cabello, A., Kleinmann, M., Hennrich, M.: Tracking the Dynamics of an Ideal Quantum Measurement. Phys. Rev. Lett. 124, 080401 (Feb2020)
Pratt, V. R. Chu spaces: automata with quantum aspects. In Proceedings Workshop on Physics and Computation. PhysComp ’94, pages 186–195, 1994
Pratt, V.R. Chu Spaces, 1999
Pratt, V.R.: Chu spaces from the representational viewpoint. Ann. Pure Appl. Logic 96(1), 319–333 (1999)
Randall, C., Foulis, D. Tensor products of quantum logics do not exist. Notices Am. Math. Soc, 26(6), 1979
Reichenbach, H. The Logico-Algebraic Approach to Quantum Mechanics, volume vol 5a of The University of Western Ontario Series in Philosophy of Science (A Series of Books on Philosophy of Science, Methodology, and Epistemology, chapter Three-Valued Logic and the Interpretation of Quantum Mechanics, pages 53–97. Dordrecht, springer edition, 1975
Rovelli, C.: Relational quantum mechanics. Int. J. Theor. Phys. 35(8), 1637–1678 (Aug1996)
Seevinck, M.P. from E. Specker: “The logic of non-simultaneously decidable propositions” (1960). Translation of ’Die Logik Der Nicht Gleichzeitig Entscheidbarer Aussagen’ by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960)
Spekkens, R.W.: Evidence for the epistemic view of quantum states: A toy theory. Phys. Rev. A 75, 032110 (Mar2007)
Stubbe, I., van Steirteghem, B.: Propositional systems, Hilbert lattices and generalized hilbert spaces. In: Engesser, K., Gabbay, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures, pp. 477–523. Elsevier Science B.V, Amsterdam (2007)
Vetterlein, T.: Orthogonality Spaces Arising from Infinite-Dimensional Complex Hilbert Spaces. Int. J. Theor. Phys. 60(2), 727–738 (2021)
Wilce, A. Test Spaces and Orthoalgebras, pages 81–114. Springer Netherlands, Dordrecht, 2000
Wilce, A. Test Spaces In Engesser, K., Gabbay D.M., Lehmann, D., editor, Handbook of Quantum Logic and Quantum Structures, pages 443–549. Elsevier Science B.V., Amsterdam, 2009
Zeilinger, A.: A foundational principle for quantum mechanics. Found. Phys. 29(4), 631–643 (Apr1999)
Zhong, S.: Correspondence Between Kripke Frames and Projective Geometries. Stud. Logica. 106(1), 167–189 (2018)
Zhong, S. Quantum States: An Analysis via the Orthogonality Relation. Synthese, 2021