---
title: Fully Gravitational Hartle–Hawking Wave Function
url: https://www.emergentmind.com/topics/fully-gravitational-hartle-hawking-wave-function
type: topic
---

# Fully Gravitational Hartle–Hawking Wave Function

The fully gravitational Hartle–Hawking wave function is a foundational object in quantum cosmology and quantum gravity, defined as a gravitational path integral over all compact spacetime geometries that induce specified boundary data on a final spatial hypersurface. It provides a semiclassical description of the “no boundary” quantum state of the universe, where the spacetime is required to be regular and without any initial boundary other than the one on which the wave function is evaluated. This construction, originally formulated for de Sitter (dS) cosmology, has far-reaching generalizations and applications, including black hole thermodynamics, causal set quantum gravity, AdS/CFT, and holographic complexity.

## 1. Defining the Fully Gravitational Hartle–Hawking Wave Function

The standard formulation defines the Hartle–Hawking (HH) wave function as a Euclidean gravitational path integral over all four-geometries \( g_{\mu\nu} \) and matter fields \( \Phi \) that induce a given three-metric \( h_{ij} \) and field configuration \( \phi \) on a final hypersurface \(\Sigma\):

\[
\Psi[h_{ij}, \phi] = \int_{\substack{g|_{\partial M} = h \\ \Phi|_{\partial M} = \phi}} \mathcal{D}g_{\mu\nu}\,\mathcal{D}\Phi\, \exp(-S_E[g_{\mu\nu}, \Phi])
\]

with the full Euclidean action

\[
S_E[g, \Phi] = -\frac{1}{16\pi G} \int_M d^4x\,\sqrt{g}\,(R-2\Lambda) + \int_M d^4x\,\sqrt{g}\Big[\tfrac{1}{2} g^{\mu\nu}\partial_\mu\Phi\,\partial_\nu\Phi + V(\Phi)\Big]
\]

where \( \Lambda \) is the cosmological constant and \( V(\Phi) \) the potential. The integral is over all metrics and matter configurations that are regular (“no-boundary” at the interior) and match the prescribed data on \(\Sigma\) [1708.07633, 1703.01519].

For AdS, hyperbolic, or open-slice topologies, the formulation generalizes: the path integral may run over geometries with spatial boundaries or spacetime boundaries beyond the “final” slice, and may require integrating over induced boundary metrics where appropriate [2605.13970].

## 2. Semiclassical Evaluation: Instantons and Fluctuations

In the semiclassical or saddle-point approximation, the path integral is dominated by regular solutions \((\bar{g}_{\mu\nu}, \bar{\Phi})\) of the Euclidean field equations matching the final data—i.e., compact instantons. For example, in isotropic dS cosmology these are four-sphere metrics with regularity at the “South Pole” (\(a(0) = 0\)) and given size/scalar field at the "equator" (\(\Sigma\)).

Perturbative inclusion of quantum fluctuations proceeds by expanding metric and matter fields in harmonics about this instanton and retaining quadratic (Gaussian) order in each mode. For each scalar or tensor mode, the wavefunctional becomes

\[
\Psi[\{f_n\}] \propto \prod_n \exp\left( -\tfrac{1}{2} \alpha_n f_n^2 \right)
\]
where \( \alpha_n = a^3 \dot{\tilde{f}}_n/\tilde{f}_n \) encodes the effect of mode propagation on the background geometry [1708.07633].

No-boundary conditions enforce regularity at the interior, uniquely selecting the Bunch–Davies/Euclidean vacuum for fluctuations. The resulting wavefunction is a product of the background exponential and a Gaussian for each perturbation mode.

## 3. Boundary Conditions and Constraint Implementation

Imposing regularity at the “no-boundary” (e.g., closure of the geometry at the South Pole) is essential. Concretely, for the scale factor and scalar field, this yields:

\[
a(0) = 0, \quad a'(0) = 1, \quad \Phi'(0) = 0
\]
and for perturbative modes,
\[
f_n(0) = 0, \quad f'_n(0) = 0
\]
ensuring that only regular solutions contribute [1708.07633].

The full wave functional constructed in this way exactly satisfies the Wheeler–DeWitt constraints nonperturbatively. Integrating over the lapse and shift in the path integral enforces
\[
\hat{H}(x)\Psi[h] = 0, \qquad \hat{H}_i(x)\Psi[h] = 0
\]
where \( \hat{H}(x) \) is the Hamiltonian constraint and \( \hat{H}_i(x) \) the diffeomorphism constraint [1703.01519]. This guarantees gauge invariance and nonperturbative diffeomorphism invariance.

## 4. Physical and Observational Implications

### Power Spectra and Large-Scale CMB Anomalies

From the perturbative sector, the two-point function for each mode is
\[
\langle f_n^2 \rangle = \frac{1}{2\alpha_n}
\]
which yields a dimensionless power spectrum \( P(n) \) for fluctuations:
\[
P(n) = \frac{3 n^2}{4\pi} \frac{\tilde{f}_n}{2 a^3 \dot{\tilde{f}}_n}\Big|_{\text{horizon crossing}}
\]
This construction explains the near scale-invariance of the primordial power spectrum at small scales. Importantly, for small but nonzero inflaton mass, a suppression of \( P(n) \) at the lowest modes arises, potentially accounting for observed low-\( \ell \) CMB suppression [1708.07633].

### Generalizations: Black Holes, Topologies, AdS, and Non-Isotropic Models

The path integral sum-over-geometries admits multiple saddle points representing (e.g.) Schwarzschild–de Sitter black holes (positive vs negative mass), Nariai geometries, or even higher-genus topologies [1412.3728, 2504.00900, 1904.11602]. The fully gravitational HH state provides a real, normalizable measure over these histories, discarding (exponentially suppressing) “bad” saddles such as negative-mass black holes.

The approach also generalizes to open or AdS spatial slices, but with subtleties regarding the treatment of spatial or spacetime boundaries. In fully dynamical cases, integrating over boundary metrics may introduce one-loop phases that encapsulate the topology and boundary conditions [2605.13970].

## 5. Mathematical and Quantum-Gravity Structure

### Path Integral and Wavefunctional Structure

- **General form in metric/connection variables**: The fully gravitational HH state may be formally represented as the functional Fourier transform of a solution (e.g., the Chern–Simons/Kodama state) to the Hamiltonian constraint, integrating over the full configuration space (including potentially nontrivial torsion if not gauge-fixed away) [2012.08603].

- **Constraint satisfaction**: In any variable set (ADM, Ashtekar-Barbero, etc.), a correct formulation must ensure formal annihilation by all gravitational constraints. The naive path integral in Ashtekar-Barbero variables fails, but a Lorentzian weight prescription can restore formal constraint satisfaction [1608.07971].

- **Normalizability and inner product**: In Einstein–Cartan theory, careful treatment of quantum torsion regularizes the HH wavefunction (“beam” solutions), yielding genuine \( L^2 \)-normalizable states, as opposed to the conventional δ-normalizability of traditional pure-phase HH/Chern–Simons wavefunctions [2012.07358].

## 6. Applications Across Quantum Gravity Frameworks

### Table: Perspectives on the Fully Gravitational Hartle–Hawking Wave Function

| Framework/Model                                 | Key Ingredients                      | Role of Fully Gravitational HH State                                    |
|-------------------------------------------------|--------------------------------------|-------------------------------------------------------------------------|
| Euclidean Quantum Gravity                       | Path integral, instanton saddles     | Implements no-boundary proposal; background + perturbations             |
| Causal Set Theory (2D CST)                      | Discrete sum over originary causets  | No-boundary sum; dominance of crystalline or continuum-like phases      |
| AdS/CFT & Holography                            | Fluctuating vs. fixed boundary metrics| Wavefunction as path integral; Neumann vs Dirichlet boundary conditions |
| SYK/JT Gravity                                  | Chord state amplitudes               | HH state as disk amplitude; gluing gives matter correlators             |
| Minisuperspace, Bianchi IX                      | Multiple scale factors, topologies   | Explicit integrals over lapse, sum over instantons, normalizable flux   |

**Expanded**:
- The **fully gravitational HH wave function is analytic and normalizable** in the Bianchi IX model, suppresses large anisotropy, and recovers the isotropic dS result in the appropriate limit [1904.11602].
- In **2D Causal Set Theory**, the HH sum suggests nonperturbative mechanisms for early-universe homogeneity and connects discrete and continuum path-integral formulations [1410.8775].
- In **AdS/CFT**, whether one integrates or fixes boundary metric data controls the presence of “i-phase” ambiguities in the partition function and is closely related to the dynamical nature of the gravity path integral [2605.13970].
- In double-scaled SYK/JT, HH amplitudes correspond to exact chord transfer amplitudes, and matter correlators are obtained by “gluing” such amplitudes with appropriate weights [2212.09213].
- In black hole settings, fully gravitational microcanonical HH wavefunctions are constructed by imposing mixed boundary conditions at internal slices, leading to expressions like \( \Psi(E, J) = e^{\frac{1}{2} S(E, J) - \frac{1}{2} \beta E} \) [2309.05041].

## 7. Open Directions and Theoretical Significance

The fully gravitational Hartle–Hawking wave function is at the core of diverse interdisciplinary topics:

- **Topological/Boundary Sensitivity**: The path integral prescription is highly sensitive to both bulk topology and boundary manifold—distinct treatment of boundary data (e.g., dynamical vs fixed) shifts the quantum phase structure and, at one-loop, may induce nontrivial real or imaginary normalization factors [2605.13970, 2504.00900].
- **Connection to Observables**: The HH state predicts power spectra anomalies (e.g., large-scale CMB suppression) sensitive to inflaton mass parameters, potentially connecting quantum cosmology with upcoming observational data [1708.07633].
- **Gauge/Operator Map and Bulk Reconstruction**: In AdS/CFT correspondence, the nonperturbative constraint structure of the fully gravitational HH wavefunctional ensures linearity and prohibits naive definitions of non-gauge-invariant operators (e.g., “topology” or “behind-horizon” fields), resolving paradoxes in bulk reconstruction [1703.01519].
- **Extensions**: Generalizations to loop quantum gravity, superspace, or to fixed-energy microcanonical ensembles indicate the versatility and centrality of the fully gravitational HH paradigm in candidate quantum gravity frameworks [2309.05041, 2012.08603, 1608.07971].

The fully gravitational Hartle–Hawking wave function thus not only implements the no-boundary quantum cosmological initial-state proposal, but constitutes a mathematically precise and physically predictive quantum state, encoding dynamical, topological, and quantum-gravitational structure across a range of theories [1708.07633, 1703.01519, 1412.3728, 2212.09213, 2605.13970, 2012.08603].

Source: https://www.emergentmind.com/topics/fully-gravitational-hartle-hawking-wave-function