Pith. sign in

REVIEW 3 minor 93 references

A tutorial on Dirac quantisation by analysing the problem of a ball on an inclined plane as a Hamiltonian system with constraints

T0 review · 0 major / 3 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read Restricting the Hamiltonian operator of a constrained rolling ball to the physical subspace reproduces the intrinsic Schrödinger equation.

desk verdict A clear tutorial that applies the Dirac-Bergmann algorithm to the rolling ball and recovers the expected Schrödinger equation, but adds no new results. read the letter →

arxiv 2605.28878 v1 pith:J66A4D54 submitted 2026-05-26 quant-ph hep-thphysics.class-ph

M. F. Araujo de Resende , Thales Machado F This is my paper · ORCID
classification quant-phhep-thphysics.class-ph
keywords DiracquantisationconstrainedHamiltoniansystemsDirac-Bergmannalgorithmrollingballoninclinenon-holonomicconstraintsgaugephysicalHilbertsubspaceSchrödingerequation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper reviews Dirac quantisation of Hamiltonian systems with constraints by working through the classical and quantum dynamics of a solid ball rolling without slipping down an inclined plane. This example combines holonomic and non-holonomic constraints and functions as a gauge system. The Dirac-Bergmann algorithm is used to classify the constraints, construct the physical subspace, and replace Dirac brackets with commutators when passing to quantum mechanics. The central demonstration is that the resulting restricted Hamiltonian operator yields exactly the same Schrödinger equation obtained by treating the rolling motion in intrinsic coordinates from the outset.

What carries the argument

The Dirac-Bergmann algorithm, which classifies constraints as first- or second-class and holonomic or non-holonomic, then dictates the replacement of Dirac brackets by commutators to define the quantum theory on the physical subspace.

What would settle it

An explicit operator calculation in which the restricted Hamiltonian on the physical subspace produces a Schrödinger equation whose solutions differ from those of the intrinsic rolling-ball equation.

Watch

Extended reading notes

Core claim

The restriction of the Hamiltonian operator of this system with constraints to the physical Hilbert subspace (which is identified with the quantisation of these constraints) reproduces the same Schrödinger equation that can be originally obtained in intrinsic terms, a fact that only reinforces the consistency of the Dirac quantisation method.

Load-bearing premise

The constraints of the rolling ball are correctly identified and classified, and the Dirac-Bergmann algorithm is applied without error so that the physical subspace is properly defined.

Editorial extensions

If this is right

  • The same procedure yields a consistent quantum theory for any gauge system whose constraints can be handled by the Dirac-Bergmann algorithm.
  • Both holonomic and non-holonomic constraints are accommodated within a single quantisation framework.
  • The physical Hilbert subspace correctly encodes the reduced dynamics of the rolling ball.
  • Replacement of Dirac brackets by commutators preserves the classical constraint surface at the quantum level.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The ball-on-incline example supplies a concrete test case that other quantisation schemes for constrained systems could be checked against.
  • The method could be extended to rigid bodies with additional rotational degrees of freedom or to systems with time-dependent constraints.
  • The tutorial structure indicates the example may be used to illustrate how gauge freedom is eliminated before quantisation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

0 major / 3 minor

Summary. The manuscript is a tutorial on Dirac-Bergmann quantization of constrained Hamiltonian systems. It uses the example of a solid ball rolling without slipping down an inclined plane (involving holonomic constraints from the plane, non-holonomic no-slip condition, gravity, and gauge freedom) to walk through constraint classification, the full Dirac-Bergmann algorithm, replacement of Dirac brackets by commutators, and the definition of the physical Hilbert subspace; the central claim is that the resulting restricted Hamiltonian operator reproduces the Schrödinger equation obtained by quantizing the system intrinsically.

Significance. If the derivations hold, the paper supplies a detailed, self-contained pedagogical verification that the Dirac procedure is consistent for a system mixing holonomic/non-holonomic and first-/second-class constraints. Such explicit reproductions of intrinsic results are useful for instruction but do not constitute a novel physical result; the step-by-step execution of the algorithm is the main contribution.

minor comments (3)
  1. [§3] §3 (constraint analysis): the classification of the no-slip condition as second-class and the identification of any first-class constraints arising from gauge freedom should include an explicit table listing all primary/secondary constraints and their Poisson-bracket matrix; without it, readers cannot independently confirm the physical-subspace projector.
  2. [quantization section] Eq. (constraint quantization step): the transition from Dirac brackets to commutators is stated but the explicit operator ordering chosen for the non-holonomic term is not shown; a short appendix deriving the commutator [x, p]_D would remove ambiguity.
  3. [Introduction] The manuscript cites the original Dirac and Bergmann papers but omits recent pedagogical reviews on non-holonomic quantization (e.g., works applying the same algorithm to the rolling disk); adding two or three such references would improve context without altering the central claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript as a pedagogical tutorial on the Dirac-Bergmann algorithm and for recommending minor revision. We appreciate the recognition that the explicit verification of consistency with the intrinsic Schrödinger equation is a useful instructional contribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper applies the standard Dirac-Bergmann algorithm (from prior external literature) to the rolling ball example and performs a consistency verification: the restricted Hamiltonian operator on the physical subspace reproduces the known intrinsic Schrödinger equation. This is an application and check rather than a derivation that reduces to its own inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citations. The chain is self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper rests on standard assumptions of classical constrained mechanics and canonical quantization; no new free parameters, ad-hoc axioms, or invented entities are introduced.

assumptions (2)
  • domain assumption Standard Poisson bracket algebra and constraint classification rules of Hamiltonian mechanics
    Invoked when applying the Dirac-Bergmann algorithm to the rolling-ball constraints.
  • domain assumption Dirac brackets are replaced by commutators under quantization
    Central step in the classical-to-quantum transition described in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A tutorial on Dirac quantisation by analysing the problem of a ball on an inclined plane as a Hamiltonian system with constraints." pith.science (2026). https://pith.science/paper/J66A4D54

@misc{pith2026260528878,
  author       = {Pith},
  title        = {Pith review of: A tutorial on Dirac quantisation by analysing the problem of a ball on an inclined plane as a Hamiltonian system with constraints},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J66A4D54}},
  note         = {Machine review of arXiv:2605.28878}
}
read the original abstract

In this paper, we present a detailed review/analysis of the Dirac quantisation of Hamiltonian systems with constraints. To this end, we use, as a guide, the physical example provided by the dynamics of a solid ball rolling, without slipping, down an inclined plane under the action of gravity. After all, however simple this physical system may be, it provides a rich framework for this analysis since, in addition to allowing us to discuss scenarios involving holonomic and non-holonomic constraints, it is also a gauge system. Indeed, due to this latter fact, we have carefully detailed how the transition, from classical to quantum mechanics, must be guided by the Dirac-Bergmann algorithm and by the consequent replacement of Dirac brackets with commutators. As a central result, we demonstrate that the restriction of the Hamiltonian operator of this system with constraints to the physical Hilbert subspace (which is identified with the quantisation of these constraints) reproduces the same Schr\"odinger equation that can be originally obtained in intrinsic terms, a fact that only reinforces the consistency of the Dirac quantisation method.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

93 extracted references · 1 canonical work pages

  1. [1]

    d2 du2 −u Υ (u) = 0, whose general solution is Υ (u) =CAi (u) +DBi (u),(62) whereCandDare two constants, and Ai (u) = 1 π Z ∞ 0 cos σ3 3 +uσ dσand (63a) Bi (u) = 1 π Z ∞ 0 exp − σ3 3 +uσ + sin σ3 3 +uσ dσ .(63b) C. Finding some stationary solutions Clearly, if we wish to continue working with the same canonically conjugate variables that led us to equatio...

  2. [2]

    slightly

    Imposing an infinite potential barrier One of the simplest ways to ensure that the result (65) holds is, for example, by imposing the boundary condition Ψ (x) = 0,whenx⩾0,(66) which can easily be imposed by introducing an infinite potential barrier at the pointx= 0: i.e., by considering that the expression (59) remains valid, but only within the interval ...

  3. [3]

    slightly

    Creating symmetrical potential Another way of dealing with this same inclined plane, by again “slightly” modifying the situation so that we can continue to consider stationary solutions, is to make it symmetrical. And this can be done, for instance, by reflecting this inclined plane about the pointx= 0, as clearly illustrated in Figure 9: i.e., this can b...

    1915

  4. [4]

    P. A. M. Dirac:Lectures on Quantum Mechanics(Yeshiva University Press, New York 1964)

    1964

  5. [5]

    Lewis:Matrix Theory(Word Scientific, Singapore 1991)

    D. Lewis:Matrix Theory(Word Scientific, Singapore 1991)

    1991

  6. [6]

    Heisenberg:Z

    W. Heisenberg:Z. Physik33(1), 879 (1925)

    1925

  7. [7]

    M. Born, P. Jordan:Z. Physik34(1), 858 (1925)

    1925

  8. [8]

    M. Born, W. Heisenberg, P. Jordan:Z. Physik35, 557 (1925). 60

    1925

Show all 93 references
  1. [9]

    Schrödinger:Annalen Phys.79(4), 361 (1926)

    E. Schrödinger:Annalen Phys.79(4), 361 (1926)

    1926

  2. [10]

    Schrödinger:Annalen Phys.79(6), 32 (1926)

    E. Schrödinger:Annalen Phys.79(6), 32 (1926)

    1926

  3. [11]

    J. L. M. Assirati, D. M. Gitman:Eur. Phys. J.C77, 476 (2017)

    2017

  4. [12]

    S. D. Poisson:Journal de l’école Polytechnique, quinzième cahier8, 1 (1809)

  5. [13]

    Spivak:Calculus on Manifolds(CRC Press, Boca Raton 2018)

    M. Spivak:Calculus on Manifolds(CRC Press, Boca Raton 2018)

    2018

  6. [14]

    D. M. Gitman, I. P. Tyutin:Quantization of Fields with Constraints(Springer-Verlag, Berlin Heidelberg 1990)

    1990

  7. [15]

    Twareque, M

    S. Twareque, M. Engliš:Rev. Math. Phys.17(4), 391 (2005)

    2005

  8. [16]

    P. A. M. Dirac:Proc. A109(752), 642 (1925)

    1925

  9. [17]

    P. A. M. Dirac:Proc. A113(765), 621 (1927)

    1927

  10. [18]

    P. A. M. Dirac:Math. Proc. Cambridge Philos. Soc.35(3), 416 (1939)

    1939

  11. [19]

    Carosso:Stud

    A. Carosso:Stud. Hist. Philos. Sci.96, 35 (2022)

    2022

  12. [20]

    Groenenwold:Physica12(7) 405 (1946)

    H. Groenenwold:Physica12(7) 405 (1946)

    1946

  13. [21]

    S. T. Thornton, J. B. Marion:Classical Dynamics of Particle Systems – Fifth Edition(Thom- son Learning, Victoria 2004)

    2004

  14. [22]

    P.A.Tipler, G.Mosca:Physics for Scientists and Engineers with Modern Physics – 6th Edition (W. F. Freeman and Company, New York 2008)

    2008

  15. [23]

    Halliday, R

    D. Halliday, R. Resnick, J. Walker:Fundamentals of Physics – 9th Edition(John-Willey & Sons Inc., Hoboken 2011)

    2011

  16. [24]

    H. D. Young, R. A Freedman, A. Lewis Ford:Sears and Zemansky’s University Physics with Modern Physics – 13th Edition(Addison-Wesley, New York 2012)

    2012

  17. [25]

    Kreyszig:Differential Geometry(University of Toronto Press, Toronto 1959)

    E. Kreyszig:Differential Geometry(University of Toronto Press, Toronto 1959)

    1959

  18. [26]

    I. V. Savelyev:Physics: A General Course, Volume I(Mir Publishers, Moscow 1989)

    1989

  19. [27]

    S. D. Poisson, J. G. Garnier:Traité de Mécanique, Tome II(Societé Belgie de Librairie Etc., Bruxelles 1838)

  20. [28]

    K. R. Symon:Mechanics, Second Edition(Addison-Wesley Publishing Company Inc., Massa- chusetts 1960)

    1960

  21. [29]

    L. D. Landau, E. M. Lifshitz:Mechanics(Pergamon Press, Oxford, New York 1976)

    1976

  22. [30]

    V. V. Kozlov:Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.3, 92 (1982)

    1982

  23. [31]

    V. V. Kozlov:Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.4, 70 (1982)

    1982

  24. [32]

    V. V. Kozlov:Dokl. Akad. Nauk SSSR272(3), 550 (1983). 61

    1983

  25. [33]

    Cardin, M

    F. Cardin, M. Favretti:Journal of Geometry and Physics18(4), 295 (1996)

    1996

  26. [34]

    de Leon, J

    M. de Leon, J. C. Marrero, D. M. de Diego:Journal of Geometry and Physics35(2-3), 126 (2000)

    2000

  27. [35]

    Jiménez, H

    F. Jiménez, H. Yoshimura:Journal of Geometry and Physics94, 158 (2015)

    2015

  28. [36]

    Benito, D

    R. Benito, D. M. de Diego:J. Math. Phys.46, 083521 (2005)

    2005

  29. [37]

    A. V. Borisov, I. S. Mamaev, I. A. Bizyaev:Russian Math. Surveys72(5), 783 (2017)

    2017

  30. [38]

    Jóźwikowski, W

    M. Jóźwikowski, W. Respondek:Journal of Geometric Mechanics11(1), 77 (2019)

    2019

  31. [39]

    N. A. Lemos:Acta Mechanica233, 47 (2022)

    2022

  32. [40]

    L. -Q. Huang, Y. Zhang:Chaos, Solitons & Fractals182, 114854 (2024)

    2024

  33. [41]

    L. -Q. Huang, Y. Zhang:J. Math. Phys.65, 072901 (2024)

    2024

  34. [42]

    N. A. Lemos:Analytical Mechanics(Cambridge University Press, Cambridge 2018)

    2018

  35. [43]

    M. F. Araujo de Resende:Rev. Bras. Ensino Fis.40(1), e1312 (2018).arXiv:2511.13743

    2018

  36. [44]

    Deriglazov:Classical Mechanics: Hamiltonian and Lagrangian Formalism(Springer, Cham 2018)

    A. Deriglazov:Classical Mechanics: Hamiltonian and Lagrangian Formalism(Springer, Cham 2018)

    2018

  37. [45]

    Hoffman, R

    K. Hoffman, R. A. Kunze:Linear Algebra(Prentice-Hall, New Delhi 1967)

    1967

  38. [46]

    McWeeny:Quantum Mechanics: Principles and Formalism(Dover Publications, New York 2003)

    R. McWeeny:Quantum Mechanics: Principles and Formalism(Dover Publications, New York 2003)

    2003

  39. [47]

    R.L.Liboff:Introductory Quantum Mechanics, Fourth Edition(AddisonWesley, SanFrancisco 2003)

    2003

  40. [48]

    W. A. Strauss:Partial Differential Equations: An Introduction(John-Willey & Sons Inc., Hoboken 2007)

    2007

  41. [49]

    G. B. Airy:Trans. Camb. Phil. Sec.6, 379 (1838)

  42. [50]

    Vallée, M

    O. Vallée, M. Soares:Airy functions and Applications to Physics(Imperial College Press, Hackensack 2004)

    2004

  43. [51]

    F. W. J. Olver et al.:NIST Digital Library of Mathematical Functions. Avaliable in https://dlmf.nist.gov/

  44. [52]

    E. L. Lima:Análise Real, Volume II(Coleção Matemática Universitária IMPA, Rio de Janeiro 2007)

    2007

  45. [53]

    P. G. Bergmann:Phys. Rev.75, 680 (1949)

    1949

  46. [54]

    P. G. Bergmann, J. H. M. Brunings:Rev. Mod. Phys.21, 480 (1949)

    1949

  47. [55]

    P. A. M. Dirac:Can. J. Math.2, 129 (1950). 62

    1950

  48. [56]

    M. P. do Carmo:Riemannian Geometry(Birkhäuser, Boston 1993)

    1993

  49. [57]

    Strang:Introduction to Linear Algebra, Fourth Edition(Wellesley-Cambridge Press, Wel- lesley 2009)

    G. Strang:Introduction to Linear Algebra, Fourth Edition(Wellesley-Cambridge Press, Wel- lesley 2009)

    2009

  50. [58]

    Henneaux, C

    M. Henneaux, C. Teitelboim:Quantization of Gauge Systems(Princeton University Press, New Jersey 1992)

    1992

  51. [59]

    J. D. Jackson:Classical Electrodynamics, Third Edition (John Willey & Sons Inc., New York 1999)

    1999

  52. [60]

    Quigg:Gauge Theories of the Strong, Weak and Electromagnetic Interactions(Westview Press, 1997)

    C. Quigg:Gauge Theories of the Strong, Weak and Electromagnetic Interactions(Westview Press, 1997)

    1997

  53. [61]

    I. J. R. Aitchison, A. J. G. Hey:Gauge Theories in Particles Physics, Volume I: From Relati- vistic Quantum Mechanics to QCD(Institute of Physics Publishing, Bristol and Phyladelphia 2003)

    2003

  54. [62]

    P. R. Halmos:Introduction to Hilbert space and the theory of spectral multiplicity(Chelsea Publishing Company, New York 1951)

    1951

  55. [63]

    P. R. Halmos:The American Mathematical Montly70(3), 241 (1963)

    1963

  56. [64]

    Moretti:Spectral Theory and Quantum Mechanics: Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation(Springer, Cham 2017)

    V. Moretti:Spectral Theory and Quantum Mechanics: Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation(Springer, Cham 2017)

    2017

  57. [65]

    Martínez, J

    S. Martínez, J. Cortés, M. de León:Journal of Geometry and Physics38(3-4), 343 (2001)

    2001

  58. [66]

    de Leon, D

    M. de Leon, D. Martin de Diego, A. Santamaría-Merino:IFAC Proceedings Volumes36(2), 141 (2003)

    2003

  59. [67]

    Cortés, M

    J. Cortés, M. de Leon, D. M. de Diego, S. Martínez:SIAM J. Control Optim.41(5), 1389 (2003)

    2003

  60. [68]

    Enomoto, M

    R. Enomoto, M. Shima:Journal of The Society of Instrument and Control Engineers42(10), 833 (2003)

    2003

  61. [69]

    C. Liu, Y. Xu, Y. -Y. Noh:Materials Today18(2), 79 (2015)

    2015

  62. [70]

    Hashemi, S

    R. Hashemi, S. Shojaei:Sci. Rep.15, 43764 (2025)

    2025

  63. [71]

    R. H. Fowler, L. W. Nordheim:Proc. A119(781), 173 (1928)

    1928

  64. [72]

    L. W. Nordheim:Proc. A121(788), 626 (1928)

    1928

  65. [73]

    Lepetit:J

    B. Lepetit:J. Appl. Phys.122, 215105 (2017)

    2017

  66. [74]

    Karaoulanis, J

    D. Karaoulanis, J. P. Xanthakis:Micromachines (Basel)17(2), 269 (2026)

    2026

  67. [75]

    ter Haar:Selected Problems in Quantum Mechanics(Pion Limited, London 1978)

    D. ter Haar:Selected Problems in Quantum Mechanics(Pion Limited, London 1978). 63

    1978

  68. [76]

    J. J. Sakurai, J. Napolitano:Modern Quantum Mechanics, Third Edition(Cambridge Univerty Press, Cambridge 2021)

    2021

  69. [77]

    P. W. Langhoff:Am. J. Phys.39, 954 (1971)

    1971

  70. [78]

    R. L. Gibbs:Am. J. Phys.43, 25 (1975)

    1975

  71. [79]

    Gea-Banacloche:Am

    J. Gea-Banacloche:Am. J. Phys.67, 776 (1999)

    1999

  72. [80]

    V. V. Nesvizhevsky et al.:Nature415, 297 (2002)

    2002

  73. [81]

    Jenke et al.:Nucl

    T. Jenke et al.:Nucl. Instrum. Methods Phys. Res. A611(2-3), 318 (2009)

    2009

  74. [82]

    Abele et al.:Physics Procedia17, 4 (2011)

    H. Abele et al.:Physics Procedia17, 4 (2011)

    2011

  75. [83]

    Nesvizhevsky, A

    V. Nesvizhevsky, A. Voronin:Surprising Quantum Bounces(Imperial College Press, Hacken- sack 2015)

    2015

  76. [84]

    V. V. Nesvizhevsky et al.:Phys. Rwev. A78, 033616 (2008)

    2008

  77. [85]

    V. V. Nesvizhevsky:Physics – Uspekhi53(7), 645 (2010)

    2010

  78. [86]

    Allam, A

    J. Allam, A. Matzkin:Quantum Rep.5(1), 1 (2023)

    2023

  79. [87]

    Altarawneh, R

    D. Altarawneh, R. Höllwieser, M. Wellenzohn:Universe10(12), 460 (2024)

    2024

  80. [88]

    Ogawa, K

    N. Ogawa, K. Fujii, A. Kobushkin:Prog. Theor. Phys.83, 894 (1990)

    1990

  81. [89]

    Ogawa, K

    N. Ogawa, K. Fujii, N. Chepilko, A. Kobushkin:Prog. Theor. Phys.85, 1189 (1991)

    1991

  82. [90]

    Homma, T

    T. Homma, T. Inamoto, T. Miyazaki:Prog. Theor. Phys.85, 2049 (1991)

  83. [91]

    Shimizu, T

    A. Shimizu, T. Inamoto, T. Miyazaki:Nuovo CimentoB107, 973 (1992)

    1992

  84. [92]

    Saa:Class

    A. Saa:Class. Quantum Grav.14, 385 (1997)

    1997

  85. [93]

    J. L. Synge, A. Shild:Tensor Calculus(Dover Publications Inc., New York 1978). Updated: 29 de maio de 2026

    1978

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.