REVIEW 5 minor 32 references
Horizon-regular cross-focusing and inner-horizon obstructions in spherical f(R) gravity
T0 review · 0 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. 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 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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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.
minor comments (5)
- [Section VIII] 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 VI C] 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).
- [Abstract and Introduction] 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.
- [Around Eq. (53)] The long parenthetical defining 'source-reversal function' is grammatically hard to parse. Consider breaking it into a separate sentence.
- [Throughout] Minor typographical issues: 'Schwarzschild-de Sitter' is sometimes hyphenated inconsistently, and 'Multamäki-Vilja' spelling should be uniform.
Circularity Check
No circularity found: Theorem 1 is a direct consequence of the exact area-weighted identity and is not fed by fitted parameters or self-cited premises.
full rationale
The central derivation is self-contained. The area-weighted cross-focusing identity, Eq. (24), L_n(r^2 theta_(ell)) = -1 + r^2 P_ell n / F, follows exactly from the geometric identity (19), the f(R) field equation contraction (21), and the kinematical relation L_n(r^2) = r^2 theta_(n), Eq. (23). Theorem 1 is then a direct monotonicity argument: at a nondegenerate future outer marginal sphere Eq. (34) gives C_H < 0, so L_n(r^2 theta_(ell)) < 0 initially, and the condition P_ell n <= F/r^2 makes the derivative nonpositive thereafter, preventing theta_(ell) from returning to zero. No parameter is fitted to any output, and the threshold F/r^2 is not inferred from the examples; it is isolated by the identity itself. The Reissner-Nordstrom classification and the exact charged f(R) solution of Ref. [25] are external checks, not inputs to the theorem. The cited companion paper [32] appears only in a comparative discussion of the static limit and is not used as a premise of Proposition 1, Theorem 1, or Proposition 2. The paper explicitly states that no example tests the sufficient direction of Theorem 1 in a scalaron-active regime, which is a stated demonstration gap and scope limitation, not circular reasoning. The F > 0 and regularity hypotheses are stated assumptions that define the domain of validity of the divided cross-focusing equation; the Multamaki-Vilja example is used precisely to show where those hypotheses fail, so it also does not constitute a hidden circular input.
Assumptions & free parameters
assumptions (6)
- domain assumption The metric and scalaron F are at least twice continuously differentiable, matter projections are continuous, and all focusing quantities remain finite on the null segment.
- domain assumption F>0 throughout the regular region.
- domain assumption The double-null metric ds^2 = -2e^{-2σ}du dv + r^2 dΩ^2 is a valid chart with u and v future-increasing and e^{-2σ} finite and strictly positive.
- standard math Hayward's classification: future outer, future inner, and degenerate marginal spheres are defined by C_H<0, C_H>0, and C_H=0, respectively.
- domain assumption The metric f(R) field equations (3), the trace equation (5), and the null-frame conventions (8)-(10) are the governing equations.
- domain assumption The exact charged f(R) solution of Tang-Wang-Papantonopoulos [25] is correct, including its Maxwell normalization.
Cite this review
Pith. "Pith review of Horizon-regular cross-focusing and inner-horizon obstructions in spherical f(R) gravity." pith.science (2026). https://pith.science/paper/625UNTH7
@misc{pith2026260812651,
author = {Pith},
title = {Pith review of: Horizon-regular cross-focusing and inner-horizon obstructions in spherical f(R) gravity},
year = {2026},
howpublished = {\url{https://pith.science/paper/625UNTH7}},
note = {Machine review of arXiv:2608.12651}
}
abstract
We formulate a horizon-regular double-null criterion for regular inner marginal horizons in spherically symmetric metric $f(R)$ gravity. Using normalized outgoing and ingoing radial null vectors $\ell^\mu$ and $n^\mu$, with $n^\mu$ affinely parametrized, we derive an exact evolution law for the area-weighted outgoing expansion $r^2\theta_{(\ell)}$. Its source is controlled by the scalaron $F\equiv f_R>0$ and by a mixed quantity $\mathcal{P}_{\ell n}$ containing matter, scalaron derivatives, and the curvature potential. If $\mathcal{P}_{\ell n}\leq F/r^2$ along a regular ingoing null segment issuing from a nondegenerate future outer marginal sphere, then the outgoing expansion cannot return to zero, and no second regular marginal sphere of the same family can occur on that generator. Conversely, a nondegenerate future inner marginal sphere requires the reverse inequality, so an outer--inner pair necessarily entails a source reversal and an exact integral balance. No trapped-region assumption is required. In the static limit, the criterion reduces to a horizon-regular relation involving the radial derivative of the metric function and remains valid in the degenerate case under the stated regularity conditions. It reproduces the Reissner--Nordstr\"om classification and is verified in an exact charged, nonconstant-curvature $f(R)$ black hole with a nonconstant scalaron. The resulting Cauchy-horizon statement is conditional and applies only when the candidate boundary is also a regular nondegenerate future inner marginal horizon.
Figures
Reference graph
Works this paper leans on
-
[32]
Scalaron-modified null focusing and radial monotonicity in static f(R) gravity
M. Mu˜ noz-Palma, F. S. N. Lobo, J. B. Cuevas and F. Tello-Ortiz, “Scalaron-modified null focus- ing and radial monotonicity in static f(R) gravity,” [arXiv:2608.08818 [gr-qc]]
-
[1]
A. Raychaudhuri, “Relativistic cosmology. 1.,” Phys. Rev.98(1955), 1123-1126
work page 1955
-
[2]
The Singularities of gravitational collapse and cosmology,
S. W. Hawking and R. Penrose, “The Singularities of gravitational collapse and cosmology,” Proc. Roy. Soc. Lond. A314(1970), 529-548
work page 1970
-
[3]
R. M. Wald,General Relativity, University of Chicago Press, Chicago (1984)
work page 1984
-
[4]
The Raychaudhuri Equation in inhomogeneous FLRW space-time : A $f(R)$-gravity model
M. Chakraborty, A. Bose and S. Chakraborty, “The Ray- chaudhuri equation in inhomogeneous FLRW space-time: Af(R)-gravity model,” Phys. Scripta98(2023) no.2, 025007 [arXiv:2302.08782 [gr-qc]]
work page Pith review arXiv 2023
-
[5]
General laws of black hole dynamics,
S. A. Hayward, “General laws of black hole dynamics,” Phys. Rev. D49(1994), 6467-6474
work page 1994
-
[6]
New insights on null and timelike warped symmetric spacetime splittings
A. Maciel, M. Le Delliou and J. P. Mimoso, “New in- sights on null and timelike warped symmetric spacetime splittings,” [arXiv:2405.09968 [gr-qc]]
-
[7]
Internal structure of black holes,
E. Poisson and W. Israel, “Internal structure of black holes,” Phys. Rev. D41(1990), 1796-1809
work page 1990
Show all 32 references
-
[8]
Inner structure of a charged black hole: An exact mass-inflation solution,
A. Ori, “Inner structure of a charged black hole: An exact mass-inflation solution,” Phys. Rev. Lett.67(1991), 789- 792
1991
-
[9]
No Inner-Horizon Theorem for Black Holes with Charged Scalar Hairs,
R. G. Cai, L. Li and R. Q. Yang, “No Inner-Horizon Theorem for Black Holes with Charged Scalar Hairs,” JHEP03(2021), 263 [arXiv:2009.05520 [gr-qc]]
2021 arXiv
-
[10]
No Cauchy horizon theorem for nonlinear electrodynamics black holes with charged scalar hairs,
Y. S. An, L. Li and F. G. Yang, “No Cauchy horizon theorem for nonlinear electrodynamics black holes with charged scalar hairs,” Phys. Rev. D104(2021) no.2, 024040 [arXiv:2106.01069 [gr-qc]]
2021 arXiv
-
[11]
No scalar- haired Cauchy horizon theorem in Einstein-Maxwell- Horndeski theories,
D. O. Devecioglu and M. I. Park, “No scalar- haired Cauchy horizon theorem in Einstein-Maxwell- Horndeski theories,” Phys. Lett. B829(2022), 137107 [arXiv:2101.10116 [hep-th]]
2022 arXiv
-
[12]
No scalar-haired Cauchy horizon theorem in charged Gauss–Bonnet black holes,
D. O. Devecioglu and M. I. Park, “No scalar-haired Cauchy horizon theorem in charged Gauss–Bonnet black holes,” Eur. Phys. J. C84(2024) no.2, 168 [arXiv:2307.10532 [hep-th]]
2024 arXiv
-
[13]
On the absence of inner horizons for anisotropic black holes,
Y. Peng and Y. S. An, “On the absence of inner horizons for anisotropic black holes,” Eur. Phys. J. C86(2026) no.5, 445
2026
-
[14]
Constraining the num- ber of horizons with energy conditions,
R. Q. Yang, R. G. Cai and L. Li, “Constraining the num- ber of horizons with energy conditions,” Class. Quant. Grav.39(2022) no.3, 035005 [arXiv:2104.03012 [gr-qc]]
2022 arXiv
-
[15]
f(R) Theories Of Gravity,
T. P. Sotiriou and V. Faraoni, “f(R) Theories Of Gravity,” Rev. Mod. Phys.82(2010), 451-497 [arXiv:0805.1726 [gr-qc]]
2010 arXiv
-
[16]
f(R) theories,
A. De Felice and S. Tsujikawa, “f(R) theories,” Living Rev. Rel.13(2010), 3 [arXiv:1002.4928 [gr-qc]]
2010 arXiv
-
[17]
Unified cosmic his- tory in modified gravity: fromF(R) theory to Lorentz non-invariant models,
S. Nojiri and S. D. Odintsov, “Unified cosmic his- tory in modified gravity: fromF(R) theory to Lorentz non-invariant models,” Phys. Rept.505(2011), 59-144 [arXiv:1011.0544 [gr-qc]]
2011 arXiv
-
[18]
Extended The- ories of Gravity,
S. Capozziello and M. De Laurentis, “Extended The- ories of Gravity,” Phys. Rept.509(2011), 167-321 [arXiv:1108.6266 [gr-qc]]
2011 arXiv
-
[19]
F(R) gravity and in- flation,
L. Sebastiani and R. Myrzakulov, “F(R) gravity and in- flation,” Int. J. Geom. Meth. Mod. Phys.12(2015) no.9, 1530003 [arXiv:1506.05330 [gr-qc]]
2015 arXiv
-
[20]
Spherically symmetric so- lutions of modified field equations inf(R) theories of gravity,
T. Multamaki and I. Vilja, “Spherically symmetric so- lutions of modified field equations inf(R) theories of gravity,” Phys. Rev. D74(2006), 064022 [arXiv:astro- ph/0606373 [astro-ph]]
2006
-
[21]
Static Spherically Sym- metric Solutions in F(R) Gravity,
L. Sebastiani and S. Zerbini, “Static Spherically Sym- metric Solutions in F(R) Gravity,” Eur. Phys. J. C71 (2011), 1591 [arXiv:1012.5230 [gr-qc]]
2011 arXiv
-
[22]
Exact black hole solutions with a conformally coupled scalar field and dynamic Ricci curvature in f(R) gravity theories,
T. Karakasis, E. Papantonopoulos, Z. Y. Tang and B. Wang, “Exact black hole solutions with a conformally coupled scalar field and dynamic Ricci curvature in f(R) gravity theories,” Eur. Phys. J. C81(2021) no.10, 897 [arXiv:2103.14141 [gr-qc]]
2021 arXiv
-
[23]
Exact rotating black hole solutions for f(R) gravity by modified Newman Janis algorithm,
P. Chaturvedi, U. Kumar, U. Thattarampilly and V. Kakkat, “Exact rotating black hole solutions for f(R) gravity by modified Newman Janis algorithm,” Eur. Phys. J. C83(2023) no.12, 1124 [erratum: Eur. Phys. J. C84(2024) no.11, 1157] [arXiv:2309.17044 [gr-qc]]
2023 arXiv
-
[24]
Spherically symmetric and static solutions inf(R) gravity coupled with electro- magnetic fields,
R. A. Hurtado and R. Arenas, “Spherically symmetric and static solutions inf(R) gravity coupled with electro- magnetic fields,” Phys. Rev. D102(2020) no.10, 104019 [arXiv:2002.06059 [gr-qc]]
2020 arXiv
-
[25]
Ex- act charged black hole solutions inD-dimensions in f(R) gravity,
Z. Y. Tang, B. Wang and E. Papantonopoulos, “Ex- act charged black hole solutions inD-dimensions in f(R) gravity,” Eur. Phys. J. C81(2021) no.4, 346 [arXiv:1911.06988 [gr-qc]]
2021 arXiv
-
[26]
Ther- modynamics of topological black holes inR 2 gravity,
G. Cognola, M. Rinaldi, L. Vanzo and S. Zerbini, “Ther- modynamics of topological black holes inR 2 gravity,” Phys. Rev. D91(2015), 104004 [arXiv:1503.05151 [gr- qc]]
2015 arXiv
-
[27]
Topological phantom AdS black holes in F(R) gravity,
B. Eslam Panah and M. E. Rodrigues, “Topological phantom AdS black holes in F(R) gravity,” Eur. Phys. J. C83(2023) no.3, 237 [arXiv:2303.12815 [gr-qc]]
2023 arXiv
-
[28]
Cor- rected Thermodynamics of Black Holes inf(R) Gravity with Electrodynamic Field and Cosmological Constant,
M. Xu, Y. Zhang, L. Yang, S. Yang and J. Lu, “Cor- rected Thermodynamics of Black Holes inf(R) Gravity with Electrodynamic Field and Cosmological Constant,” Entropy26(2024) no.10, 868
2024
-
[29]
Mass infla- tion inf(R) gravity: A Conjecture on the resolution of the mass inflation singularity,
D. i. Hwang, B. H. Lee and D. h. Yeom, “Mass infla- tion inf(R) gravity: A Conjecture on the resolution of the mass inflation singularity,” JCAP12(2011), 006 [arXiv:1110.0928 [gr-qc]]
2011 arXiv
-
[30]
Spherical col- lapse inf(R) gravity and the Belinskii-Khalatnikov- Lifshitz conjecture,
J. Q. Guo, D. Wang and A. V. Frolov, “Spherical col- lapse inf(R) gravity and the Belinskii-Khalatnikov- Lifshitz conjecture,” Phys. Rev. D90(2014) no.2, 024017 [arXiv:1312.4625 [gr-qc]]
2014 arXiv
-
[31]
Interior dynamics of neu- tral and charged black holes inf(R) gravity,
J. Q. Guo and P. S. Joshi, “Interior dynamics of neu- tral and charged black holes inf(R) gravity,” Universe 1(2015) no.2, 239-291 [arXiv:1508.00461 [gr-qc]]. 17
2015 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.