{"id":"38aa10b3-774a-4067-9a28-6ecc37e2c7a9","arxiv_id":"2506.19515","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A no-go theorem shows that thin co-dimension-two branes cannot support de Sitter vacua in compactified supergravity, and higher co-dimensions need negative tension.","lead":"This paper derives a new no-go theorem for de Sitter vacua on higher co-dimension branes in higher-dimensional gravity. It shows that co-dimension-two branes cannot support de Sitter solutions in the thin-brane limit, and that co-dimensions above two require negative tension sources.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"False 'WLOG' claim: shift symmetry cannot make φ1 ε^β vanish, so the no-go and the [40] disproof rest on an unjustified assumption.","rationale":"The reader's weakest_assumption already flags the condition φ1 ε^β → 0 as an assumption, but does not identify the more serious problem: the paper claims this condition is WLOG via the shift symmetry, which is false because φ1 ε^β is shift-invariant. This matters because the Section III disproof of [40] relies on that false WLOG step to force p_b^(ε) → 0, and the general no-go theorem's vanishing of Δ1 relies on the same condition. If φ1 ε^β tends to a nonzero constant, p_b can remain finite and Eq. (44) can give positive curvature, so the claimed contradiction with [40] evaporates and the no-go theorem's coverage is much narrower than stated. This is a correctness issue in the proof of the central claim, not a mere imprecision, and it is not resolved by the paper's existing caveats. The result may be salvageable by explicitly treating φ1 ε^β → 0 as a genuine assumption, but as written the theorem's conclusion is not established. I therefore recommend REJECT rather than the reader's CONDITIONAL, while acknowledging that the underlying calculation and the identified loopholes remain useful for a revised version.","tokens_in":13688,"tokens_out":21300,"duration_ms":206697,"concrete_test":"Test the WLOG claim directly: for the regulated ansatz φ = φ0^(ε) + φ1^(ε) r^β, compute δ(ε) = φ(ε) − φ(0) and verify that δ is invariant under φ→φ+c. Then, in the Section III model, combine (51) and (53) to express φ1^(ε) ε^β = [α/(4β a0)] κ^2/(2π) p_b^(ε). If a0 and p_b^(ε) are finite, δ cannot be made to vanish by any constant shift. For a concrete resolution, evaluate this combination for the near-brane data of the [40] solution with a fixed finite σ'_b(φ_b); if lim_{ε→0} φ1^(ε) ε^β ≠ 0, then p_b^(ε) does not vanish and Eq. (44) gives a nonzero on-brane curvature, contradicting the paper's p_b → 0 and Rbar → 0 conclusion.","verdict_should_be":"REJECT","load_bearing_attack":"The central no-go and the Section III contradiction with [40] both rest on the condition φ1^(ε) ε^β → 0 (text after Eq. (25); used in (26), (31), and (53)). The paper asserts this can be imposed without loss of generality via the shift symmetry φ→φ+c (Section II and footnote 7). This is incorrect: φ1 ε^β = φ(ε) − φ(0) is invariant under a constant shift, since both φ(ε) and φ(0) shift by the same c. The shift freedom only fixes the finite value of φ(0); it cannot make the shift-invariant difference vanish. Consequently, the step \"finiteness of φ(0) implies φ1^(ε) ε^β → 0\" in Section III is not a derivation: it is an additional regularity assumption. In the six-dimensional model, (53) gives φ1^(ε) ε^β ∝ p_b^(ε). A regulated brane with finite σ'_b(φ_b) can therefore have φ1 ε^β → const ≠ 0 and p_b^(ε) → const ≠ 0, so (44) can produce positive on-brane curvature — exactly the [40] scenario the paper claims to exclude. The general theorem also fails to cover this case: when φ1 ε^β does not vanish, the weighting function (25) is not small, so Δ1 need not vanish, and the \"vanish or diverge\" dichotomy is not established for Δ1. Thus the no-go theorem is conditional on an assumption that is stronger than advertised and is not WLOG.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper extends the Maldacena-Nuñez no-go theorem to braneworld setups with co-dimension n >= 2. The authors derive an integrated constraint on the external-space Ricci scalar by combining the trace of the Einstein equations with energy-momentum conservation in a regulated neighbourhood of the brane. They argue that the near-brane contributions either vanish or diverge in the thin-brane limit: for n = 2 the remaining brane contribution vanishes, ruling out de Sitter vacua, while for n >= 3 a positive contribution requires negative effective tension. The general argument is then applied to a six-dimensional supergravity model recently claimed to support de Sitter branes [40], and the paper concludes that the on-brane curvature and the angular pressure p_b^(epsilon) vanish in the regulated limit, contradicting [40].","tokens_in":14015,"tokens_out":18152,"duration_ms":175456,"significance":"If the main theorem is correct, it is a useful and reasonably general extension of the Maldacena-Nuñez argument to higher co-dimension brane sources, and it sharpens the debate about whether codimension-two brane constructions can yield de Sitter space. The derivation is analytic, self-contained, and does not rely on fitting parameters or on the authors' earlier work as an input. The authors also make a concrete, falsifiable claim about a specific six-dimensional model, which is valuable even if the final verdict on that model remains contested. However, the force of the result depends on a regularity condition that is advertised as a gauge choice but is in fact a substantive assumption, and one step in the proof is only established for a restricted class of regulated sources. With those issues repaired or made explicit, the paper would be a solid contribution to the no-go literature.","major_comments":[{"comment":"The claim that the condition phi_1^(epsilon) epsilon^beta -> 0 can be imposed 'without loss of generality' via the shift symmetry phi -> phi + c is incorrect. The combination phi_1^(epsilon) epsilon^beta = phi(epsilon) - phi(0) is invariant under a constant shift, because both phi(epsilon) and phi(0) are shifted by the same constant. The shift freedom only changes phi_0^(epsilon), the value at r = 0; it cannot change the difference phi(epsilon) - phi(0). Therefore the vanishing of phi_1^(epsilon) epsilon^beta is not a gauge choice but an additional regularity assumption. Footnote 7 states that the case phi_1^(epsilon) epsilon^beta -> const can be accommodated by a shift of phi_0; this is the reverse of the truth, since a shift of phi_0 leaves phi_1^(epsilon) epsilon^beta untouched. This matters because the smallness of the weighting function in Eq. (25), and hence the proof that Delta_1 -> 0, depends precisely on phi_1^(epsilon) epsilon^beta -> 0. The no-go theorem is therefore conditional on an assumption that is stronger than the paper claims.","section":"Section II, text after Eq. (25), and footnote 7"},{"comment":"The proof that Delta_1 -> 0 is incomplete for general regulated sources. Footnote 2 proves the claim only when the regulated T^mu_mu does not change sign on 0 <= r <= epsilon; the general case is asserted as 'generic'. A nonzero limiting value of Delta_1 would produce a finite contribution to K(M_i) in Eq. (22), and for n = 2 this is exactly the kind of contribution that could support positive on-brane curvature in Eq. (14). Since the co-dimension-two no-go rests on all near-brane contributions vanishing, this step is load-bearing. The authors should either provide a proof for sign-changing T^mu_mu under the stated regularity assumptions, or explicitly include a non-sign-flipping condition (or an equivalent bound on the weighted integral) among the theorem's assumptions.","section":"Section II, footnote 2 and Eqs. (22)-(26)"},{"comment":"The derivation that p_b^(epsilon) -> 0, and hence that the on-brane curvature vanishes in the thin-brane limit, is circular in its present form. Equation (53) gives phi_1^(epsilon) epsilon^beta = [alpha/(4 beta)] (kappa^2/(2 pi)) p_b^(epsilon) / a_0. Thus the assumed regularity condition phi_1^(epsilon) epsilon^beta -> 0 is equivalent, through the matching conditions, to p_b^(epsilon) -> 0. The text after Eq. (53) says that finiteness of phi(0) implies phi_1^(epsilon) epsilon^beta -> 0 and then infers p_b^(epsilon) -> 0; this is the same 'without loss of generality' claim identified above, and it does not follow from the shift symmetry. Consequently, the argument does not rule out the scenario of [40], in which p_b^(epsilon) tends to a finite nonzero value; it only shows that such a scenario violates the assumed regularity condition. The authors should either prove the regularity condition from the bulk equations and junction conditions for the class of sources under consideration, or clearly state it as an assumption and soften the claims made against [40].","section":"Section III, Eqs. (44), (51), and (53)"}],"minor_comments":[{"comment":"In the n = 2, alpha = 1 case, the first and last terms in the expression for W(epsilon) are of the form 0/0 because their denominators are alpha(n-1)-1 and alpha(n-3)+1, respectively. The statement that these terms 'vanish identically' is therefore imprecise; the intended statement is that the limit alpha -> 1 gives zero after evaluating the ratios, or that a direct n = 2 calculation gives a vanishing contribution. This is a local technical point and should be clarified by a limiting argument.","section":"Section II, Eq. (31)"},{"comment":"The symbol phi is used both for the warp factor in the metric ansatz and for the dilaton in the action (33). If these are the same field, this should be stated explicitly with the field redefinition or ansatz that identifies them; if they are different fields, distinct symbols should be used to avoid confusion.","section":"Section III, around Eq. (33)"},{"comment":"The abstract says the co-dimension-two result rules out 'stable de Sitter solutions', but the theorem concerns static maximally symmetric solutions; stability is not analysed in the paper. The word 'stable' should be removed or the scope should be stated as existence of de Sitter vacua rather than stability.","section":"General"},{"comment":"The effective energy-momentum tensor T^eff_A^B in Eq. (18) includes the angular volume Omega_{n-1}, while in Eq. (22) the first term is written as (n-2) T^eff_mu_mu and the Delta_1, Delta_2 terms are multiplied by Omega_{n-1}. This is consistent, but the notation is easy to misread; a brief reminder of the normalisation of T^eff would help.","section":"Section II, Eq. (18)-(22)"},{"comment":"The spelling of 'co-dimension' versus 'codimension' is inconsistent throughout the paper. The authors should choose one form and use it uniformly.","section":"General"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know up front. The central no-go — codim-2 thin branes cannot support dS, higher codim needs negative tension — is a real extension of Maldacena-Nuñez, and the regulator calculation is mostly careful. But one advertised 'WLOG' step is not WLOG, and the sharp contradiction with Burgess-Muia-Quevedo [40] leans on it. The paper is citable and worth refereeing, but the theorem is conditional on a regularity assumption stronger than stated.\n\nThe genuinely new material is the split of near-brane contributions into Δ1 and Δ2, the argument that Δ2 either diverges or vanishes under power-law near-brane behaviour, and the clean application to the 6D Salam-Sezgin-type model. The derivation is self-contained; there is no parameter fitting, and the self-citations [45,46] are used only for comparison in the application section. The finite-thickness loophole is acknowledged honestly.\n\nThe first real problem is the claim after Eq. (25), repeated in footnote 7, that shift symmetry lets you set φ1^(ε) ε^β → 0. It doesn't. φ(ε) − φ(0) is shift-invariant; a constant shift only fixes φ0. If φ1^(ε) ε^β tends to a nonzero constant, the weighting function ω in (25) is not small on [0,ε], Δ1 need not vanish, and the 'vanishes or diverges' dichotomy is not established. In Section III, Eq. (53) ties p_b^(ε) to that same combination, so a finite angular pressure — exactly the [40] scenario — is not excluded by the argument as written. The proof would likely go through with φ1 ε^β → 0 imposed as an explicit regularity condition (continuity of φ at the axis of the regulated defect), but that condition is stronger than advertised and is not WLOG.\n\nSecond, the n=2 limit of Eq. (31) is a 0/0 at α=1; probably removable but needs to be shown. Minor: the proof of Δ1→0 in footnote 2 only covers sources whose T^μ_μ doesn't change sign, and the 'generically' in the main text is doing more work than it should.\n\nBottom line: for anyone in swampland or braneworld cosmology this is a useful constraint and a necessary foil to [40]. It deserves a serious referee, not a desk reject. Send it back with the WLOG step fixed or downgraded and the Section III conclusion rephrased as conditional on the near-brane continuity assumption.","headline":"Clear extension of Maldacena-Nuñez to higher-codimension branes, but the main theorem is conditional on a scalar regularity assumption that is mislabeled as WLOG, and the contradiction with [40] depends on it.","tokens_in":14547,"tokens_out":5220,"would_cite":true,"duration_ms":53810,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83E15","83F05"],"pacs":["04.50.-h"],"model":"deepseek-v4-flash","headline":"A new no-go theorem argues that thin co-dimension-two branes cannot support de Sitter vacua, while higher co-dimension branes need negative-tension sources.","keywords":["de Sitter vacua","higher-codimension branes","no-go theorem","thin-brane limit","negative brane tension","supergravity compactification","brane-localized energy-momentum","internal space curvature"],"falsifier":"Search for an explicit thin co-dimension-two brane solution in a compact internal space with $\\tau\\le0$ away from the source, conserved non-sign-flipping localized energy-momentum, and strictly positive on-brane curvature after the regulator is removed; the no-go theorem predicts no such solution exists. The paper's own estimates identify the vanishing of $\\Delta_1$ and $\\Delta_2$ as the precise point where any attempted counterexample must fail, so a numerical scan of regulated six-dimensional supergravity solutions would be a direct test.","tokens_in":13497,"feed_emoji":"🌌","tokens_out":9441,"duration_ms":91105,"temperature":0.7,"pith_summary":"This paper extends a classical supergravity no-go theorem to braneworlds with two or more extra dimensions. It claims that, once the brane is treated as a genuine thin defect, the brane-localized contributions to the on-brane curvature vanish for co-dimension two, so the usual compactification conditions cannot produce a de Sitter vacuum on the brane. For co-dimension three and higher, a positive-curvature brane is possible only if the effective brane tension is negative. If correct, this rules out a broad class of higher-dimensional braneworld constructions of accelerating universes and explains why recent de Sitter proposals in six-dimensional supergravity plateau to zero curvature as the regulator is removed.","feed_headline":"Thin co-dimension-two branes can't support de Sitter space","feed_subtitle":"Brane-localized curvature vanishes in the thin-brane limit; higher codimensions would need negative-tension sources.","key_machinery":"The load-bearing object is the integrated curvature constraint obtained from the trace of the Einstein equations, $\\bar R\\,J(M_{\\mathrm{tot}})=K(M_{\\mathrm{out}})+\\sum_i K(M_i)$, where $J$ is a weighted internal volume and $K$ the integral of $\\tau$ weighted by $e^{d\\phi}$. The no-go follows from estimating $K(M_i)$ in a small ball around each brane: energy-momentum conservation removes the angular pressure from the integrand, leaving two integrals $\\Delta_1$ and $\\Delta_2$; with the near-brane power-law forms $A\\approx A_0^{(\\epsilon)}r^\\alpha$ and $\\phi\\approx\\phi_0^{(\\epsilon)}+\\phi_1^{(\\epsilon)}r^\\beta$ ($\\alpha,\\beta>0$, $A_0^{(\\epsilon)}\\epsilon^{\\alpha-1}$ finite, $\\phi_1^{(\\epsilon)}\\epsilon^\\beta\\to0$), $\\Delta_1\\to0$ and $\\Delta_2$ either diverges or vanishes as $\\epsilon\\to0^+$. Discarding the divergent branch as unphysical leaves a contribution proportional to $(n-2)$ times the effective brane stress-energy trace, which is exactly zero at $n=2$.","core_discovery":"The central claim is that under four assumptions—compact internal space, bulk sources with $\\tau \\le 0$ away from branes, finite physical on-brane curvature, and genuine higher-co-dimension sources whose regulator can be removed—the integrated trace of the Einstein equations forces the near-brane contribution $K(M_i)$ to vanish for $n=2$ and to equal $\\frac{e^{d\\phi_0}}{D-2}(n-2)$ times the effective brane energy-momentum trace for $n\\ge 3$. Hence a co-dimension-two brane cannot supply the positive source term needed for $\\bar R>0$, while a higher-co-dimension brane can only do so with a negative effective tension. Applied to a six-dimensional chiral supergravity model, the argument reproduces and sharpens earlier findings: the angular pressure that would support a de Sitter brane vanishes in the thin-brane limit, making the on-brane curvature vanish as well.","pith_inferences":["Beyond the paper, the same estimates suggest that thin co-dimension-two de Sitter constructions must break either compactness of the internal space or the $\\tau\\le0$ bulk condition; both directions are concrete places to look for a counter-model.","Beyond the paper, the vanishing of $\\Delta_1$ was shown for non-sign-flipping regulated sources, so a systematic search for sign-flipping or oscillating localized energy densities would probe the boundary of the theorem.","Beyond the paper, finite-thickness effects acting through induced gravity mimic negative tension for positive curvature; a natural next step is to test whether such configurations avoid the ghost instabilities the paper notes are often present.","Beyond the paper, the same curvature constraint could serve as a diagnostic for other compactification schemes: any candidate higher-dimensional de Sitter vacuum must have a near-brane region whose $\\Delta_2$ contribution survives with the correct sign, which is a checkable condition in explicit metrics."],"forward_implications":["Co-dimension-two braneworlds with thin, genuinely localized sources cannot generate de Sitter curvature from brane-localized energy-momentum; any positive curvature would have to come from subleading effects that vanish as the regulator is removed.","For co-dimension three or higher in a compact internal space, a positive on-brane curvature requires a negative effective brane tension, pointing toward orientifold-like sources rather than ordinary positive-tension branes.","The argument settles the debate over the angular pressure in six-dimensional supergravity in favour of vanishing pressure in the thin-brane limit, so the on-brane curvature there is zero.","If the regulator is kept finite, the brane acquires finite thickness and the sign of $\\Delta_2$ can flip, opening a genuine loophole: finite-thickness or induced-gravity effects might support de Sitter, but the curvature then depends on the UV scale.","In the thin-brane limit, the only remaining path to de Sitter is to violate one of the stated assumptions, such as allowing $\\tau>0$ in the bulk or a non-compact internal space."],"supporting_citations":[{"why":"The original supergravity no-go theorem and the $\\tau\\le0$ sign condition that this paper extends.","marker":"[4]"},{"why":"The six-dimensional model recently proposed to support de Sitter on its branes; the paper re-analyses its matching conditions.","marker":"[40]"},{"why":"Earlier numerical study of the same model finding vanishing on-brane curvature and supplying the junction-condition relations used in Section III.","marker":"[46]"},{"why":"Earlier extension of the no-go to braneworlds with higher co-dimension, providing the baseline this work builds on.","marker":"[41]"},{"why":"Cited for the claim that the angular pressure can remain finite; the paper's no-go argues it must instead vanish.","marker":"[58]"},{"why":"Referenced in the conclusions as the finite-thickness induced-gravity modification that could evade the theorem.","marker":"[61, 62]"}],"fun_headline_variants":["Higher co-dimension branes can't support de Sitter","Co-dimension-two branes rule out de Sitter space","Negative tension needed for higher co-dim de Sitter","De Sitter no-go for branes with co-dimension two","Higher co-dim branes require negative tension for dS"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on the assumption that a genuine thin brane has power-law near-brane geometry and that its localized energy density keeps the same sign; if a real source behaved differently near the brane, the contributions that the proof forces to vanish could instead survive.","fun_headline_variants_meta":{"raw":{"variants":["Higher co-dimension branes can't support de Sitter","Co-dimension-two branes rule out de Sitter space","Negative tension needed for higher co-dim de Sitter","De Sitter no-go for branes with co-dimension two","Higher co-dim branes require negative tension for dS"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000915,"raw_usage":{"total_tokens":3874,"prompt_tokens":833,"completion_tokens":3041,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":449,"completion_tokens_details":{"reasoning_tokens":2957}},"tokens_in":449,"tokens_out":3041,"duration_ms":21943,"temperature":1.0,"reasoning_tokens":2957,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:32:41.442309+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for an explicit thin co-dimension-two brane solution in a compact internal space with $\\tau\\le0$ away from the source, conserved non-sign-flipping localized energy-momentum, and strictly positive on-brane curvature after the regulator is removed; the no-go theorem predicts no such solution exists. The paper's own estimates identify the vanishing of $\\Delta_1$ and $\\Delta_2$ as the precise point where any attempted counterexample must fail, so a numerical scan of regulated six-dimensional supergravity solutions would be a direct test.","supporting_citations":[{"cited_title":"EFT for Vortices with Dilaton-dependent Localized Flux","cited_arxiv_id":"1508.00856","evidence_quote":"Cited for the claim that the angular pressure can remain finite; the paper's no-go argues it must instead vanish."}],"review_version":2}