REVIEW 3 major objections 5 minor 1 cited by
Null energy condition of dynamical black holes in spatially flat FLRW space-times
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For every κ-model of dynamical black holes, the null energy satisfies the identity $E_\kappa=\rho_\kappa+p_\kappa=-\frac{1}{4\pi r}\partial_t h_\kappa$, which selects the models with physically meaningful monotone mass evolution and…
desk verdict Useful new identity with a false equivalence claim; clear revision needed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the metric function $h_\kappa(t,r)$ in the physical line element $ds^2=dt^2-[dr-h_\kappa dt]^2-r^2d\Omega^2$, together with the new identity $E_\kappa=-\frac{1}{4\pi r}\partial_t h_\kappa$. The h-function encodes the black-hole mass $M(t)$ and the parameter $\kappa$ that controls the asymptotic Hubble rate, so one time derivative of $h$, divided by $r$, reproduces exactly the combination $\rho+p$. The identity converts the null energy condition into a check on $M(t)$ alone, and comparison with the asymptotic Hubble rate $\frac{\dot a}{a}=\kappa M-\frac{1}{3}\frac{\dot M}{M}$ yields the monotonicity rules that select the models.
What would settle it
Take any explicitly chosen mass function $M(t)$ and compute both sides of the identity (19) from the metric; equality is a direct algebraic check. To test the selection rule, choose a background Hubble function $H(t)>0$ with $H'(t)\le 0$ and no zeros whose implied $\dot M/M$ (through $H=\kappa M-\frac{1}{3}\dot M/M$) violates the stated mass inequality; if such a function exists, the claimed equivalence fails even though the identity still holds.
Extended reading notes
Core claim
The central claim is the identity (19): $E_\kappa(t,r)=\rho_\kappa(t,r)+p_\kappa(t)=-\frac{1}{4\pi r}\partial_t h_\kappa(t,r)$, reported here for the first time. It holds for the κ-models, whose metric is $ds^2=dt^2-[dr-h_\kappa(t,r)dt]^2-r^2d\Omega^2$ with $h_\kappa(t,r)=-\frac{1}{3}\frac{\dot M(t)}{M(t)}r+\epsilon\sqrt{\frac{2M(t)}{r}+\kappa^2M(t)^2r^2}$. From this identity the paper derives conditions under which $E_\kappa\ge 0$: for expanding backgrounds with $\epsilon=1$, $\frac{\dot M}{M}\le 0$ and $\frac{d}{dt}(\frac{\dot M}{M})\ge 0$; for collapsing backgrounds with $\epsilon=-1$, $\frac{\dot M}{M}\ge 0$ and $\frac{d}{dt}(\frac{\dot M}{M})\ge 0$. The author's conclusion is that these are the selection rules for physically meaningful models, and that models obeying them have black-hole horizons that shrink and cosmological horizons that grow, consistent with the standard dynamical-horizon theorem in null-coordinate frames.
Load-bearing premise
The selection step assumes that monotone expansion (or collapse) with no zeros is exactly equivalent to the stated inequalities on the mass function; the paper asserts this equivalence without proving it.
Editorial extensions
If this is right
- In expanding κ-models that satisfy the null energy condition, the black-hole mass is monotone non-increasing, so these are evaporating black holes that dissipate their mass into the surrounding dust.
- In collapsing κ-models with $\kappa<0$, the null-energy-compatible masses must increase, giving a concrete target family for studying black-hole growth rather than evaporation.
- The previously studied expanding models with power-law mass functions or power-law scale factors satisfy the stated rules after horizon formation, so their horizon behavior is consistent with the general dynamical-horizon theorem.
- The identity supplies a cheap null-energy test for the whole class: check the sign of $-\partial_t h_\kappa$ instead of computing the full Einstein tensor components.
Reading between the lines
- Because the identity is local and algebraic in $h$, it is natural to test whether it extends to any spherically symmetric metric of the same line-element form with perfect-fluid matter, beyond the κ-model family; the paper does not claim this extension.
- The $1/r$ prefactor suggests an integral form relating the null energy to a surface integral of $\partial_t h$, which could connect the identity to quasilocal mass or area-change formulas; the paper does not pursue that connection.
- A direct proof or counter-example of the asserted equivalence between the mass inequalities and monotone Hubble evolution would settle whether the selection rules are necessary conditions; the identity itself does not depend on that equivalence.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies a family of dynamical, spherically symmetric black-hole spacetimes (the "κ-models" of Refs. [9,10]) embedded in spatially flat FLRW backgrounds. The metric is written in Painlevé-Gullstrand coordinates with a function h_κ that depends on a time-dependent mass M(t) and a free parameter κ. The principal new result is the identity E_κ(t,r)=ρ_κ+p_κ=−(1/4πr)∂_t h_κ, Eq. (19), which expresses the null energy of these models as the time derivative of the metric function. The paper then uses this identity, together with the asymptotic Hubble function H=κM−(1/3) ẊM/M, to derive selection rules (26) and (27) for M(t), which are claimed to be equivalent to the null energy condition in expanding (κ>0) and collapsing (κ<0) backgrounds. The author concludes that the null energy condition selects exactly the κ-models whose horizons evolve monotonically as predicted by Hayward's theorem. The identity itself appears correct and checkable by substitution, but the claimed equivalence behind the selection rules is not established and is in fact false.
Significance. If confirmed, Eq. (19) is a compact and useful diagnostic for the null energy condition in this model family, and the connection to Hayward's trapping-horizon theory is physically motivated. The explicit, closed-form nature of the identity is a strength: it can be verified by direct substitution of the Einstein-tensor components. However, the central application—that the null energy condition selects exactly the models obeying (26) and (27)—rests on a false equivalence. The paper's durable contribution is the identity and the sufficiency of the proposed monotonicity conditions; the necessity claim must be substantially weakened. The manuscript would also benefit from showing the derivation of (19) and from correcting the sign logic in the step leading to Eq. (24).
major comments (3)
- [Sec. 3, Eq. (19)] The identity is stated as the principal new result but no derivation is given. Since this identity is the basis for all subsequent conclusions, the manuscript should include a derivation, for example by substituting the Einstein-tensor components (6)–(9) and the appropriate null vector, or by a short explicit computation. Without this, the central claim cannot be verified from the text.
- [Sec. 3, Eqs. (26)–(27)] The claimed equivalence is false. The conditions ẊM/M≤0 and d/dt(ẊM/M)≥0 are sufficient for H≥0 and dH/dt≤0 when κ>0 (and analogously for κ<0), but they are not necessary: the sign of a sum does not force the signs of its terms. A concrete counterexample with κ=1 is A(t)=ẊM/M = −1 −0.1 sin t, M(t)=M_0 exp(−t+0.1 cos t−0.1). For t in (0,π/2) and M_0 sufficiently large, H=M+(1+0.1 sin t)/3>0 and H'=A M+(0.1/3)cos t<0, so E_a=−H'/4π>0. Since A<0, ẊM<0, and K≥1 for κ=1, δρ=(ẊM/4π)(1−K)≥0, hence E_κ=E_a+δρ>0. Nevertheless dA/dt=−0.1 cos t<0 at t=0.5, violating (26). Thus the null energy condition does not imply the selection rules; (26)–(27) are only sufficient. The conclusion that the NEC "selects" these models is therefore overstated and should be reformulated, or additional hypotheses must be supplied to prove a corrected equivalence.
- [Sec. 3, sentence after Eq. (16)] The statement that "from Eq. (8) we deduce that |K|≥|κ| the dust mass (16) is non-negative, δρ≥0" is logically incomplete. The sign of δρ depends on both |K|−|κ| and the sign of ẊM. For κ>0 one needs ẊM≤0 (and for κ<0, ẊM≥0) to conclude δρ≥0. This sign condition is later imposed in (26)–(27), but as written the step leading to Eq. (24) is a gap. Please state the required sign of ẊM explicitly.
minor comments (5)
- [Sec. 1, Keywords] The keyword "spece-time" should be "space-time".
- [Sec. 2, after Eq. (16)] The phrase "does not modify te pressure" should be "does not modify the pressure".
- [Sec. 3, after Eq. (25)] The sentence "the both terms must have the sane signs" should read "the same signs"; in addition, this is only a sufficient condition, not a necessary one.
- [Sec. 3, paragraph after Eq. (27)] The sentence "the model with the mass function M(t)∝e^{−t^2} and κ>0 violates Eqs. (17)" should refer to Eq. (26), not Eq. (17).
- [Sec. 3, Eq. (21)] Equation (21) is correct, but it would help to state explicitly that ϵ=1 corresponds to an expanding asymptotic region (H>0) and ϵ=−1 to a collapsing one (H<0), since the sign of ṙ_a in the two branches may otherwise be confusing.
Circularity Check
No circularity: the central identity is derived from the field equations, and the Hayward comparison is external; the asserted mass/Hubble equivalence is a rigor gap, not a circular reduction.
full rationale
The paper's central identity, Eq. (19), is obtained as a direct consequence of the Einstein equations (5)-(7) and the metric ansatz (1)-(4); it is not assumed as an input and does not presuppose the null energy condition or the selection rules. The selection rules (26)-(27) are presented as conditions guaranteeing the NEC, and the Hayward theorem is used as an external benchmark, not as a self-citation that carries the argument. The author's prior papers [9]-[11] supply the kappa-model family, but this is ordinary model setup, not circular support for the new identity. The asserted equivalence in Eqs. (26)-(27) is mathematically doubtful: the sign of the Hubble function and its derivative does not force the sign of the mass terms individually, so the rules are at most sufficient. However, this is a correctness or rigor issue, not a circularity, because the conclusion is not built into the premises by definition. Hence no specific circular step can be quoted, and the paper is self-contained against the external Hayward benchmark.
Assumptions & free parameters
free parameters (2)
- kappa =
not fitted; free real parameter of the model family
- M(t), the dynamical mass function =
arbitrary non-negative function; examples M ~ t^{-s} or a ~ t^p
assumptions (4)
- domain assumption Metric ansatz (1) with Painlevé-Gullstrand coordinates and h_kappa given by Eq. (4)
- domain assumption Matter is a single perfect fluid with four-velocity U=(1,h,0,0), so NEC reduces to rho+p >= 0
- ad hoc to paper Asymptotic FLRW Hubble function must evolve monotonically and without zeros
- domain assumption Hayward's trapping-horizon theory (Ref. [15]) correctly characterizes physical horizons
Cite this review
Pith. "Pith review of Null energy condition of dynamical black holes in spatially flat FLRW space-times." pith.science (2026). https://pith.science/paper/TM6I5F6L
@misc{pith2026250508836,
author = {Pith},
title = {Pith review of: Null energy condition of dynamical black holes in spatially flat FLRW space-times},
year = {2026},
howpublished = {\url{https://pith.science/paper/TM6I5F6L}},
note = {Machine review of arXiv:2505.08836}
}
read the original abstract
A new identity reported here for the first time is used for studying how the null energy condition can be applied to the models of dynamical black holes proposed recently [I. I. Cot\u aescu, Eur. Phys. J. C (2022) 82:86]. It is shown that this condition selects the models with physical meaning whose horizons evolve in accordance with the general black hole theory in frames with null coordinates [S. A. Hayward, Phys. Rev. D {\bf 49} (1994) 6467].
Forward citations
Cited by 1 Pith paper
-
On a star with expanding isotropic fluid
The claimed star solution is a spatially flat FLRW universe whose scale factor grows like sqrt(cosh(2kt)); its late-time de Sitter phase has Lambda=3k^2, not k^2.
Reference graph
Works this paper leans on
-
[1]
V. P. Frolov and A. Zelnikov, Introduction to Black Hole Physics (Oxford Univ. Press. Inc., New York 2011)
2011
-
[2]
Kottler, Ann
F. Kottler, Ann. Phys. (Berlin) 361 (1918) 401
1918
-
[3]
C. Gao, X. Chen, Y.-G. Shen, and V. Faraoni, Phys. Rev. D 84, 104047 (2011)
work page 2011
-
[4]
G. C. McVittie, MNRAS 93 (1933) 325. 6
work page 1933
-
[5]
B. C. Nolan, Phys. Rev. D 58 (1998) 064006
1998
-
[6]
Carrera and D
M. Carrera and D. Giulini, Phys. Rev. D 81 (2010) 043521
2010
-
[7]
Carrera and D
M. Carrera and D. Giulini, Rev. Modern Phys. 82 (2010) 169
2010
-
[8]
Nandra, A
R. Nandra, A. N. Lasenby and M. P. Hobson, MNRAS 422 (2012) 2931
2012
Show all 15 references
-
[9]
I. I. Cot˘ aescu, Eur. Phys. J. C 82 (2022) 86
2022
-
[10]
I. I. Cot˘ aescu, Eur. Phys. J. C 84 (2024) 819
2024
-
[11]
I. I. Cot˘ aescu, Eur. Phys. J. C 85 (2025) 318
2025
-
[12]
Painleve, C
P. Painleve, C. R. Acad. Sci. (Paris) 173 (1921) 677
1921
-
[13]
Gullstrand, Arkiv
A. Gullstrand, Arkiv. Mat. Astron. Fys. 16 (1922) 1
1922
-
[14]
S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space Time (Cambridge University Press, Cambridge, England, 1973)
1973
-
[15]
S. A. Hayward, Phys. Rev. D 49 (1994) 6467. 7
1994
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.