Remarks on Dirac-Bergmann algorithm, Dirac's conjecture and the extended Hamiltonian

The Dirac-Bergmann algorithm for the Hamiltonian analysis of constrained systems is a nice and powerful tool, widely used for quantization and non-perturbative counting of degrees of freedom. However, certain aspects of its application to systems with first-class constraints are often overlooked in the literature, which is unfortunate, as a naive treatment leads to incorrect results. In particular, when transitioning from the total to the extended Hamiltonian, the physical information encoded in the constrained modes is lost unless a suitable redefinition of gauge invariant quantities is made. An example of this is electrodynamics, in which the electric field gets an additional contribution to its longitudinal component in the form of the gradient of an arbitrary Lagrange multiplier. Moreover, Dirac’s conjecture, the common claim that all first-class constraints are independent generators of gauge transformations, is somewhat misleading in the standard notion of gauge symmetry used in field theories. At the level of the total Hamiltonian, the true gauge generator is a specific combination of primary and secondary first-class constraints; in general, Dirac’s conjecture holds only in the case of the extended Hamiltonian. The aim of the paper is primarily pedagogical. We review these issues, providing examples and general arguments. Also, we show that the aforementioned redefinition of gauge invariants within the extended Hamiltonian approach is equivalent to a form of the Stueckelberg trick applied to variables that are second-class with respect to the primary constraints.

💡 Research Summary

The paper revisits the Dirac–Bergmann algorithm for Hamiltonian analysis of constrained systems, focusing on subtleties that are often ignored when first‑class constraints are present. After a brief historical introduction, the authors recall the standard steps: identify primary constraints from a degenerate Legendre transform, construct the total Hamiltonian (H_T = H_{\text{can}} + \lambda^a\phi_a), enforce consistency conditions to generate secondary (and possibly higher‑order) constraints, and finally classify all constraints into first‑class (those that weakly commute with every constraint) and second‑class.

A central theme is the distinction between the total Hamiltonian and the extended Hamiltonian (H_E = H_{\text{can}} + \lambda^\rho\Omega_\rho), where all first‑class constraints (\Omega_\rho) are added with independent multipliers. While the extended Hamiltonian makes every first‑class constraint an independent generator of gauge transformations—so that Dirac’s conjecture (“all first‑class constraints generate gauge symmetries”) holds in its strongest form—the authors show that this procedure can erase physical information carried by constrained modes. In electrodynamics, for example, the longitudinal electric field, which encodes the static Coulomb law, acquires an extra contribution proportional to the gradient of an arbitrary Lagrange multiplier when the Gauss‑law constraint is promoted to the extended Hamiltonian. Consequently, the original static solution becomes “unphysical” unless one redefines what is meant by a gauge‑invariant quantity.

The authors propose a systematic redefinition: one introduces new variables that commute with all first‑class constraints on the constraint surface. This is equivalent to applying a Stueckelberg‑type trick to variables that are second‑class with respect to the primary constraints. In practice, the redefinition restores the missing longitudinal electric field (or analogous static fields in Yang–Mills theory and General Relativity) while preserving the enlarged gauge freedom of the extended Hamiltonian.

Another important point concerns Dirac’s conjecture itself. At the level of the total Hamiltonian, the true gauge generator is not an arbitrary linear combination of all first‑class constraints; rather, it is a specific combination of primary and secondary first‑class constraints that ensures the correct transformation of the canonical variables. Only when one works with the extended Hamiltonian does the conjecture become literally true, because each first‑class constraint appears with its own multiplier. The paper therefore clarifies that Dirac’s conjecture must be interpreted with care: it is valid in the extended formalism but requires a refined generator in the total‑Hamiltonian formalism.

To illustrate these ideas, the authors analyze a simple toy model (L=\frac12(\dot x + y)^2) that mimics the structure of electrodynamics. The model possesses a gauge symmetry (x\to x+\epsilon(t),; y\to y-\dot\epsilon(t)) and yields a primary constraint (p_y=0) and a secondary constraint (p_x=0). Using the total Hamiltonian reproduces the correct equations of motion, while the extended Hamiltonian introduces an arbitrary multiplier that modifies the gauge‑invariant combination (\dot x + y). By redefining the gauge‑invariant quantity, the authors recover the original dynamics, demonstrating the necessity of the Stueckelberg‑like redefinition.

Finally, the paper proposes practical guidelines for researchers: (i) when employing the total Hamiltonian, construct the gauge generator as the appropriate linear combination of primary and secondary first‑class constraints; (ii) if the extended Hamiltonian is preferred for its manifest gauge symmetry, accompany it with a redefinition of gauge‑invariant observables to retain the physical content of constrained modes; (iii) adopt a clear mode‑counting scheme that distinguishes total variables, pure gauge modes, dynamical modes, and constrained (static) modes, recognizing that constrained modes carry genuine physical information such as static field configurations. By following these prescriptions, one avoids the common pitfalls that lead to loss of physical solutions or misinterpretation of gauge symmetries in constrained Hamiltonian systems.