Semiclassical Regime, Expansion, and Validity

Semiclassical gravity is useful only when “quantum matter on a classical geometry” is the conclusion of a controlled approximation, not an unexamined slogan. This chapter builds a practical hierarchy of tests: identify the expansion parameter, distinguish means from fluctuations, separate state dependence from finite renormalization, and state the observable criterion that ends the approximation. Its central lesson is that no single curvature scalar or stress-tensor ratio decides validity in every state and at every resolution.

Helpful background. Quantum Fields in Curved Spacetime supplies states and renormalized observables, Einstein Equations supplies the mean geometric dynamics, and Black-Hole Geometry and Mechanics supplies the horizon distinctions used in applications.

Data needed for a semiclassical calculation

Every calculation in this chapter can be summarized by the tuple

$$\mathcal D=(g_{\mu\nu},\,\mathcal F,\,\rho,\,\mathcal R,\,c_i(\mu),\, \text{boundary data},\,\epsilon,\,Q),$$

where $\mathcal F$ is the field content, $\rho$ the quantum state, $\mathcal R$ the regulator and subtraction prescription, $c_i(\mu)$ the renormalized gravitational couplings, $\epsilon$ the declared approximation parameters, and $Q$ the observable whose error is being bounded. Omitting any of these can turn a correct formula into an ambiguous prediction.

Three distinctions recur. A fixed-background calculation determines quantum observables on a prescribed $g_{\mu\nu}$; a mean-field calculation solves for $g_{\mu\nu}$ using $\langle T_{\mu\nu}\rangle$; stochastic gravity also retains the leading connected stress fluctuations. Likewise, low curvature, slow evolution, and large species number are different expansions. Finally, a new state is physical data, whereas a finite local scheme change must be compensated by the gravitational couplings.

The shared large-$N$ derivation and the separation of intrinsic from matter-induced metric fluctuations are given in Hu and Verdaguer 2008, §§ 3.2–3.3.1.

Six steps through the chapter

1. The Semiclassical Expansion derives the loop, curvature, and species countings that can make a mean metric classical while retaining quantum matter backreaction.
2. Large-N and Mean-Field Limits shows why an extensive mean source remains order one when $NG$ is fixed but the induced rms metric source falls as $N^{-1/2}$.
3. Curvature, Frequency, and Adiabatic Hierarchies separates local derivative control from state frequencies, observer scales, and secular evolution.
4. Stress–Energy Fluctuation Diagnostics replaces an ill-defined pointwise variance with smeared and response-weighted observables.
5. State and Renormalization Dependence explains which stress-tensor changes are physical and which are absorbed into finite local gravitational couplings.
6. Semiclassical Breakdown and Quantum Gravity combines these tests to determine which observables remain calculable, using results available at the stated date.

The order matters pedagogically: a fluctuation ratio has no meaning until its counting and resolution are fixed, and a breakdown claim has no meaning until state and scheme changes have been separated.

Reader routes

For a first encounter, read steps 1, 3, and 6. That route answers which parameter is small, what local and temporal hierarchies it controls, and how to stop before an extrapolation becomes a quantum-gravity claim.

For backreaction or stability work, read steps 1, 2, 4, and 5 before moving to linear response. This route distinguishes the extensive mean from the connected noise kernel and prevents a finite counterterm from being mistaken for state-dependent flux.

For black-hole applications, read the whole chapter but carry forward four entries explicitly: the state, the horizon-adapted observable, the proper frequency and curvature hierarchy, and the response or fluctuation tolerance. The fixed-background Hawking derivation itself remains in Quantum Fields in Curved Spacetime. Fine-grained recovery belongs to Black-Hole Information, and microscopic spacetime dynamics belongs to Quantum Gravity.

Recurring checks and misconceptions

The fastest consistency checks are dimensions, covariant conservation, a classical or flat limit, and stability under an allowed finite renormalization. A stronger independent test changes method: for example, compare local EFT power counting with a causal response calculation, or compare a stress variance with its propagated metric correlator.

Three misconceptions are especially costly. Small $\langle T_{\mu\nu}\rangle$ does not imply small fluctuations. Large $N$ does not suppress perfectly correlated species. Low curvature does not bound the frequency content of the state. Each mistake erases one axis of the controlled-data record.

Review the chapter

Consider $N$ identical fields with $G=\bar G/N$ on a slowly evolving geometry. Their state has characteristic proper frequency $\Omega$, the curvature radius is $L$, and cross-species covariance is $C_N\sim N^{-1}$. Give a minimal set of conditions for a deterministic mean-field prediction of a smeared observable to be credible.

Solution

Require $(\Lambda_{\mathrm{EFT}}L)^{-2}\ll1$ and $\Omega/\Lambda_{\mathrm{EFT}}\ll1$; the geometric ratio is $\ell_{\mathrm P}^2/L^2$ only when the cutoff is Planckian. If an adiabatic approximation is used, also require a parameter such as $\lvert\dot\Omega/\Omega^2\rvert\ll1$ over the claimed time interval. With $C_N\sim N^{-1}$, the total connected variance remains $O(N)$, so the induced rms metric source is $O(N^{-1/2})$ at fixed $\bar G$; it must also lie below the observable tolerance after bounded retarded propagation. The state must be admissible, the renormalized couplings consistently scaled and fixed, and the first omitted local, loop, and secular terms small. Nonadiabatic evolution is possible, but it must then be calculated without an unjustified adiabatic truncation.

What this chapter enables

After an appropriate route, a reader can state the parameter that suppresses metric quantum fluctuations, diagnose whether a local or adiabatic approximation is being used, construct a finite smeared fluctuation measure, distinguish a state change from a scheme change, and give an observable-specific breakdown condition. The next chapter uses exactly this record to formulate the renormalized semiclassical Einstein equation; the following chapter tests it with causal response and stochastic fluctuations.

References

• Anderson, P. R., Molina-París, C., and Mottola, E. 2003. “Linear Response, Validity of Semi-Classical Gravity, and the Stability of Flat Space.” Physical Review D 67, 024026. Open PDF.
• Hu, B. L., and Verdaguer, E. 2008. “Stochastic Gravity: Theory and Applications.” Living Reviews in Relativity 11, 3. DOI.