Pith. sign in

REVIEW 2 major objections 4 minor 22 references

Black holes in f(R) theory of gravity with compact extra dimensions

T0 review · 2 major / 4 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Quantum vacuum polarization lets higher-dimensional f(R) gravity host ordinary Schwarzschild black holes with a stabilized extra sphere.

desk verdict Clean analytic Schwarzschild embedding in higher-D f(R) with constant extra sphere; flat limit is fine-tuned against the constant VEV piece and the hierarchy is not re-checked near the horizon. read the letter →

arxiv 2607.03034 v1 pith:AWF5Q663 submitted 2026-07-03 gr-qc

Arkady Popov , Sergey Rubin This is my paper · ORCID
classification gr-qc PACS 04.50.Kd04.60.-m04.70.Bw11.25.Mj
keywords f(R)gravitycompactextradimensionsSchwarzschildblackholevacuumpolarizationsemiclassicaleffectivePlanckmassdimensionalreduction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper shows that pure f(R) gravity in a spacetime with a compact extra n-sphere forces the four-dimensional geometry to be Schwarzschild–de Sitter, with a cosmological constant fixed by the extra-sphere radius and therefore unobservably large. By adding the vacuum polarization of quantized matter fields that couple nonminimally to curvature, the same equations admit an asymptotically flat four-dimensional Schwarzschild solution. In that limit the extra-sphere radius is set by the dimensionless constants that appear in the quantum stress-energy tensor rather than by a bare cosmological term. The construction therefore supplies an explicit higher-dimensional mechanism that recovers the Newtonian black-hole limit while keeping the extra dimensions small and stabilized. A residual radial variation of the effective four-dimensional Planck mass appears once higher-order quantum corrections are restored.

What carries the argument

The semiclassical field equations (32) together with the algebraic ansatz (45) for the vacuum stress tensor; setting Λ4=0 then yields the algebraic relations (51)–(52) that determine both the four-dimensional Schwarzschild solution and the constant extra-sphere radius L0.

What would settle it

A calculation of the next-to-leading curvature corrections to ⟨T^B_A⟩ that produces a radial force large enough to prevent a stable constant-L0 solution, or an astrophysical bound showing that the predicted radial drift of the effective Planck mass exceeds current constraints near black holes.

Watch

Extended reading notes

Core claim

In semiclassical f(R) gravity on a D=4+n manifold whose extra dimensions form a sphere of constant radius, the vacuum expectation value of the stress-energy tensor of nonminimally coupled quantized fields can cancel the geometric contribution that would otherwise produce a large four-dimensional cosmological constant, leaving an exact asymptotically flat Schwarzschild metric whose extra-sphere size is fixed by the quantum constants K^t_t and K^5_5.

Load-bearing premise

The quantum stress-energy is assumed to be essentially constant (apart from overall scaling with the extra radius) once the curvature of the large dimensions is much smaller than that of the extra sphere.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper constructs static, spherically symmetric solutions of f(R) gravity in D=4+n dimensions with the extra dimensions forming a compact n-sphere of constant radius L0. In pure vacuum f(R), the field equations admit an exact solution whose four-dimensional sector is Schwarzschild–de Sitter, with the consistency conditions Λ4=(n-1)/L0^{2} and R0 fixed by f(R0)/fR(R0) (eqs. 27–31). Because this forces an unacceptably large Λ4 for any observationally allowed L0, the authors include the vacuum polarization of non-minimally coupled quantized fields. Under the scale hierarchy l(r)≫L0≫lPl they adopt a stress tensor of the algebraic form (45) and show that a fine-tuning of the bare f(R) parameters against the constant pieces Kt_t and K5_5 yields an asymptotically flat four-dimensional Schwarzschild metric (50)–(52) with L0 fixed by those vacuum expectation values. A first-order back-reaction analysis (Section V) then produces a weak radial dependence of both L(r) and the effective four-dimensional Planck mass.

Significance. If the semiclassical construction is controlled, the work supplies an explicit higher-dimensional f(R) realization of the four-dimensional Schwarzschild geometry with stabilized extra dimensions, thereby demonstrating that a Newtonian limit can exist in this class of models. The classical reduction (eqs. 9–31) is clean and algebraic; the semiclassical step re-uses previously derived local expressions for ⟨TBA⟩ and yields concrete relations (51)–(55) that fix L0 in terms of the dimensionless vacuum constants. The radial variation of the effective Planck mass (eq. 71) is a falsifiable, albeit small, prediction. The construction is openly analogous to the cosmological-constant fine-tuning problem, so its main value is as a concrete existence proof rather than a dynamical solution of that problem.

major comments (2)
  1. Section III, eqs. (51)–(52) and the hierarchy (35)–(36): the asymptotically flat solution is obtained only after imposing Λ4=0 by hand, which cancels the constant piece of ⟨TBA⟩ against the bare f(R) parameters. The same constant piece is justified solely under l(r)≫L0. Near the horizon of the resulting Schwarzschild metric the four-dimensional curvature scale is set by rs=2M, so the hierarchy becomes r≫L0. The paper never verifies that the neglected O(L0^{2}/l^{2}) corrections remain small enough for the fine-tuning that enforces Λ4=0 to survive once those corrections are restored; Section V computes the first-order back-reaction only after the flat solution has already been imposed. A self-consistency check (or an explicit estimate of the residual radial potential for L(r)) is required before the exact flat solution can be claimed.
  2. Section III, eqs. (45)–(46): the algebraic structure of ⟨TBA⟩ is taken from earlier calculations performed for a massless non-minimally coupled scalar on a product geometry with a two-sphere (refs. [19] and the metric (37)). The generalization to an n-sphere and to a generic collection of fields is asserted but not re-derived. Because the entire fine-tuning (51)–(52) rests on the precise values of the two independent constants Kt_t and K5_5, the manuscript should either recompute those constants for the n-sphere or cite an explicit reference that already contains them.
minor comments (4)
  1. Throughout: several typographical inconsistencies appear (e.g., “inf(R)” for “in f(R)”, “SCHW ARZSCHILD”, “SEMICLASSICAL F(R) THEOR Y”, “SPACE V ARIA TION”). A careful proof-reading pass is needed.
  2. Eq. (1) and the surrounding discussion of Gross–Perry and Davidson–Owen metrics are not used later; either remove them or clarify their relevance to the f(R) construction.
  3. Section IV, numerical estimate after eq. (60): L0=100/m6 yields m6~10^{-17} GeV, which is far below any conventional higher-dimensional Planck scale. A brief remark on the phenomenological viability (or lack thereof) of such a hierarchy would help the reader.
  4. The infrared cutoff mDS that appears in the explicit scalar-field expressions (38)–(39) is never related to the constants K that enter the final solution; a short clarifying sentence would be useful.

Circularity Check

1 steps flagged · score 2.0 of 10

Minor self-citation supplies the leading constant VEV form; the flat Schwarzschild solution itself is the standard special case of the derived SdS-like family obtained by setting effective Λ₄=0, not a tautological reduction.

  1. self citation load bearing [Section III, text and eqs. (38)–(39) leading into (45)]
    "There exists an explicit example of such calculations in the case of a spacetime with the metric ds^{2}=h(r)dt^{2}-b(r)dr^{2}-L_{0}^{2}(d heta^{2}+sin^{2} heta dφ^{2}), for a massless scalar field under the condition l(r)≫L_{0}≫l_Pl [19] ⟨T^{t}_t⟩=⟨T^{r}_r⟩=1/(4π^{2} L_{0}^{4}){3ξ^{2}/8-11ξ/96+…}. … Thus, in the spacetime (8), the vacuum expectation value … takes the form ⟨Tᴮ_A⟩=Kᴮ_A/L_{0}^{4+n}(1+O(L_{0}^{2}/l(r)^{2})), where Kᴮ_A=diag(K^{t}_t,K^{t}_t,K^{t}_t,K^{t}_t,K^{5}_5,…,K^{5}_5)."

    The concrete one-loop formulae that establish the leading term of ⟨T⟩ is position-independent and has equal components along the four large dimensions (the algebraic structure required for an exact constant-L_{0} Schwarzschild solution) are imported from the first author’s prior paper [19]. The subsequent generalisation to the n-sphere and to other fields is asserted by “it is easy to see” and “analogous”. While the cited calculation is independent and does not assume the present black-hole solution, the load-bearing technical premise for the exact flat solutions therefore rests on self-citation.

full rationale

The pure f(R) derivation is a direct, non-circular reduction of the field equations under the stated constant-L₀ ansatz: linear combinations of (9)–(13) force R=const, then b=C/h, then the Schwarzschild–de Sitter form (27) with the algebraic consistency conditions (30)–(31). The semiclassical extension merely augments the same equations by the constant pieces of ⟨T⟩, producing the analogous family (47)–(49). The asymptotically flat member is obtained simply by specialising that family to Λ₄=0 (eq. 51), which solves algebraically for L₀ and the free parameters of f in terms of the K’s; the paper itself calls this a fine-tuning analogous to the cosmological-constant problem and does not present it as an untuned first-principles prediction. No parameters are fitted to data and re-predicted, no uniqueness theorem is imported from the authors, and the constant-radius ansatz is declared up front and verified to solve the equations. The sole minor issue is that the explicit one-loop expressions motivating the constant, 4D-isotropic algebraic structure of ⟨T⟩ (essential for exact constant-L₀ solutions) are taken from the first author’s earlier calculation. That citation is independent technical input rather than a load-bearing uniqueness or self-definitional loop, so the overall circularity remains low.

Assumptions & free parameters 4 free parameters · 4 assumptions · 1 invented entities

The central claim rests on the classical f(R) field equations, the product ansatz with constant extra radius, the semiclassical replacement of the stress tensor by its one-loop VEV of a specific algebraic form, and a set of free parameters (coefficients of f, non-minimal couplings, and the dimensionless K’s) that are either chosen by hand or taken from prior one-loop calculations. No new particles or forces are postulated; the only ‘invented’ objects are the particular metric ansatz and the truncation of the VEV expansion.

free parameters (4)
  • coefficients of f(R) (e.g. a,c in aR^{2}+R+c)
    Chosen so that the algebraic conditions (51)–(52) or (53)–(54) are satisfied; not fixed by an independent principle.
  • dimensionless vacuum-polarization constants K^t_t, K^5_5 (and higher-order P,Q)
    Enter as free numbers that set L0 and the radial corrections; their concrete values are left to prior literature or treated as adjustable.
  • non-minimal coupling ξ (and analogous couplings for other fields)
    Controls the effective mass that justifies the local VEV expansion; free within the range that keeps the hierarchy l(r)≫L0.
  • number of extra dimensions n and number of quantum fields N
    Discrete free choices that appear in the final expressions for L0 and m4.
assumptions (4)
  • domain assumption The extra-dimensional manifold is an n-sphere of strictly constant radius L0 (metric ansatz (8)).
    Imposed from the outset; all subsequent reductions rely on L'=0.
  • domain assumption Semiclassical gravity: the metric is classical while matter is quantized; gravitational loops are neglected (large-N limit).
    Stated in §III; standard but unproved in the present context.
  • domain assumption Under l(r)≫L0 the renormalized ⟨T^B_A⟩ takes the algebraic, position-independent form (45) up to O(L0^{2}/l^{2}).
    Taken from prior one-loop calculations on product spaces; the paper does not re-derive it.
  • standard math The four-dimensional Planck mass is obtained by integrating f_R over the extra sphere (eq. 59).
    Standard dimensional reduction of the Einstein–Hilbert term after Taylor expansion of f(R).
invented entities (1)
  • product metric with constant-radius extra n-sphere plus semiclassical stress tensor of form (45)
    purpose: to obtain an exact analytic black-hole solution with stabilized extra dimensions
    The combination is chosen for solvability; no independent experimental handle is given beyond the requirement that L0 be small enough to have escaped detection.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Black holes in f(R) theory of gravity with compact extra dimensions." pith.science (2026). https://pith.science/paper/AWF5Q663

@misc{pith2026260703034,
  author       = {Pith},
  title        = {Pith review of: Black holes in f(R) theory of gravity with compact extra dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AWF5Q663}},
  note         = {Machine review of arXiv:2607.03034}
}
abstract

We study static, spherically symmetric solutions in $f(R)$ gravity within a $D = 4+n$-dimensional spacetime, where the extra dimensions form a compact $n$-sphere of constant radius. We derive an exact solution in which the four-dimensional part of the metric corresponds to the Schwarzschild - de Sitter metric, while the extra dimensions are stabilized at a constant radius $L_0$. A consistency condition relates the size of the internal space to the effective four-dimensional cosmological constant $\Lambda_4 = (n-1)/L_0^2$, which is generally too large to be compatible with observations. To overcome this issue, we include the vacuum polarization effects of quantized matter fields nonminimally coupled to curvature. Using the semiclassical approach, we obtain an asymptotically flat four-dimensional Schwarzschild solution as a limiting case, where the size of the extra sphere is determined by the vacuum expectation values of the quantum fields. Finally, we discuss the dependence of the effective four-dimensional Planck mass and the extra-dimensional radius on the radial coordinate.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 8 linked inside Pith

  1. [19]

    Matyjasek, Vacuum polarization of massive scalar fields in the space-time of the electrically charged nonlinear black hole, Phys

    J. Matyjasek, Vacuum polarization of massive scalar fields in the space-time of the electrically charged nonlinear black hole, Phys. Rev. D63, 084004 (2001), arXiv:gr-qc/0010097

    arXiv 2001

  2. [1]

    Thenm 6 ∼10 −2m4 ≃ 10−17 GeV

    Applied to the case of linear gravity considered above,f(R) =R+candn= 2, this yields the Planck mass in the form m4 2 =m 6 4 Z d2y q |g(2)|= 4πL 0 2m6 4 .(60) To obtain a numerical estimate, let us assume thatL 0 = 100/m 6. Thenm 6 ∼10 −2m4 ≃ 10−17 GeV. When expressed in terms of four-dimensional scales, the solution (55) reduces to the standard four-dime...

    2026

  3. [2]

    Landau and E

    L. Landau and E. Lifshitz,The Classical Theory of Fields(Pergamon press, Oxford, 1971)

    1971

  4. [3]

    Nordstr¨ om, On the possibility of unifying the electromagnetic and the gravitational fields, arXiv e-prints , physics/0702221 (2007), arXiv:physics/0702221 [physics.gen-ph]

    G. Nordstr¨ om, On the possibility of unifying the electromagnetic and the gravitational fields, arXiv e-prints , physics/0702221 (2007), arXiv:physics/0702221 [physics.gen-ph]

    arXiv 2007

  5. [4]

    Kaluza, Zum Unit¨ atsproblem der Physik, Sitzungsber

    T. Kaluza, Zum Unit¨ atsproblem der Physik, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. )1921, 966 (1921), arXiv:1803.08616 [physics.hist-ph]

    arXiv 1921

  6. [5]

    Klein, Quantum Theory and Five-Dimensional Theory of Relativity

    O. Klein, Quantum Theory and Five-Dimensional Theory of Relativity. (In German and En- glish), Z. Phys.37, 895 (1926)

    1926

  7. [6]

    D. J. Gross and M. J. Perry, Magnetic Monopoles in Kaluza-Klein Theories, Nucl. Phys. B 226, 29 (1983)

    1983

  8. [7]

    Davidson and D

    A. Davidson and D. A. Owen, Black holes as windows to extra dimensions, Phys. Lett. B155, 247 (1985)

    1985

Show all 22 references
  1. [8]

    R. C. Myers and M. J. Perry, Black Holes in Higher Dimensional Space-Times, Annals Phys. 172, 304 (1986)

    1986

  2. [9]

    J. S. Schwinger, On gauge invariance and vacuum polarization, Phys. Rev.82, 664 (1951)

    1951

  3. [10]

    B. S. DeWitt, Quantum Field Theory in Curved Space-Time, Phys. Rept.19, 295 (1975)

    1975

  4. [11]

    V. P. Frolov and A. I. Zel’nikov, Vacuum polarization by a massive scalar field in Schwarzschild spacetime, Physics Letters B115, 372 (1982)

    1982

  5. [12]

    V. P. Frolov and A. I. Zelnikov, Vacuum polarization of massive fields in Kerr space-time, 15 Phys. Lett. B123, 197 (1983)

    1983

  6. [13]

    V. P. Frolov and A. I. Zelnikov, Vacuum polarization of massive fields near rotating black holes, Phys. Rev. D29, 1057 (1984)

    1984

  7. [14]

    P. R. Anderson, W. A. Hiscock, and D. A. Samuel, Stress - energy tensor of quantized scalar fields in static spherically symmetric space-times, Phys. Rev. D51, 4337 (1995)

    1995

  8. [15]

    Herman, A Method for calculating the imaginary part of the Hadamard elementary function G(1) in static, spherically symmetric space-times, Phys

    R. Herman, A Method for calculating the imaginary part of the Hadamard elementary function G(1) in static, spherically symmetric space-times, Phys. Rev. D58, 084028 (1998), arXiv:gr- qc/9803064

    1998

  9. [16]

    Matyjasek,< T µ ν >ren of the quantized fields in the Unruh state in the Schwarzschild space-time, Phys

    J. Matyjasek,< T µ ν >ren of the quantized fields in the Unruh state in the Schwarzschild space-time, Phys. Rev. D59, 044002 (1999), arXiv:gr-qc/9808019

    1999 arXiv

  10. [17]

    Matyjasek, Stress energy tensor of neutral massive fields in the Reissner-Nordstrom space- time, Phys

    J. Matyjasek, Stress energy tensor of neutral massive fields in the Reissner-Nordstrom space- time, Phys. Rev. D61, 124019 (2000), arXiv:gr-qc/9912020

    2000 arXiv

  11. [18]

    Koyama, Y

    H. Koyama, Y. Nambu, and A. Tomimatsu, Vacuum polarization of massive scalar fields on the black hole horizon, Mod. Phys. Lett. A15, 815 (2000), arXiv:gr-qc/0003078

    2000 arXiv

  12. [20]

    A. A. Popov, Stress energy of a quantized scalar field in static wormhole space-times, Phys. Rev. D64, 104005 (2001), arXiv:hep-th/0109166

    2001 arXiv

  13. [21]

    A. A. Popov, Analytical approximation of the stress energy tensor of a quantized scalar field in static spherically symmetric space-times, Phys. Rev. D67, 044021 (2003), arXiv:hep- th/0302039

    2003

  14. [22]

    K. A. Bronnikov and S. G. Rubin, Self-stabilization of extra dimensions, Phys. Rev.D73, 124019 (2006), arXiv:gr-qc/0510107 [gr-qc]

    2006 arXiv

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.