Bekenstein's bound for wave packets

Let $B$ be a spatial region of width $2R$ and $Φ$ a Klein-Gordon wave packet localized in $B$ at time zero. We show the inequality $S \leq 2πR E$; here, $S$ is the entropy of $Φ$ contained in a region $B$, and $E$ is the energy content of $Φ$ within $B$. We consider a wider setting and formulate a variational problem aimed at minimizing our bound when $Φ$ is not localized in $B$. Our inequality holds in more generality in the framework of local, Poincaré covariant nets of standard subspaces and is related to the Bekenstein inequality. We point out a general bound that is compatible with the recent numerical computations by Bostelmann, Cadamuro, and Minz concerning the one-particle modular Hamiltonian of a scalar massive quantum Klein-Gordon field. We also provide a version of the entropy balance and ant formulas for wave packets.

💡 Research Summary

The paper establishes a precise Bekenstein‑type bound for Klein‑Gordon wave packets in free scalar quantum field theory. Starting from the abstract framework of standard subspaces H⊂ℋ, the authors introduce the modular operator Δ_H, its conjugation J_H and the associated entropy operator E_H = i P_H i log Δ_H, where P_H is the real‑linear projection onto H. For a Poincaré‑covariant net of standard subspaces {H(O)} indexed by double cones, the causal envelope of a spatial region B (half‑width R) defines H(B). If a wave packet Φ belongs to H(B) then its local entropy is S(Φ|B)=−(Φ,log Δ_B Φ).

Using the inequality −log Δ_B ≤ 2πR P (proved in earlier work), where P is the Hamiltonian generating time translations, the authors obtain the general bound  S(Φ|B) ≤ 2πR (Φ,PΦ). For a Klein‑Gordon packet Φ=⟨f,g⟩ with Cauchy data (f,g)∈S(ℝ^d)⊕S(ℝ^d), the stress‑energy component T₀₀=½(|∇f|²+m²f²+g²) yields (Φ,PΦ)=∫_B T₀₀ dx, i.e. the energy contained in B. Consequently,  S(Φ|B) ≤ 2πR E(Φ|B), which is exactly the Bekenstein bound with the factor 2πR.

The proof proceeds by evaluating the entropy for half‑space regions x₁>a and x₁<a, using the known formula S(Φ|x₁>a)=2π∫_{x₁>a}(x₁−a)T₀₀ dx and its mirror image. Monotonicity of entropy and averaging the two bounds give the desired inequality for any ball of radius R.

When the Cauchy data are not compactly supported inside B, the simple bound fails because of boundary contributions. The authors formulate a variational problem: given f on ∂B they construct an extension e_f that coincides with f on B̄ and with an arbitrary Schwartz function u outside, proving e_f∈H_{m,+}. The entropy of the extended packet acquires an extra surface term π D ∫_{∂B}f² dσ (with D=(d−1)/2), leading to a corrected inequality  S(Φ|B) ≤ 2πR E(Φ|B)+Γ_Φ, where Γ_Φ depends only on the boundary data.

In the special case of pure momentum or pure field excitations (g=0 or f=0), the authors derive operator bounds for the modular Hamiltonian’s off‑diagonal components M and L:  0 ≤ M ≤ R,  0 ≤ −L ≤ −R(∇²−m²), which match recent numerical findings for the massive modular Hamiltonian of a ball (the “M ≤ 1” result for unit radius).

Section 5 extends the analysis to entropy balance and the “ant” formula. The balance relation expresses the entropy of a region as the sum of entropies of sub‑regions minus mutual information, while the ant formula writes the entropy as a quadratic form ⟨Φ, K_B Φ⟩ with K_B the one‑particle modular Hamiltonian. The authors show that both relations hold directly for wave packets, and in fact are stronger than the analogous statements for von Neumann algebra nets.

Finally, the paper discusses the connection between the derived bound and the quantum dominant energy condition (QDEC), noting that a second derivative of the half‑space entropy yields a non‑negative quantity proportional to the integrated energy density, reminiscent of QDEC. The authors suggest that a full QFT proof of QDEC and its relation to Bekenstein bounds will be presented elsewhere.

Overall, the work provides a rigorous derivation of the Bekenstein entropy‑energy bound for localized wave packets, clarifies the role of boundary contributions for non‑localized states, supplies concrete operator estimates for the massive modular Hamiltonian, and integrates these results into the broader algebraic QFT framework.