Abstract It has been argued that the Feynman path integral formalism leads to a quantization rule, and that this is the Born–Jordan rule which gives the unique quantization rule consistent with the correct short-time propagator behavior of the propagator for nonrelativistic systems. We examine this short-time approximation and conclude, contrary to prevailing views, that the asymptotic expansion applies only to Hamiltonian functions that are at most quadratic in the momentum and with constant mass. While the Born–Jordan rule suggests the appropriate quantization of functions in this class, there are other rules which give the same answer, most notably the Weyl quantization scheme.
With the use of the Weyl correspondence between quantum mechanical operators and classical dynamical functions, an exact quantization rule is derived for a system with one degree of freedom and arbitrary Hamiltonian. In the semiclassical limit of small Planck's constant, this reduces to the Bohr-Sommerfeld quantization rule as derived by the WKB approximation. Higher order terms are also derived. It is further proven that for a simple harmonic oscillator the Bohr-Sommerfeld rule must give the exact energy eigenvalues for all states.