The finite-region thermal modular Hamiltonian as the missing tool: an open problem for the independent relative-entropy source near a Schwarzschild horizon
Miguel Ángel Martínez Martí
Abstract
This preprint poses, and does not solve, an open problem concerning the relative-entropy source near a Schwarzschild horizon. The central object is the finite-region thermal modular Hamiltonian on the Schwarzschild exterior: the modular Hamiltonian of a finite ball at finite radius in the Hartle–Hawking (KMS) state. Its strictly near-horizon, conformal limit is known — it is the Cardy–Tonni thermal-interval Hamiltonian of the two-dimensional s-wave reduction — but its finite-distance form, away from that limit, is not. Two independent obstructions force this object. First, the second-order Blanco–Casini–Hung–Myers stress-tensor factorisation of the relative entropy, valid near the vacuum, degrades once the ball is large compared with the local (Tolman-redshifted) thermal length. Second, the squeezed-state coincidence wall survives the Type II crossed-product renormalization as the Jafferis–Lewkowycz–Maldacena–Suh invariant. The two obstructions are logically independent. In the two-dimensional s-wave reduced sector, the finite content that the missing operator would govern is exhibited in closed form for non-squeezed states (where the wall is absent): a finite, cutoff-independent remainder R[σ] lying below the wall. In four dimensions, the operator itself is absent from the canonical relevant-deformation and modular-Hamiltonian toolkit — existing constructions either compute entanglement entropy from an already-known modular Hamiltonian, or supply an operator-level first-order deformation only for a vacuum reference, and neither applies to a finite-region thermal KMS reference. The paper therefore states, as its open problem, the construction of this operator — or its first-order deformation off the conformal limit — and claims no resolution of the squeezed-state wall. This work is part of the Informational Gravity Framework series and continues the capstone deposit (concept DOI 10.5281/zenodo.20804927).