In the Koopman-von Neumann functional formulation of classical mechanics, quantization can be implemented by extending the time base to a superspace with two Grassmann partners of time, packaging the extended phase-space variables into a single superfield, and freezing with an action-scale insertion . This 'dimensional reduction of supertime' has been shown by its authors to reproduce the Feynman path integral and the standard steps of geometric quantization. Two questions raised when the construction was introduced remain without a complete answer. First, what do physically encode: only dimensional heuristics exist ( carries the dimension of an action, , reminiscent of the Wiener relation ), together with qualitative pictures that their own authors describe as vague. Second, which universal symmetries of the extended classical formalism — in particular the symmetry that rescales the overall action and mixes with — are lost in the projection, and with what consequences for quantum mechanics, including a mechanism sketched in later work but never completed, in which appears as the regularizing scale of an anomalous Jacobian of the classical functional measure under supertime reparametrizations. The problem is to give the quantization-by-freezing construction a complete physical account: a rigorous operational characterization of (or a proof that none exists), together with a complete classification of the symmetries lost in the projection and their physical consequences, valid for generic Hamiltonian systems.
Background
Quantum mechanics is standardly formulated on Hilbert spaces, with space-time entering only indirectly. Geometric quantization (N. M. J. Woodhouse, 'Geometric Quantization', 1992) is the mathematical framework that constructs the quantum Hilbert space and the Schrödinger operator from classical phase-space data, via a prequantization step followed by a polarization — a choice of half of the phase-space variables (for example keeping and discarding ) that reduces the (too large) prequantum Hilbert space to the physical quantum one.
A parallel, less familiar route to quantization starts from the observation that classical mechanics itself admits a Hilbert-space formulation. Koopman (1931) and von Neumann (1932) showed that the Liouville equation for phase-space probability densities, with the Liouville operator built from the Hamiltonian , can be lifted to an equation for wave functions ; this is the Koopman-von Neumann (KvN) theory. Gozzi, Reuter and Thacker (1989) gave this operatorial classical mechanics a path-integral counterpart, the classical path integral (CPI), which assigns weight one to classical trajectories and zero to all others. Writing it requires, besides the phase-space coordinates , a conjugate variable and two Grassmann variables per coordinate. Grassmann (anticommuting) variables, satisfying , are the standard algebraic device for fermions and for differential forms; in the CPI the are precisely the components of differential forms on phase space () or of Jacobi fields (deviations between neighboring classical trajectories), and the extended -variable system carries, for every Hamiltonian, a universal BRST-like (BRST: Becchi-Rouet-Stora-Tyutin, the rigid algebraic signature of a gauge symmetry) and supersymmetry algebra — a graded symmetry algebra mixing the bosonic variables with the fermionic (reviewed by E. Deotto and E. Gozzi, 2001).
The variables can be assembled into a single superfield , where is the symplectic matrix and are two new Grassmann coordinates introduced as partners of time, so that the base space of mechanics becomes the supertime — a supermanifold with one even and two odd directions. Expanding the classical action on produces, in one supermultiplet, both the quantum action (the -independent part, or body) and the CPI action (the component, up to a surface term). A. A. Abrikosov Jr. and E. Gozzi (2000) then observed that, after a partial Fourier transform that removes the surface terms, the quantum transition amplitude is obtained from the classical one by freezing , provided an insertion with the dimension of an action — implemented as in the Grassmann (Berezin) integration — supplies the factor : quantization becomes a dimensional reduction of supertime from to . The construction was developed by the same school into precise dequantization rules and , valid at the level of generating functionals (A. A. Abrikosov Jr., E. Gozzi and D. Mauro, 2003 and 2005), and was shown by its authors to reproduce the steps of geometric quantization — prequantization space, polarization, and the passage from the Lie derivative of the Hamiltonian flow to the Schrödinger operator — in a unified way (2006).
Two aspects were flagged as open at the construction's inception and remain without a complete answer. First, what are physically: in the target space the Grassmann partners of are forms or Jacobi fields, but at the base-space level only dimensional heuristics exist — carries the dimension of an action, suggesting , a relation reminiscent of the Wiener process, i.e. the random-walk structure that underlies the Feynman path integral. Second, the extended classical formalism has universal symmetries (BRST-like, supersymmetry, ghost-number conjugation — the symmetry exchanging each ghost with its conjugate , which carry opposite ghost number, the integer grading of the Grassmann sector — and in particular a universal symmetry that rescales the overall action, mixing with , identified already in E. Gozzi's 1985 work on transformation theory); which of these symmetries survive the projection into quantum mechanics and which are lost, and what the loss of those that do not survive entails for quantum mechanics — with the suggestion, made in later work, that enters as the scale of an anomaly, that is, the failure of a classical symmetry to survive quantification signalled by the non-invariance of the functional measure — was left as an ongoing direction.
Problem Statement
Within the CPI/KvN framework, quantization of a Hamiltonian system is implemented by extending the time base to the supertime , packaging the classical path-integral variables into the superfield , and freezing with an action-scale insertion . The problem is to give this construction a complete physical account, in two linked parts that jointly constitute one objective — understanding what the quantization-by-supertime-freezing procedure actually does — and that the originating literature left open:
(1) Operational meaning of the Grassmann partners of time. Provide a rigorous measurement-theoretic or dynamical characterization of what encode — going beyond the dimensional identification , and the qualitative Wiener-process, Grassmann-temperature and coarse-graining proposals — from which the effect of the freezing procedure on the classical ensemble can be derived and checked; or prove that no such operational content exists within the formalism, i.e. that the Grassmann base coordinates are necessarily pure bookkeeping for the differential-form structure with no independent physical meaning.
(2) Universal symmetries lost in the projection. Determine completely which of the universal symmetries of the extended classical formalism (BRST/anti-BRST, ghost-number conjugation, the supersymmetry, and the action-rescaling symmetry relating and ) survive the projection into quantum mechanics, and what the loss of the action-rescaling symmetry entails: in particular, whether it can be realized as an anomaly of the classical functional measure under (field-dependent) supertime reparametrizations, with emerging as the regularizing scale of the Jacobian, as sketched but never completed; and what observable or structural consequences the symmetry loss has for quantum mechanics.
An answer must hold for generic Hamiltonian systems, not only special potentials (such as the inverse-square potential, whose scale symmetry is already known to be anomalous), and must remain consistent with the established anchors of the construction: the freezing procedure reproducing the Feynman path integral and the dequantization rules, the equivalence with geometric quantization, and the metric/curvature distinction between classical and quantum supertime structures.
References
- A. A. Abrikosov Jr. and Ennio Gozzi, 'Quantization and time', Nuclear Physics B - Proceedings Supplements 88 (2000) 369-372. DOI: 10.1016/S0920-5632(00)00804-5; arXiv:quant-ph/9912050. https://doi.org/10.1016/S0920-5632(00)00804-5
- A. A. Abrikosov Jr., Ennio Gozzi and D. Mauro, 'Time and geometric quantization', Modern Physics Letters A 18 (2003) 2347-2354. DOI: 10.1142/S0217732303012568; arXiv:quant-ph/0308101. https://doi.org/10.1142/S0217732303012568
- A. A. Abrikosov Jr., Ennio Gozzi and D. Mauro, 'Geometric dequantization', Annals of Physics 317 (2005) 24-71. DOI: 10.1016/j.aop.2004.12.001; arXiv:quant-ph/0406028. https://doi.org/10.1016/j.aop.2004.12.001
- E. Gozzi (arXiv version in collaboration with D. Mauro), 'Quantization as a dimensional reduction phenomenon', AIP Conference Proceedings 844 (2006) 158-176. DOI: 10.1063/1.2219360; arXiv:quant-ph/0601209. https://doi.org/10.1063/1.2219360
- E. Gozzi, 'Classical and quantum mechanics via supermetrics in time', Foundations of Physics 40 (2010) 795-806. DOI: 10.1007/s10701-009-9355-0; arXiv:0910.1812. https://doi.org/10.1007/s10701-009-9355-0
- E. Cattaruzza, E. Gozzi and D. Mauro, 'On the metric structure of time in classical and quantum mechanics', Annals of Physics 400 (2019) 156-188. DOI: 10.1016/j.aop.2018.11.008; arXiv:1811.04614. https://doi.org/10.1016/j.aop.2018.11.008
- E. Gozzi and D. Mauro, 'Scale symmetry in classical and quantum mechanics', Physics Letters A 345 (2005) 273-278. DOI: 10.1016/j.physleta.2005.07.038; arXiv:quant-ph/0507147. https://doi.org/10.1016/j.physleta.2005.07.038
- E. Gozzi and D. Mauro, 'Mechanical similarity as a generalization of scale symmetry', Journal of Physics A: Mathematical and General 39 (2006) 3411-3424. DOI: 10.1088/0305-4470/39/13/018; arXiv:quant-ph/0508199. https://doi.org/10.1088/0305-4470/39/13/018
- Ennio Gozzi, 'From quantum to classical without ħ → 0', Physics Letters A 382 (2018) 2569-2572. DOI: 10.1016/j.physleta.2018.06.033; arXiv:1806.06282. https://doi.org/10.1016/j.physleta.2018.06.033
- Ennio Gozzi, 'Are there any problem for large values of the action like there were for small ones?', arXiv:2211.13593 (2022), self-archived unpublished preprint. https://arxiv.org/abs/2211.13593
- E. Deotto and E. Gozzi, 'On the universal N=2 supersymmetry of classical mechanics', International Journal of Modern Physics A 16 (2001) 2709-2746. DOI: 10.1142/S0217751X01004190; arXiv:hep-th/0012177. https://doi.org/10.1142/S0217751X01004190
- E. Gozzi, M. Reuter and W. D. Thacker, 'Hidden BRS invariance in classical mechanics. II', Physical Review D 40 (1989) 3363-3377. DOI: 10.1103/PhysRevD.40.3363. https://doi.org/10.1103/PhysRevD.40.3363
- E. Gozzi, 'On the Dirac-Schwinger transformation theory in quantum mechanics. A new approach', Physics Letters B 158 (1985) 489-493. DOI: 10.1016/0370-2693(85)90800-7. https://doi.org/10.1016/0370-2693(85)90800-7
- B. O. Koopman, 'Hamiltonian Systems and Transformation in Hilbert Space', Proceedings of the National Academy of Sciences 17 (1931) 315-318. DOI: 10.1073/pnas.17.5.315. https://doi.org/10.1073/pnas.17.5.315
- J. von Neumann, 'Zur Operatorenmethode in der klassischen Mechanik', Annals of Mathematics 33 (1932) 587-642. DOI: 10.2307/1968537. https://doi.org/10.2307/1968537
- N. M. J. Woodhouse, 'Geometric Quantization', 2nd edition, Oxford University Press, 1992. ISBN 9780198536734; DOI: 10.1093/oso/9780198536734.001.0001. https://doi.org/10.1093/oso/9780198536734.001.0001
- D. Mauro, 'Topics in Koopman-von Neumann Theory', PhD thesis, University of Trieste, 2003. arXiv:quant-ph/0301172. https://arxiv.org/abs/quant-ph/0301172
- D. Mauro, 'Cancellation of anomalies in a path integral formulation for classical field theories', arXiv:hep-th/0507066 (2005). https://arxiv.org/abs/hep-th/0507066
- Ulf Klein, 'From Koopman-von Neumann Theory to Quantum Theory', Quantum Studies: Mathematics and Foundations 5 (2017) 219-227. DOI: 10.1007/s40509-017-0113-2; arXiv:1705.07427. https://doi.org/10.1007/s40509-017-0113-2
- Thomas Basile, Nicolas Boulanger and Arghya Chattopadhyay, 'Reframing Classical Mechanics: An AKSZ Sigma Model Perspective', Universe 11 (2025) 196. DOI: 10.3390/universe11060196; arXiv:2504.18826. https://doi.org/10.3390/universe11060196
- Sara Konrad and Matthias Bartelmann, 'Kinetic field theory for cosmic structure formation', Rivista del Nuovo Cimento 45 (2022) 737-799. DOI: 10.1007/s40766-022-00037-y; arXiv:2202.11077. https://arxiv.org/abs/2202.11077
- A. D. Bermúdez Manjarres, 'The Schwinger action principle for classical systems', Journal of Physics A: Mathematical and Theoretical 54 (2021) 414003. DOI: 10.1088/1751-8121/ac2321; arXiv:2107.03982. https://doi.org/10.1088/1751-8121/ac2321
- Hans-Thomas Elze, 'Quantum mechanics and discrete time from timeless classical dynamics', in 'Decoherence and Entropy in Complex Systems' (Lecture Notes in Physics), pp. 196-220. DOI: 10.1007/978-3-540-40968-7_15 (2004); arXiv:gr-qc/0307014. https://doi.org/10.1007/978-3-540-40968-7_15