Abstract
We introduce a partial order on classical and quantum mixed states which reveals that these sets are actually domains: Directed complete partially ordered sets with an intrinsic notion of approximation. The operational significance of the partial orders involved conclusively establishes that physical information has a natural domain theoretic structure. For example, the set of maximal elements in the domain of quantum states is precisely the set of pure states, while the completely mixed ensemble \(I/n\) is the order theoretic least element ⊥.
In the same way that the order on a domain provides a rigorous qualitative defini- tion of information, a special type of mapping on a domain called a measurement provides a formal account of the intuitive notion “information content.” Not only is physical information domain theoretic, but so too is physical entropy: Shannon entropy is a measurement on the domain of classical states; von Neumann entropy is a measurement on the domain of quantum states.
These results yield a foundation from which one can (a) reason qualitatively about probability, (b) derive the lattices of Birkhoff and von Neumann in a unified manner, suggesting that domains may provide a formalism for the logic of partial belief, and (c) develop new techniques for studying phenomena like noise and entanglement. Along the way, new lines of investigation open up within various subdisciplines of physics, mathematics and theoretical computer science.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. III. Oxford University Press, Oxford (1994)
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)
Coecke, B., Moore, D.J., Wilce, A. (eds.): Current Research in Operational Quantum logic: Algebras, Categories, Languages. Kluwer Academic Publishers, Dordrecht (2000)
Faure, Cl.-A., Frölicher, A.: Modern projective Geometry. Kluwer Academic Publishers, Dordrecht (2000)
Gleason, A.M.: Measures on the closed subspaces of a Hilbert space. J. Math. Mech. 6, 885–893 (1957)
Greenberger, D.M., Horn, M.A., Shimony, A., Zeilinger, A.: Bell’s theorem without inequalities. Am. J. Phys. 58, 1131 (1990)
Kalmbach, G.: Orthomodular Lattices. Academic Press, New York (1983)
Martin, K. A foundation for computation. Ph.D. Thesis, Department of Mathematics, Tulane University (2000)
Mackey, G.M.: The Mathematical Foundations of Quantum Mechanics. W. A. Benjamin, New York (1963)
van Loock, P., Braunstein, S.L.: Multipartite entanglement, 2002. arXiv:quantph/0205068
Lüders, G.: über die Zustandsänderung durch den Messprozess (German). Annalen der Physik 8, 322–328 (1951)
von Neumann, J.: Mathematische Grundlagen der Quantenmechanik. Springer, New York (1932); Translation, Mathematical Foundations of Quantum mechanics. Princeton University Press, Princeton (1955)
Piron, C.: Foundations of quantum physics. W. A. Benjamin, Reading (1976)
Ramsey, F.P.: Truth and probability, 1926. In: Braithwaite, R.B. (ed.) The Foundations of Mathematics and Other Logical Essays, Ch. 7. Routledge, London (1931)
Schmidt, E.: Math. Ann. 63, 433 (1907)
Scott, D.: Outline of a mathematical theory of computation. TechnicalMonograph PRG-2. (November 1970)
Acknowledgement
To Samson Abramsky and Prakash Panangaden – who supported the authors when ideas combining semantics and physics were far less popular than they are today. This paper appears in its original, unpublished form in tribute to a memorable time and place.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-VerlagBerlin Heidelberg
About this chapter
Cite this chapter
Coecke, B., Martin, K. (2010). A Partial Order on Classical and Quantum States. In: Coecke, B. (eds) New Structures for Physics. Lecture Notes in Physics, vol 813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12821-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-12821-9_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12820-2
Online ISBN: 978-3-642-12821-9
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)