Bounds on negative energy densities in flat spacetime

TL;DR

This paper derives a broad quantum inequality bounding the time-averaged renormalised energy density for a free real scalar field in $d$-dimensional Minkowski space, valid for a wide class of smooth, even, non-negative sampling functions $f$ (including compactly supported ones). The authors construct a positivity-based framework that leads to the main bound $\rho_{f,\psi} \ge -\frac{C_n}{2\pi(n+1)} \int_m^\infty du\, (\widehat{f^{1/2}}(u))^2 u^{n+1} Q_n(u/m)$, where $Q_n$ is a dimension-dependent function with $Q_n(1)=0$ and $Q_n(x)\to 1$ as $x\to\infty$, and $C_n$ encodes the unit-sphere area factors. They specialise the result to 2D and 4D cases, recovering (and comparing to) Flanagan’s optimal 2D bound and Ford–Roman’s 4D bound, with explicit forms for massless and massive fields. The work broadens the applicability of quantum inequalities beyond Lorentzian sampling and provides insights into the scaling, mass dependence, and potential extensions to curved spacetime, while noting that the bounds are generically weaker than the known optimal 2D result. Overall, the paper advances the theoretical control over negative energy densities and informs the feasibility of exotic spacetime constructions through explicit, general bounds.

Abstract

We generalise results of Ford and Roman which place lower bounds -- known as quantum inequalities -- on the renormalised energy density of a quantum field averaged against a choice of sampling function. Ford and Roman derived their results for a specific non-compactly supported sampling function; here we use a different argument to obtain quantum inequalities for a class of smooth, even and non-negative sampling functions which are either compactly supported or decay rapidly at infinity. Our results hold in $d$-dimensional Minkowski space ($d\ge 2$) for the free real scalar field of mass $m\ge 0$. We discuss various features of our bounds in 2 and 4 dimensions. In particular, for massless field theory in 2-dimensional Minkowski space, we show that our quantum inequality is weaker than Flanagan's optimal bound by a factor of 3/2.

Figures (2)

• Figure 1: Graph of $Q_1(x)$.
• Figure 2: Graph of $Q_3(x)$.