Skip to content

Influence Functionals, Dissipation, and Noise

The influence functional explains why stochastic gravity contains both a noise kernel and a causal matter-response kernel. They are different components of one closed-time-path calculation: the imaginary quadratic form admits a stochastic representation when it is positive, while the real branch-mixing term changes the deterministic response. Neither component may be dropped merely because the other is known.

Required background. The Stress-Tensor Noise Kernel fixes the covariance normalization; In-In Effective Actions and Causal Mean Backreaction fixes causal variation; and System–Environment Splits and Influence Functionals supplies the general reduced-density-matrix construction.

Helpful background. Noise, Dissipation, and Fluctuation Relations separates symmetric and retarded kernels, while Schwinger–Keldysh Actions for Open QFT develops average/difference variables.

Start with a matter operator q^A\hat q_A coupled as Sint=JAqAS_{\mathrm{int}}=\int J^Aq_A; AA abbreviates indices and spacetime position. The matter state is specified on the initial Cauchy surface. After tracing out matter, the influence functional is

F[J+,J]=exp ⁣(iSIF[J+,J]).\mathcal F[J^+,J^-] =\exp\!\left(iS_{\mathrm{IF}}[J^+,J^-]\right).

Define

JΔ=J+J,Jc=12(J++J).J_\Delta=J^+-J^-, \qquad J_c=\frac12(J^++J^-).

Unitarity gives SIF[J,J]=0S_{\mathrm{IF}}[J,J]=0 and SIF[J+,J]=SIF[J,J+]S_{\mathrm{IF}}[J^+,J^-]=-S_{\mathrm{IF}}[J^-,J^+]^*. To quadratic order about J=0J=0, and suppressing local contact terms, these identities organize the action as

SIF(2)=JΔAq^A+ ⁣JΔADABretJcB+i2 ⁣JΔANABJΔB.\begin{aligned} S_{\mathrm{IF}}^{(2)} ={}&\int J_\Delta^A\langle \hat q_A\rangle +\int\!\int J_\Delta^A D^{\mathrm{ret}}_{AB}J_c^B\\ &+\frac{i}{2}\int\!\int J_\Delta^A N_{AB}J_\Delta^B . \end{aligned}

With the displayed plus source coupling,

DABret(x,y)=iθ(xy)[t^A(x),t^B(y)],NAB(x,y)=12{t^A(x),t^B(y)}.D^{\mathrm{ret}}_{AB}(x,y) =i\theta(x\succ y)\langle[\hat t_A(x),\hat t_B(y)]\rangle, \qquad N_{AB}(x,y)=\frac12\langle\{\hat t_A(x),\hat t_B(y)\}\rangle.

Changing the sign of the source coupling changes the response convention, but not the symmetric covariance. For a covariant metric perturbation, gμνgμν+hμνg_{\mu\nu}\mapsto g_{\mu\nu}+h_{\mu\nu}, the site stress convention gives δSm=12dV,hμνTμν\delta S_m=-\frac12\int\mathrm dV,h_{\mu\nu}T^{\mu\nu}; hence set Jμν=hμν/2J_{\mu\nu}=-h_{\mu\nu}/2 before varying. Keeping this factor is necessary to recover the Einstein equation with source 8πGTμν8\pi G\,T_{\mu\nu}.

The structural map emphasizes that DretD^{\mathrm{ret}} and NN rejoin only in the metric equation. Inspect the two branches independently: causality constrains one and positive type constrains the other.

The closed-time-path influence action separates a real retarded-response branch from an imaginary positive-noise branch before both enter metric dynamics

The same matter theory supplies dissipation and noise, but through different ordered correlators; their reunion in Einstein–Langevin dynamics preserves both causal response and covariance. The map is schematic and not to scale.

If NN is positive semidefinite on the chosen real test-function space, introduce a real Gaussian distribution ξA\xi_A with

E[ξA]=0,E[ξAξB]=NAB.\mathbb E[\xi_A]=0, \qquad \mathbb E[\xi_A\xi_B]=N_{AB}.

Then

exp ⁣[12JΔNJΔ]=Eξexp ⁣[iJΔξ].\exp\!\left[-\frac12 J_\Delta N J_\Delta\right] =\mathbb E_\xi \exp\!\left[iJ_\Delta\xi\right].

This identity represents the imaginary influence term. It does not assert that q^A\hat q_A has become a classical variable, and it reproduces only the retained cumulants. Zero modes of NN are harmless: the Gaussian measure is supported on the quotient by its null space. Negative directions are fatal to a real probabilistic representation.

Initial matter–metric correlations require extra boundary terms in the influence action. A factorized initial density matrix is a simplifying assumption, not a consequence of the formalism. Likewise, a quadratic influence action may be exact for a linear environment variable in a Gaussian state, but stress energy is quadratic in a free scalar; truncating its metric influence action at h2h^2 is still a second-cumulant approximation for the stress source.

First application: Gaussian matter to quadratic metric order

Section titled “First application: Gaussian matter to quadratic metric order”

Let gg be a solution of the mean semiclassical equation and take two nearby histories g+h±g+h^\pm. For a free scalar in a Gaussian Hadamard state, expand the matter closed-time-path effective action to second order in h±h^\pm. After the local gravitational counterterms have been fixed, its nonlocal part has the form above with qA=Tμνq_A=T^{\mu\nu} and JA=hμν/2J_A=-h_{\mu\nu}/2.

Varying the real part with respect to hΔh_\Delta and setting hΔ=0h_\Delta=0 produces

δTμν(x)=MdVyΠμνretρσ(x,y)hρσ(y),\delta\langle T_{\mu\nu}(x)\rangle =\int_M\mathrm dV_y\, \Pi^{\mathrm{ret}}_{\mu\nu}{}^{\rho\sigma}(x,y) h_{\rho\sigma}(y),

where Πret\Pi^{\mathrm{ret}} includes the retarded commutator and required local variations. Its support is in J(x)J^-(x), so the resulting equation is causal. The imaginary part yields the stress covariance NN. This closed-time-path derivation, including the real/imaginary split and stochastic representation, is developed in Martín and Verdaguer 1999, §§II–III, eqs. (2.7)–(3.13) and reviewed in Hu and Verdaguer 2008, §4.1, eqs. (20)–(27).

There are four checks.

  1. SIF[h,h]=0S_{\mathrm{IF}}[h,h]=0.
  2. The response kernel has retarded support.
  3. N(f,f)0N(f,f)\ge0 for every admissible real ff.
  4. Local ultraviolet terms match the same counterterms used in the mean equation.

For the adversarial test, alter a proposed imaginary kernel so that N(f,f)=λ<0N(f,f)=-\lambda<0 for some ff. Along JΔ=sfJ_\Delta=sf, the supposed characteristic functional becomes exp(+s2λ/2)\exp(+s^2\lambda/2), whose modulus exceeds one for s0s\ne0. No normalized real probability distribution has such a characteristic function. The proposed stochastic source must be rejected even if the deterministic response is causal.

The chapter comparison table licenses this derivation for a specified initial state, a controlled expansion in metric perturbations, renormalized local terms, and a positive smeared noise kernel. Nonstationarity does not invalidate the influence functional; it only prevents the equilibrium spectral simplification treated next. Strong perturbations and important higher stress cumulants require a nonquadratic influence action.

The failure map shows why missing dissipation is separate from an invalid covariance. Either defect breaks the claimed reduced dynamics for a different reason.

A negative imaginary quadratic form forbids a real Gaussian source, while omitted retarded response separately breaks causal backreaction

Noise positivity and causal response are independent acceptance tests for a quadratic influence action; satisfying one does not repair failure of the other. The map is schematic and not to scale.