Quantum Interest and Negative-Energy Compensation

Quantum field theory permits negative renormalized energy density, but it does not permit an arbitrary negative pulse history. In theories with a suitable quantum energy inequality (QEI), a negative pulse must be limited in magnitude and duration and, in specific pulse models, must be overcompensated by positive energy whose required excess grows with delay. That last, separation-dependent statement is called quantum interest. It is a theorem within specified QEI models, not a universal rate attached to every negative-energy phenomenon.

Required background. Quantum energy inequalities defines the worldline, state class, smearing function, and renormalized stress tensor that a compensation argument needs.

Helpful background. ANEC supplies a complete-null-line positivity statement. It can demand nonnegative total null energy, but it does not by itself determine a timelike pulse’s repayment schedule.

For the chapter-wide orientation, use the entry map, the comparison of claim domains, and the controls that change conclusions.

An optimal two-dimensional worldline QEI

Consider a free, massless scalar field in two-dimensional Minkowski spacetime. Follow an inertial observer with proper time $t$, normal-order the energy density $\rho(t)=\langle T_{tt}(t)\rangle$ relative to the Minkowski vacuum, and take a state in the Hadamard domain of the smeared stress tensor. Flanagan’s optimal inequality states that for a smooth nonnegative sampling weight $w$,

$$\int_{-\infty}^{\infty}dt\,w(t)\rho(t) \geq -\frac{1}{24\pi} \int_{-\infty}^{\infty}dt\, \frac{[w'(t)]^2}{w(t)}.$$

At zeros of a compactly supported $w$, the quotient is interpreted through a smooth square root. Writing $w=f^2$ gives the particularly useful form

$$\boxed{ \int dt\,\rho(t)f(t)^2 \geq-\frac1{6\pi}\int dt\,[f'(t)]^2 }$$

for real smooth test functions $f$. The field, dimension, inertial trajectory, vacuum subtraction, and sampler are all part of the coefficient; Flanagan 1997, Eqs. (8) and (14) proves the optimal bound.

This inequality does not say $\rho(t)\geq0$. It says that any proposed history must pass every smooth sampling test. Rearranging gives

$$\int dt\,f(t) \left[-\frac{d^2}{dt^2}+6\pi\rho(t)\right]f(t)\geq0.$$

Thus the QEI test is equivalent to nonnegativity of the one-dimensional Schrödinger operator

$$H_\rho=-\frac{d^2}{dt^2}+6\pi\rho(t)$$

as a quadratic form. This spectral reformulation is the central tool of Fewster and Teo 2000, §§ II–III.

Exact benchmark: two idealized pulses

Use the distributional diagnostic

$$\rho(t)=-E_-\delta(t)+E_+\delta(t-T), \qquad E_\pm>0,\quad T>0,$$

and define

$$\alpha=6\pi E_-, \qquad \beta=6\pi E_+.$$

The corresponding QEI operator is

$$H=-\frac{d^2}{dt^2}-\alpha\delta(t)+\beta\delta(t-T).$$

A violation exists exactly when $H$ has a negative eigenvalue $-\kappa^2$. Matching a decaying exponential across the two delta potentials gives

$$(2\kappa-\alpha)(2\kappa+\beta) +\alpha\beta e^{-2\kappa T}=0.$$

At $\kappa=0$ the expression vanishes identically. Its first nonzero small-$\kappa$ coefficient is

$$2\kappa\,[\beta-\alpha-\alpha\beta T].$$

If the bracket is negative, the spectral equation is negative just above zero and positive for large $\kappa$, so a bound state exists. If the bracket is nonnegative, the inequality $1-e^{-2\kappa T}<2\kappa T$ shows that the expression is positive for every $\kappa>0$. Therefore the two-pulse profile passes every test function in this QEI exactly when

$$T<\frac1\alpha, \qquad \beta\geq\frac{\alpha}{1-\alpha T}.$$

Restoring the pulse energies,

$$\boxed{ T<\frac1{6\pi E_-}, \qquad \frac{E_+}{E_-} \geq\frac1{1-6\pi E_-T} }.$$

The compensation is strictly larger than $E_-$ for every nonzero delay, increases monotonically with $T$, and diverges at the maximum delay. For example, choose time units with $\alpha=1$ and take $T=1/2$. Then $E_+/E_-\geq2$. At $T=0.9$, the same idealized model demands a factor of at least $10$. These results reproduce the two-dimensional quantum-interest behavior analyzed in Ford and Roman 1999, §§ II–III and Fewster and Teo 2000, §IV.

The conclusion at this stage is only that the distributional profile obeys or violates the chosen QEI. Delta functions are not smooth stress histories of a Hadamard state, and passing the QEI is necessary rather than a construction of a realizing state.

Smooth Gaussian pulse test

Now use normalized profiles

$$p_\sigma(t)=\frac{e^{-t^2/\sigma^2}}{\sqrt\pi\,\sigma}, \qquad \rho_{T,r}(t)=-E p_\sigma(t)+rE p_\sigma(t-T).$$

Here $E$ is the magnitude of the negative pulse’s integrated energy and $r$ is the repayment ratio. Test this history with the normalized Gaussian sampling family

$$w_\tau(t)=\frac{e^{-t^2/\tau^2}}{\sqrt\pi\,\tau}.$$

The two elementary integrals are

$$\int dt\,p_\sigma(t-a)w_\tau(t) =\frac{e^{-a^2/(\sigma^2+\tau^2)}} {\sqrt\pi\sqrt{\sigma^2+\tau^2}},$$

and

$$\frac1{24\pi}\int dt\,\frac{[w_\tau'(t)]^2}{w_\tau(t)} =\frac1{12\pi\tau^2}.$$

Therefore this sampler alone rules out the proposed pulse pair unless

$$r\geq \exp\!\left(\frac{T^2}{\sigma^2+\tau^2}\right) \left[ 1-\frac{\sqrt{\sigma^2+\tau^2}} {12\sqrt\pi\,E\tau^2} \right].$$

To make the benchmark reproducible, set the width as the unit of time, $\sigma=1$, choose $E\sigma=1$ and $T/\sigma=1$, and maximize the right-hand side over $\tau>0$. A one-dimensional maximization gives

$$\tau_\star=0.560889\,\sigma, \qquad r\geq1.77310.$$

For comparison, $\tau/\sigma=0.5,1,2$ gives lower bounds $1.75760$, $1.53910$, and $1.18930$. The maximum over this Gaussian sampler family is a necessary witness, not a sufficiency certificate. A decisive test must minimize the spectrum of $H_\rho$ over all smooth $f$, enlarge the numerical interval, refine the grid below $\sigma$, and repeat with a second pulse shape. Any claimed $r_{\min}(T)$ must report those convergence controls.

Why delay costs extra

The sampling inequality makes the mechanism visible. A very broad test function mainly sees the total integrated energy and therefore asks for roughly $E_+\geq E_-$. A test function concentrated on the negative pulse can suppress the later positive contribution, but localization increases the derivative penalty $\int(f')^2$. As the pulses separate, one can choose a function that is broad enough to keep that penalty modest while already becoming small at the positive pulse. More positive energy is then required to pass the same test. The spectral language packages the optimization: increasing the delay lets the attractive part of the potential support a negative mode before the repulsive part can remove it.

Dimensional analysis is an immediate reproducibility check. In two spacetime dimensions, $\rho$ has dimension time$^{-2}$, an integrated pulse energy $E$ has dimension time$^{-1}$, and $\alpha=6\pi E_-$ has dimension time$^{-1}$. The ideal-pulse threshold can therefore depend only on the dimensionless product $\alpha T$. For the smooth Gaussian family, the independent dimensionless inputs may be taken as $E\sigma$, $T/\sigma$, $\tau/\sigma$, and $r$. A result that changes when every time and inverse energy is rescaled consistently contains a units or discretization error.

For a full spectral computation on a finite interval $[-L,L]$, Dirichlet walls artificially raise the lowest eigenvalue. One must increase $L/\sigma$ until the inferred threshold is stable, while also refining the mesh and checking that the candidate ground state decays well before the walls. Near the interest threshold the bound state is shallow and spatially broad, so box-size convergence is usually slower than pulse-resolution convergence. Reporting only a positive lowest eigenvalue in one finite box can therefore mistake a weak violation for admissibility.

Distinguishing nearby energy conditions

QEI. A QEI bounds a smooth, usually timelike, weighted average from below. Its right-hand side depends on the field theory, trajectory, state class, and sampler.

Quantum interest. Quantum interest is a consequence of optimizing a suitable QEI for a specified negative-plus-positive pulse model. It adds a separation-dependent overcompensation law only where that optimization has been proved.

ANEC. ANEC constrains $\int d\lambda\,T_{kk}$ on a complete affine null generator. In a two-pulse null idealization it can imply $E_+\geq E_-$, but it contains no denominator $1-6\pi E_-T$ and hence no interest rate.

QNEC. QNEC is pointwise and compares $T_{kk}$ with a local entropy shape derivative. It is not the worldline sampling inequality used above.

The geometry alone therefore prevents transferring the displayed coefficient to a massive field, four dimensions, an accelerated observer, a boundary, or curved spacetime. In fact, even delta-pulse compensation behaves differently in four dimensions Fewster and Teo 2000, §V.

Failure controls

Distributional limit. Narrowing a pulse increases ultraviolet content. Smooth first, optimize at fixed width, and only then study a controlled $\sigma\to0$ limit.

Incomplete history. A finite time window may simply omit the compensating energy. Extend the domain until the pulse integrals and lowest spectral value are stable.

Sampler under-resolution. Testing a few broad weights can miss a localized negative eigenfunction. Grid spacing and basis resolution must be well below the narrowest pulse width.

Realizability overclaim. QEI compliance is a necessary condition on a stress expectation value. It does not, by itself, construct a quantum state with that exact profile.

Universal-rate overclaim. Altering mass, dimension, coupling, worldline, boundary conditions, or sampling class changes the operator and can change the conclusion.

Exercises

1. Derive the spectral form of the QEI.

Solution

Move the QEI’s right-hand side to the left and multiply by $6\pi$:

$$\int dt\,[f'(t)]^2+6\pi\int dt\,\rho(t)f(t)^2\geq0.$$

Integration by parts for a decaying or compactly supported $f$ turns the first term into $\int f(-d^2/dt^2)f$. The inequality for every $f$ is exactly nonnegativity of the quadratic form of $H_\rho$.

2. Obtain the ideal-pulse interest rate from the threshold coefficient.

Solution

Absence of a negative eigenvalue requires $\beta-\alpha-\alpha\beta T\geq0$. Rearranging gives $\beta(1-\alpha T)\geq\alpha$. A positive solution exists only for $T<1/\alpha$, and then $\beta/\alpha\geq1/(1-\alpha T)$. Substitute $\alpha=6\pi E_-$ and $\beta=6\pi E_+$.

3. Verify the Gaussian sampling penalty.

Solution

Since $w_\tau'/w_\tau=-2t/\tau^2$ and the variance of $w_\tau$ is $\tau^2/2$,

$$\int dt\,\frac{(w_\tau')^2}{w_\tau} =\frac4{\tau^4}\int dt\,t^2w_\tau(t) =\frac2{\tau^2}.$$

Multiplication by $1/(24\pi)$ gives $1/(12\pi\tau^2)$.

4. Show why nonnegative total pulse energy is weaker than quantum interest.

Solution

For either normalized smooth pulses or the delta model, $\int dt\,\rho(t)=E_+-E_-$. Requiring this to be nonnegative yields only $E_+/E_-\geq1$, independent of $T$. The QEI optimization instead yields a bound greater than one for $T>0$ and a maximum delay in the idealized two-dimensional model.

References

• Fewster, Christopher J., and Edward Teo. “Quantum Inequalities and ‘Quantum Interest’ as Eigenvalue Problems.” Physical Review D 61, no. 8 (2000): 084012. DOI. Open paper.
• Flanagan, Éanna É. “Quantum Inequalities in Two-Dimensional Minkowski Spacetime.” Physical Review D 56, no. 8 (1997): 4922–4926. DOI. Open paper.
• Ford, L. H., and Thomas A. Roman. “The Quantum Interest Conjecture.” Physical Review D 60, no. 10 (1999): 104018. DOI. Open paper.