In the Koopman-von Neumann functional formulation of classical mechanics, quantization can be implemented by extending the time base to a superspace (t,θ,θˉ)(t,\theta,\bar\theta) with two Grassmann partners of time, packaging the extended phase-space variables into a single superfield, and freezing θ,θˉ→0\theta,\bar\theta\to0 with an action-scale insertion θˉθ/ℏ\bar\theta\theta/\hbar. 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 θ,θˉ\theta,\bar\theta physically encode: only dimensional heuristics exist (θˉθ\bar\theta\theta carries the dimension of an action, Δt∼θˉθ∼ℏ\Delta t\sim\bar\theta\theta\sim\hbar, reminiscent of the Wiener relation (Δq)2∼Δt ℏ(\Delta q)^2\sim\Delta t\,\hbar), 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 θ\theta with tt — are lost in the θ,θˉ→0\theta,\bar\theta\to0 projection, and with what consequences for quantum mechanics, including a mechanism sketched in later work but never completed, in which ℏ\hbar 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 θ,θˉ\theta,\bar\theta (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 qq and discarding pp) 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 i∂tρ=L^ρi\partial_t\rho=\hat L\rho for phase-space probability densities, with L^\hat L the Liouville operator built from the Hamiltonian H(q,p)H(q,p), can be lifted to an equation i∂tψ=L^ψi\partial_t\psi=\hat L\psi for wave functions ψ(q,p)\psi(q,p); 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=(q1,…,qn,p1,…,pn)\varphi^a=(q^1,\dots,q^n,p^1,\dots,p^n), a conjugate variable λa\lambda_a and two Grassmann variables ca,cˉac^a,\bar c_a per coordinate. Grassmann (anticommuting) variables, satisfying cacb=−cbcac^ac^b=-c^bc^a, are the standard algebraic device for fermions and for differential forms; in the CPI the c,cˉc,\bar c are precisely the components of differential forms on phase space (ca∼dφac^a\sim d\varphi^a) or of Jacobi fields (deviations between neighboring classical trajectories), and the extended 8n8n-variable system carries, for every Hamiltonian, a universal BRST-like (BRST: Becchi-Rouet-Stora-Tyutin, the rigid algebraic signature of a gauge symmetry) and N=2N=2 supersymmetry algebra — a graded symmetry algebra mixing the bosonic variables φ,λ\varphi,\lambda with the fermionic c,cˉc,\bar c (reviewed by E. Deotto and E. Gozzi, 2001).

The 8n8n variables can be assembled into a single superfield Φa(t,θ,θˉ)=φa(t)+θca(t)+θˉ ωabcˉb(t)+iθˉθ ωabλb(t)\Phi^a(t,\theta,\bar\theta)=\varphi^a(t)+\theta c^a(t)+\bar\theta\,\omega^{ab}\bar c_b(t)+i\bar\theta\theta\,\omega^{ab}\lambda_b(t), where ωab\omega^{ab} is the symplectic matrix and θ,θˉ\theta,\bar\theta are two new Grassmann coordinates introduced as partners of time, so that the base space of mechanics becomes the supertime (t,θ,θˉ)(t,\theta,\bar\theta) — a supermanifold with one even and two odd directions. Expanding the classical action S[φ]=∫(pq˙−H) dtS[\varphi]=\int(p\dot q-H)\,dt on Φa\Phi^a produces, in one supermultiplet, both the quantum action S[φ]S[\varphi] (the θ,θˉ\theta,\bar\theta-independent part, or body) and the CPI action (the θθˉ\theta\bar\theta 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 ⟨qf;tf∣qi;ti⟩=∫Dq Dp exp⁡(iℏS[φ])\langle q_f;t_f|q_i;t_i\rangle=\int\mathcal D q\,\mathcal D p\,\exp\big(\frac{i}{\hbar}S[\varphi]\big) is obtained from the classical one by freezing θ,θˉ→0\theta,\bar\theta\to0, provided an insertion with the dimension of an action — implemented as −iℏδ(θ)δ(θˉ)-\frac{i}{\hbar}\delta(\theta)\delta(\bar\theta) in the Grassmann (Berezin) integration — supplies the factor ℏ\hbar: quantization becomes a dimensional reduction of supertime from (t,θ,θˉ)(t,\theta,\bar\theta) to tt. The construction was developed by the same school into precise dequantization rules ∫dt→iℏ∫dt dθ dθˉ\int dt\to i\hbar\int dt\,d\theta\,d\bar\theta and φa→Φa\varphi^a\to\Phi^a, 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 θ,θˉ\theta,\bar\theta are physically: in the target space the Grassmann partners of φa\varphi^a are forms or Jacobi fields, but at the base-space level only dimensional heuristics exist — θˉθ\bar\theta\theta carries the dimension of an action, suggesting Δt∼θˉθ∼ℏ\Delta t\sim\bar\theta\theta\sim\hbar, a relation reminiscent of the Wiener process, i.e. the random-walk structure (Δq)2∼Δt ℏ(\Delta q)^2\sim\Delta t\,\hbar that underlies the Feynman path integral. Second, the extended classical formalism has universal symmetries (BRST-like, N=2N=2 supersymmetry, ghost-number conjugation — the symmetry exchanging each ghost cac^a with its conjugate cˉa\bar c_a, which carry opposite ghost number, the integer grading of the Grassmann sector — and in particular a universal symmetry that rescales the overall action, mixing θ\theta with tt, identified already in E. Gozzi's 1985 work on transformation theory); which of these symmetries survive the θ,θˉ→0\theta,\bar\theta\to0 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 ℏ\hbar 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 (t,θ,θˉ)(t,\theta,\bar\theta), packaging the 8n8n classical path-integral variables into the superfield Φa\Phi^a, and freezing θ,θˉ→0\theta,\bar\theta\to0 with an action-scale insertion θˉθ/ℏ\bar\theta\theta/\hbar. 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 θ,θˉ\theta,\bar\theta encode — going beyond the dimensional identification [θˉθ]=action[\bar\theta\theta]=\text{action}, Δt∼θˉθ∼ℏ\Delta t\sim\bar\theta\theta\sim\hbar 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 N=2N=2 supersymmetry, and the action-rescaling symmetry relating θ\theta and tt) survive the θ,θˉ→0\theta,\bar\theta\to0 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 ℏ\hbar 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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