How do we resolve operator ordering ambiguities when quantizing generic nonlinear second-class constraints?

Dirac came up with a general theory of constraints, including second-class constraints. To quantize such systems, he first computed the Dirac bracket classically, and only then "promoted" the classical Dirac bracket into a commutator. However, this leads to operator ordering ambiguities over and above what already exists for the Poisson bracket.

Is there any more direct way of coming up with a quantum Dirac bracket and Hamiltonian operator which resolves such ambiguities? If the system is symmetrical, symmetry considerations can often single out the "correct" quantization, but what about asymmetrical systems?

Ideally, the correct quantum prescription ought to match what we get from using path integrals.

Similarly, if the second-class constraint is linear, the quantum commutator and Hamiltonian is also straightforward. However, even relatively simple models can have subtleties. Consider the toy model $$L=\frac{\dot{q}^2}{2} -f[q]\frac{F^2}{2}$$ where F is an auxiliary variable and $f$ is a function of $q$. The classical second-class constraints are given by $p_F \approx 0$ and $fF\approx 0$. Using path integrals as a guide, $$\int \mathcal{D}q\, \mathcal{D}F\, \exp\left( \frac{i\dot{q}^2}{2} - \frac{ifF^2}{2} \right) \propto \int f^{-1/2}\mathcal{D}q\, \exp\left( \frac{i\dot{q}^2}{2} \right),$$ which corresponds to the following operator ordering for the Hamiltonian: $$\widehat{H} = \frac{1}{2} \widehat{f}^{1/4}\widehat{p}\widehat{f}^{-1/2}\widehat{p}\widehat{f}^{1/4}.$$

But what about the generic nonlinear case?

On another note, is there a formalism where we can impose the Dirac bracket after quantization, rather than before?

• I think that there's no "God-given" ordering you should apply. A general quantum theory is not specified "purely" by its classical limit. In the context of quantum field theory, all the renormalization issues may be interpreted as "generalized ordering effects", so all the uncertainty about the total coupling and the right subtraction of the infinite parts may be interpreted as an ordering effect that doesn't have any unique canonical solution. – Luboš Motl Jan 25 '11 at 18:12
• A professor once said that going from the classical Poisson bracket to the quantum mechanical commutator, or that promoting classical observables to qm operators, always includes something akin to a leap of faith, because there is no rigorous way to get from classical mechanics to quantum mechanics. – Lagerbaer Jan 27 '11 at 17:55