Pith. sign in

REVIEW 3 major objections 4 minor 26 references

This paper argues that the standard label 'Koopman–von Neumann wave functions' is a historical misattribution: Koopman and von Neumann's 1931–32 Hilbert-space work treated observables as vectors, and classical wave functions whose squared m

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 18:01 UTC pith:MKYUCMKT

load-bearing objection A well-documented historical correction that is plausible but overstates its case by treating absence of textual evidence as proof Koopman and von Neumann never had the wave-function idea. the 3 major comments →

arxiv 2607.17408 v1 pith:MKYUCMKT submitted 2026-07-19 physics.hist-ph quant-ph

The History of Hilbert-Space Formulations of Classical Physics

Jacob A. Barandes This is my paper
classification physics.hist-ph quant-ph
keywords Koopman–von Neumannclassical wave functionsHilbert spaceclassical mechanicshistory of physicsMario SchönbergLiouville equationpriority attribution
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper tries to correct a historical misattribution: the widely used term 'Koopman–von Neumann (KvN) wave functions' credits Koopman and von Neumann with an idea they never had. In their 1931–32 papers, they treated classical observables as vectors in a Hilbert space, with a weight function ρ in the inner product and time evolution of Heisenberg type; they did not introduce complex wave functions ψ whose modulus-square gives the classical probability density. The method of classical wave functions was introduced later, likely first by Mario Schönberg in the early 1950s, and independently by Loinger, Della Riccia, Wiener, and Sudarshan. A sympathetic reader would care because credit for an influential mathematical tool is currently going to the wrong people, and because the two Hilbert-space formulations, though mathematically equivalent, are conceptually different.

Core claim

On the paper's showing, Koopman's 1931 construction and von Neumann's 1932 follow-ups set up a Hilbert space of phase-space functions representing classical observables, evolving by the Liouvillian with a sign appropriate to the Heisenberg picture, and with an inner product weighted by the phase-space density ρ. Nothing in those papers relates a complex function to ρ by modulus-squaring, nor does any 'Schrödinger picture' wave function appear. The method of classical wave functions—complex functions Θ on phase space with ρ=|Θ|^2 satisfying the Liouville equation—first appears in Mario Schönberg's 1952–53 papers, and later in work by Loinger (1962), Della Riccia and Wiener (1966), and Sudarsh

What carries the argument

The central objects are (1) Koopman's Hilbert space of observables-as-vectors, with inner product (φ,ψ)=∫ρ φ̄ ψ dω and time evolution U_t φ(A)=φ(S_t A) leading to d/dt U_t φ = {φ,H} = iLφ (Heisenberg picture); and (2) Schönberg's classical wave functions Θ with ρ=|Θ|^2, obeying ∂Θ/∂t = {H,Θ} = -iLΘ (Schrödinger picture). The paper makes the distinction turn on the role of ρ in the inner product and on the sign of the Liouvillian in the time-evolution equation, and it invokes the GNS construction to show the two Hilbert spaces are unitarily equivalent while remaining conceptually different.

Load-bearing premise

The case rests on reading the absence of wave-function language and the modulus-square relation in Koopman's and von Neumann's papers as proof that they did not have such an idea; if either author left private notes or letters describing classical wave functions, the central claim would collapse.

What would settle it

Find any document from before 1952—a paper, preprint, letter, or notebook—in which Koopman or von Neumann (or any researcher before Schönberg) explicitly writes a classical probability density as the modulus-square of a complex phase-space function and evolves that function by the Liouville equation; such a find would falsify the priority claim. Alternatively, the paper's own caveat suggests the falsifier could be an earlier published example of classical wave functions than Schönberg's 1952 paper.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The phrase 'Koopman–von Neumann wave functions' is historically wrong; classical wave functions should be credited to Schönberg and other later researchers.
  • The two Hilbert-space formulations—observables-as-vectors and classical wave functions—should be taught and cited as distinct, despite being mathematically equivalent.
  • The mathematical content of Koopman–von Neumann theory is unaffected; only the attribution and conceptual framing change.
  • Modern reviews, conference proceedings, and encyclopedia entries that use 'KvN waves' need correction.
  • If the author's reconstruction is correct, later independent rediscoveries (Wiener, Sudarshan) should be acknowledged as such.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A systematic archival search of pre-1952 physics and mathematics literature might confirm or undermine the priority claim for Schönberg, since the paper itself flags that its list may be incomplete.
  • The discriminator used here—sign of time evolution and presence of ρ in the inner product—could serve as a template for untangling other cases of conflated formalisms in quantum-classical interface work.
  • The paper's correction has no mathematical consequences for practitioners; its payoff is purely historical and ethical (credit), which may make it easier to adopt or to refute.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper argues that Hilbert-space formulations of classical mechanics comprise two conceptually distinct approaches: the original Koopman–von Neumann method, in which phase-space functions representing observables are treated as vectors in a Hilbert space (with a fixed density ρ in the inner product), and the later “classical wave function” method, in which a complex function ψ on phase space satisfies the Liouville-type equation and yields the classical probability density through ρ = |ψ|². The central historical claim is that the classical-wave-function method was not introduced by Koopman and von Neumann, but was developed later, perhaps first by Mario Schönberg, and independently by Loinger, Della Riccia and Wiener, and Sudarshan. The paper supports this by quoting primary sources, tracing the emergence of the wave-function interpretation through the later literature, and criticizing post-2000 papers by Mauro and Gozzi that misattribute the wave-function method to Koopman and von Neumann.

Significance. The paper addresses a real and consequential historical misattribution in a literature that actively uses “Koopman–von Neumann wave functions” as a technical term. Its strengths are the extensive use of primary sources, the inclusion of von Neumann’s original German footnote, the clear separation of the observables-as-vectors formalism from the later ρ=|ψ|² formalism, and the explicit acknowledgment that even the Schönberg priority is uncertain. If the central claim is properly qualified, the paper makes a valuable contribution to the history of physics and to ongoing debates about credit and terminology. The main risk is that the categorical negative claim about Koopman and von Neumann goes beyond what the textual evidence can establish.

major comments (3)
  1. [§1, §2.1 (Eqs. (1), (6)–(7))] The central negative claim—'Koopman and von Neumann did not come up with the idea of using classical wave functions' (§1)—is an inference from silence. The mathematical content of Koopman’s 1931 formalism already contains the classical-wave-function representation: for any φ in L²(ρ dω), set ψ_t = √ρ U_{-t}φ, with U_{-t} as in Koopman’s footnote to Eq. (6). Since ρ is invariant and U_t is unitary on L²(ρ dω), ψ_t ∈ L²(dω), and direct differentiation gives i∂_t ψ = Lψ and ∂_t |ψ|² = {H, |ψ|²}, i.e., the Liouville equation (7). Thus every normalized such ψ yields a classical probability density |ψ|² evolving by Liouville’s equation; only the interpretive identification of |ψ|² with the physical probability density is absent. The GNS equivalence acknowledged in §1 makes the mathematical proximity even closer. For a priority claim, the absence of explicit wave-function language in two papers
  2. [§3] The conclusion states that 'even this historical assessment may be incorrect, and other researchers may have come up with the idea before Schönberg.' This hedge explicitly admits uncertainty about priority. But the same absence-of-evidence logic applies to the unhedged statement in §1 that Koopman and von Neumann 'did not come up with the idea.' As written, the reader is told both that the negative claim is settled and that the historical assessment is uncertain. The scope of the hedge needs to be clarified: is the claim about what Koopman and von Neumann actually conceived (which cannot be decided from the published record alone), or about what their published papers justify attributing to them? The paper should adopt one of these formulations consistently.
  3. [§2.8] The criticism of Mauro and Gozzi–Mauro sometimes conflates two different targets: (i) the historical error of attributing to Koopman and von Neumann the postulate that ψ evolves by the Liouville equation, and (ii) the terminological convention of calling the wave-function method 'KvN' even after the historical origin has been clarified. At least one quoted passage—Gozzi and Mauro 2004, quoted near the end of §2.8—states that 'KvN did not use the space of the ρ but introduced instead a Hilbert space made up of complex square integrable functions ψ∈L2 over phase space,' which is compatible with the paper’s own reading. The paper should distinguish clearly between the historical attribution and the subsequent conventional label; otherwise the textual analysis appears to overstate the error in the later literature.
minor comments (4)
  1. [§3] The conclusion refers to 'Alfred Loinger,' but the body of the paper and reference [14] use 'Angelo Loinger.' Please correct the name.
  2. [References] Reference [2], the IOP special collection, lists an incomplete DOI ('doi:10.1088/1751'). Please supply the full DOI or a stable URL.
  3. [References] The Wikipedia entry [26] is cited without a stable permalink or an access date. Since the paper uses this source as evidence of current misattribution, please provide a full citation with the exact version consulted.
  4. [§1] The sentence 'von Neumann’s two papers were never translated into English' is presented without a source. If this is a factual claim, a citation to a translation record would be helpful; if it is simply a statement about the original publication language, it is not essential to the argument and could be removed.

Circularity Check

0 steps flagged

No circularity: the paper is a historical argument from primary sources, with no derivation that reduces to its own inputs.

full rationale

This paper is a work of history of physics, not a derivation or prediction. Its central claim—that Koopman and von Neumann did not introduce classical wave functions and that this method is due to Schönberg and later developers—is supported by quotations from primary sources (Koopman 1931, von Neumann 1932, Schönberg 1952/1953, Loinger 1962, Della Riccia and Wiener 1966, Sudarshan 1976) and by historical inference from the structure of the original papers, including the presence of the density ρ in Koopman's inner product and the absence of any modulus-square relation in Koopman or von Neumann. The paper makes no mathematical predictions that are fitted to data, and it does not define its conclusion into its premises. The GNS equivalence cited in Section 1 is an external mathematical result, not a self-citation, and it is explicitly used only to explain the underlying mathematical relationship between the two Hilbert-space constructions, not to establish the historical priority claim. The paper's own Section 3 concedes that its historical assessment may be incorrect, which further shows that the conclusion is not forced by definition or by the evidence structure. The skeptical concern—that the conclusion rests on an inference from silence about Koopman's and von Neumann's interpretive intentions—is a legitimate historical criticism, but it is not circularity: it does not involve the paper defining a quantity in terms of the very thing it claims to derive, nor does it involve fitting a parameter and then relabeling it as a prediction. No self-citation chain supports the load-bearing historical claim. The paper is self-contained against external primary sources, and any weakness is evidentiary, not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper rests on domain assumptions about the reliability and interpretation of historical sources, not on fitted parameters or invented entities. No free parameters because no quantitative fitting occurs.

axioms (4)
  • domain assumption The quoted primary sources (Koopman 1931, von Neumann 1932, Schönberg 1952/53, etc.) are accurately transcribed and translated.
    The entire historical argument depends on the fidelity of these quotations; we cannot verify against originals from the text alone.
  • domain assumption Absence of the term 'wave function' in Koopman's and von Neumann's papers is evidence that they did not conceive of classical wave functions.
    The central distinction is inferred from what the 1930s papers do not say (Sections 2.1–2.2), an interpretive inference rather than a statement in the sources.
  • standard math The equivalence of the two Hilbert-space constructions via GNS (Gelfand–Naimark–Segal) is accepted as background.
    Section 1 invokes GNS to explain mathematical equivalence, not as part of the historical claim.
  • domain assumption No earlier researcher before Schönberg introduced classical wave functions; absence of prior examples in the surveyed literature is treated as evidence.
    The priority claim in Sections 2.3 and 3 is based on the author's literature search; the paper explicitly hedges this.

pith-pipeline@v1.3.0-alltime-deepseek · 14215 in / 11158 out tokens · 109838 ms · 2026-08-01T18:01:02.528382+00:00 · methodology

0 comments
read the original abstract

Hilbert-space techniques are widely used not only for quantum theory, but also for classical physics. Two important examples are the Koopman-von Neumann (KvN) formulation and the method of ``classical'' wave functions. As this paper explains, these two approaches are conceptually distinct. In particular, the method of classical wave functions was not due to Bernard Koopman and John von Neumann, but was developed independently by a number of later researchers, perhaps first by Mario Sch\"onberg, with key contributions from Angelo Loinger, Giacomo Della Riccia, Norbert Wiener, and E. C. George Sudarshan. The primary goals of this paper are to explain these two approaches, describe the relevant history in detail, and give credit where credit is due.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 8 canonical work pages

  1. [1]

    Koopman Methods in Classical and Classical-Quantum Mechanics

    “Koopman Methods in Classical and Classical-Quantum Mechanics”. In D. I. Bondar, I. Burghardt, F. Gay-Balmaz, I. Mezic, and C. Tronci, editors,Proceedings of the 746th WE-Heraeus Seminar. Wilhelm und Else Heraeus Stiftung, April 2021. 19–23 April

    2021

  2. [3]

    Hilbert Space Structure in Classical Mechanics. I

    E. Deotto, E. Gozzi, and D. Mauro. “Hilbert Space Structure in Classical Mechanics. I”.Journal of Mathematical Physics, 44:5902–5936, August 2003.arXiv:quant-ph/ 0208046v3,doi:10.1063/1.1623333

    doi:10.1063/1.1623333 2003

  3. [4]

    Supersymmetry in Classical Mechanics

    E. Deotto, E. Gozzi, and D. Mauro. “Supersymmetry in Classical Mechanics”. In J. Bagger, S. Duplij, and W. Siegel, editors,A Concise Encyclopaedia of Supersymmetry, pages 462–464. Kluwer Academic Publishers, Dordrecht, Boston, London, 2003. URL: https://hdl.handle.net/11368/1713693,arXiv:hep-th/0101124

    Pith/arXiv arXiv 2003

  4. [5]

    Wave Mechanics in Classical Phase Space, Brown- ian Motion, and Quantum Theory

    G. Della Riccia and N. Wiener. “Wave Mechanics in Classical Phase Space, Brown- ian Motion, and Quantum Theory”.Journal of Mathematical Physics, 7(8):1372–1383, August 1966.doi:10.1063/1.1705047

    work page doi:10.1063/1.1705047 1966

  5. [6]

    A New Look at the Schouten-Nijenhuis, Fr\

    E. Gozzi and D. Mauro. “A New Look at the Schouten-Nijenhuis, Fr\" olicher-Nijenhuis and Nijenhuis-Richardson Brackets for Symplectic Spaces”.Journal of Mathematical Physics, 41(4):1916–1933, April2000.arXiv:hep-th/9907065,doi:10.1063/1.533218

    Pith/arXiv arXiv 1916

  6. [7]

    Minimal Coupling in Koopman–von Neumann Theory

    E. Gozzi and D. Mauro. “Minimal Coupling in Koopman–von Neumann Theory”. Annals of Physics, 296(2):152–186, March 2002.arXiv:quant-ph/0105113,doi: 10.1006/aphy.2001.6206. 19

    Pith/arXiv arXiv 2002

  7. [8]

    On the Imbedding of Normed Rings into the Ring of Operators on a Hilbert Space

    I. M. Gelfand and M. A. Naimark. “On the Imbedding of Normed Rings into the Ring of Operators on a Hilbert Space”.Matematicheskii Sbornik, 12(54)(2):197–217, 1943. URL:https://mi.mathnet.ru/msb6155

    1943

  8. [9]

    Hidden BRS Invariance in Classical Mechanics

    E. Gozzi. “Hidden BRS Invariance in Classical Mechanics”.Physics Letters B, 201(4):525–528, February 1988.doi:10.1016/0370-2693(88)90611-9

    work page doi:10.1016/0370-2693(88)90611-9 1988

  9. [10]

    Hidden BRS Invariance in Classical Mechan- ics. II

    E. Gozzi, M. Reuter, and W. D. Thacker. “Hidden BRS Invariance in Classical Mechan- ics. II”.Physical Review D, 40(10):3363, November 1989.doi:10.1103/PhysRevD.40. 3363

    work page doi:10.1103/physrevd.40 1989

  10. [11]

    Über quantentheoretische Umdeutung kinematischer und mechanis- cher Beziehungen

    W. Heisenberg. “Über quantentheoretische Umdeutung kinematischer und mechanis- cher Beziehungen”.Zeitschrift für Physik, 33:879–893, December 1925.doi:10.1007/ BF01328377

    1925

  11. [12]

    Lie Group Dynamical Formalism and the Relation between Quantum Mechanics and Classical Mechanics

    T. F. Jordan and E. C. G. Sudarshan. “Lie Group Dynamical Formalism and the Relation between Quantum Mechanics and Classical Mechanics”.Reviews of Modern Physics, 33(4):515–524, October 1961. URL:https://cds.cern.ch/record/436528; https://doi.org/10.1103/RevModPhys.33.515,doi:10.1103/RevModPhys.33.515

    work page doi:10.1103/revmodphys.33.515 1961

  12. [13]

    Hamiltonian Systems and Transformations in Hilbert Space

    B. O. Koopman. “Hamiltonian Systems and Transformations in Hilbert Space”.Pro- ceedings of the National Academy of Sciences, 17(5):315–318, 1931.doi:10.1073/pnas. 17.5.315

    doi:10.1073/pnas 1931

  13. [14]

    Galilei Group and Liouville Equation

    A. Loinger. “Galilei Group and Liouville Equation”.Annals of Physics, 20(1):132–144, 1962.doi:10.1016/0003-4916(62)90119-7

    work page doi:10.1016/0003-4916(62)90119-7 1962

  14. [15]

    On Koopman–von Neumann Waves

    D. Mauro. “On Koopman–von Neumann Waves”.International Journal of Mod- ern Physics A, 17(09):1301–1325, 2002.arXiv:quant-ph/0105112,doi:10.1142/ S0217751X02009680

    Pith/arXiv arXiv 2002

  15. [16]

    A New Quantization Map

    D. Mauro. “A New Quantization Map”.Physics Letters A, 315(1):28–35, August 2003. arXiv:quant-ph/0305063,doi:10.1016/S0375-9601(03)00996-4

    Pith/arXiv arXiv 2003

  16. [17]

    Mauro.Topics in Koopman-von Neumann Theory

    D. Mauro.Topics in Koopman-von Neumann Theory. PhD thesis, 2003.arXiv: quant-ph/0301172

    Pith/arXiv arXiv 2003

  17. [18]

    An Undulatory Theory of the Mechanics of Atoms and Molecules

    E. Schrödinger. “An Undulatory Theory of the Mechanics of Atoms and Molecules”. Physical Review, 28(6):1049–1070, December 1926.doi:10.1103/PhysRev.28.1049

    doi:10.1103/physrev.28.1049 1926

  18. [19]

    Application of Second Quantization Methods to the Classical Statistical Mechanics

    M. Schönberg. “Application of Second Quantization Methods to the Classical Statistical Mechanics”.Il Nuovo Cimento, 9(12):1139–1182, Dec. 1952.doi:10.1007/BF02782925

    work page doi:10.1007/bf02782925 1952

  19. [20]

    Application of Second Quantization Methods to the Classical Statis- tical Mechanics (II)

    M. Schönberg. “Application of Second Quantization Methods to the Classical Statis- tical Mechanics (II)”.Il Nuovo Cimento, 10(4):419–472, Apr. 1953.doi:10.1007/ BF02781980. 20

    1953

  20. [21]

    Irreducible Representations of Operator Algebras

    I. E. Segal. “Irreducible Representations of Operator Algebras”.Bulletin of the American Mathematical Society, 53:73–88, 1947.doi:10.1090/S0002-9904-1947-08742-5

    doi:10.1090/s0002-9904-1947-08742-5 1947

  21. [22]

    Interaction Between Classical and Quantum Sys- tems: A New Approach to Quantum Measurement. I

    T. N. Sherry and E. C. G. Sudarshan. “Interaction Between Classical and Quantum Sys- tems: A New Approach to Quantum Measurement. I”.Physical Review D, 18(12):4580, December 1978.doi:10.1103/PhysRevD.18.4580

    work page doi:10.1103/physrevd.18.4580 1978

  22. [23]

    Interaction between Classical and Quantum Systems and the Measurement of Quantum Observables

    E. C. G. Sudarshan. “Interaction between Classical and Quantum Systems and the Measurement of Quantum Observables”.Pramana, 6(3):117–126, March 1976.doi: 10.1007/BF02847120

    doi:10.1007/bf02847120 1976

  23. [24]

    Zur Operatorenmethode In Der Klassischen Mechanik

    J. von Neumann. “Zur Operatorenmethode In Der Klassischen Mechanik”.Annals of Mathematics, 33(3):587–642, 1932.doi:10.2307/1968537

    doi:10.2307/1968537 1932

  24. [25]

    Zusatze Zur Arbeit ‘Zur Operatorenmethode...’

    J. von Neumann. “Zusatze Zur Arbeit ‘Zur Operatorenmethode...’ ”.Annals of Mathe- matics, 33(4):789–791, 1932.doi:10.2307/1968225

    work page doi:10.2307/1968225 1932

  25. [26]

    Koopman–von Neumann Classical Mechanics

    Wikipedia contributors. “Koopman–von Neumann Classical Mechanics”, June 2025. URL:https://en.wikipedia.org/wiki/Koopman%E2%80%93von_Neumann_classical_ mechanics. 21

    2025

  26. [2021]

    [2]Koopman Methods in Classical and Quantum-Classical Mechanics, Volume 55, Bristol, UK, July 2022

    URL:https://www.we-heraeus-stiftung.de/veranstaltungen/seminare/ 2021/koopman-methods-in-classical-and-classical-quantum-mechanics. [2]Koopman Methods in Classical and Quantum-Classical Mechanics, Volume 55, Bristol, UK, July 2022. IOP Publishing. Special Collection on Koopman Methods.doi:10. 1088/1751

    2021