Adiabatic States, WKB Order, and Regularity

Adiabatic states use a high-frequency WKB expansion to choose mode data on a time-dependent background. Their order measures ultraviolet approximation or Sobolev regularity, not small particle number and not a renormalization prescription. Finite order can be adequate for a declared observable or local comparison, while the full Hadamard condition requires control to all Sobolev orders.

Required background. Covariant Scalar Fields and Curvature Coupling supplies the mode equation and the signed coupling $P_\xi=\Box+m^2+\xi R$. Vacuum Ambiguity, Time Flow, and Observer Dependence explains why an instantaneous frequency is extra structure. WKB, Eikonal Expansions, and Turning Points supplies the asymptotic method.

Helpful background. Bogoliubov Transformations and Unitary Implementability interprets changes of mode data. Asymptotic Scales, Remainders, and Uniformity clarifies why truncation order needs a regime.

WKB data in an expanding spacetime

For a spatially homogeneous metric, rescale the scalar mode so that it obeys

$$\chi_k''(\eta)+\Omega_k^2(\eta)\chi_k(\eta)=0,$$

where $\Omega_k^2$ contains $k^2$, the mass term, curvature coupling, and terms from the scale factor. The Wronskian normalization is chosen to reproduce the canonical commutator. The WKB ansatz

$$\chi_k^{[n]}(\eta)= \frac{1}{\sqrt{2W_k^{[n]}(\eta)}} \exp\!\left[-i\int^\eta W_k^{[n]}(u)\,\mathrm du\right]$$

solves the mode equation if $W_k$ satisfies

$$W_k^2=\Omega_k^2-\frac12\frac{W_k''}{W_k} +\frac34\left(\frac{W_k'}{W_k}\right)^2.$$

Starting with $W_k^{[0]}=\Omega_k$, one iterates this relation and truncates according to the chosen derivative-counting convention. Initial data from $W_k^{[n]}$ define exact modes after they are evolved by the exact equation; the truncated WKB expression itself is only an asymptotic approximation.

The construction requires $W_k^{[n]}>0$ on the initialization surface and uniform high-$k$ control. Turning points, tachyonic bands, and zero modes need separate treatment. The site’s signed curvature coupling has conformal value $\xi=-1/6$ in four dimensions; sources using $P=\Box+m^2-\xi_cR$ instead quote $\xi_c=+1/6$.

What “order” controls

Iteration count, derivative order, and microlocal adiabatic order are not universally normalized, so a calculation must state its definition. A convention-independent formulation uses Sobolev wavefront sets: a quasifree state is adiabatic of order $N$ when

$$\operatorname{WF}^{\prime s}(\omega_2)\subset C^+ \qquad\text{for every }s<N+\frac32.$$

If $\omega_H$ is Hadamard, then

$$\operatorname{WF}^{s}(\omega_2-\omega_{H,2})=\varnothing \qquad\text{for every }s<N+\frac32.$$

These are the precise regularity statements of Junker and Schrohe Junker and Schrohe 2002, Definition 3.2 and Lemma 3.3. Every Hadamard state is adiabatic of every finite order, but a state of one fixed finite order need not be Hadamard. Observable-dependent differentiability thresholds must be derived from Sobolev embedding rather than guessed from the label.

First application: second and fourth order

On a smooth FLRW background, compute $W_k^{[2]}$ and $W_k^{[4]}$ using one stated derivative-counting convention. Let the exact evolved mode be expanded in a normalized WKB reference pair as

$$\chi_k=\alpha_k^{[n]}\chi_k^{[n]} +\beta_k^{[n]}\overline{\chi_k^{[n]}}, \qquad W\!\left(\chi_k^{[n]},\overline{\chi_k^{[n]}}\right)=i.$$

Then the coefficient is

$$\beta_k^{[n]}=-i\left( \chi_k^{[n]}\chi_k' -\chi_k^{[n]\prime}\chi_k \right).$$

Both mode families must use the same Wronskian convention. Fourth-order data cancel more terms in the large-$k$ asymptotic mismatch than second-order data. The evidence to report is the fitted high-$k$ falloff of $|\beta_k^{[n]}|$, stability as the fitting window moves, and failures near turning points—not merely a state label.

This comparison establishes improved ultraviolet agreement. It does not prove that either finite-order state is a unique vacuum, and it does not license subtracting its entire two-point function from an observable.

State construction is not adiabatic subtraction

Adiabatic states specify initial covariance data. Adiabatic subtraction is a prescription that removes a finite set of local high-momentum terms from a composite observable. The original stress-tensor construction makes that observable-specific role explicit Parker and Fulling 1974, §§ III–IV, pp. 347–353. The order needed for a subtraction is determined by the observable and dimension; it is not inherited automatically from the order used to name a state.

The adversarial test is to take “fourth-order adiabatic state” as permission to subtract all fourth-order mode terms from any observable. That inference fails unless one separately proves the subtraction’s locality, covariance, conservation properties, and equivalence to the accepted renormalization freedom. The strongest surviving claim is finite-order ultraviolet matching of the state data.

Domain and failure conditions

Adiabatic WKB data provide a controlled route from mode data toward the ultraviolet box of the construction map. A fixed finite order licenses only the associated high-frequency or Sobolev statement; it does not skip the positivity, exact evolution, or all-orders Hadamard checks.

Adiabatic order controls an ultraviolet approximation after exact mode normalization and evolution; state selection and subtraction remain separate. Schematic; not to scale.

The insufficient-regularity branch in the failure map is the decisive one. If the fitted high-$k$ remainder does not have the decay required for the claimed observable, the result must be downgraded to the lower verified order; calling the state “adiabatic” cannot supply the missing derivatives.

The order convention, momentum regime, and remainder estimate set the claim’s boundary; finite order is not full Hadamard control. Schematic; not to scale.

For comparison with the other state classes, see Domain and failure conditions.

Handoffs

States of Low Energy and Smeared-Energy Selection uses adiabatic modes as comparison data while adding an operational sampling function. Renormalization belongs to Renormalized Stress Tensor: Axioms and Curvature Ambiguities. The relation between Sobolev order and the full Hadamard class continues in Hadamard States and Wavefront Characterization.

References

• Junker, Wolfgang, and Elmar Schrohe. “Adiabatic Vacuum States on General Spacetime Manifolds: Definition, Construction, and Physical Properties.” Annales Henri Poincaré 3 (2002): 1113–1181. DOI. Open PDF.
• Parker, Leonard, and Stephen A. Fulling. “Adiabatic Regularization of the Energy-Momentum Tensor of a Quantized Field in Homogeneous Spaces.” Physical Review D 9 (1974): 341–354. DOI.