Understanding how classical physics emerges from quantum mechanics remains a central problem in the foundations of physics. Here we derive a classical limit from finite-resolution measurements, modeled by continuous coarse-grained POVMs. When the resolved phase-space area is large compared with Planck's constant, the accessible statistics of any quantum state admit an effective classical description: coarse-grained observables become approximately jointly measurable and the induced probability density is positive. We derive the exact evolution equation for this density and show that, in the strong coarse-graining regime, its non-Liouville corrections are suppressed up to an Ehrenfest time, resulting in classical Hamiltonian flow generated by a Hamiltonian smoothed over the measurement cell. When the Hamiltonian varies negligibly across such a cell, the smoothed Hamiltonian reduces to the classical Hamiltonian whose quantization produced the quantum dynamics, thereby closing the quantization--classical-limit loop. Repeated finite-resolution measurements then generate stochastic records confined, with high probability, to tubes around classical trajectories. Our results provide a unified operational framework for the quantum-to-classical transition in microscopic and macroscopic systems, and establish the consistency of the quantization--classical-limit cycle.
It is well known from the work of Berezin [24] (Commun. Math. Phys. 40:153–174, 1975) in 1975 that the quantization problem of a classical mechanical system is closely related with coherent states. In particular coherent states help to understand the limiting behaviour of a quantum system when the Planck constant
ℏ becomes negligible in macroscopic units. This problem is called the semi-classical limit problem. In this chapter we discuss properties of quantum systems when the configuration space is the Euclidean space
Rn. So that in the Hamiltonian formalism, the phase space is
Rn×Rn with its canonical symplectic form
σ. The quantization problem has many solutions, so we choose a convient one, introduced by Weyl [259] (The Classical Groups, 1997) and Wigner [261] (Group Theory and Its Applications to Quantum Mechanics of Atomic Spectra, 1959). We study the symmetries of Weyl quantization, the operationnal calculus and applications to propagation of observables. We show that Wick quantization is a natural bridge between Weyl quantization and coherent states. Applications are given to the semi-classical limit after introducing an efficient modern tool: the semi-classical measures. We illustrate the general results proved in this chapter by explicit computations for the harmonic oscillator. More applications will be given in the following chapters, in particular concerning propagators and trace formulas for a large class of quantum systems.