REVIEW
Beyond the Dolgov-Kawasaki instability: Covariant scalaron stability, entropy transport, and inner horizons in f(R) gravity
General Relativity and Quantum Cosmology · Submitted 8 Oct 2026 · 56 references
Pith's verdict: Clean, explicit separation of scalaron stability from background null transport in f(R), with an exact same-background discriminator; the stated caveats are real but acknowledged, and the central theorem holds.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
In metric f(R) gravity, scalaron stability and null transport are independent layers of strong-field physics, proven by identical Reissner-Nordström backgrounds with opposite scalaron masses.
The reading
What carries the argument
The Legendre potential U(F) = F R − f, where F = f_R. Its jet hierarchy—value U, slope U_F = R, and curvature U_FF = 1/f_RR—organises the separation: the transport source S× uses only U, whereas the scalaron mass uses U_FF. The exact cancellation of second derivatives of F in the generalized expansion law dΘ(k)/dλ and in the cross-transport identity L_n J_{ℓ|n} follows from combining the field equations with the spherical geometry and holds without approximation. In the Einstein frame, the same cancellation mirrors the fact that longitudinal focusing samples scalar kinetic energy and cross focusing samples the scalar potential, neither of which involves the potential's curvature.
Extended reading notes
Core claim
The central claim is that in metric f(R) gravity, the local scalaron restoring coefficient m²_sc = (F − R f_RR)/(3 f_RR) and the exact spherical null transport identities for the Wald area F r² are algebraically independent. Using the Legendre potential U(F) = F R − f, the longitudinal and transverse transport equations cancel all second derivatives of F, so the transverse source S× = F/r² − 8π T_ℓn − U/2 depends only on F and U, not on f_RR. Consequently, on any constant-curvature background with tracefree matter, the complete transport data are fixed by (f, f_R) at the background curvature, while m²_sc is fixed by the independently adjustable f_RR. The sharpest proof is the Reissner–Nordström solution of f(R)=R+αR²: the geometry is identical for every α, all transport data are unchanged, yet the scalaron is non-tachyonic for α>0 and tachyonic for α<0. The paper further proves a one-jet theorem (Theorem 3) covering all constant-curvature, tracefree-matter backgrounds, and tests the identities on a static charged background with non-constant F, where the horizon transport discriminator becomes proportional to the product of surface gravity and local scalaron mass (a theory-specific correlation that does not conflict with the general separation). The results establish that background null/entropy transport and dynamical scalaron stability are distinct questions and cannot be substituted for one another.
Load-bearing premise
The transport–stability separation (Theorem 1) and the one-jet theorem (Theorem 3) assume a constant-curvature background with tracefree matter; on non-constant F backgrounds the scalaron equation couples to metric perturbations, so the strict independence does not hold in full generality.
Editorial extensions
If this is right
- Strong-field viability tests in f(R) gravity must be layered: positive F, then background transport, then scalaron stability, then nonlinear inner-horizon evolution; passing one layer does not guarantee the next.
- The Reissner–Nordström quadratic-gravity pair provides a controlled, exactly solvable setting to study scalaron perturbations on a black-hole background without changing the geometry—ideal for testing mode stability versus tachyonic growth.
- A positive scalaron mass does not guarantee exterior mode stability on a rotating background (due to superradiance), reinforcing that even the second layer requires a global spectral analysis beyond the sign of m²_sc.
- Excited massive scalaron tails, even when non-tachyonic, can produce a nonintegrable contribution to generalized entropy focusing at a Cauchy horizon under the stated transmission and asymptotic assumptions, suggesting a potential independent instability channel.
- The one-jet theorem (Theorem 3) shows that embedding a general-relativistic solution into a family of f(R) theories is generically possible at constant curvature, but the scalaron stability of that embedding is a free parameter; theorists must check both the embedding and the stability separately.
Reading between the lines
- The transport–stability separation likely extends to wider scalar–tensor theories, where the kinetic function ω(φ) and the potential V(φ) will play analogous roles: transport may depend only on the conformal factor and the potential value, while the scalar mass depends on the potential curvature and the kinetic coupling.
- Numerical simulations of charged collapse in quadratic gravity with α>0 versus α<0 could directly visualise the independence: the background dynamics (apparent horizon formation, entropy growth) would be indistinguishable between the two theories until the scalaron perturbation becomes sizable, at which point only the α<0 case would show tachyonic growth.
- The conditional Cauchy-horizon estimate suggests that even in theories passing the scalaron linear stability test, mass inflation may still be generic due to the blueshift of the massive scalar tail; fully coupled 2D simulations are needed to decide the extendibility class.
- For realistic neutron-star mergers in f(R) gravity, the layer framework implies that one must separately validate the scalar propagation speed, the chameleon screening efficiency, and the stability against non-adiabatic excitation—no single sign condition suffices.
Original abstract
The Dolgov-Kawasaki instability tests the local scalaron response in metric $f(R)$ gravity, but does not determine strong-field horizon dynamics. We separate these questions using $F=f_R$ and the Legendre potential $\mathcal U(F)=FR-f$. The scalaron restoring coefficient is $m_{\rm sc}^2=(F-Rf_{RR})/(3f_{RR})$, whereas exact spherical Wald-area transport identities cancel the scalaron Hessian. Their Einstein-frame interpretation distinguishes longitudinal kinetic focusing from potential-dependent cross-focusing. We prove that, at fixed constant-curvature background with tracefree matter, transport depends only on $(f,f_R)$, while the scalaron mass depends on the independently adjustable $f_{RR}$. Reissner-Nordstr\"om in $f(R)=R+\alpha R^2$ gives an exact discriminator: identical background transport coexists with opposite scalaron mass signs. A charged solution with varying $F$ and a cosmological check test the identities beyond this constant-$F$ sector. For a nonzero massive scalaron tail transmitted to a nondegenerate Cauchy horizon, a conditional fixed-background estimate gives a nonintegrable contribution to generalized entropy focusing. This estimate does not establish nonlinear mass inflation or a particular extendibility class. The results provide a layered framework for coupling regularity, background transport, scalaron stability, and nonlinear inner-horizon evolution.
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.
The abstract, sentence by sentence
The Dolgov-Kawasaki instability tests the local scalaron response in metric $f(R)$ gravity, but does not determine strong-field horizon dynamics. We separate these questions using $F=f_R$ and the Legendre potential $\mathcal U(F)=FR-f$. The scalaron restoring coefficient is $m_{\rm sc}^2=(F-Rf_{RR})/(3f_{RR})$, whereas exact spherical Wald-area transport identities cancel the scalaron Hessian. Their Einstein-frame interpretation distinguishes longitudinal kinetic focusing from potential-dependent cross-focusing. We prove that, at fixed constant-curvature background with tracefree matter, transport depends only on $(f,f_R)$, while the scalaron mass depends on the independently adjustable $f_{RR}$. Reissner-Nordstr\"om in $f(R)=R+\alpha R^2$ gives an exact discriminator: identical background transport coexists with opposite scalaron mass signs. A charged solution with varying $F$ and a cosmological check test the identities beyond this constant-$F$ sector. For a nonzero massive scalaron tail transmitted to a nondegenerate Cauchy horizon, a conditional fixed-background estimate gives a nonintegrable contribution to generalized entropy focusing. This estimate does not establish nonlinear mass inflation or a particular extendibility class. The results provide a layered framework for coupling regularity, background transport, scalaron stability, and nonlinear inner-horizon evolution.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The Dolgov-Kawasaki instability tests the local scalaron response in metric $f(R)$ gravity, but does not determine strong-field horizon dynamics. | gap 0.51 | 0.11 | 0.08 | asserted 1.00 |
| s1 | We separate these questions using $F=f_R$ and the Legendre potential $\mathcal U(F)=FR-f$. | method 0.85 | 0.89 | 0.04 | asserted 0.98 |
| s2 | The scalaron restoring coefficient is $m_{\rm sc}^2=(F-Rf_{RR})/(3f_{RR})$, whereas exact spherical Wald-area transport identities cancel the scalaron Hessian. | result 0.76 | 0.74 | 0.13 | asserted 1.00 |
| s3 | Their Einstein-frame interpretation distinguishes longitudinal kinetic focusing from potential-dependent cross-focusing. | interpretation 0.97 | 0.56 | 0.05 | asserted 0.97 |
| s4 | We prove that, at fixed constant-curvature background with tracefree matter, transport depends only on $(f,f_R)$, while the scalaron mass depends on the independently adjustable $f_{RR}$. | result 0.97 | 0.88 | 0.38 | asserted 1.00 |
| s5 | Reissner-Nordstr\"om in $f(R)=R+\alpha R^2$ gives an exact discriminator: identical background transport coexists with opposite scalaron mass signs. | result 0.66 | 0.85 | 0.21 | asserted 1.00 |
| s6 | A charged solution with varying $F$ and a cosmological check test the identities beyond this constant-$F$ sector. | method 0.65 | 0.85 | 0.03 | asserted 0.93 |
| s7 | For a nonzero massive scalaron tail transmitted to a nondegenerate Cauchy horizon, a conditional fixed-background estimate gives a nonintegrable contribution to generalized entropy focusing. | result 0.99 | 0.88 | 0.18 | asserted 0.93 |
| s8 | This estimate does not establish nonlinear mass inflation or a particular extendibility class. | limitation 1.00 | 0.82 | 0.07 | asserted 0.97 |
| s9 | The results provide a layered framework for coupling regularity, background transport, scalaron stability, and nonlinear inner-horizon evolution. | interpretation 0.81 | 0.77 | 0.54 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
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.