Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2306.01865 · Journal of Physics A Mathematical and Theoretical

Semiclassical theory and the Koopman-van Hove equation *

Ilon Joseph

Published Oct 19, 2023• 6 citations
arXivHTMLPDF

Abstract

Abstract The phase space Koopman-van Hove (KvH) equation can be derived from the asymptotic semiclassical analysis of partial differential equations. Semiclassical theory yields the Hamilton–Jacobi equation for the complex phase factor and the transport equation for the amplitude. These two equations can be combined to form a nonlinear semiclassical version of the KvH equation in configuration space. There is a natural injection of configuration space solutions into phase space and a natural projection of phase space solutions onto configuration space. Hence, every solution of the configuration space KvH equation satisfies both the semiclassical phase space KvH equation and the Hamilton–Jacobi constraint. For configuration space solutions, this constraint resolves the paradox that there are two different conserved densities in phase space. For integrable systems, the KvH spectrum is the Cartesian product of a classical and a semiclassical spectrum. If the classical spectrum is eliminated, then, with the correct choice of Jeffreys–Wentzel–Kramers–Brillouin (JWKB) matching conditions, the semiclassical spectrum satisfies the Einstein–Brillouin–Keller quantization conditions which include the correction due to the Maslov index. However, semiclassical analysis uses different choices for boundary conditions, continuity requirements, and the domain of definition. For example, use of the complex JWKB method allows for the treatment of tunneling through the complexification of phase space. Finally, although KvH wavefunctions include the possibility of interference effects, interference is not observable when all observables are approximated as local operators on phase space. Observing interference effects requires consideration of nonlocal operations, e.g. through higher orders in the asymptotic theory.

DOI
10.1088/1751-8121/ad0533

Related papers

Semiclassical Propagation and the Dynamics of Configuration Space

V. S. Morales-Salgado

This work explores the quantum propagator $K(x,t)$ as a solution of the system's dynamical equation. We develop a generalized propagator framework in which the propagator is written in the form $K=\exp\!\left(R+\frac{i}{\hbar}S\right)$, where $S$ governs the semiclassical phase structure and $R$ governs the amplitude transport and weighting of configurations. Starting from nonrelativistic quantum mechanics, the classical Hamilton--Jacobi equation emerges in the semiclassical limit, while $R$ reduces to the logarithm of the Van Vleck determinant. The formalism is then extended to relativistic field theory and minisuperspace quantum cosmology using functional methods and generalized Hamiltonian constraints. Then the resulting semiclassical equations recover the corresponding classical dynamics along characteristic flows. In minisuperspace models, the formalism yields coupled equations for geometric and matter sectors analogous to semiclassical Wheeler--DeWitt systems. In semiclassical gravitational settings, the gravitational contribution may admit an entropy-like interpretation, consistent with thermodynamic weighting factors appearing in Euclidean gravitational path integrals. The resulting framework suggests a unified semiclassical description in which propagator phases encode dynamical evolution while amplitude functionals encode transport and configuration weighting. This perspective motivates viewing mechanics as a relation between the differential structure of spacetime and the differential structure of the space of dynamical configurations.

quant-pharXiv:2605.24373•May 26, 2026•0 citations

Classical and mixed classical-quantum systems from van Hove’s unitary representation of contact transformations

Marcel Reginatto, A. D. Bermúdez Manjarres, Sebastian Ulbricht

Abstract Descriptions of classical mechanics in Hilbert space go back to the work of Koopman and von Neumann in the 1930s. Decades later, van Hove derived a unitary representation of the group of contact transformations which recently has been used to develop a novel formulation of classical mechanics in Hilbert space. This formulation differs from the Koopman-von Neumann theory in many ways. Classical observables are represented by van Hove operators, which satisfy a commutation algebra isomorphic to the Poisson algebra of functions in phase space. Moreover, these operators are both observables and generators of transformations, which makes it unnecessary to introduce unobservable auxiliary operators as in the Koopman-von Neumann theory. In addition, for consistency with classical mechanics, a constraint must be imposed that fixes the phase of the wavefunction. The approach can be extended to hybrid mixed classical-quantum systems in Hilbert space. The formalism is applied to the measurement of a quantum two-level system (qubit) by a classical apparatus.

arXiv:2503.02480•Journal of Physics Conference Series•Jun 1, 2025•0 citations

Classical and semi-classical limits in phase space

Clay D. Spence

A semiclassical approximation is derived by using a family of wavepackets to map arbitrary wavefunctions into phase space. If the Hamiltonian can be approximated as linear over each individual wavepacket, as often done when presenting Ehrenfest's theorem, the resulting approximation is a linear first-order partial differential equation on phase space, which will be referred to as the Schrödinger-Ehrenfest or SE equation. This advectively transports wavefunctions along classical trajectories, so that as a trajectory is followed in time the amplitude remains constant while the phase changes by the action divided by $\hbar$. The wavefunction's squared-magnitude is a plausible phase space density and obeys Liouville's equation for the classical time evolution. This is a derivation of the Koopman-von~Neumann (KvN) formulation of classical mechanics, which previously was postulated but not derived. With the time-independent SE equation, continuity of the wavefunction requires the change of phase around any closed path in the torus covered by a classical trajectory to be an integer multiple of $2π$, giving a standing wave picture of old quantum mechanics. While this applies to any system, for separable systems it gives Bohr-Sommerfeld quantization.

arXiv:2305.18644•May 29, 2023•0 citations

Bypassing no-go theorems on mixed classical-quantum systems: the (counter)example of hybrid van Hove theory

Marcel Reginatto, Andrés Darío Bermúdez Manjarres, Sebastian Ulbricht

Motivated by models of mixed quantum-classical hybrid theories, we consider the representation of classical observables as Hilbert-space operators based on van Hove's unitary representation of contact transformations. This leads to a reformulation of classical mechanics where the phase space density satisfies the Liouville equation and, more importantly, classical observables are represented by van Hove operators that satisfy a commutation algebra isomorphic to the classical Poisson algebra of functions in phase space. Thus, this Hilbert space approach captures all the essential features of the phase space formulation of classical mechanics in that it reproduces its algebraic structure -- something that is not achieved by other approaches such as the Koopman-von Neumann theory. As an important feature, the definition of appropriate physical states in this formalism imposes certain natural requirements on the phase of the classical wave function, which ensure correct expectation values for the observables. Furthermore, we discuss how to extend the approach to the hybrid van Hove theory of mixed classical-quantum systems and illustrate its application with the example of interacting classical and quantum oscillators. Finally, we focus on the question of how hybrid van Hove theory evades no-go theorems on mixed classical-quantum systems and point to the various assumptions of the no-go theorems that do not apply to our approach. This demonstrates that these no-go theorems are not universally applicable, contrary to their original claims.

quant-pharXiv:2609.31209•Sep 28, 2026•0 citations

Moyal quantum mechanics: the semiclassical Heisenberg dynamics

T. A. Osborn, Molzahn, F H

The Moyal description of quantum mechanics, based on the Wigner-Weyl isomorphism between operators and symbols, provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in ħ and so presents a preferred foundation for semiclassical analysis. Its semiclassical expansion "coefficients," acting on symbols that represent observables, are simple, globally defined (phase space) differential operators constructed in terms of the classical flow. The first of two presented methods introduces a cluster-graph expansion for the symbol of an exponentiated operator, which extends Groenewold′s formula for the Weyl product of two symbols and has ħ as its natural small parameter. This Poisson bracket based cluster expansion determines the Jacobi equations for the semiclassical expansion of "quantum trajectories." Their Green function solutions construct the regular ħ ⇓ 0 asymptotic series for the Heisenberg-Weyl evolution map. The second method directly substitutes such a series into the Moyal equation of motion and determines the ħ coefficients recursively. In contrast to the WKB approximation for propagators, the Heisenberg-Weyl description of evolution involves no essential singularity in ħ, no Hamilton-Jacobi equation to solve for the action, and no multiple trajectories, caustics, or Maslov indices.

•Jan 1, 1994•46 citations

From Koopman–von Neumann theory to quantum theory

U. Klein

Koopman and von Neumann (KvN) extended the Liouville equation by introducing a phase space function $$S^{(K)}(q,p,t)$$ whose physical meaning is unknown. We show that a different S(q, p, t), with well-defined physical meaning, may be introduced without destroying the attractive “quantum-like” mathematical features of the KvN theory. This new S(q, p, t) is the classical action expressed in phase space coordinates. It defines a mapping between observables and operators which preserves the Lie bracket structure. The new evolution equation reduces to Schrödinger’s equation if functions on phase space are reduced to functions on configuration space. This new kind of “quantization” does not only establish a correspondence between observables and operators, but provides in addition a derivation of quantum operators and evolution equations from corresponding classical entities. It is performed by replacing $$\frac{\partial }{\partial p}$$ by 0 and p by $$\frac{\hbar }{\imath } \frac{\partial }{\partial q}$$ , thus providing an explanation for the common quantization rules.

arXiv:1705.07427•Quantum Studies Mathematics and Foundations•May 31, 2017•25 citations
Abstract The phase space Koopman-van Hove (KvH) equation can be derived from the asymptotic semiclassical analysis of partial differential equations. Semiclassical theory yields the Hamilton–Jacobi equation for the complex phase factor and the transport equation for the amplitude. These two equations can be combined to form a nonlinear semiclassical version of the KvH equation in configuration space. There is a natural injection of configuration space solutions into phase space and a natural projection of phase space solutions onto configuration space. Hence, every solution of the configuration space KvH equation satisfies both the semiclassical phase space KvH equation and the Hamilton–Jacobi constraint. For configuration space solutions, this constraint resolves the paradox that there are two different conserved densities in phase space. For integrable systems, the KvH spectrum is the Cartesian product of a classical and a semiclassical spectrum. If the classical spectrum is eliminated, then, with the correct choice of Jeffreys–Wentzel–Kramers–Brillouin (JWKB) matching conditions, the semiclassical spectrum satisfies the Einstein–Brillouin–Keller quantization conditions which include the correction due to the Maslov index. However, semiclassical analysis uses different choices for boundary conditions, continuity requirements, and the domain of definition. For example, use of the complex JWKB method allows for the treatment of tunneling through the complexification of phase space. Finally, although KvH wavefunctions include the possibility of interference effects, interference is not observable when all observables are approximated as local operators on phase space. Observing interference effects requires consideration of nonlocal operations, e.g. through higher orders in the asymptotic theory.
This work explores the quantum propagator K(x,t)K(x,t)K(x,t) as a solution of the system's dynamical equation. We develop a generalized propagator framework in which the propagator is written in the form K=exp⁡ ⁣(R+iℏS)K=\exp\!\left(R+\frac{i}{\hbar}S\right)K=exp(R+ℏi​S), where SSS governs the semiclassical phase structure and RRR governs the amplitude transport and weighting of configurations. Starting from nonrelativistic quantum mechanics, the classical Hamilton--Jacobi equation emerges in the semiclassical limit, while RRR reduces to the logarithm of the Van Vleck determinant. The formalism is then extended to relativistic field theory and minisuperspace quantum cosmology using functional methods and generalized Hamiltonian constraints. Then the resulting semiclassical equations recover the corresponding classical dynamics along characteristic flows. In minisuperspace models, the formalism yields coupled equations for geometric and matter sectors analogous to semiclassical Wheeler--DeWitt systems. In semiclassical gravitational settings, the gravitational contribution may admit an entropy-like interpretation, consistent with thermodynamic weighting factors appearing in Euclidean gravitational path integrals. The resulting framework suggests a unified semiclassical description in which propagator phases encode dynamical evolution while amplitude functionals encode transport and configuration weighting. This perspective motivates viewing mechanics as a relation between the differential structure of spacetime and the differential structure of the space of dynamical configurations.
Abstract Descriptions of classical mechanics in Hilbert space go back to the work of Koopman and von Neumann in the 1930s. Decades later, van Hove derived a unitary representation of the group of contact transformations which recently has been used to develop a novel formulation of classical mechanics in Hilbert space. This formulation differs from the Koopman-von Neumann theory in many ways. Classical observables are represented by van Hove operators, which satisfy a commutation algebra isomorphic to the Poisson algebra of functions in phase space. Moreover, these operators are both observables and generators of transformations, which makes it unnecessary to introduce unobservable auxiliary operators as in the Koopman-von Neumann theory. In addition, for consistency with classical mechanics, a constraint must be imposed that fixes the phase of the wavefunction. The approach can be extended to hybrid mixed classical-quantum systems in Hilbert space. The formalism is applied to the measurement of a quantum two-level system (qubit) by a classical apparatus.
A semiclassical approximation is derived by using a family of wavepackets to map arbitrary wavefunctions into phase space. If the Hamiltonian can be approximated as linear over each individual wavepacket, as often done when presenting Ehrenfest's theorem, the resulting approximation is a linear first-order partial differential equation on phase space, which will be referred to as the Schrödinger-Ehrenfest or SE equation. This advectively transports wavefunctions along classical trajectories, so that as a trajectory is followed in time the amplitude remains constant while the phase changes by the action divided by ℏ\hbarℏ. The wavefunction's squared-magnitude is a plausible phase space density and obeys Liouville's equation for the classical time evolution. This is a derivation of the Koopman-von~Neumann (KvN) formulation of classical mechanics, which previously was postulated but not derived. With the time-independent SE equation, continuity of the wavefunction requires the change of phase around any closed path in the torus covered by a classical trajectory to be an integer multiple of 2π2π2π, giving a standing wave picture of old quantum mechanics. While this applies to any system, for separable systems it gives Bohr-Sommerfeld quantization.
Motivated by models of mixed quantum-classical hybrid theories, we consider the representation of classical observables as Hilbert-space operators based on van Hove's unitary representation of contact transformations. This leads to a reformulation of classical mechanics where the phase space density satisfies the Liouville equation and, more importantly, classical observables are represented by van Hove operators that satisfy a commutation algebra isomorphic to the classical Poisson algebra of functions in phase space. Thus, this Hilbert space approach captures all the essential features of the phase space formulation of classical mechanics in that it reproduces its algebraic structure -- something that is not achieved by other approaches such as the Koopman-von Neumann theory. As an important feature, the definition of appropriate physical states in this formalism imposes certain natural requirements on the phase of the classical wave function, which ensure correct expectation values for the observables. Furthermore, we discuss how to extend the approach to the hybrid van Hove theory of mixed classical-quantum systems and illustrate its application with the example of interacting classical and quantum oscillators. Finally, we focus on the question of how hybrid van Hove theory evades no-go theorems on mixed classical-quantum systems and point to the various assumptions of the no-go theorems that do not apply to our approach. This demonstrates that these no-go theorems are not universally applicable, contrary to their original claims.
The Moyal description of quantum mechanics, based on the Wigner-Weyl isomorphism between operators and symbols, provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in ħ and so presents a preferred foundation for semiclassical analysis. Its semiclassical expansion "coefficients," acting on symbols that represent observables, are simple, globally defined (phase space) differential operators constructed in terms of the classical flow. The first of two presented methods introduces a cluster-graph expansion for the symbol of an exponentiated operator, which extends Groenewold′s formula for the Weyl product of two symbols and has ħ as its natural small parameter. This Poisson bracket based cluster expansion determines the Jacobi equations for the semiclassical expansion of "quantum trajectories." Their Green function solutions construct the regular ħ ⇓ 0 asymptotic series for the Heisenberg-Weyl evolution map. The second method directly substitutes such a series into the Moyal equation of motion and determines the ħ coefficients recursively. In contrast to the WKB approximation for propagators, the Heisenberg-Weyl description of evolution involves no essential singularity in ħ, no Hamilton-Jacobi equation to solve for the action, and no multiple trajectories, caustics, or Maslov indices.
Koopman and von Neumann (KvN) extended the Liouville equation by introducing a phase space function S(K)(q,p,t)S^{(K)}(q,p,t)S(K)(q,p,t) whose physical meaning is unknown. We show that a different S(q, p, t), with well-defined physical meaning, may be introduced without destroying the attractive “quantum-like” mathematical features of the KvN theory. This new S(q, p, t) is the classical action expressed in phase space coordinates. It defines a mapping between observables and operators which preserves the Lie bracket structure. The new evolution equation reduces to Schrödinger’s equation if functions on phase space are reduced to functions on configuration space. This new kind of “quantization” does not only establish a correspondence between observables and operators, but provides in addition a derivation of quantum operators and evolution equations from corresponding classical entities. It is performed by replacing ∂∂p\frac{\partial }{\partial p}∂p∂​ by 0 and p by ℏı∂∂q\frac{\hbar }{\imath } \frac{\partial }{\partial q}ℏ​∂q∂​ , thus providing an explanation for the common quantization rules.