Pith. sign in

REVIEW 3 major objections 6 minor 27 references

Thick branes in higher-dimensional $f(R)$ gravity

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read In higher-dimensional f(R) gravity, regular vacuum brane solutions exist only when the curvature exponent n lies between 1 and D/2.

desk verdict A concrete but niche construction of vacuum thick branes in D≥6 f(R) gravity; the existence window 1<n<D/2 is plausible for D=6 but the 'only' claim is not established. read the letter →

arxiv 1908.01312 v1 pith:IJZ2KKYQ submitted 2019-08-04 gr-qc

classification gr-qc MSC 83D0583E15 PACS 04.50.-h
keywords higher-dimensionalbranesthickbranesolutionsf(R)gravitymodifiedvacuumanti-deSitterspacetimescalarfieldlocalizationwarpfactor
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 claims that in pure f(R) gravity with f(R) = -αR^n, regular vacuum thick-brane solutions in D ≥ 6 spacetime dimensions exist only for exponent values 1 < n < D/2. The spacetimes are built from two orthogonal branes: a four-dimensional Lorentzian brane and a (D-5)-dimensional Euclidean brane, with both warp factors depending only on the fifth coordinate. The existence window follows from a regularity condition near the brane, δ = (2n-1)/(n-1), and from positivity of the asymptotic decay rate l_b, which forces n < D/2. If correct, model builders know exactly where to look for smooth, asymptotically anti-de Sitter brane vacua without matter, and that such setups confine test scalar fields to the Lorentzian brane at any D.

What carries the argument

The central object is the two-warp-factor metric for orthogonal branes, Eq. (5), with Lorentzian warp factor a(z) and Euclidean warp factor b(z). The argument runs through the regularity expansion near the brane, which fixes δ = (2n-1)/(n-1), and through the asymptotic exponential decay rates a ≈ a_∞ $e^{{l_a|z|}}$, b ≈ b_∞ $e^{{l_b|z|}}$; the formula for $l_b^{{2(n-1)}}$ in Eq. (23) must be positive, producing the upper bound n < D/2. In the large-dimension limit, the dominant balance reduces to two approximate ordinary differential equations, giving explicit solutions such as b = b_0 (1 + C_2 z³)^{4/k}.

What would settle it

Numerically integrate Eqs. (6)-(8) at n = D/2 with the same boundary conditions and check whether a regular solution that stays smooth for all z and approaches anti-de Sitter asymptotics exists; a regular solution there would refute the 'only' claim. A more direct test is to derive Eq. (23) from the asymptotic field equations and see whether the right-hand side can remain positive at n ≥ D/2 for any α > 0 and k > 1.

Watch

Extended reading notes

Core claim

Within the metric ansatz ds² = a²(z)η_αβ dx^α dx^β - dz² - b(z)γ_ij dx^i dx^j, with warp factors a(z) and b(z) and a flat Euclidean brane, the f(R) = -αR^n field equations admit regular vacuum solutions that are asymptotically anti-de Sitter only for 1 < n < D/2. For n ≤ 1 the curvature is singular on the brane; for n ≥ 3/2 solutions may fail to pass through a fixed point, and for n ≥ 3 they diverge at finite z. The solutions can be Z2-symmetric or nonsymmetric, and in the large-D limit approximate analytic expressions match the numerics. A test scalar field on this background has finite energy and norm, i.e., it is trapped on the Lorentzian brane, irrespective of D.

Load-bearing premise

The claimed exclusion of n ≥ D/2 and n ≤ 1 rests on the assumed metric ansatz (two warp factors depending only on z, flat Euclidean brane) and on the positivity of the decay-rate formula (23), which is stated without derivation; if either fails, regular solutions outside 1 < n < D/2 could exist.

Editorial extensions

If this is right

  • For a fixed dimension D, the window 1 < n < D/2 is the parameter region in which pure curvature gravity supports smooth, matter-free brane vacua of the two-brane type.
  • The regularity condition δ = (2n-1)/(n-1) makes n = 1 a singular boundary and n = 3/2 the threshold where fixed-point passage is lost, separating distinct physical regimes.
  • In large-D spacetimes, the asymptotic anti-de Sitter curvature scale is set only by α and n, not by the number of extra dimensions, so higher D does not alter the effective vacuum scale.
  • Test scalar fields are confined to the Lorentzian brane for any D, so the localization mechanism is dimension-independent for this ansatz.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A rigorous derivation of the decay-rate formula (23) from the field equations would turn the numerical existence window into a theorem; the paper's upper-bound argument currently leans on an unstated derivation.
  • The same regularity criterion δ = (2n-1)/(n-1) may apply to other power-law f(R) forms, giving model builders a heuristic for which exponents are worth investigating beyond the R^n case.
  • The T²-wormhole interpretation suggests the two-brane construction could be re-read as a compactified torus in the extra directions, potentially connecting these solutions to known wormhole physics, though the paper only sketches this.
  • Scalar trapping might be tested for non-minimal couplings or spin-1/2 fields; the paper treats only a minimally coupled complex scalar.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper studies vacuum thick-brane solutions in D-dimensional f(R) = -α R^n gravity with D ≥ 6, using a metric ansatz (5) with a four-dimensional Lorentzian brane and a (D-5)-dimensional Euclidean brane, both warp factors depending only on a fifth coordinate z. The authors derive the field equations, perform a near-brane series expansion, and numerically integrate the system for D=6 (k=1) for several values of n. They claim that regular vacuum asymptotically anti-de Sitter solutions exist only in the range 1 < n < D/2, that solutions may or may not pass through a fixed point, and that they may be Z2-symmetric or not. For large k they present approximate analytic solutions, and they show that a test scalar field is localized on the Lorentzian brane at any D.

Significance. If the stated existence range is correct, the paper gives a clean parameter window for higher-dimensional f(R) braneworld model building and provides useful large-D analytic approximations plus a scalar-trapping result. The work is self-contained: it does not fit observational data, the field-equation derivation is standard, and the D=6 numerical solutions and the large-k comparison are explicit. The main value lies in the proposed dichotomy 1 < n < D/2, but this central claim is currently supported only partially, so the paper's significance depends on closing the gaps discussed below.

major comments (3)
  1. [II.D, Eq. (23)] The positivity of l_b^{2(n-1)} as written does not imply the advertised upper bound n < D/2. Factoring the right-hand side of Eq. (23) gives l_b^{2(n-1)} = 4^{n-1} (k+3) / [α n (k-2n+5)], whose positivity requires k-2n+5 > 0, i.e., n < (k+5)/2 = (D+1)/2. For D=6 this would still allow 3 < n < 3.5, so Eq. (23) alone does not rule out regular solutions with n in that interval. The authors should derive Eq. (23) from the asymptotic limit of Eqs. (6)-(8) and show explicitly how the stricter bound n < D/2 emerges; as written, the central 'only' claim does not follow from the displayed formula.
  2. [II.D] The claim of existence and non-existence for k>1 is not supported by the evidence presented. The text says 'numerical computations indicate' but provides no plots, parameter scans, convergence tests, or specifications of the numerical method for any k>1. Since the abstract and conclusion assert a sharp range 'only in 1 < n < D/2', the reader needs at least representative numerical solutions for several D values, including cases just below and above n = D/2, together with a statement of the error tolerances used.
  3. [II.B, Eqs. (16) and (19)] The 'only' claim is a classification statement, but the analysis establishes necessary conditions within an assumed solution family rather than non-existence outside it. The near-brane expansion (16) and the exponential asymptotic form (19) are assumed, and no argument shows that every regular solution must take these forms. In particular, the paper does not exclude the possibility of regular solutions with different near-brane or asymptotic behavior, so the conclusion should either be softened to 'for the class of solutions constructed here' or supported by a more complete mathematical analysis.
minor comments (6)
  1. [II.B, Eq. (16)] The expansions are written as R(x), a(x), b(x), but the independent coordinate throughout the paper is z; the argument should be z for consistency.
  2. [II.C, Eq. (21)] The bracket notation in the integrated volume factors is confusing: expressions such as [(x1)_2 + (x1)_1] appear where a difference (volume) is expected. Please check the signs and the notation.
  3. [II.B, Fig. 1 caption] The caption is very dense. It would help to separate the symmetric and nonsymmetric boundary-condition specifications into a table or numbered lists for readability.
  4. [III, after Eq. (29)] The phrase 'for the physically interesting case n ≪ k' is vague; the reader would benefit from an explicit statement of which values of n and k are covered by the approximate equation, since n=2 and k=1000 is the only displayed example.
  5. [IV, after Eq. (34)] The trapping argument checks square-integrability from the asymptotic forms alone; it would be more complete to mention that the solutions near z=0 are finite for the boundary data used, so the integral over the brane neighborhood is manifestly convergent.
  6. [Throughout] There are several typographical artifacts, e.g., 'n /greaterorequalslant 3' in Section II.B and 'Rep t.' in reference [13]. These should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central claims are derived from the f(R) field equations and explicit boundary/asymptotic assumptions, with no fitted-input-as-prediction or load-bearing self-citation.

full rationale

The paper's central result—regular vacuum asymptotically anti-de Sitter solutions exist only for 1<n<D/2—follows from two necessary conditions obtained within the paper: the near-brane regularity relation delta=(2n-1)/(n-1), Eq. (18), and the positivity of l_b^{2(n-1)} in Eq. (23), which requires k-2n+5>0, i.e., n<D/2. Eq. (23) is stated without derivation in Section II.D, but it is an asymptotic consequence of the field equations (6)-(8), not a parameter fitted to the target claim; the omission is an exposition/rigor gap, not circularity. The scalar-field trapping result uses the asymptotic warp factors derived in this same paper and the standard scalar-field equation; Ref. [19] supplies only the form of the test-field Lagrangian, so no load-bearing self-citation occurs. There is no fitting to observational data, no 'prediction' that is a renamed input, and no uniqueness theorem imported from the authors' prior work. The 'only' claim may be stronger than the demonstrated classification, since the paper does not prove that all regular solutions must share the near-brane expansion (16) and exponential asymptotics (19), but that is a completeness/correctness concern rather than circularity. Therefore no circular steps are identified.

Assumptions & free parameters 2 free parameters · 3 assumptions · 0 invented entities

The central claim rests on a restricted metric ansatz, a specific f(R) form, and an unproved asymptotic formula. No new particles or forces are introduced.

free parameters (2)
  • α = 1 (in numerics)
    Coefficient of f(R)=-α R^n; set to 1 for all numerical solutions, but solution properties depend on it via Eq. (23).
  • Boundary values a0,b0,a1,b1 = various (e.g., 1, 0.3)
    Chosen by hand in Sec. II.B and Fig. 1 to obtain Z2-symmetric and nonsymmetric solutions; the existence classification depends on these initial conditions.
assumptions (3)
  • domain assumption Metric ansatz (5): a^2(z) ηαβ dxα dxβ - dz^2 - b(z) γij dx^i dx^j
    The whole analysis is restricted to warp factors depending only on z and a flat Euclidean brane metric; this is a modeling choice not derived from the action.
  • domain assumption f(R) = -α R^n with α, n > 0
    A specific form of modified gravity chosen for tractability; the conclusions apply to this model only.
  • ad hoc to paper Eq. (23) for lb and la is correct
    Stated without derivation in Sec. II.D; the bound n < D/2 follows from positivity of l_b^{2(n-1)}, so this formula is load-bearing.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Thick branes in higher-dimensional $f(R)$ gravity." pith.science (2026). https://pith.science/paper/IJZ2KKYQ

@misc{pith2026190801312,
  author       = {Pith},
  title        = {Pith review of: Thick branes in higher-dimensional $f(R)$ gravity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IJZ2KKYQ}},
  note         = {Machine review of arXiv:1908.01312}
}
abstract

We study the thick brane model within $f(R)\sim R^n$ modified gravity in $D$-dimensional spacetimes with $D\geq 6$. The system under consideration consists of two branes orthogonal to each other: the four-dimensional Lorentzian brane and $(D-5)$-dimensional Euclidean one. It is numerically shown that, for a given $D$, regular vacuum asymptotically anti-de Sitter solutions exist only in the range $1<n<D/2$. Depending on the values of $n$ and boundary conditions imposed on the Lorentzian brane, the solutions can pass or not pass through a fixed point located on the Lorentzian brane, and also be $Z_2$-symmetric or nonsymmetric. In the large-$D$ limit, we find approximate analytic solutions. It is also shown that a test scalar field is trapped on the Lorentzian brane at any $D$.

Figures

Figures reproduced from arXiv: 1908.01312 by the authors.

Figure 1
Figure 1. FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: The phase portraits of the solutions for the scalar cu [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3: A comparison of the exact numerical solution of Eqs. ( [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 24 canonical work pages

  1. [1]

    In this case the brane with the coordinates xα = x0, x1, x2, x3 can be regarded as a trivial T 2 wormhole embedded in the bulk with the coordinates {xα , z, xi}

    This leads to the fact that the space spanned on the coordinates x2, x3 becomes a T 2 torus. In this case the brane with the coordinates xα = x0, x1, x2, x3 can be regarded as a trivial T 2 wormhole embedded in the bulk with the coordinates {xα , z, xi}. This wormhole does not asymptotically flat, and from the geometric point of view it looks like a tube w...

  2. [2]

    J. M. Overduin and P. S. Wesson, Phys. Rept. 283, 303 (1997)

  3. [3]

    Akama, Pregeometry, in: K

    K. Akama, Pregeometry, in: K. Kikkawa, N. Nakanishi and H . Nariai, Lecture Notes in Physics, Springer-Verlag, 1983, pp. 267-271

  4. [4]

    V. A. Rubakov and M. E. Shaposhnikov, Phys. Lett. 125B, 136 (1983)

  5. [5]

    Arkani-Hamed, S

    N. Arkani-Hamed, S. Dimopoulos, and G. Dvali, Phys. Lett . B 429 263 (1998)

  6. [6]

    Antoniadis, N

    I. Antoniadis, N. Arkani-Hamed, S. Dimopoulos, and G. Dv ali, Phys. Lett. B 436 257 (1998)

  7. [7]

    Gogberashvili, Int

    M. Gogberashvili, Int. J. Mod. Phys. D 11, 1635 (2002)

  8. [8]

    Randall and R

    L. Randall and R. Sundrum, Phys. Rev. Lett. 83, 3370 (1999); ibid. 4690. 12

Show all 27 references
  1. [9]

    Arkani-Hamed and M

    N. Arkani-Hamed and M. Schmaltz, Phys. Rev. D 61 , 033005 (2000)

  2. [10]

    Mirabelli and M

    A. Mirabelli and M. Schmaltz, Phys. Rev. D 61 , 113011 (2000)

  3. [11]

    Aguilar and D

    S. Aguilar and D. Singleton, Phys. Rev. D 73 , 085007 (2006)

  4. [12]

    Deffayet, G.R

    C. Deffayet, G.R. Dvali, and G. Gabadadze, Phys. Rev. D 65 , 044023 (2002)

  5. [13]

    Gogberashvili and M

    M. Gogberashvili and M. Maziashvili, Gen. Rel. Grav. 37, 1129 (2005)

  6. [14]

    Dzhunushaliev, V

    V. Dzhunushaliev, V. Folomeev, and M. Minamitsuji, Rep t. Prog. Phys. 73, 066901 (2010)

  7. [15]

    Introduction to Extra Dimensions and Thick B raneworlds,

    Y. X. Liu, “Introduction to Extra Dimensions and Thick B raneworlds,” arXiv:1707.08541 [hep-th]

  8. [16]

    Faraoni and S

    V. Faraoni and S. Capozziello, Fundam. Theor. Phys. 170 (2010)

  9. [17]

    Nojiri and S

    S. Nojiri and S. D. Odintsov, Phys. Rept. 505, 59 (2011)

  10. [18]

    de la Cruz-Dombriz and D

    A. de la Cruz-Dombriz and D. Saez-Gomez, Entropy 14, 1717 (2012)

  11. [19]

    Nojiri, S

    S. Nojiri, S. D. Odintsov, and V. K. Oikonomou, Phys. Rep . 692, 1 (2017)

  12. [20]

    Dzhunushaliev, V

    V. Dzhunushaliev, V. Folomeev, B. Kleihaus, and J. Kunz , JHEP 1004, 130 (2010)

  13. [21]

    Zhong and Y

    Y. Zhong and Y. X. Liu, Eur. Phys. J. C 76, no. 6, 321 (2016)

  14. [22]

    Guarnizo, L

    A. Guarnizo, L. Castaneda, and J. M. Tejeiro, Gen. Rel. G rav. 42, 2713 (2010)

  15. [23]

    Cvetic, S

    M. Cvetic, S. Nojiri, and S. D. Odintsov, Nucl. Phys. B 628, 295 (2002)

  16. [24]

    Nojiri and S

    S. Nojiri and S. D. Odintsov, Gen. Rel. Grav. 37, 1419 (2005)

  17. [25]

    P. F. Gonzalez-Diaz, Phys. Rev. D 54, 6122 (1996)

  18. [26]

    Dzhunushaliev, V

    V. Dzhunushaliev, V. Folomeev, B. Kleihaus, and J. Kunz , Phys. Rev. D 99, no. 4, 044031 (2019)

  19. [27]

    Israel, Nuovo Cim

    W. Israel, Nuovo Cim. B 44S10, 1 (1966) [Nuovo Cim. B 44, 1 (1966)] Erratum: [Nuovo Cim. B 48, 463 (1967)]

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.