Skip to content

Stochastic Gravity and Metric Fluctuations

Stochastic gravity asks a deliberately narrower question than quantum gravity: given a quantum matter state on a self-consistent semiclassical background, which symmetrized, suitably smeared metric fluctuations follow from the stress-tensor correlation hierarchy? The answer proceeds from a renormalized mean equation to a noise kernel, a causal response problem, and finally a statement whose gauge, ordering, perturbative order, and omitted information are explicit.

Helpful background. Stress Bi-Tensors and Noise-Kernel Input supplies the renormalized separated-point stress correlator; System–Environment Splits and Influence Functionals supplies the reduced-dynamics construction; and In-In Effective Actions and Causal Mean Backreaction supplies the causal mean-response equation.

From the mean equation to metric covariance

Section titled “From the mean equation to metric covariance”

Let gμνg_{\mu\nu} solve the renormalized semiclassical equation

Eμν[g]=8πGT^μν ⁣g,ω,\mathcal E_{\mu\nu}[g] =8\pi G\,\langle \hat T_{\mu\nu}\rangle_{\!g,\omega},

where Eμν\mathcal E_{\mu\nu} includes the chosen local gravitational counterterms. Define the centered stress distribution and its symmetrized connected two-point function by

t^μν=T^μνT^μν,Nμνρσ(x,y)=12{t^μν(x),t^ρσ(y)}.\hat t_{\mu\nu} =\hat T_{\mu\nu}-\langle\hat T_{\mu\nu}\rangle, \qquad N_{\mu\nu\rho'\sigma'}(x,y) =\frac12\left\langle \left\{\hat t_{\mu\nu}(x),\hat t_{\rho'\sigma'}(y)\right\} \right\rangle .

This normalization is used throughout the chapter. NN is a bi-distribution, not a pointwise variance. Its unambiguous probabilistic statement is the positivity of N(f,f)N(f,f) for admissible compactly supported symmetric test tensors fμνf^{\mu\nu}. A Gaussian stochastic tensor ξμν\xi_{\mu\nu} may represent this covariance,

E[ξμν(x)]=0,E[ξμν(x)ξρσ(y)]=Nμνρσ(x,y),\mathbb E[\xi_{\mu\nu}(x)]=0, \qquad \mathbb E[\xi_{\mu\nu}(x)\xi_{\rho'\sigma'}(y)] =N_{\mu\nu\rho'\sigma'}(x,y),

but that representation does not turn the quantum stress operator into a fundamental classical random field. With the deterministic linearized operator L\mathcal L defined to include the matter response, our Einstein–Langevin normalization is

Lμναβhαβ=8πGξμν.\mathcal L_{\mu\nu}{}^{\alpha\beta}h_{\alpha\beta} =8\pi G\,\xi_{\mu\nu}.

Consequently every induced two-point function carries (8πG)2(8\pi G)^2. Absorbing 8πG8\pi G into the random source is allowed only if its covariance is changed to (8πG)2N(8\pi G)^2N at the same time. These definitions agree with the standard stochastic-gravity construction in Hu and Verdaguer 2008, §§3.2, 4.1, eqs. (11)–(12), (22)–(27).

The first map shows the scientific dependency to inspect: the noise kernel and the causal response kernel are distinct inputs, while gauge reduction and approximation order constrain the output.

Stress bi-tensors feed separate noise and response kernels before gauge-invariant metric observables and approximation tests

Stress correlations enter a causal metric-response problem only after their distributional domain, stochastic representation, and response kernel have been fixed; large-N matching and higher cumulants then determine what may be inferred. The map is schematic and not to scale.

Read the leaves in manifest order when deriving the framework, or enter at the first unresolved row of the table below.

  1. The Stress-Tensor Noise Kernel defines the centered symmetrized covariance and its positivity after smearing.
  2. Renormalizing Stress Fluctuations and Coincident Limits separates a well-defined bi-distribution from an inadmissible pointwise variance.
  3. Influence Functionals, Dissipation, and Noise derives the causal and stochastic kernels from the same closed-time-path functional.
  4. Fluctuation–Dissipation Relations in Stationary States states the stationarity and KMS hypotheses required for a spectral relation.
  5. Einstein–Langevin Dynamics solves the linear stochastic response with the explicit 8πG8\pi G normalization.
  6. Intrinsic and Induced Metric Fluctuations separates propagated initial metric uncertainty from matter-induced covariance.
  7. Gauge-Invariant Stochastic Observables constructs quantities that survive a change of metric gauge.
  8. Large-N Quantum–Stochastic Correspondence identifies the controlled symmetrized quantum correlator reproduced at leading nontrivial order.
  9. Higher Cumulants and Non-Gaussian Noise tests Gaussian closure against the connected stress hierarchy.
  10. Validity, Decoherence, and What Stochastic Gravity Does Not Capture limits claims about classicality, information, and quantum geometry.

The rows are approximation layers, not interchangeable descriptions. In particular, matching a covariance is weaker than matching a quantum state.

LayerMatter inputMetric output and orderingGauge and distributional domainLicensed conclusionDecisive failure or handoff
Semiclassical meanRenormalized Tμν\langle T_{\mu\nu}\rangleMean background gμνg_{\mu\nu}Covariant mean equation; local finite terms fixedSelf-consistent mean geometry within the stated EFTStress fluctuations, unstable response, or large metric variance require a stronger layer
Linear responseRetarded stress commutator plus contact termsCausal susceptibility of hμνh_{\mu\nu}Constraints imposed; pure gauge removedStability and response to a prescribed perturbationGrowing physical homogeneous modes invalidate perturbation about the background
Gaussian stochasticN=12{t,t}N=\frac12\langle\{t,t\}\rangleSymmetrized induced covarianceDoubly smeared or otherwise distributionally extended; observable gauge invariantSecond moments generated by the Einstein–Langevin equationCoincident unsmeared products, nonpositive proposed covariance, or important higher cumulants
Leading large-N quantumNN identical matter fields with NGNG fixedLeading nontrivial symmetrized metric two-point functionOne saddle, controlled initial state, gauge-invariant linear observablesEquality with the corresponding quantum anticommutator at the controlled orderMetric commutators, out-of-time-order observables, graviton loops, or nonuniform 1/N1/N limit
Non-Gaussian stochasticConnected stress cumulants retained to declared orderSelected higher symmetrized metric statisticsSmeared cumulants; existence of a probability representation checkedCorrections to skewness, tails, or other declared statisticsA truncated characteristic functional that is not positive, or uncontrolled cumulant hierarchy
Quantum-gravity descriptionQuantum matter and metric degrees of freedomFull operator algebra or quantum stateDiffeomorphism-invariant observable and UV completion specifiedClaims about unsymmetrized observables, entanglement, or nonlinear geometryHand off when no low-energy, large-N, weak-field, or open-system reduction controls the requested observable

The failure map should therefore be read from left to right: each red flag identifies the assumption that must be repaired, not a universal verdict on semiclassical gravity.

Unsmeared coincidence, gauge dependence, missing dissipation, Gaussian overreach, and full-state claims each force a specific downgrade

Five distinct failures require five distinct responses: smear or extend the distribution, construct a gauge-invariant observable, restore causal response, retain higher cumulants, or hand the full-state question to quantum gravity. The map is schematic and not to scale.

A result leaving this chapter should name the background and matter state; the stress renormalization prescription; the test tensors or sampling scale; the noise and retarded kernels; the initial metric covariance and any matter–metric cross correlation; the gauge-invariant observable; the powers of GG, \hbar, and 1/N1/N retained; and the ordering of the quantum correlator being approximated. Without those data, “metric fluctuations” is not a reproducible observable.

Generic open-system constructions remain with Thermal and Nonequilibrium QFT. Full metric operator algebras, nonlinear spacetime superpositions, and complete quantum-gravity states lie beyond the chapter. This chapter supplies a controlled bridge only for the observables and orders stated in the table.