Abstract
We argue that the notion of pure sate within Standard Quantum Mechanics is presently applied within the specialized literature in relation to two mutually inconsistent definitions. While the first (operational purity) provides a basis-dependent definition which makes reference to the certain prediction of measurement outcomes, the latter (trace-invariant purity) provides a purely abstract invariant definition which lacks operational content. In this work we derive a theorem which exposes the serious inconsistencies existent within these two incompatible definitions of purity.
Similar content being viewed by others
Notes
Even though there are many interpretations of QM, some of which change the mathematical formalism of the theory (e.g., Bohm and GRW), there is a “Standard” version of QM which is taught in Universities all around the world.
The reference to ‘mixtures’—as contra-posed to ‘pure states’—is extremely problematic for it erases the fundamental distinction between quantum mixture and classical mixture; a well known distinction in the specialized literature which Bernard d’Espagnat termed proper and improper (see D’Espagnat 1976, chap. 6).
In more general terms, as discussed in de Ronde et al. (2018), it is exactly this formal aspect which allows us to talk in terms of an Actual State of Affairs (ASA) that evolves in time; i.e., a dynamical description in terms of the variation of (objective) definite valued observables (or ‘dynamical properties’) independent of the (subjective choice of the) perspective (or reference frame) from which they are being observed. Even in relativity theory, due to the Lorentz transformations, one can still consider ‘events’ as the building blocks of physical reality.
Today, the reference to states has become explicitly instrumental. As pointed out by Timpson (2010), for many contemporary researchers, the quantum state does not represent “how things are in an external, objective world, it merely represents what information one has. Mermin (2001), Peierls (1991), Wheeler (1990) and Zeilinger (1999) have all endorsed this kind of view. Hartle (1968, p. 709) provides an excellent summary: ‘The state is not an objective property of an individual system but is that information, obtained from a knowledge of how a system was prepared, which can be used for making predictions about future measurements’.”
A density matrix can be diagonalized, thus giving a set of eigenvalues \(0\le \lambda _1\le \ldots <\lambda _n\le 1\) with \(\sum _i \lambda _i = 1\). If \({\text{ Tr }}(\rho ^2)=1\), then \(\lambda _1=\ldots =\lambda _{n-1}=0\) and \(\lambda _n=1\). Hence, \({\text{ rk }}(\rho )=1\) and then \(\rho =|v\rangle \langle v|\) and \(\rho =\rho ^2\). Conversely, if \(\rho =\rho ^2\) it has eigenvalues 0 or 1, but from \(\sum _i \lambda _i = 1\) it follows \(\lambda _1=\ldots =\lambda _{n-1}=0\) and \(\lambda _n=1\). Hence, \({\text{ Tr }}(\rho ^2)=1\).
We distinguish here between the purely abstract vector \(\Psi\) and its specific representation in a basis \(|\psi \rangle\). As shown in detail in de Ronde and Massri (2020, Sect. 4) this distinction becomes explicitly visualizable through the use of graph theory (see figures 1 and 6 of the mentioned reference).
References
Aerts, D., & Sassoli di Bianchi, M. (2014). The extended Bloch representation of quantum mechanics and the hidden-measurement solution to the measurement problem. Annals of Physics, 351, 975–1025.
Aerts, D., & Sassoli di Bianchi, M. (2017). Do Spins Have Directions? Soft Computing, 21, 1483–1504.
Beltrametti, E. G., & Cassinelli, G. (1981). The Logic of Quantum Mechanics. Massachusetts: Addison-Wesley.
Bengtsson, I., & Zyczkowski, K. (2006). Geometry of Quantum States: An Introduction to Quantum Entanglement. Cambridge: Cambridge University Press.
Bohr, N. (1935). Can Quantum Mechanical Description of Physical Reality be Considered Complete? Physical Review, 48, 696–702.
Cartwright, N. (1972). A dilemma for the traditional interpretation of quantum mixtures. Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1972, 251–258.
de Ronde, C., & Massri, C. (2017). Kochen–Specker theorem, physical invariance and quantum individuality. Cadernos de História e Filosofia da Ciência, 2, 107–130.
de Ronde, C. & Massri, C. (2018). The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations, International Journal of Theoretical Physics, https://doi.org/10.1007/s10773-018-3914-0
de Ronde, C. & Massri, C. (2020). “Beyond Purity and Mixtures in Categorical Quantum Mechanics”, preprint, sent. (quant-ph:2002.04423)
D’Espagnat, B. (1976). Conceptual Foundations of Quantum Mechanics. Reading MA: Benjamin.
Dieks, D. (2010). Quantum Mechanics, Chance and Modality. Philosophica, 83, 117–137.
Dirac, P. A. M. (1974). The Principles of Quantum Mechanics (4th ed.). London: Oxford University Press.
Einstein, A. (1920). Relativity. The Special and General Theory. New York: Henry Holt & Company.
Einstein, A., Podolsky, B., & Rosen, N. (1935). Can quantum-mechanical description be considered complete? Physical Review, 47, 777–780.
Freytes, H., Ledda, A., Sergioli, G., & Giuntini, R. (2013). Probabilistic logics in quantum computation. In H. Andersen, D. Dieks, W. J. Gonzalez, Th Uebel, & G. Wheeler (Eds.), New Challenges to Philosophy of Science (pp. 49–57). Berlin: Springer.
Hall, B. C. (2013). Quantum Theory for Mathematicians. Berlin: Springer.
Hartle, J. B. (1968). Quantum mechanics of individual systems. American Journal of Physics, 36, 704–712.
Jauch, J. M. (1968). Foundations of Quantum Mechanics. Massachusetts: Addison-Wesley.
Kochen, S., & Specker, E. (1967). On the problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics, 17, 59–87. Reprinted in Hooker, 1975, 293-328.
Mermin, D. (1998). What is Quantum Mechanics Trying to Tell Us? American Journal of Physics, 66, 753–767.
Mermin, N. D. (2001). Whose knowledge? In R. Bertlmann & A. Zeilinger (Eds.), Quantum (Un)speakables: Essays in commemoration of John S. Bell. Berlin: Springer. arXiv:quant-ph/0107151.
Mittelstaedt, P. (1978). Quantum Logic D. Berlin: Reidel Publishing Company.
Nielsen, M., & Chuang, I. (2000). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press.
Peres, A. (2002). Quantum Theory: Concepts and Methods. Dordrecht: Kluwer Academic Publishers.
Peierls, R. (1991). In defence of “Measurement”. Physics World, 4(1), 19.
Piron, C. (1976). Foundations of Quantum Physics W.A. Reading, New York: Benjamin Inc.
Schlosshauer, M. (Ed.) (2011). Elegance and Enigma. The Quantum Interviews: Springer-Verlag, Berlin.
Scholz, E. (2018). Weyl’s search for a difference between ‘physical’ and ‘mathematical’ automorphisms. Studies in History and Philosophy of Modern Physics, 61, 57–67.
Smets, S. (2005). The modes of physical properties in the logical foundations of physics. Logic and Logical Philosophy, 14, 37–53.
Timpson, C. (2010). Information, Immaterialism instrumentalis: old and new in quantum information. In Bokulich & G. Jaeger (Eds.), Philosophy of Quantum Information and Entanglement (pp. 208–228). Cambridge: Cambridge University Press.
Van Fraassen, B. C. (1980). The Scientific Image. Oxford: Clarendon.
Weyl, H. (1938). The Classical Groups. Princeton: Princeton University Press.
Weyl, H. (1952). Symmetry. Princeton: Princeton University Press.
Wheeler, J. A. (1990). Information, physics, quantum: The search for links. In W. Zurek (Ed.), Complexity, entropy and the physics of information (pp. 3–28). Redwood City, CA: Addison-Wesley.
Zeilinger, A. (1999). A foundational principle for quantum mechanics. Foundations of Physics, 29, 631–643.
Acknowledgements
We want to thank the insightful suggestions of three anonymous referees which allowed us to make the main point of the text substantially more clear. This work was partially supported by the following grants: FWO project G.0405.08 and FWO-research community W0.030.06. CONICET RES. 4541-12, the Project UNAJ 80020170100058UJ and PIO-CONICET-UNAJ 15520150100008CO “Quantum Superpositions in Quantum Information Processing”. The authors state that there is no conflict of interest.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
de Ronde, C., Massri, C. Against the Tyranny of ‘Pure States’ in Quantum Theory. Found Sci 27, 27–41 (2022). https://doi.org/10.1007/s10699-020-09720-x
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-020-09720-x