Constraints on the number of inner horizons from gravitational Noether charges

Jing-Peng Ye; Run-Qiu Yang

REVIEW

Constraints on the number of inner horizons from gravitational Noether charges

Jing-Peng Ye, Run-Qiu Yang

General Relativity and Quantum Cosmology · Submitted 22 Oct 2026

Pith's verdict: Clean proof of a conditional inner-horizon constraint in Lovelock gravity; the main assumption (TCC-like condition) is physically unmotivated but honestly flagged.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 23, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 7 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.30812 (version 2)

Pith ID4IGJLGES, Pith's permanent record of this paper and its review

CitationJing-Peng Ye, Run-Qiu Yang. "Constraints on the number of inner horizons from gravitational Noether charges." arXiv:2610.30812 (2026). https://pith.science/paper/4IGJLGES

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper extends the known result that, under energy conditions, there can be at most one nondegenerate inner Killing horizon from Einstein gravity to Lovelock gravity. The method is new: instead of a complicated ADM decomposition, they use a Noether-charge balance law that reduces to an integral over the static region. The proof is clearly laid out and logically sound given the premises. The authors honestly discuss the limitations—static only, nondegenerate horizons, Lovelock gravity—and they do not oversell the result.

The main soft spot, as the reader noted, is the TCC-like curvature condition (Definition 1). In Einstein gravity the TCC follows from the strong energy condition, which has a physical basis. Here the condition is simply postulated, and it is not automatically satisfied by any known matter model coupled to Lovelock gravity. The authors acknowledge that it is not a simple energy condition, but they offer no physical justification for it beyond analogy. This makes the theorem a purely geometric statement: if the Ricci-like tensor satisfies a timelike convergence property and the Wald entropy is positive, then the inner horizon count is bounded. That is a valid result, but its physical relevance depends on whether those conditions ever hold in realistic situations. The positive Wald entropy assumption is also nontrivial—it can fail in Lovelock gravity with negative coupling.

That said, the paper is carefully written, the mathematics is checked, and the authors do not hide the fragility of their assumptions. This is a solid theoretical contribution for readers working on black hole interiors in higher-curvature theories. I would not cite it in my own work in the next year, but I could see a specialist wanting to build on the Noether-charge method.

For peer review: yes, this deserves a serious referee. The paper is competent and the reasoning is transparent.

Referee report

Significance

The paper provides a clean, covariant proof of an inner-horizon constraint in a class of higher-curvature gravities, using the Noether charge balance law. This approach avoids the complicated ADM analysis that would be required in Lovelock gravity and offers a unified perspective: the obstruction to multiple inner horizons is tied to the compatibility between a bulk gravitational response (the TCC-like condition) and horizon thermodynamic data (positive Wald entropy). The result is mathematically well-founded and extends the known Einstein-gravity result to a wider framework. Its practical impact depends on the physical plausibility of the TCC-like condition, which the authors honestly note is not automatically satisfied; the paper would benefit from a discussion of whether known Lovelock black holes can meet this condition. Overall, the paper is a valuable theoretical contribution.

Major objections (1)

[Section VI, Definition 1] The TCC-like curvature condition is the central assumption of Theorem 1, but the paper offers no physical justification for it beyond analogy with the Einstein case. In Einstein gravity the timelike convergence condition follows from the strong energy condition, whereas in Lovelock gravity the condition R_{\mu\nu} v^\mu v^\nu \ge 0 is an extra postulate whose relation to matter energy conditions is unclear. The paper would be strengthened by discussing whether any known static Lovelock black hole solutions (e.g., Einstein–Gauss–Bonnet models with suitable matter) satisfy this condition, or by providing a systematic check for a representative class of solutions. Without such discussion, the theorem, while mathematically valid, may appear to have limited applicability. I request that the authors add at least a brief survey or explicit examples, or a clear statement of the difficulty of satisfying the condition, to help the reader assess the theorem’s scope.

Minor objections (7)

[Abstract and §I] In the abstract, the phrase 'We naturally apply the gravitational Noether charge analysis' could be simplified to 'We apply the gravitational Noether charge analysis' for greater precision.
[§III.C, after Eq. (21)] The sentence contains a repeated word: 'underlies underlies'. Please correct.
[§IV, Eq. (29)] The Noether potential expression (29) is derived in Appendix A; consider adding an explicit cross-reference (e.g., 'see Appendix A') in the main text to guide readers.
[§VI, after Eq. (50)] The expression for R_{\mu\nu} is given; it may be helpful to note explicitly that the TCC-like condition applies to the symmetric part of R_{\mu\nu}, since the antisymmetric part does not contribute to v^\mu v^\nu contractions.
[Figures 1 and 2] The figure captions are very brief. Consider adding a few words to clarify what is depicted—for example, labelling the event and inner horizons in the caption of Fig. 1.
[Appendix B.3, Eq. (B15)] The derivation of the rotational contribution I_rot would benefit from one or two more intermediate steps to make the decomposition of P^{\mu\nu\rho\sigma} and the contractions clearer.
[References] The reference list appears complete and up-to-date; no issues noted.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

In Lovelock gravity, a TCC-like curvature condition and positive Wald entropy enforce at most one nondegenerate inner Killing horizon inside a static black hole.

The reading

The paper proves that static black holes in Lovelock gravity cannot harbor two or more nondegenerate inner Killing horizons. The proof uses a bulk-boundary balance law for gravitational Noether charges, which extends the Komar integral method of Einstein gravity to higher-curvature theories. The result holds under two assumptions: a TCC-like curvature condition on the Ricci-type tensor $R_{\mu\nu} = P_{\mu}^{\ \rho\sigma\lambda} R_{\nu\rho\sigma\lambda}$ and the positivity of Wald entropy on every Killing horizon. If these hold, the sign difference of surface gravities between consecutive inner horizons conflicts with the nonnegativity of the bulk integral, forcing at most one inner horizon. The work suggests that the obstruction to multiple inner horizons is a generic feature of the compatibility between bulk gravitational response and horizon thermodynamics.

What carries the argument

The central object is the gravitational Noether potential for Lovelock gravity, $q^{\mu\nu}_\xi = P^{\mu\nu\rho\sigma} \nabla_\rho \xi_\sigma$, where $P^{\mu\nu\rho\sigma} = \partial L_{\rm grav}/\partial R_{\mu\nu\rho\sigma}$ is the curvature response tensor. On a bifurcation surface this Noether charge reduces to $(\kappa/2\pi) S_W$, relating the horizon charge to surface gravity and Wald entropy. The Noether charge balance law (Eq. 45) equates the difference of such horizon charges to a bulk integral of $N R_{\mu\nu} n^\mu n^\nu$, with $R_{\mu\nu} = P_{\mu}^{\ \rho\sigma\lambda} R_{\nu\rho\sigma\lambda}$ the Ricci-like tensor. In Einstein gravity $P^{\mu\nu\rho\sigma}$ reduces to the metric determinant combination and $R_{\mu\nu}$ becomes the ordinary Ricci tensor, recovering the Komar argument. The key step is that $\nabla_\mu P^{\mu\nu\rho\sigma}=0$ in Lovelock gravity, which simplifies the divergence of the Noether potential and yields a clean bulk-boundary relation without additional terms.

Extended reading notes

Core claim

The paper establishes a theorem (Theorem 1) for static spacetimes in Lovelock gravity: if the TCC-like curvature condition $R_{\mu\nu} v^\mu v^\nu \ge 0$ holds for every timelike vector $v^\mu$, and if the Wald entropy of every Killing horizon associated with the static Killing vector is positive, then there exists at most one nondegenerate inner Killing horizon inside a nondegenerate event horizon. This generalizes earlier results in Einstein gravity (which relied on the strong energy condition and the Bekenstein-Hawking entropy) to a class of higher-curvature theories. The proof reformulates the older ADM-based inequality as a Noether-charge balance law: the difference of the gravitational Noether charges on two bifurcation surfaces equals a bulk integral of $N R_{\mu\nu} n^\mu n^\nu$; the sign of the charge difference (fixed by surface gravities and positive Wald entropy) and the sign of the bulk integral (fixed by the TCC-like condition) contradict each other when two inner horizons exist.

Load-bearing premise

The TCC-like curvature condition $R_{\mu\nu} v^\mu v^\nu \ge 0$ (for all timelike $v^\mu$) is an extra postulate not automatically tied to any known matter energy condition or positivity requirement in Lovelock gravity, and the paper offers no independent physical justification for it beyond analogy with the Einstein case.

Editorial extensions

If this is right

Any static Lovelock black hole that satisfies the TCC-like curvature condition and has positive Wald entropy on all its Killing horizons can have at most one nondegenerate inner horizon, regardless of the detailed matter content or coupling constants.
If a static Lovelock black hole is found with two or more nondegenerate inner horizons, then either the TCC-like condition fails or the Wald entropy of some horizon is nonpositive; such a solution would serve as a counterexample to the theorem.
The result provides a thermodynamic interpretation: the obstruction to multiple inner horizons reflects a sign conflict between the gravitational response in the bulk (encoded in $R_{\mu\nu}n^\mu n^\nu \ge 0$) and the horizon thermodynamic data (encoded in $S_W > 0$ and the alternating signs of surface gravities).
The proof method (Noether charge balance) avoids the complicated ADM decomposition of higher-curvature field equations and can be adapted to other theories where $\nabla_\mu P^{\mu\nu\rho\sigma}=0$ holds, such as Einstein-Gauss-Bonnet gravity.
The theorem does not apply to degenerate horizons (surface gravity zero) nor to rotating black holes in Lovelock gravity, because the rotational contribution to the bulk integral is not sign-definite; these cases require separate analysis.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The TCC-like condition $R_{\mu\nu}v^\mu v^\nu \ge 0$ plays the same role in Lovelock gravity that the strong energy condition plays in Einstein gravity for horizon counting. However, because $R_{\mu\nu}$ mixes matter and higher-curvature terms, the condition is not simply a matter energy condition; its physical status is closer to a stability requirement on the effective gravitational dynamics.
The positive Wald entropy assumption is not redundant: in Lovelock gravity, higher-curvature terms can in principle make the Wald entropy negative on some horizon sections (e.g., Gauss-Bonnet with negative coupling and negative intrinsic curvature). The theorem thus identifies a thermodynamic restriction on the existence of multiple inner horizons.
The failure of the rotational contribution to have a definite sign in Lovelock rotating black holes suggests that rotating Lovelock black holes might admit multiple inner horizons even when the TCC-like condition and positive entropy hold. Checking this with explicit rotating Lovelock solutions would be a natural next test.

Original abstract

A central question in the study of black hole interiors is how matter and geometry constrain the number of horizons. In Einstein gravity, one known method is to use the ADM decomposition of the field equations to derive a differential inequality for the lapse, which then constrains the possible existence of multiple inner horizons. We show that the same obstruction can instead be formulated through the Komar integral as a bulk-boundary balance of gravitational Noether charge. In higher-curvature gravity, a direct ADM analysis becomes more complicated, whereas the gravitational Noether charge naturally retains this bulk-boundary structure. We naturally apply the gravitational Noether charge analysis to Lovelock gravity. We introduce a TCC-like curvature condition and prove that, together with the thermodynamically motivated assumption of positive Wald entropy, it allows at most one nondegenerate inner Killing horizon inside a nondegenerate event horizon. This suggests that the obstruction reflects a compatibility between bulk gravitational response and horizon thermodynamics.

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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-23: 1 request, 5,559 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.16 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.91 · compares with prior results 0.93 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

A central question in the study of black hole interiors is how matter and geometry constrain the number of horizons. In Einstein gravity, one known method is to use the ADM decomposition of the field equations to derive a differential inequality for the lapse, which then constrains the possible multiple inner horizons. We show that the same obstruction can instead be formulated through the Komar integral as a bulk-boundary balance of gravitational Noether charge. In higher-curvature gravity, a direct ADM analysis becomes more complicated, whereas the gravitational Noether charge naturally retains this bulk-boundary structure. We naturally apply the gravitational Noether charge analysis to Lovelock gravity. We introduce a TCC-like curvature condition and prove that, together with the thermodynamically motivated assumption of positive Wald entropy, it allows at most one nondegenerate inner Killing horizon inside a nondegenerate event horizon. This suggests that the obstruction reflects a compatibility between bulk gravitational response and horizon thermodynamics.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	A central question in the study of black hole interiors is how matter and geometry constrain the number of horizons.	background 1.00	0.04	0.03	asserted 0.65
s1	In Einstein gravity, one known method is to use the ADM decomposition of the field equations to derive a differential inequality for the lapse, which then constrains the possible multiple inner horizons.	background 0.99	0.05	0.03	asserted 0.97
s2	We show that the same obstruction can instead be formulated through the Komar integral as a bulk-boundary balance of gravitational Noether charge.	contribution 0.86	0.93	0.12	asserted 1.00
s3	In higher-curvature gravity, a direct ADM analysis becomes more complicated, whereas the gravitational Noether charge naturally retains this bulk-boundary structure.	background 0.39	0.22	0.04	asserted 0.99
s4	We naturally apply the gravitational Noether charge analysis to Lovelock gravity.	contribution 0.65	0.90	0.03	asserted 0.98
s5	We introduce a TCC-like curvature condition and prove that, together with the thermodynamically motivated assumption of positive Wald entropy, it allows at most one nondegenerate inner Killing horizon inside a nondegenerate event horizon.	result 0.98	0.95	0.87	asserted 1.00
s6	This suggests that the obstruction reflects a compatibility between bulk gravitational response and horizon thermodynamics.	interpretation 1.00	0.60	0.12	hedged possibility 1.00

What kind of paper the classifier reports this is: theoretical result 0.99 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** FIG. 1. Left: Penrose diagrams of Schwarzschild black hole.

**Figure 2.** FIG. 2. Schematic lapse structure inside a static black hole

**Figure 3.** FIG. 3. Schematic bifurcate extension of the static region

Figures reproduced from arXiv:2610.30812 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.