Mathematical Foundations of Quantum Mechanics
Author | John von Neumann |
---|---|
Original title | Mathematische Grundlagen der Quantenmechanik |
Language | German |
Subject | Quantum mechanics |
Published | 1932 |
Publisher | Springer |
Publication place | Berlin, Germany |
Mathematical Foundations of Quantum Mechanics (German: Mathematische Grundlagen der Quantenmechanik) is a quantum mechanics book written by John von Neumann in 1932. It is an important early work in the development of the mathematical formulation of quantum mechanics.[1] The book mainly summarizes results that von Neumann had published in earlier papers.[2]
Von Neumman formalized quantum mechanics using the concept of Hilbert spaces and linear operators.[3] He acknowledged the previous work by Paul Dirac on the mathematical formalization of quantum mechanics, but was skeptical of Dirac's use of delta functions. He wrote the book in an attempt to be even more mathematically rigorous than Dirac.[4] It was von Neumann's last book in German, afterwards he started publishing in English.[5]
Publication history
[edit]The book was originally published in German in 1932 by Springer.[2] It was translated into French by Alexandru Proca in 1946,[6] and into Spanish in 1949.[7] An English translation by Robert T. Beyer was published in 1955 by Princeton University Press. A Russian translation, edited by Nikolay Bogolyubov, was published by Nauka in 1964. A new English edition, edited by Nicholas A. Wheeler, was published in 2018 by Princeton University Press.[8]
Table of contents
[edit]According to the 2018 version, the main chapters are:[8]
- Introductory considerations
- Abstract Hilbert space
- The quantum statistics
- Deductive development of the theory
- General considerations
- The measuring process
No hidden variables proof
[edit]One significant passage is its mathematical argument against the idea of hidden variables. Von Neumann's claim rested on the assumption that any linear combination of Hermitian operators represents an observable and the expectation value of such combined operator follows the combination of the expectation values of the operators themselves.[9]
Von Neumann's makes the following assumptions:[10]
- For an observable , a function of that observable is represented by .
- For the sum of observables and is represented by the operation , independently of the mutual commutation relations.
- The correspondence between observables and Hermitian operators is one to one.
- If the observable is a non-negative operator, then its expected value .
- Additivity postulate: For arbitrary observables and , and real numbers and , we have for all possible ensembles.
Von Neumann then shows that one can write
for some , where and are the matrix elements in some basis. The proof concludes by noting that must be Hermitian and non-negative definite () by construction.[10] For von Neumann, this meant that the statistical operator representation of states could be deduced from the postulates. Consequently, there are no "dispersion-free" states:[a] it is impossible to prepare a system in such a way that all measurements have predictable results. But if hidden variables existed, then knowing the values of the hidden variables would make the results of all measurements predictable, and hence there can be no hidden variables.[10] Von Neumann's argues that if dispersion-free states were found, assumptions 1 to 3 should be modified.[11]
Von Neumann's concludes:[12]
if there existed other, as yet undiscovered, physical quantities, in addition to those represented by the operators in quantum mechanics, because the relations assumed by quantum mechanics would have to fail already for the by now known quantities, those that we discussed above. It is therefore not, as is often assumed, a question of a re-interpretation of quantum mechanics, the present system of quantum mechanics would have to be objectively false, in order that another description of the elementary processes than the statistical one be possible.
— pp. 324-325
Rejection
[edit]This proof was rejected as early as 1935 by Grete Hermann who found a flaw in the proof.[11] The additive postulate above holds for quantum states, but it does not need to apply for measurements of dispersion-free states, specifically when considering non-commuting observables.[10][9] Dispersion-free states only require to recover additivity when averaging over the hidden parameters.[10][9] For example, for a spin-1/2 system, measurements of can take values for a dispersion-free state, but independent measurements of and can only take values of (their sum can be or ).[13] Thus there still the possibility that a hidden variable theory could reproduce quantum mechanics statistically.[9][10][11]
However, Hermann's critique remained relatively unknown until 1974 when it was rediscovered by Max Jammer.[11] In 1952, David Bohm constructed the Bohmian interpretation of quantum mechanics in terms of statistical argument, suggesting a limit to the validity of von Neumann's proof.[10][9] The problem was brought back to wider attention by John Stewart Bell in 1966.[9][10] Bell showed that the consequences of that assumption are at odds with results of incompatible measurements, which are not explicitly taken into von Neumann's considerations.[10]
Reception
[edit]It was considered the most complete book written in quantum mechanics at the time of release.[2][14] It was praised for its axiomatic approach.[2] A review by Jacob Tamarkin compared von Neumann's book to what the works on Niels Henrik Abel or Augustin-Louis Cauchy did for mathematical analysis in the 19th century, but for quantum mechanics.[15][16]
Freeman Dyson said that he learned quantum mechanics from the book.[5] Dyson remarks that in the 1940s, von Neumann's work not so well cited in the English world, as the book was not translated into English until 1955, but also because the worlds of mathematics and physics were significantly distant at the time.[5]
Works adapted in the book
[edit]- von Neumann, J. (1927). "Mathematische Begründung der Quantenmechanik [Mathematical Foundation of Quantum Mechanics]". Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse: 1–57.
- von Neumann, J. (1927). "Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik [Probabilistic Theory of Quantum Mechanics]". Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse: 245–272.
- von Neumann, J. (1927). "Thermodynamik quantenmechanischer Gesamtheiten [Thermodynamics of Quantum Mechanical Quantities]". Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse. 102: 273–291.
- von Neumann, J. (1929). "Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren [General Eigenvalue Theory of Hermitian Functional Operators]". Mathematische Annalen: 49–131. doi:10.1007/BF01782338.
- von Neumann, J. (1931). "Die Eindeutigkeit der Schrödingerschen Operatoren [The uniqueness of Schrödinger operators]". Mathematische Annalen. 104: 570–578. doi:10.1007/bf01457956. S2CID 120528257.
See also
[edit]- Dirac–von Neumann axioms
- The Principles of Quantum Mechanics by Paul Dirac
Notes
[edit]- ^ A dispersion-free state has the property for all (eigenstate or not).
References
[edit]- ^ Van Hove, Léon (1958). "Von Neumann's contributions to quantum theory". Bull. Amer. Math. Soc. 64 (3): 95–100. doi:10.1090/s0002-9904-1958-10206-2.
- ^ a b c d Margenau, Henry (1933). "Book Review: Mathematische Grundlagen der Quantenmechanik". Bulletin of the American Mathematical Society. 39 (7): 493–495. doi:10.1090/S0002-9904-1933-05665-3. MR 1562667.
- ^ "John von Neumann | Biography, Accomplishments, Inventions, & Facts | Britannica". www.britannica.com. 2024-10-24. Retrieved 2024-12-04.
- ^ Kronz, Fred; Lupher, Tracy (2024), "Quantum Theory and Mathematical Rigor", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-12-04
- ^ a b c Dyson, Freeman (2013-02-01). "A Walk through Johnny von Neumann's Garden". Notices of the American Mathematical Society. 60 (2): 154. doi:10.1090/noti942. ISSN 0002-9920.
- ^ "NEUMANN (von) : Les fondements mathématiques de la Mécanique quantique, 1946". www.gabay-editeur.com (in French). Retrieved 2024-12-04.
- ^ Halmos, P. R. (1973). "The Legend of John Von Neumann". The American Mathematical Monthly. 80 (4): 382–394. doi:10.2307/2319080. ISSN 0002-9890. JSTOR 2319080.
- ^ a b John von Neumann (2018). Nicholas A. Wheeler (ed.). Mathematical Foundations of Quantum Mechanics. New Edition. Translated by Robert T. Beyer. Princeton University Press. ISBN 9781400889921.
- ^ a b c d e f Bell, John S. (1966-07-01). "On the Problem of Hidden Variables in Quantum Mechanics". Reviews of Modern Physics. 38 (3): 447–452. doi:10.1103/RevModPhys.38.447. ISSN 0034-6861.
- ^ a b c d e f g h i Ballentine, L. E. (1970-10-01). "The Statistical Interpretation of Quantum Mechanics". Reviews of Modern Physics. 42 (4): 358–381. doi:10.1103/RevModPhys.42.358. ISSN 0034-6861.
- ^ a b c d Mermin, N. David; Schack, Rüdiger (2018). "Homer Nodded: Von Neumann's Surprising Oversight". Foundations of Physics. 48 (9): 1007–1020. doi:10.1007/s10701-018-0197-5. ISSN 0015-9018.
- ^ Albertson, James (1961-08-01). "Von Neumann's Hidden-Parameter Proof". American Journal of Physics. 29 (8): 478–484. doi:10.1119/1.1937816. ISSN 0002-9505.
- ^ Bub, Jeffrey (2010). "Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal". Foundations of Physics. 40 (9–10): 1333–1340. doi:10.1007/s10701-010-9480-9. ISSN 0015-9018.
- ^ Hove, Léon van (1958). "Von Neumann's contributions to quantum theory". Bulletin of the American Mathematical Society. 64 (3.P2): 95–99. ISSN 0002-9904.
- ^ "John von Neumann books". Maths History. Retrieved 2024-12-04.
- ^ Tamarkin, J. D. (1935). "Review of Mathematische Grundlagen der Quantenmechanik". The American Mathematical Monthly. 42 (4): 237–239. doi:10.2307/2302105. ISSN 0002-9890. JSTOR 2302105.
External links
[edit]- Full online text of the 1932 German edition (facsimile) at the University of Göttingen.