Hamiltonian Constraints and Quantum Dynamics

Loop quantization must turn the nonpolynomial Hamiltonian constraint into an operator on cylindrical states, remove its regulator, represent the hypersurface-deformation algebra, and construct a physical inner product. Several graph-changing, graph-preserving, master-constraint, and deparametrized proposals exist; no formal annihilation equation alone completes all four tasks.

Required background. Canonical Constraints, Dirac Observables, and Constraint Algebras supplies the target algebra; Loop-Quantum-Gravity Kinematics and Spin Networks supplies the domain.

Helpful background. Closure, Symmetry Constraints, and Branch Selection supplies closure tests; Wheeler–DeWitt Quantization and the Problem of Time supplies the inner-product problem.

Regulating the inverse metric

The Euclidean part of the constraint can use Thiemann’s identity

$$\frac{\epsilon_{ijk}E^a_iE^b_j}{\sqrt{\det E}} \propto\epsilon^{abc}\{A_c^k,V\}.$$

Triangulate a neighborhood of each vertex, approximate curvature by a small-loop holonomy

$$h_{\alpha_{IJ}}=\mathbf1+\epsilon^2F_{ab}^i\tau_i \dot e_I^a\dot e_J^b+O(\epsilon^3),$$

and replace the Poisson bracket by $(i\hbar)^{-1}[h_{s_K},\widehat V]$. This yields a finite graph-local operator before regulator removal Thiemann 1998.

First application: action at a vertex

For a noncoplanar vertex $v$ with outgoing edges $e_I$, a schematic regulated action is

$$\widehat H_\epsilon[N]\Psi_\Gamma \propto\sum_{v,IJK} N(v)\epsilon^{IJK} \operatorname{Tr}\!\left( h_{\alpha_{IJ}}h_{s_K} [h_{s_K}^{-1},\widehat V] \right)\Psi_\Gamma .$$

$h_{\alpha_{IJ}}$ adds a small loop between edges $I,J$ and $h_{s_K}$ splits edge $K$. The trace makes the new insertion gauge invariant at $v$, but the graph changes. One must specify the routing of arcs, factor ordering, vertex domain, and how states at different $\epsilon$ are compared.

Algebra and physical dynamics

Classically,

$$\{H[N],H[M]\}=D[q^{ab}(N\partial_bM-M\partial_bN)].$$

A quantum commutator should reproduce the diffeomorphism generator with the correct operator-valued structure function on a common domain. Vanishing on diffeomorphism-invariant distributions is weaker: both the desired term and an anomaly can be erased there. Master-constraint methods instead study a positive operator $\widehat{\mathbf M}=\int\widehat{\mathcal H}^\dagger\widehat{\mathcal H}/\sqrt q$, while matter-clock deparametrizations trade the constraint for a physical Hamiltonian.

Adversarial control: compute the commutator

Act with $[\widehat H_\epsilon[N],\widehat H_{\epsilon'}[M]]$ on the same vertex state, retaining every newly created edge. If the limit depends on arc routing or fails to generate the expected displacement, the proposal has not demonstrated off-shell closure. A continuum limit that exists only after quotienting away the test is insufficient for the stronger claim.

The evidence ceiling is proposal-specific: well-defined regulated operators and selected anomaly checks exist, while a unique anomaly-free physical dynamics with recovered Einstein evolution and full physical Hilbert space remains unestablished.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Thiemann, Thomas. “Quantum Spin Dynamics (QSD).” Classical and Quantum Gravity 15, 839–873 (1998). DOI. Open PDF.