Functional Determinants for Constrained Path Integrals in Minisuperspace Jackiw-Teitelboim Gravity

Abstract: We present a detailed evaluation of constrained minisuperspace path integrals in Jackiw-Teitelboim (JT) gravity and in biaxial Bianchi IX quantum cosmology, employing the Gelfand-Yaglom theorem to compute the relevant functional determinants. In both settings, integrating out the dilaton or a minisuperspace variable produces a functional delta that enforces the classical constraint equation, thereby localizing the remaining path integral onto classical configurations. The associated Jacobian, equivalently, the functional determinant of the operator obtained by linearizing the constraint about the classical solution, fixes the semiclassical prefactor and the correct measure. We evaluate this determinant exactly via the Gelfand-Yaglom method and obtain the fully normalized fixed-lapse propagators. We further extend the JT analysis to a quadratic dilaton potential $U(φ)=m^{2}φ^{2}$ and comment on the corresponding saddle-point structure of the lapse integral. Finally, we apply the same approach to Bianchi IX quantum cosmology and derive the fixed-lapse propagator, including its prefactor. Our results provide a systematic and broadly applicable prescription for treating constraint structures in gravitational path integrals using functional determinant techniques, with potential applications to a wider class of minisuperspace quantum cosmology and quantum gravity.

• The paper develops a formalism leveraging the Gelfand-Yaglom theorem to compute functional determinants in minisuperspace JT gravity.
• It achieves an exact, normalized fixed-lapse propagator by localizing the path integral onto classical constraints and analyzing the saddle-point structure.
• The approach extends to quadratic dilaton potentials and biaxial Bianchi IX cosmology, providing actionable insights for quantum cosmology.

Functional Determinants for Constrained Path Integrals in Minisuperspace Jackiw-Teitelboim Gravity

Overview

This work develops a detailed formalism for treating constrained minisuperspace path integrals in Jackiw-Teitelboim (JT) gravity, with an extension to biaxial Bianchi IX quantum cosmology. The analysis systematically applies the Gelfand-Yaglom theorem to evaluate the functional determinants that arise when path integrals are localized by classical constraints. The result is an exact, fully normalized fixed-lapse propagator, accompanied by a rigorous prescription to compute the requisite functional determinant in minisuperspace gravitational models. The work also explores the saddle-point structure in the Lorentzian regime and discusses generalizations to quadratic dilaton potentials.

Constrained Path Integrals in Minisuperspace JT Gravity

The quantization of gravity via the path integral formalism, particularly in minisuperspace reductions, generically leads to constrained path integrals: auxiliary degree(s) of freedom act as Lagrange multipliers, enforcing classical constraints on the remaining configuration variables. In 2D JT gravity, integrating out the dilaton enforces a local constant-curvature constraint on the metric, reducing the functional integral to a delta-functional over the classical constraint surface. The path integral thus localizes onto classical solutions, but an essential aspect is the correct treatment of the induced functional Jacobian (i.e., the determinant of the linearized constraint operator).

The paper demonstrates that in JT minisuperspace, the path integral over the dilaton exactly produces a Dirac delta functional enforcing $\ddot{q} = 0$, where $q(t)$ is the metric scale factor history. The remaining configuration integral reduces to a sum over classical solutions weighted by the exponential of the on-shell action and a prefactor given by the functional determinant of $(1/4N) \partial_t^2$ with Dirichlet boundary conditions. This determinant controls the semiclassical measure and the normalization of the transition amplitude.

Evaluation via the Gelfand-Yaglom Theorem

The Gelfand-Yaglom theorem provides a powerful tool for the computation of one-dimensional functional determinants, reducing the calculation to an initial-value ordinary differential equation. For the case of JT gravity (with or without dilaton potential), the differential operator is quadratic in derivatives with constant or $q$-dependent coefficients. For generic minisuperspace constraints, the determinant calculation can be reduced to solving an associated ODE with Dirichlet boundary conditions.

In the JT case, the Gelfand-Yaglom problem reduces trivially to a constant; when extended to include a quadratic dilaton potential, the determinant structure remains unaltered, as the constraint remains linear in the highest derivative and the coefficient does not involve $q(t)$. In the Bianchi IX case, the constraint is more intricate: the fluctuation operator becomes a time-dependent second-order operator with a first-derivative term, but the Gelfand-Yaglom prescription is still tractable upon appropriate field redefinitions. The determinant is then reduced to a closed-form involving the classical solution and its boundary values, yielding an analytic contribution to the propagator prefactor.

Lapse Integration and Lorentzian Amplitude Structure

A central aspect of quantum cosmology is the proper handling of the gravitational lapse function, which enforces the Hamiltonian constraint. The authors restore the full Lorentzian path integral by integrating the fixed-lapse propagator over all positive lapses $N>0$, yielding an amplitude represented by modified Bessel or Hankel functions. The analysis of the saddle-point structure reveals sharply the transition between semiclassical propagation (oscillatory amplitude, steepest-descent contour through positive real $N$) and quantum tunneling (exponentially suppressed amplitude, critical point along imaginary $N$), with the corresponding stationary phase points determined by the underlying classical dynamics.

These results clarify the precise emergence of Hartle-Hawking or Vilenkin wave functions and the associated Stokes phenomena within the constrained path integral formulation. The analytic continuation and the structure of complex saddles are shown to encapsulate the conventional proposals for wave functions of the universe.

Generalizations and Comparison to Prior Work

The analysis extends seamlessly to generalized JT models with quadratic dilaton potential $U(\phi)=m^2\phi^2$, and to higher-dimensional minisuperspace models such as Bianchi IX quantum cosmology, which includes anisotropic scale factors and possesses a more complex constraint structure. In all cases, after integrating out the non-dynamical variable, the essential step remains the Gelfand-Yaglom determinant evaluation, which always provides the accurate functional measure for the localized path integral.

The explicit fixed-lapse propagators derived match previously established results for JT gravity and for Bianchi IX quantum cosmology, where the prefactor agrees with the Van Vleck determinant prescription and prior path integral calculations (Honda et al., 2024, Dorronsoro et al., 2018).

Implications and Future Directions

This work establishes a robust methodology for path integral quantization in highly symmetric gravitational models by leveraging functional determinant techniques. The implications are immediate for precise calculation of wavefunctions and amplitudes in quantum cosmological scenarios, including Hartle-Hawking-type and no-boundary proposals. The formalism is applicable to any minisuperspace model where the constraints are tractable and the path integral is reducible to a manageable set of ODEs.

From a theoretical perspective, the results clarify the interplay of classical constraint surfaces and quantum fluctuations in semiclassical quantum gravity. Practically, the prescription is directly implementable in numerical studies of quantum cosmology, including models with nontrivial potential landscapes or anisotropic dynamics.

Prospective research directions include the extension of this formalism beyond minisuperspace—namely, to treat the full (field-theoretic) functional determinant for metric fluctuations in generic 2D and higher-dimensional dilaton gravity. This would require addressing gauge fixing and the corresponding ghost determinant. Moreover, connection with and subleading corrections to the Schwarzian theory in the AdS$_2$ boundary analysis of JT gravity remain to be fully elucidated. The approach is also promising for constrained systems in holography and for the study of non-perturbative quantum gravitational effects.

Conclusion

The detailed analytic evaluation of path integrals in minisuperspace JT gravity and Bianchi IX quantum cosmology using the Gelfand-Yaglom approach to functional determinants provides a controlled, systematic understanding of the constrained quantization procedure in gravitational models. The methodology ensures not only correct localization onto classical solutions but also the correct quantum prefactor by explicit determinant calculation. The prescriptions delivered here constitute a robust toolkit for future studies of quantum cosmology and semiclassical gravity in settings amenable to minisuperspace reduction.

---

Primary Reference:

"Functional Determinants for Constrained Path Integrals in Minisuperspace Jackiw-Teitelboim Gravity" (2512.21549)