Energy Cost of Localization and Measurement

Sharper localization generally demands higher spatial momentum or switching bandwidth, but there is no apparatus-independent formula that converts a width directly into a universal measurement-energy cost. A defensible bound compares instrument families at fixed task, error, support, energy domain, and disturbance, and then asks which parts follow from Fourier analysis, QEIs, or the chosen detector dynamics.

Required background. Measurement energy, noise, and backreaction supplies the full detector–field energy account.

Helpful background. Quantum energy inequalities constrain specified stress-energy averages but do not price every measurement.

Localization is a task constraint

Let a detector couple through

$$H_I(t)=\lambda\,\chi(t)\,\mu(t) \int d^{d-1}x\,F_\ell(\mathbf x)\,\mathcal O(t,\mathbf x),$$

where $F_\ell$ has spatial width $\ell$ and $\chi$ has duration $\tau$. A sharper profile contains larger momenta, schematically $\Delta p\gtrsim1/\ell$, while rapid switching contains frequencies $\Delta\omega\gtrsim1/\tau$. These are bandwidth statements. The energy actually supplied depends on the field dispersion, detector gap, coupling operator, smoothness of the tails, and initial state.

Choose an operational target: estimate a smeared field observable with mean-square error $\varepsilon^2$, distinguish two states with error probability $p_e$, or implement a channel within energy-constrained diamond distance $\delta$. Only after the target is fixed can two instruments be compared.

Cross-protocol optimization

For each instrument family $\mathfrak I_j$, report a tuple

$$(\ell,\tau,\varepsilon,\Delta E_F,\Delta E_D, W_{\rm switch},D_{\rm state},P_{\rm fail}).$$

Fix $(\ell,\tau,\varepsilon)$ and the allowed input energy before minimizing total supplied work. Then vary bandwidth and detector gap separately. A robust lower envelope shared by genuinely different instrument families is evidence for a task-level tradeoff; a bound seen only in one switching ansatz is a model property.

QEIs can exclude a proposed local energy history if the detector extracts too much sampled negative energy, but applying one requires the actual sampling function and field; see Fewster 2012, §§ 2–4, pp. 6–20. Fourier uncertainty can force high-frequency support without proving that every implementation deposits the same energy.

Localization cost is an operational branch joining a specified instrument to bandwidth and energy constraints. It may be checked against a QEI, but it is not fixed by the QEI alone. The diagram is schematic.

A two-family test

Compare (i) a Gaussian-switched two-level detector and (ii) a harmonic probe with a smooth compact switching approximation. Calibrate both to the same discrimination error between two finite-energy field states and the same effective support. Increase ultraviolet resolution until outcome probabilities and all energy terms converge. Repeat with a longer duration at fixed spatial width.

The conclusion should state a Pareto frontier, not a single winner: one protocol may use less switching work but create more field disturbance. If a purported lower bound disappears after changing the smooth tail or gap, it was not apparatus independent. A localized measurement must be derived from the full system–probe coupling rather than from an abstract outcome operator alone, as shown by Fewster and Verch 2020, §§ 3–5.

Bandwidth, energy domain, error metric, disturbance, and switching work are independent controls. Omitting any one can turn a per-instrument observation into a false universal localization cost. The map is schematic.

Common pitfalls

Equating compact support with finite bandwidth. A nonzero function cannot be both exactly compactly supported and exactly band limited. Declare a tail norm or a bandwidth cutoff.

Counting only field energy. A measurement can leave the field nearly unchanged while the detector and controller consume work. Report the complete protocol account.

References

• Fewster, Christopher J. “Lectures on Quantum Energy Inequalities.” In Quantum Field Theory and Gravity, edited by Felix Finster et al., 2012. arXiv.
• Fewster, Christopher J., and Rainer Verch. “Quantum Fields and Local Measurements.” Communications in Mathematical Physics 378 (2020): 851–889. DOI.