Mean Semiclassical Backreaction

Semiclassical gravity couples a classical geometry to the renormalized mean stress of quantum matter. Solving that system requires evolving the quantum state and geometry together while checking constraints, stability, and the approximation’s accuracy.

Enter this chapter

Begin with The Semiclassical Einstein Equation to identify the renormalized source and couplings in the semiclassical Einstein equation.

Helpful background. Conservation, Local Covariance, and the Backreaction Source and Effective-Action Variation, Stress Tensors, and Consistency Checks develop the definitions used by the chapter’s opening pages.

Topics

1. The Semiclassical Einstein Equation — What precisely is asserted by the semiclassical Einstein equation when a renormalized matter stress expectation value sources a classical metric within a controlled approximation?
2. Coupled State–Geometry Initial Data — Which geometric, quantum-state, constraint, and renormalization data constitute admissible initial conditions for a coupled semiclassical state–geometry evolution problem?
3. In-In Effective Actions and Causal Mean Backreaction — How does a closed-time-path effective action produce real, retarded equations for mean backreaction from an initial density matrix rather than in-out transition amplitudes?
4. Constraints, Conservation, and the Bianchi Identity — How do diffeomorphism Ward identities, stress conservation, and the Bianchi identity propagate semiclassical constraints under nonlocal and higher-derivative corrections?
5. Large-N, Loop, and ℏ Approximation Hierarchies — Which large-N, loop, and ℏ scalings justify a mean semiclassical metric equation, and which matter or metric fluctuations remain at the same nominal order?
6. Self-Consistent State–Geometry Solutions — What makes a state–geometry configuration genuinely self-consistent rather than a quantum stress calculation performed on a background that never satisfies its sourced equation?
7. Quantum-State Evolution on Backreacted Backgrounds — How is a quantum state propagated while its renormalized expectation value changes the geometry on which the field algebra and evolution are themselves defined?
8. Higher-Derivative Semiclassical Initial-Value Problems — How do curvature-squared counterterms alter the differential order, required initial data, characteristic structure, and predictivity of semiclassical mean equations?
9. Order Reduction and Runaway Prescriptions — When is perturbative order reduction a controlled EFT prescription for eliminating runaway branches, and how does it differ from imposing future boundary conditions?
10. Linear Response and Semiclassical Stability — Which retarded linear-response criterion diagnoses stability of a self-consistent semiclassical solution without mistaking gauge modes, transients, or EFT runaways for physical instabilities?
11. Gauge-Invariant Response Kernels — How are metric response kernels projected onto gauge-invariant observables while preserving Ward identities, causal support, constraints, and renormalization consistency?
12. Cosmological Backreaction Benchmarks — Which analytically controlled cosmological examples genuinely test mean semiclassical backreaction, including state choice, conservation, renormalization, and approximation error?
13. Black-Hole Evaporation and Mean Backreaction — What can a mean semiclassical treatment consistently infer about an evaporating black-hole geometry from renormalized fluxes before adiabaticity or curvature control fails?
14. Numerical Self-Consistency and Error Budgets — How should a numerical semiclassical solution separate discretization, state truncation, renormalization, iteration, constraint, and EFT errors into an auditable budget?

How the ideas fit together

The metric determines matter propagation, and the resulting stress expectation feeds back into the metric. Covariant conservation of that source must agree with the gravitational constraints, while causal response fixes how perturbations evolve Hu and Verdaguer 2020, chs. 3–5.

A fixed-background stress tensor is therefore an input to a self-consistency problem, not its solution. Higher-curvature terms can also introduce apparent extra solutions when a truncated expansion is treated exactly. Order reduction and stability tests must respect the retained accuracy; a small mean stress alone does not bound its fluctuations.

The comparison below separates the assumptions and tests needed for these different conclusions.

Domain and failure conditions

Strategy or task	Source and state–geometry data	Causality and constraints	Loop, large-N, and higher-derivative treatment	Stability and observable	Numerical uncertainty	Licensed result and breakdown signal
Fixed-background stress calculation	Hadamard state on prescribed $g$; finite $(\Lambda,G,a,b)$ declared	Conservation checked on that background; no metric evolution	Matter loops at stated order; no claim of solved feedback	Local $\langle T_{\mu\nu}\rangle_{\rm ren}$ or flux	Mode, subtraction, and discretization errors	A source candidate only. It becomes backreaction only after the sourced geometry and state are solved together.
Local semiclassical equation	Compatible Cauchy data for $g$ and state	In-in expectation and Bianchi-compatible source	Order in $\hbar$ and curvature expansion stated	Mean metric and local stress	Equation and constraint residuals	Mean evolution while curvature, state regularity, and truncation ratios remain controlled.
Nonlocal closed-time-path response	Initial density matrix and doubled metric histories	Retarded support plus initial-state terms; Ward identities on both branches	Matter-loop kernel at declared order	Mean memory and dissipation response	Kernel quadrature and memory-tail error	Causal expectation-value equation. A Feynman in-out kernel downgrades it to a transition-amplitude equation.
Large-N matter saddle	$N$ species and scaling of $G_N$ fixed	Same causal and constraint tests as finite $N$	$NG_N$ fixed; connected stress and metric corrections ordered in $1/N$	Mean saddle and response	Sampling or mode errors separate from $1/N$ error	Controlled where connected correlators remain uniformly subleading; secular or critical growth ends the counting.
Unreduced curvature-squared equation	Extra initial derivatives specified	Constraints derived for the full higher-order system	Exact treatment retains high-frequency branches	Mathematical solutions of the truncated differential equation	Stiff-solver and branch-resolution error	Not automatically an EFT prediction; excitation near the cutoff requires a completion or a different prescription.
Order-reduced EFT equation	Only lower-order initial data admitted	Reduction performed covariantly so constraints remain consistent	Higher derivatives replaced with lower-order equations through fixed order	Low-frequency physical branch	Truncation error $O[(L_{\rm cut}/L)^{p+1}]$ plus numerical error	Predicts the perturbative branch; it excludes, rather than approximates, data dominated by a discarded runaway.
Retarded linear response	Perturbations of both state and geometry specified	Transverse retarded kernel; pure gauge and constraints projected out	Above-cutoff poles removed according to declared EFT prescription	Growth of gauge-invariant smeared observables	Pole-location, time-window, and discretization errors	Linear stability only within amplitude, frequency, and duration bounds; it does not determine nonlinear endpoints or noise.
Homogeneous cosmology	Adiabatic/Hadamard initial state and FLRW data	Continuity equation propagates the Friedmann constraint	Adiabatic order and finite curvature couplings matched	$H(t)$, $\rho_{\rm ren}$, and pressure	Momentum cutoff, initial-time, subtraction, and ODE errors	Mean expansion history over a scale-separated interval; state dependence and infrared secular growth require separate control.
Slowly evaporating black hole	Collapse/Unruh-like state and spherical boundary data	Outgoing luminosity matched to ingoing negative energy and local conservation	Fixed-background greybody input iterated only within adiabatic order	$M(u)$ and renormalized flux	Partial waves, state approximation, and evolution error	Quasistatic mass loss while $\lvert\dot\kappa\rvert/\kappa^2\ll1$ and curvature is subcutoff; no endpoint claim after failure.
Numerical self-consistent solution	Same state, couplings, boundary conditions, and geometry at every iterate	Independent field, constraint, conservation, and response residuals	Analytic truncation kept separate from discretization	Declared local or asymptotic observable	Spectral, mesh, iteration, subtraction, state, and EFT components	Resolved result only when every relevant error converges and the total uncertainty is smaller than the claimed effect.

Where to go next

Continue to Stochastic Gravity and Metric Fluctuations to construct a smeared covariance of stress fluctuations.

References

• Hu, Bei-Lok, and Enric Verdaguer. Semiclassical and Stochastic Gravity: Quantum Field Effects on Curved Spacetime. Cambridge: Cambridge University Press, 2020. doi:10.1017/9780511667497.