Quantum Interest and Negative-Energy Compensation

Quantum interest is the statement that a negative-energy pulse cannot be treated in isolation: within settings governed by suitable QEIs, it must be accompanied by compensating positive energy, and delaying compensation raises the required overpayment. The result is sampling- and model-dependent, not a universal pulse law.

Required background. Quantum energy inequalities define the smooth averaged bound from which the compensation constraint is obtained.

Helpful background. ANEC supplies a complete-null-line comparison, but its nonnegative total integral does not by itself determine the separation-dependent overcompensation.

From a QEI to compensation

Represent an idealized one-dimensional energy history by two narrow pulses,

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

For every allowed nonnegative sampling weight $w(t)=g(t)^2$, a QEI requires

$$-E_-w(0)+E_+w(T)\ge-\mathcal Q[g].$$

Optimizing over $g$ converts the QEI into constraints on $E_+/E_-$ and the delay $T$. In models where the quantum-interest theorem holds, the positive pulse must arrive within a maximum separation and typically satisfies $E_+>E_-$. Ford and Roman developed this spectral formulation and the “loan with interest” interpretation in Ford and Roman 1999, §§ II–IV. The sampler-dependent QEI framework used in that optimization is reviewed in Fewster 2012, §§ 2–4, pp. 6–20.

Delta pulses are a limiting notation, not admissible stress tensors. Replace them by smooth profiles $f_\pm(t)$ of width $\sigma$, perform the optimization, and only then examine $\sigma\to0$ if the bound remains controlled.

A reproducible pulse test

Choose a free scalar QEI and fix normalized smooth profiles. Define

$$\rho_{T,r}(t)=-E f_-(t)+rE f_+(t-T).$$

Minimize the QEI functional over a basis for $g$ with resolution finer than the pulse width. For each $T$, find the smallest $r$ that avoids violation. Repeat with more basis functions, a larger optimization interval, and a second pulse shape. The output is a curve $r_{\min}(T)$ with a declared field theory and sampler class, not a universal constant.

Quantum interest is a consequence extracted from the sampled-energy branch. The magnitude–duration relation comes from optimizing the relevant QEI, not from passivity or entropy bounds. The diagram is schematic.

What can defeat the inference

Distributions can hide an uncontrolled high-frequency limit. Large separation may move the positive pulse outside the sampler support rather than produce a valid negative total. Boundaries, curvature, masses, and nonminimal coupling modify the QEI functional. Even when an ANEC integral is nonnegative, it only implies $E_+\ge E_-$ for the idealized complete history, not a quantitative interest rate.

The failure checks are the pulse width, sampler resolution, state domain, and completeness of the energy history. A two-delta sketch without a controlled smooth limit cannot establish quantum interest. The map is schematic.

Exercises

Assume a test sampler satisfies $w(0)=1$, $w(T)=1/2$, and $\mathcal Q[g]=E_-/4$. What lower bound follows for $E_+/E_-$?

Solution

$-E_-+E_+/2\ge-E_-/4$ implies $E_+/2\ge3E_-/4$, hence $E_+/E_-\ge3/2$ for this sampler. Optimizing over all samplers can strengthen the bound.

References

• Fewster, Christopher J. “Lectures on Quantum Energy Inequalities.” In Quantum Field Theory and Gravity, edited by Felix Finster et al., 2012. arXiv.
• Ford, L. H., and Thomas A. Roman. “The Quantum Interest Conjecture.” Physical Review D 60 (1999): 104018. DOI.