{"id":"f31b79e8-0483-4a88-a347-8281fe207025","arxiv_id":"2608.12651","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In spherical f(R) gravity, a regular outer horizon followed by an ingoing segment with mixed matter-scalaron source at or below F/r^2 cannot be followed by a second regular inner marginal horizon on the same generator.","lead":"This paper derives a criterion in modified gravity that can rule out a second, inner horizon in spherical black holes when a combined source term stays below a threshold. It gives researchers a quantitative, horizon-regular diagnostic link between black hole interiors and matter-plus-curvature effects, useful for testing cosmic censorship in f(R) gravity.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 1 follows from Eq. (24); the F>0/regularity hypotheses and the untested sufficient-direction example are explicit scope limits, not flaws.","rationale":"The reader's weakest assumption was the F>0 and regularity precondition, which is indeed the most fragile premise for applying the theorem. I agree that this is the main scope limitation, and the paper explicitly flags the Multamaki-Vilja example where F crosses zero. However, I do not view this as a load-bearing objection to the proof itself: Theorem 1 is a conditional statement and its derivation is sound once the stated hypotheses hold. The reader also noted that the sufficient direction is not tested in a scalaron-active solution; the authors admit this in Section VIII. I consider this a gap in demonstrating practical impact, but not a mathematical flaw. The theorem is nearly tautological once Eq. (24) is accepted, and every algebraic step checks out. Therefore I recommend leaving the ACCEPT verdict unchanged.","tokens_in":19482,"tokens_out":18227,"duration_ms":197177,"concrete_test":"Recompute P_l n for the Section VI C benchmark using the trace-based form Eq. (28) rather than Eq. (20), and verify that the integrated source balance Eq. (114) still holds. If the two forms disagree, the source decomposition or the central identity Eq. (24) contains a sign error. As a complementary check, search the Tang-Wang-Papantonopoulos parameter space for a single-horizon branch with F>0 throughout the regular ingoing segment and numerically verify S(lambda)=r^2 P_l n/F - 1 <= 0 along the whole segment; finding such a branch would give the missing scalaron-active test of the sufficient obstruction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the derivation of the central identity Eq. (24) against the field equations (3), the trace equation (5), the scalar d'Alembertian (A8), and the geometric identity (19). The algebra is consistent: L_n(r^2 theta_l) = -1 + r^2 P_l n / F, and the monotonicity argument for Theorem 1 is a direct consequence of a negative derivative at lambda_o followed by a nonpositive derivative along the segment. The main fragile premise is the explicit hypothesis F>0 and regularity of the metric, scalaron, and matter projections on the ingoing segment. The paper itself demonstrates in Section VI E that the Multamaki-Vilja two-horizon solution has F=0 at r=3M, so the divided cross-focusing equation (22) and Theorem 1 do not apply there. This is a stated scope limitation rather than an internal inconsistency. Similarly, Section VIII explicitly admits that no scalaron-active example tests the sufficient direction of Theorem 1; this is a demonstration gap for practical applicability of the new f(R) mechanism, not a correctness hole in the conditional proof. I find no hidden assumption that would undermine the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a double-null formalism for spherical metric f(R) gravity and derives an exact transport law for the area-weighted outgoing null expansion, L_n(r^2 θ_(ℓ)) = -1 + r^2 P_ℓn/F (Eq. (24)), where P_ℓn is the mixed matter-scalaron source defined in Eq. (20). From this identity the authors prove Theorem 1: if P_ℓn ≤ F/r² along a regular future-directed ingoing null segment issuing from a nondegenerate future outer marginal sphere, then r²θ_(ℓ) becomes strictly negative and cannot return to zero, so no second regular future marginal sphere of the outgoing family can occur. Proposition 2 gives the necessary reverse inequality at a future inner marginal sphere and an exact integral balance for an outer-inner pair. The static limit reduces the criterion to C_h = -B'(r_h)/r_h (Eq. (67)), valid without simple-zero assumptions. The framework is checked against Schwarzschild, Schwarzschild-de Sitter, Reissner-Nordström, an exact charged nonconstant-curvature f(R) solution, and the Multamäki-Vilja solution is used to illustrate the F>0 domain requirement.","tokens_in":19689,"tokens_out":21805,"duration_ms":171155,"significance":"The central result is a clean, frame-invariant criterion that is genuinely new in the f(R) context. The derivation of Eq. (24) is explicit and correct, with no fitted parameters or hidden assumptions beyond the stated regularity and F>0 conditions. The paper is careful to state the conditional nature of the Cauchy-horizon corollary and to distinguish the local Hayward classification from global causal roles. The exact charged f(R) example verifies the necessary source-reversal and integral balance in a nonconstant-scalaron setting, and the paper honestly acknowledges that no example tests the sufficient direction of Theorem 1. This is a limitation for immediate practical application, but not a defect in the proof. The work should be of interest to researchers working on inner horizons, trapped-surface formation, and modified gravity.","major_comments":[],"minor_comments":[{"comment":"The paper explicitly states that no example tests the sufficient direction of Theorem 1 in a scalaron-active regime. This is an honest limitation, but given that the sufficient obstruction is the paper's main novelty, I suggest adding a brief discussion of whether any known solution (or a simple construction, e.g., with a nonconstant scalaron and vanishing matter) could satisfy P_ℓn ≤ F/r², or of the obstacles to constructing one. This would help readers gauge the practical reach of the theorem.","section":"Section VIII"},{"comment":"The normalization 8πT_ℓn = q²/(4r^4) differs from the familiar RN expression Q²/r^4. Please add a sentence explaining that q here is the charge parameter of Ref. [25] (with q = 2Q in standard RN units), to avoid confusion when comparing with Eq. (88).","section":"Section VI C"},{"comment":"The phrase 'verified in an exact charged, nonconstant-curvature f(R) black hole with a nonconstant scalaron' could be sharpened to indicate that the verification covers the local classification and the necessary source-reversal/integral-balance conditions, not the sufficient obstruction. This is already clear from Section VI C, but an early precision would be helpful.","section":"Abstract and Introduction"},{"comment":"The long parenthetical defining 'source-reversal function' is grammatically hard to parse. Consider breaking it into a separate sentence.","section":"Around Eq. (53)"},{"comment":"Minor typographical issues: 'Schwarzschild-de Sitter' is sometimes hyphenated inconsistently, and 'Multamäki-Vilja' spelling should be uniform.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically sound and publishable. The only caveat is that the sufficient obstruction is not demonstrated in a nonconstant-F example; this is explicitly acknowledged by the authors and does not affect the correctness of the theorem. I recommend minor revision to address the clarity points."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know: this is a clean, honest paper, and the main theorem is very likely right. The core is an exact area-weighted identity L_n(r²θ_(ℓ)) = -1 + r²P/F in spherical metric f(R) gravity, followed by a monotonicity argument: if P ≤ F/r² all the way along an ingoing null generator from a nondegenerate future outer marginal sphere, the outgoing expansion cannot return to zero. That gives a genuine obstruction to a second regular marginal sphere of the same family, and conditionally to a regular inner Cauchy horizon. The derivation is transparent; I checked Eq. (24) against the field equations and the appendix and it holds. The static reduction C_h = -B'(r_h)/r_h is also nice, and it does not require simple zeros.\n\nWhat is new: the area-weighted identity and the propagation theorem for f(R). The GR and RN checks are consistency checks and correctly reproduce the outer/inner classification. The exact charged Tang-Wang-Papantonopoulos solution with F'≠0 is a genuinely nonconstant-scalaron benchmark: it verifies the necessary source reversal and the exact integral balance in a case where the sufficient bound fails. That is a good test of the conditional structure.\n\nThe soft spots are mostly ones the authors name themselves. The sufficient direction — an example that actually satisfies P ≤ F/r² with nonconstant F and no inner horizon — is absent. The two nonconstant-F solutions they discuss either violate the bound before the inner horizon (RN-type) or have F=0 in the region (Multamäki–Vilja). So the theorem is not yet demonstrated to bite in a scalar-active regime. Also, the hypotheses (F>0 and regularity along the entire segment) are strong; if mass inflation makes the interior singular, the theorem is moot. But the paper says this plainly and does not overclaim.\n\nI do not see a hidden flaw. The algebra is consistent, the citations are fair, and the self-cited companion [32] is complementary rather than load-bearing. The paper is worth a serious referee; it is a solid contribution to the modified-gravity inner-horizon literature. If I were the editor I would send it out and expect it back publishable after light revision, with the authors perhaps adding a short comment on why a scalar-active sufficient example is hard to construct.\n\nBest,\n[Name]","headline":"A clean, honest conditional obstruction theorem for regular inner marginal horizons in spherical f(R) gravity, with sound math and explicit scope limits; worth a serious referee even though no scalar-active example actually tests the sufficient direction.","tokens_in":20260,"tokens_out":2509,"would_cite":true,"duration_ms":23132,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"In spherical f(R) gravity, a single inequality on a mixed matter–scalaron source prevents the outgoing null expansion from rebounding to zero, blocking regular inner marginal horizons.","keywords":["f(R) gravity","inner horizon","Cauchy horizon","cross-focusing","null expansion","marginal sphere","scalaron","double-null formalism"],"falsifier":"Find a regular spherically symmetric metric f(R) solution with F>0, a nondegenerate future outer marginal sphere, and P_ℓn≤F/r² along a complete ingoing null generator that nevertheless ends at a regular future inner marginal sphere; computing S=r²P_ℓn/F−1 along that generator and observing it stay nonpositive while r²θ_(ℓ) returns to zero would refute Theorem 1. In numerical collapse simulations, extracting S along regular ingoing null generators and finding a later marginal sphere while S≤0 throughout would be a direct test of the obstruction.","tokens_in":19295,"feed_emoji":"🕳️","tokens_out":5408,"duration_ms":46621,"temperature":0.7,"pith_summary":"The paper claims that in spherically symmetric metric f(R) gravity, the possibility of a regular inner marginal horizon is controlled by a local inequality comparing a mixed matter–scalaron source P_ℓn to the scalaron-weighted curvature scale F/r². It derives an exact evolution law for r²θ_(ℓ), the area-weighted outgoing expansion, along an affinely parametrized ingoing null geodesic. If the source stays at or below the threshold on a regular segment starting from a nondegenerate future outer marginal sphere, the expansion can never return to zero, so no second regular marginal sphere of the same family can form on that generator. Conversely, any regular nondegenerate future inner marginal sphere requires the source to exceed the threshold locally, forcing a sign reversal and an exact integrated balance between the outer and inner horizons. This gives a horizon-regular criterion that works without assuming a trapped region and reduces in the static limit to the sign of the radial derivative of the metric function.","feed_headline":"A source inequality blocks inner horizons in f(R) gravity","feed_subtitle":"If the mixed matter–scalaron term stays at or below F/r², the outgoing expansion never returns to zero.","key_machinery":"The central object is the exact area-weighted cross-focusing identity L_n(r²θ_(ℓ)) = -1 + r²P_ℓn/F. Here θ_(ℓ) is the expansion of the outgoing radial null congruence, n is the affinely parametrized ingoing null tangent, F≡f_R is the scalaron, and P_ℓn is the mixed matter–scalaron source P_ℓn = 8πT_ℓn + ∇_ℓ∇_nF + □F + ½(FR−f). The identity converts the combined effect of the two null expansions into an exact total derivative, so the source threshold P_ℓn=F/r² directly controls monotonicity of the area-weighted outgoing expansion. Keeping the scalaron derivative terms explicit in the source, rather than absorbing them into an effective matter term, is what distinguishes the argument from the General Relativity case and allows the criterion to be tested locally along a null generator.","core_discovery":"The paper's central result is Theorem 1: for a regular, affinely parametrized ingoing null generator issuing from a nondegenerate future outer marginal sphere in spherical metric f(R) gravity with F=f_R>0, if P_ℓn≤F/r² along the entire segment, then r²θ_(ℓ) is nonincreasing and strictly negative after the starting point; θ_(ℓ) cannot return to zero, and no later regular future marginal sphere of the outgoing family exists on that generator. The proof is carried by the exact area-weighted identity L_n(r²θ_(ℓ)) = -1 + r²P_ℓn/F, which absorbs the product θ_(ℓ)θ_(n) into a total derivative. The authors also establish the necessary converse: a nondegenerate future inner marginal sphere requires P_ℓn>F/r² at that sphere, so an outer–inner pair forces S=r²P_ℓn/F−1 to change sign and integrate to zero along the connecting segment. They emphasize that the result is an obstruction to regular inner marginal horizons, not an unconditional no-Cauchy-horizon theorem, and they verify the classification on Schwarzschild, Reissner–Nordström, Schwarzschild–de Sitter, and an exact charged f(R) solution with a nonconstant scalaron.","pith_inferences":["Because the proof requires only a single regular ingoing null generator and the local source bound, the diagnostic S=r²P_ℓn/F−1 could be read directly from double-null numerical simulations of f(R) collapse to test whether a candidate inner boundary is excluded before mass inflation becomes singular.","The structure of the area-weighted identity suggests that an analogous cross-focusing obstruction should transfer to scalar–tensor and Horndeski theories, with the scalaron replaced by the scalar field's coupling function; this is a natural extension the paper does not itself develop.","A failure of the sufficient bound P_ℓn≤F/r² near an inner horizon should not be read as evidence that an inner horizon forms, since the bound is sufficient rather than necessary; the examples verify the classification and source reversal, not the obstruction direction in a genuinely scalaron-active setting."],"forward_implications":["If a nondegenerate future outer marginal sphere is followed by an ingoing null segment on which P_ℓn≤F/r², then no regular future inner marginal sphere of the outgoing family can occur on that generator.","Any regular outer–inner marginal pair connected by a regular generator must exhibit a sign reversal of S=r²P_ℓn/F−1 and satisfy the exact integral balance ∫S dλ=0.","In static, spherically symmetric, horizon-regular Eddington–Finkelstein coordinates, the criterion reduces to the sign of −B'(rh)/rh, classifying future outer, future inner, and degenerate horizons without assuming simple zeros of the metric functions.","The classification reproduces the Reissner–Nordström case, where the outer horizon is future outer and the inner Cauchy horizon is future inner, consistent with the Maxwell mixed stress exceeding the threshold.","The Cauchy-horizon obstruction is conditional: it applies only when the candidate boundary is also a regular nondegenerate future inner marginal horizon reached through a regular double-null extension."],"supporting_citations":[{"why":"Supplies the future outer/inner/degenerate trapping-horizon classification used to convert the sign of L_n θ_(ℓ) at a marginal sphere into the source threshold inequalities.","marker":"[5]"},{"why":"Provides the spherical specialization of the cross-focusing relation for a normalized null pair that underlies the geometric identity Eq. (19).","marker":"[6]"},{"why":"Establishes the standard metric f(R) field equations and the F>0 viability condition on which the divided focusing equations and theorems rest.","marker":"[15]"},{"why":"Supplies the companion review of f(R) gravity and the requirement that the scalaron be positive for a stable effective gravitational coupling.","marker":"[16]"},{"why":"Gives the exact charged Maxwell–f(R) solution with nonconstant scalaron used as the benchmark that realizes the source reversal and the exact integrated balance.","marker":"[25]"},{"why":"Frames the mass-inflation instability that makes existence of a regular inner marginal horizon logically distinct from nonlinear stability of a Cauchy horizon.","marker":"[7]"},{"why":"Provides the Multamäki–Vilja two-horizon solution used to illustrate how a zero of F inside the relevant region obstructs the divided cross-focusing equation.","marker":"[20]"},{"why":"Is the companion static analysis whose radial monotonicity law is complementary to the double-null criterion and shares the same F>0 domain requirement.","marker":"[32]"},{"why":"Reports mass inflation and strong scalaron evolution in charged f(R) collapse, motivating the numerical evaluation of the mixed-source diagnostic along null generators.","marker":"[29]"}],"fun_headline_variants":["f(R) gravity: inner horizons need source reversal","Exact inequality forbids regular inner horizon","Regular marginal sphere blocked by scalaron condition","No second regular horizon without source sign change","Inner horizon obstruction in spherical f(R) gravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole chain depends on the scalaron F being strictly positive and on the metric, scalaron, and matter projections being regular, meaning twice-differentiable metric and scalaron, continuous matter projections, and finite focusing quantities, along the entire ingoing null segment; if F crosses zero at any point, the divided field equations and every inequality derived from them stop applying.","fun_headline_variants_meta":{"raw":{"variants":["f(R) gravity: inner horizons need source reversal","Exact inequality forbids regular inner horizon","Regular marginal sphere blocked by scalaron condition","No second regular horizon without source sign change","Inner horizon obstruction in spherical f(R) gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000333,"raw_usage":{"total_tokens":1935,"prompt_tokens":1116,"completion_tokens":819,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":732,"completion_tokens_details":{"reasoning_tokens":750}},"tokens_in":732,"tokens_out":819,"duration_ms":6916,"temperature":1.0,"reasoning_tokens":750,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:04:38.394317+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a regular spherically symmetric metric f(R) solution with F>0, a nondegenerate future outer marginal sphere, and P_ℓn≤F/r² along a complete ingoing null generator that nevertheless ends at a regular future inner marginal sphere; computing S=r²P_ℓn/F−1 along that generator and observing it stay nonpositive while r²θ_(ℓ) returns to zero would refute Theorem 1. In numerical collapse simulations, extracting S along regular ingoing null generators and finding a later marginal sphere while S≤0 throughout would be a direct test of the obstruction.","supporting_citations":[{"cited_title":"General laws of black hole dynamics,","cited_arxiv_id":null,"evidence_quote":"Supplies the future outer/inner/degenerate trapping-horizon classification used to convert the sign of L_n θ_(ℓ) at a marginal sphere into the source threshold inequalities."},{"cited_title":"New insights on null and timelike warped symmetric spacetime splittings","cited_arxiv_id":"2405.09968","evidence_quote":"Provides the spherical specialization of the cross-focusing relation for a normalized null pair that underlies the geometric identity Eq. (19)."},{"cited_title":"Exact charged black hole solutions in D-dimensions in f(R) gravity","cited_arxiv_id":"1911.06988","evidence_quote":"Gives the exact charged Maxwell–f(R) solution with nonconstant scalaron used as the benchmark that realizes the source reversal and the exact integrated balance."},{"cited_title":"Internal structure of black holes,","cited_arxiv_id":null,"evidence_quote":"Frames the mass-inflation instability that makes existence of a regular inner marginal horizon logically distinct from nonlinear stability of a Cauchy horizon."},{"cited_title":"Scalaron-modified null focusing and radial monotonicity in static f(R) gravity","cited_arxiv_id":"2608.08818","evidence_quote":"Is the companion static analysis whose radial monotonicity law is complementary to the double-null criterion and shares the same F>0 domain requirement."},{"cited_title":"Mass inflation in f(R) gravity: A conjecture on the resolution of the mass inflation singularity","cited_arxiv_id":"1110.0928","evidence_quote":"Reports mass inflation and strong scalaron evolution in charged f(R) collapse, motivating the numerical evaluation of the mixed-source diagnostic along null generators."}],"review_version":1}