Quantum Energy Inequalities and Singularity-Theorem Interfaces

A QEI does not become a singularity theorem by substitution alone. Raychaudhuri evolution involves the Ricci contraction, a focal-point argument needs initial contraction and global causal hypotheses, and Einstein’s equation couples the Ricci term to the effective energy density rather than merely $T_{ab}u^au^b$. The rigorous interface is a comparison or index-form theorem whose input is a lower bound for exactly the weighted curvature quantity it uses.

Required background. Absolute and difference QEIs supplies sampled lower bounds. Averaged null energy and QNEI hypotheses supplies complete-geodesic and achronality conditions.

Helpful background. Globally hyperbolic spacetimes and Loc supplies the causal setting. Counterexamples, nonconverses, and hypothesis stress tests supplies the logical discipline. Raychaudhuri, null focusing, and renormalized stress, quantum expansion and covariant entropy bounds, quantum trapped-surface singularity theorems, and wormhole, chronology, and superluminal constraints develop distinct gravitational conclusions. Singularities and predictive limits states the quantum-gravity boundary.

The curvature quantity required by focusing

For a hypersurface-orthogonal timelike geodesic congruence in $n$ spacetime dimensions, with proper time $\tau$, expansion $\theta$, and shear $\sigma_{ab}$, Raychaudhuri’s equation is

$$\frac{\mathrm d\theta}{\mathrm d\tau} =-\frac{\theta^2}{n-1}-\sigma_{ab}\sigma^{ab} -R_{ab}u^au^b.$$

Vorticity has been set to zero; if it is present, its positive term changes the comparison. Under the classical timelike convergence condition $R_{ab}u^au^b\geq0$, initial contraction $\theta(0)<0$ forces a focal point within proper time at most $(n-1)/|\theta(0)|$. A QEI permits negative averages, so the pointwise proof is unavailable.

Using Einstein’s equation without a cosmological term,

$$R_{ab}u^au^b =8\pi G\left(T_{ab}-\frac{T}{n-2}g_{ab}\right)u^au^b,$$

shows why an ordinary energy-density QEI is insufficient: the trace term must also be bounded. The relevant observable is the effective energy density. For nonminimally coupled quantum scalar fields the known strong-energy inequalities can be state dependent and require explicit coupling and Wick-square control; see Fewster and Kontou 2019, Theorem 4, pp. 045001-10–045001-14. Replacing that result by the simpler $T_{00}$ bound is an unjustified upgrade.

A focal-point comparison from a sampled bound

Suppose that along every normal geodesic from a Cauchy surface $S$ the renormalized source and Einstein equation yield

$$\int_0^T f(\tau)^2R_{ab}u^au^b\,\mathrm d\tau \geq-\mathcal Q_T[f]$$

for all smooth real $f$ with $f(0)=1$ and $f(T)=0$. The index form of the normal geodesic, summed over $n-1$ transverse directions, implies that a focal point occurs before $T$ if one can choose $f$ such that

$$H>(n-1)\int_0^T|f'(\tau)|^2\,\mathrm d\tau +\mathcal Q_T[f], \qquad H=-\theta(0)>0.$$

The mechanism is transparent. If no focal point existed, the transverse index form would be nonnegative. The initial second-fundamental-form term contributes $-H$ in the stated sign convention, the kinetic term contributes $(n-1)\int|f'|^2$, and the curvature integral is at most $\mathcal Q_T[f]$ after the lower bound. The displayed strict inequality makes the index form negative, a contradiction.

For the nearly linear test function $f(\tau)\simeq1-\tau/T$, the geometric kinetic cost is approximately $(n-1)/T$. The QEI term measures the maximum licensed defocusing. Thus the conditional statement “focus before $T$” is obtained by checking

$$H>\frac{n-1}{T}+\mathcal Q_T[f].$$

This is not a universal time bound until $\mathcal Q_T$ is evaluated for the declared field, state or reference state, curvature scale, and sampler. Fewster and Kontou formulate the index-form method and quantitative initial-contraction criteria in Fewster and Kontou 2020, Proposition 2.2, Lemma 4.1, and Theorems 4.2 and 4.4, pp. 5 and 12–16. Earlier Riccati comparison theorems under exponentially damped and QEI-inspired hypotheses appear in Fewster and Galloway 2011, Theorems 3.1–4.1, pp. 7–15.

The physical worked interface is Raychaudhuri, null focusing, and renormalized stress. There the sampling family, contraction, curvature terms, backreaction order, and initial expansion must be stated together.

From a focal point to incompleteness

A focal point is local differential geometry. A Hawking- or Penrose-type incompleteness conclusion additionally uses a compact trapped or contracting initial set, an appropriate global causality condition, and a maximal-geodesic argument. The theorem concludes causal geodesic incompleteness; it does not identify a curvature blow-up, a quantum-gravity resolution, or the fate of every observer. If the stress tensor is only an expectation value on a fixed background, using it in Einstein’s equation is a semiclassical assumption that must be consistent with the chosen perturbative order.

Failure boundary: remove contraction or genericity

Set $R_{ab}=0$, $\sigma_{ab}=0$, and $\theta(0)=0$ for parallel inertial geodesics in Minkowski space. Every free-field QEI on the background remains true, but Raychaudhuri gives $\theta=0$ and there is no focal point. The proof fails exactly because $H=0$ cannot exceed the positive index-form cost.

Likewise, if a null singularity argument drops the generic-curvature or trapped-surface hypothesis, ANEC alone does not force the transverse index form to become negative. A complete null line in Minkowski space obeys ANEC and is not incomplete. The energy theorem survives; the focusing and incompleteness conclusions do not.

Exercises

For $f(\tau)=1-\tau/T$, compute the kinetic term in the focal criterion and recover the classical limit.

Solution

One has $f'=-1/T$, hence $\int_0^T|f'|^2\mathrm d\tau=1/T$. If the classical convergence condition holds, one may take $\mathcal Q_T=0$. The criterion becomes $H>(n-1)/T$, or $T>(n-1)/H$. Therefore a focal point must occur by any later $T$, recovering the standard upper time $(n-1)/H$ in the limiting argument.

References

• Fewster, Christopher J., and Gregory J. Galloway. “Singularity Theorems from Weakened Energy Conditions.” Classical and Quantum Gravity 28 (2011): 125009. DOI; Open PDF.
• Fewster, Christopher J., and Eleni-Alexandra Kontou. “A New Derivation of Singularity Theorems with Weakened Energy Hypotheses.” Classical and Quantum Gravity 37 (2020): 065010. DOI; Open PDF.
• Fewster, Christopher J., and Eleni-Alexandra Kontou. “Quantum Strong Energy Inequalities.” Physical Review D 99 (2019): 045001. DOI; Open PDF.