An inequality for relativistic local quantum measurements

We investigate the trade-off between vacuum insensitivity and sensitivity to excitations in finite-size detectors, taking measurement locality as a fundamental constraint. We derive an upper bound on the detectability of vacuum excitation, given a small but nonzero probability of false positives in the vacuum state. The result is independent of the specific details of the measurement or the underlying physical mechanisms of the detector and relies only on the assumption of locality. Experimental confirmation or violation of the inequality would provide a test of the axioms of algebraic quantum field theory, offer new insights into the measurement problem in relativistic quantum physics, and establish a fundamental technological limit in local particle detection.

💡 Research Summary

The paper investigates a fundamental trade‑off between vacuum insensitivity (dark‑count probability) and sensitivity to genuine excitations for finite‑size particle detectors, using locality as the sole physical assumption. Modeling a detector click by a positive operator (\hat E_{\text{click}}) belonging to the local algebra (\mathcal A(O_{\text{det}})) of the detector’s spacetime region, the authors first show that an ideal detector—one that never clicks in the vacuum ((P_{\text{dark}}=0)) yet clicks with non‑zero probability for some excited state—cannot exist. This follows directly from the Reeh–Schlieder theorem: any positive local operator with vanishing vacuum expectation value must be the zero operator because the vacuum is separating for every local algebra.

Real detectors inevitably have a small but non‑zero dark‑count probability (P_{\text{dark}}>0). Exploiting the cyclicity part of the Reeh–Schlieder theorem, the authors construct a family of local operators (\hat A_\zeta) (supported in the causal complement of the detector) that approximate any target state (|\psi\rangle) from the vacuum, with approximation error (E_\zeta=|,|\psi\rangle-\hat A_\zeta|\Omega\rangle,|). Since (\hat A_\zeta) commutes with (\hat E_{\text{click}}), a triangle inequality together with the operator norm bound (|\hat E_{\text{click}}^{1/2}|\le1) yields the general inequality \