{"id":"878a4f3a-3237-4bc8-89d3-8fea8e6b5537","arxiv_id":"2505.08836","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A new identity expresses the null energy condition of the author's kappa-models as a time derivative of the metric function, yielding monotonicity rules for the black hole mass.","lead":"This paper presents a compact formula for the energy density plus pressure of dynamical black hole models in flat expanding or collapsing universes, and uses it to test the null energy condition. The test selects which black hole mass histories give physically reasonable horizons.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed equivalence behind the NEC selection rules is false: a monotonically expanding kappa-model can satisfy the full NEC while d/dt(dot M/M) < 0, so Eqs. (26)-(27) are sufficient but not necessary.","rationale":"Re-deriving Eq. (19) from G00 - Grr and the explicit h-function of the kappa-models confirms that the identity is correct; the Einstein equations do give rho + p = -1/(4pi r) d_t h. The serious difficulty is the selection step. The paper claims that (26)-(27) are equivalent to the asymptotic Hubble-function conditions and that these are selected by the NEC. The forward direction of this equivalence is false: even staying within the full NEC, one can have H > 0 and dH/dt < 0 while dA/dt < 0. I constructed a concrete analytic family with kappa = 1, A(t) = -1 - 0.1 sin t, M(t) = M0 exp(-t + 0.1 cos t - 0.1). On any interval with M >= 1, the asymptotic energy is positive and the dust density is non-negative, so the full NEC holds, yet A' is negative on part of the interval. The reader's weakest_assumption correctly identifies the asserted equivalence as the load-bearing step, but the specific forward-direction example in the reader's rationale (positive Hubble with A > 0) would actually have negative dust energy and does not by itself violate the full NEC. The stronger counterexample here shows that even with A < 0, the condition dA/dt >= 0 is not NEC-forced. Since the central identity is sound and the sufficiency direction of the rules survives, the appropriate verdict remains CONDITIONAL pending a correction or weakening of the selection claim; no change from the reader's verdict is needed.","tokens_in":5285,"tokens_out":20360,"duration_ms":211419,"concrete_test":"Substitute M(t) = M0 exp(-t + 0.1 cos t - 0.1) with M0 = 2 and kappa = 1 into Eqs. (10), (14)-(16), and (19), and evaluate at t = 0.5. Verify numerically that H > 0, H' < 0, delta_rho >= 0, and hence E_kappa > 0, while d/dt(dot M/M) = -0.1 cos(0.5) < 0. This contradicts the claimed equivalence (26). If the signs reproduce, the selection rules must be restated as sufficient conditions, not as NEC-selected necessary conditions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central application, that the null energy condition selects the kappa-models obeying the monotonicity rules (26)-(27), rests on an asserted equivalence that does not hold. Setting H = dot a/a = kappa M - A/3 with A = dot M/M, the paper infers from H > 0 and dH/dt <= 0 that A <= 0 and dA/dt >= 0. That inference is invalid: the sign of a sum does not force the signs of its terms. More importantly, the full NEC E_kappa >= 0 does not force dA/dt >= 0. For kappa = 1 choose A(t) = -1 - 0.1 sin t and M(t) = M0 exp(-t + 0.1 cos t - 0.1). On an interval where M >= 1, H = M + (1 + 0.1 sin t)/3 > 0 and H' = A M + 0.1 cos(t)/3 < 0, so the asymptotic null energy E_a = -H'/4pi is positive. Since A < 0, the dust contribution delta_rho = (1/4pi) dot M (1 - K) is non-negative because K >= 1, and therefore E_kappa = E_a + delta_rho > 0. Yet A' = -0.1 cos t < 0 for t near 0.5, violating the second condition in (26). Thus the rules are only sufficient, not necessary, for the NEC; the assertion that the NEC 'selects' exactly these models is not established and is false as an equivalence. The identity (19) itself is correct and unaffected, but the paper's main conclusion needs to be weakened, or the equivalence proven under additional hypotheses. The statement below (16) that |K| >= |kappa| alone makes delta_rho >= 0 is also incomplete, since the sign of dot M must be fixed; this sign is exactly part of the selection rules.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":5690,"tokens_out":10554,"duration_ms":97647,"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":[{"comment":"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.","section":"Sec. 3, Eq. (19)"},{"comment":"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.","section":"Sec. 3, Eqs. (26)–(27)"},{"comment":"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.","section":"Sec. 3, sentence after Eq. (16)"}],"minor_comments":[{"comment":"The keyword \"spece-time\" should be \"space-time\".","section":"Sec. 1, Keywords"},{"comment":"The phrase \"does not modify te pressure\" should be \"does not modify the pressure\".","section":"Sec. 2, after Eq. (16)"},{"comment":"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.","section":"Sec. 3, after Eq. (25)"},{"comment":"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).","section":"Sec. 3, paragraph after Eq. (27)"},{"comment":"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.","section":"Sec. 3, Eq. (21)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The one genuinely new thing is Eq. (19): for the κ-models, rho+p = -1/(4πr) ∂_t h. I spot-checked the algebra from (6)-(9); it's correct. That is a nice compact identity, and it makes the NEC a one-derivative check. The derivation is not shown, but the substitution is straightforward.\n\nThe problem is the selection step. The paper claims (26) and (27) are equivalent to the NEC. That equivalence is false. The sign of H doesn't fix the sign of A = dot M/M, and the sign of H' doesn't fix A'. The stress-test counterexample works: κ=1, A = -1 - 0.1 sin t, M0 large enough, gives H>0, H'<0, and because dot M<0 while K>1, δρ≥0, so E_κ≥0 throughout, yet A'<0. Thus (26) is only sufficient, not necessary. The abstract's claim that the NEC 'selects' these models is therefore not established. It's fixable: either prove the equivalence under extra hypotheses such as monotone A, or state the rules as sufficient conditions and drop 'equivalent'.\n\nMinor slip: the sentence after (16) says |K|≥|κ| alone makes δρ≥0; the sign of dot M is also needed. In the models satisfying the rules that sign is fixed, so this is a small imprecision, not a big one.\n\nThe previously studied examples (M~t^{-s}, a~t^p) do satisfy the stronger rules, so the paper's specific past results survive. The citation pattern is mostly the author's own models, which is appropriate here.\n\nWorth a serious referee. The identity is useful for anyone working with Painlevé-Gullstrand cosmological black holes; the false equivalence is a real but local flaw. I'd send it out, asking for a rewritten selection section, rather than desk-reject.","headline":"Useful new identity with a false equivalence claim; clear revision needed.","tokens_in":6219,"tokens_out":3845,"would_cite":true,"duration_ms":36726,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.Bw"],"model":"deepseek-v4-flash","headline":"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…","keywords":["dynamical black holes","asymptotic FLRW space-times","null energy condition","dynamical horizons","black hole evaporation","κ-models","monotone mass selection"],"falsifier":"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.","tokens_in":5061,"feed_emoji":"🕳️","tokens_out":13459,"duration_ms":120899,"temperature":0.7,"pith_summary":"This paper reports a new identity for a family of time-dependent black-hole spacetimes embedded in spatially flat FLRW universes: for each such κ-model, the null energy $E_\\kappa=\\rho_\\kappa+p_\\kappa$ equals $-\\frac{1}{4\\pi r}\\partial_t h_\\kappa$, where $h_\\kappa$ is the metric function in coordinates with cosmic time $t$ and radial coordinate $r$. The identity turns the null energy condition, normally a statement about the stress-energy tensor, into a derivative condition on a single function. The author uses it to select the κ-models with physical meaning: expanding-background models must have monotonically decreasing masses, while collapsing-background models must have monotonically increasing masses, under the stated monotonicity rules. If the selection is right, the horizons of these black holes evolve as the general dynamical-horizon theory says they should—inner horizons non-increasing and outer horizons non-decreasing—which is why the identity matters.","feed_headline":"Null energy identity picks which dynamical black holes are physical","feed_subtitle":"For the paper's black-hole models, the energy condition reduces to a check on how fast the black-hole mass changes.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Defines the κ-models and their h-function on which the new identity is computed.","marker":"[10]"},{"why":"Supplies the κ=0 limiting models and the proof that the ϵ=1 case describes dynamical black holes in expanding space-times.","marker":"[9]"},{"why":"Gives the earlier particular model for which the null energy was verified explicitly, a special case now subsumed by the identity.","marker":"[11]"},{"why":"Provides the general black-hole theory in local frames with null coordinates that motivates the role of the null energy condition.","marker":"[14]"},{"why":"Provides the dynamical-horizon theorem whose predicted inner- and outer-horizon evolution the selected models are claimed to match.","marker":"[15]"}],"fun_headline_variants":["New identity ties black hole energy to mass change","Null energy condition filters physical black hole models","Dynamical black holes: energy condition as selection rule","Mass-rate inequality determines viable black hole models","Identity links energy condition to horizon evolution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["New identity ties black hole energy to mass change","Null energy condition filters physical black hole models","Dynamical black holes: energy condition as selection rule","Mass-rate inequality determines viable black hole models","Identity links energy condition to horizon evolution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1311,"prompt_tokens":907,"completion_tokens":404,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":523,"completion_tokens_details":{"reasoning_tokens":335}},"tokens_in":523,"tokens_out":404,"duration_ms":4448,"temperature":1.0,"reasoning_tokens":335,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:00:03.406814+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the κ-models and their h-function on which the new identity is computed."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the earlier particular model for which the null energy was verified explicitly, a special case now subsumed by the identity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the dynamical-horizon theorem whose predicted inner- and outer-horizon evolution the selected models are claimed to match."}],"review_version":1}