REVIEW
New Horizons in Effective Field Theory?
General Relativity and Quantum Cosmology · Submitted 13 Feb 2026 · 37 references
Pith's verdict: Two careful converse theorems showing cone-defined stationary horizons in a broad scalar-tensor EFT are Killing horizons; physically compelling, but the bridge from the linearized propagation cone to the real nonlinear event horizon is assumed, not proved.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Two theorems show that in a broad scalar-tensor EFT, the horizon of a stationary black hole—defined by the fastest propagation cone—is still a Killing horizon with respect to the metric.
The reading
What carries the argument
The proof runs order by order in the EFT length scale ℓ around a known ℓ=0 Einstein-scalar black hole, using generalized Gaussian null coordinates adapted to a candidate Killing field. The load-bearing object is the characteristic cone of the linearized principal symbol, whose quartic sheet Q(ξ)=0 defines the fastest (Garding) cone and hence the horizon, and whose quadratic sheet (C^{-1})^{ab}ξ_aξ_b=0 is the effective-metric cone. The key identities evaluate the contractions of Q and C^{-1} on the horizon normal; at each order they force the gGNC functions f and k_a—which measure whether H+ is null—to vanish, after redefining the Killing field by absorbing constant rotations ω_j. A final ana
Extended reading notes
Core claim
The central claim is a converse to a known observation. A metric-null Killing horizon automatically makes the Killing field a triple direction of the characteristic cone, so all propagation sheets touch there; the paper proves the reverse statement for the parity-symmetric scalar-tensor EFT with a Lagrangian containing the Ricci scalar, a scalar kinetic term, an X^2 term, and a topological quadratic curvature term at order ℓ^2. Theorem III.1 says that, under analyticity, non-degeneracy at ℓ=0, bicharacteristic ruling, and an assumed Killing symmetry aligned with the bicharacteristics, the horizon H+ is an ordinary Killing horizon with constant surface gravity for sufficiently small |ℓ|. Theo
Load-bearing premise
The load-bearing premise is that the physical event horizon coincides with a characteristic surface of the fastest quartic propagation cone built from the linearized equations; the authors explicitly flag this as plausible but unproved for the full nonlinear EFT.
Editorial extensions
If this is right
- If Theorem III.1 is correct, any stationary, real-analytic black hole in the EFT class that satisfies the bicharacteristic-alignment assumption has a metric-null horizon with constant surface gravity, so the zeroth law of black hole mechanics applies.
- If Theorem IV.1 is correct, rotating black holes with a t-φ reflection symmetry and V≥0 also have compactly generated Killing horizons, extending the conclusion beyond the aligned-bicharacteristic case.
- Corollary III.2 implies that the fastest and slower polarizations all travel at the same effective speed along the horizon direction, removing the distinction between propagation-cone horizon and metric Killing horizon at the horizon.
- The small-ℓ theorem family indicates that the nested-cone 'perpetual motion' scenarios are obstructed for stationary black holes in this theory, because the outer cone horizon coincides with the Killing horizon.
- The results support the usual thermodynamic assignment of temperature and entropy to stationary black holes in this EFT, since those quantities are defined on Killing horizons.
Reading between the lines
- One extension the authors do not claim: if a future proof establishes that the boundary of the domain of dependence of the full nonlinear EFT is Q-characteristic, then the theorems would automatically apply to any asymptotically flat stationary black hole without the explicit characteristic-surface assumption.
- A natural next step would be to generalize the same order-by-order mechanism to multiple scalar fields and abelian vector fields at the same derivative order; the quartic-cone structure may remain the fastest, so the core identities could survive.
- The alignment condition in Theorem A (bicharacteristics collinear with a Killing field) is close to the conclusion; replacing it by global assumptions such as asymptotic flatness and analyticity is the open direction the authors themselves identify.
- One could numerically evolve the full nonlinear system with small ℓ on a stationary rotating background to test whether the fastest-cone horizon remains null beyond the linearized approximation.
Original abstract
We consider the most general parity symmetric effective scalar tensor theory in four dimensions containing terms up to fourth derivative order in the Lagrangian. It has been shown [H.S. Reall, Phys. Rev. D 103 (2021), 084027] that this theory has three polarizations generically goverened by different (nested) propagation cones, neither of which in general coincides with the lightcone as defined by the metric. Consequently, the notion of black hole horizon must be defined relative to the widest propagation cone, and not with respect to the metric. We provide two theorems stating that, nevertheless, the horizon of a \emph{stationary} black hole is null with respect to the metric, and that, in fact, all three propagation cones touch on the horizon. The conditions in these theorems allow for rotating black holes. Our theorems thereby suggest that the notion of Killing horizon, central in most discussions of black hole thermodynamics, retains its fundamental status, and that certain thermodynamic paradoxes associated with multiple propagation cones are evaded.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We consider the most general parity symmetric effective scalar tensor theory in four dimensions containing terms up to fourth derivative order in the Lagrangian. It has been shown [H.S. Reall, Phys. Rev. D 103 (2021), 084027] that this theory has three polarizations generically goverened by different (nested) propagation cones, neither of which in general coincides with the lightcone as defined by the metric. Consequently, the notion of black hole horizon must be defined relative to the widest propagation cone, and not with respect to the metric. We provide two theorems stating that, nevertheless, the horizon of a \emph{stationary} black hole is null with respect to the metric, and that, in fact, all three propagation cones touch on the horizon. The conditions in these theorems allow for rotating black holes. Our theorems thereby suggest that the notion of Killing horizon, central in most discussions of black hole thermodynamics, retains its fundamental status, and that certain thermodynamic paradoxes associated with multiple propagation cones are evaded.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We consider the most general parity symmetric effective scalar tensor theory in four dimensions containing terms up to fourth derivative order in the Lagrangian. It has been shown [H.S. | contribution 0.51 | 0.47 | 0.02 | asserted 0.79 |
| s1 | Reall, Phys. Rev. D 103 (2021), 084027] that this theory has three polarizations generically goverened by different (nested) propagation cones, neither of which in general coincides with the lightcone as defined by the metric. | background 0.98 | 0.05 | 0.05 | asserted 1.00 |
| s2 | Consequently, the notion of black hole horizon must be defined relative to the widest propagation cone, and not with respect to the metric. | interpretation 0.74 | 0.12 | 0.10 | asserted 1.00 |
| s3 | We provide two theorems stating that, nevertheless, the horizon of a \emph{stationary} black hole is null with respect to the metric, and that, in fact, all three propagation cones touch on the horizon. | result 0.83 | 0.94 | 0.80 | asserted 1.00 |
| s4 | The conditions in these theorems allow for rotating black holes. | result 0.79 | 0.58 | 0.05 | asserted 0.81 |
| s5 | Our theorems thereby suggest that the notion of Killing horizon, central in most discussions of black hole thermodynamics, retains its fundamental status, and that certain thermodynamic paradoxes associated with multiple propagation cones are evaded. | interpretation 1.00 | 0.57 | 0.62 | hedged possibility 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Showing 4 of the paper's 6 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:2602.12802 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.