Pith. Sign in

REVIEW

Quantum Corrections and the de Sitter Swampland Conjecture

High Energy Physics - Theory · Submitted 22 Aug 2018 · 45 references

Pith's verdict: A genuinely new angle — testing the dS swampland conjecture against M-theory equations of motion — but the load-bearing no-EFT conclusion rests on an unproven claim about non-local Planck-suppressed terms.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 6, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1808.07498 (version 4)
Pith IDSMLJFJA6, Pith's permanent record of this paper and its review
CitationEvan McDonough, Keshav Dasgupta, Maxim Emelin, Radu Tatar. "Quantum Corrections and the de Sitter Swampland Conjecture." arXiv:1808.07498 (2018). https://pith.science/paper/SMLJFJA6
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Confronting the de Sitter swampland conjecture with the equations of motion themselves, the authors argue that a four-dimensional de Sitter background requires an infinite tower of quantum corrections with no hierarchy, leaving no effective

The reading

The de Sitter swampland conjecture says that any four-dimensional theory coming from string theory must satisfy $|nabla V|/V geq c$ with $c$ of order one, which forbids stable de Sitter vacua. Almost all work on the conjecture has been about potentials and bounds; this paper instead asks what the ten- and eleven-dimensional equations of motion say. Working with a de Sitter-like metric in type IIB theory lifted to M-theory on an eight-manifold, the authors show that every classical source with full de Sitter isometries is excluded, and that quantum corrections can in principle supply the missing positive energy, but only at a price: the corrections enter as an infinite series with no ordering between its terms. That, they argue, means the would-be solution has no four-dimensional effective field theory description. If the argument holds, the swampland conjecture's exclusion of de Sitter is not just a bound on a ratio of derivatives of a potential but a statement about where four-dimensional physics stops being a useful approximation. The paper then shows that a mild time dependence reintroduces a hierarchy, so quasi-de Sitter backgrounds can exist without violating the conjecture.

What carries the argument

The load-bearing object is the quantum-corrected energy-momentum tensor, written as a sum $T_{MN} = sum_k (Lambda |t|^2)^{alpha_k} C^{(k)}_{MN}$, where the $C^{(k)}_{MN}$ are time-neutral rank-two tensors built from contractions of the curvature and the M-theory four-form flux. Because the M-theory metric in Eq. 5.3 scales with time, the factor $(Lambda|t|^2)$ plays the role of $g_s^2$, so the exponent $alpha_k$ controls which corrections dominate. The de Sitter isometry-preserving case forces $alpha_k = 0$ for a semi-infinite chain, collapsing the hierarchy and leaving a sum of equally weighted terms. A second piece of machinery is the integral constraint of Eq. 5.54, which converts the classical no-go theorems into a requirement that a specific $h^{4/3}$-weighted combination of the quantum stress-tensor components be negative. The authors then show that a chain of negative exponents, or time-dependent flux scalings $G_{mnpq} sim (Lambda|t|^2)^{-|a_i|}$, restores ordering.

Extended reading notes

Core claim

The central claim is that a four-dimensional de Sitter background with full de Sitter isometries, built from dimensionally reduced M-theory with all quantum corrections retained, requires an infinite collection of higher-derivative terms that all contribute at the same order, so no four-dimensional effective field theory describes it. The argument runs through a no-go integral: after combining the time-independent Einstein equations for the internal six-manifold, the fiber torus, and three-dimensional spacetime, the positive classical terms can only be cancelled if a weighted sum of quantum stress-tensor pieces is negative definite (Eq. 5.55). Satisfying that requires summing a semi-infinite chain of corrections. Organizing the quantum series by powers of $(Lambda |t|^2)$, equivalently by powers of the type IIA string coupling $g_s$, the authors find that the terms carrying no time dependence all appear with equal weight, so the expansion parameter that would normally order them is absent. They draw an explicit contrast with QCD, where the analogue of the series carries powers of $g_{YM}^2$ and an effective description survives; here the corresponding sum has no such factor. Switching on time-dependent flux components restores the $g_s$ hierarchy, and in that regime solutions can exist that satisfy the swampland bound, because the background no longer has exact de Sitter isometries.

Load-bearing premise

The conclusion that no four-dimensional effective theory exists rests on the claim that non-local quantum corrections carrying positive powers of the Planck mass are present and are not suppressed by their coefficient functions, so that each block of the quantum series contributes at the same order; this is asserted in footnote 25 rather than derived.

Editorial extensions

If this is right

  • If the argument is right, the swampland conjecture's exclusion of de Sitter vacua is a statement about the breakdown of four-dimensional effective field theory rather than a bound that a clever enough potential could evade.
  • Quasi-de Sitter backgrounds with mild time dependence remain compatible with the conjecture, which fits the separate proposal that quintessence-type cosmologies satisfy swampland constraints.
  • Flat and anti-de Sitter backgrounds are unaffected: the authors note that with $Lambda leq 0$ the equations no longer split into time-dependent and time-independent pieces, $g_s$ becomes time-independent, and both backgrounds remain under control classically.
  • Any construction that claims a de Sitter vacuum in string theory must exhibit a hierarchy among its quantum corrections, or explain why the infinite series is under control.
  • The $alpha'$ corrections to the T-duality rules relating the type IIB and M-theory descriptions can be neglected provided a specific inequality on the eleven-dimensional radius holds (Eq. 5.67).

Reading between the lines

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

  • The paper's logic suggests a sharper form of the conjecture to test: rather than asking whether a potential satisfies $|nabla V|/V geq c$, ask whether the quantum series that generates the potential has a leading term. The two questions look equivalent here but need not be in general.
  • The QCD analogy the authors draw is instructive in reverse: in QCD the breakdown of the pion description is accompanied by a known ultraviolet completion with identifiable degrees of freedom. Here the tower is not identified, so the claim is really that the completion is unknown rather than that it is absent.
  • If time dependence is what restores the hierarchy, then the cosmological constant problem and the swampland conjecture become entangled: a universe that must roll slowly to satisfy the bound is also one whose effective description is under better control.
  • The negative-definite constraint of Eq. 5.55 is a concrete target. Any explicit Calabi-Yau compactification with computed higher-derivative terms could be checked against it, which would turn the argument from a structural one into a testable one.
Original abstract

Recently a swampland criterion has been proposed that rules out de Sitter vacua in string theory. Such a criterion should hold at all points in the field space and especially at points where the system is on-shell. However there has not been any attempt to examine the swampland criterion against explicit equations of motion. In this paper we study four-dimensional de Sitter and quasi-de Sitter solutions using dimensionally reduced M-theory. While on one hand all classical sources that could allow for solutions with de Sitter isometries are ruled out, the quantum corrections, on the other hand, are found to allow for de Sitter solutions provided certain constraints are satisfied. A careful study however shows that generically such a constrained system does not allow for an effective field theory description in four-dimensions. Nevertheless, if some hierarchies between the various quantum pieces could be found, certain solutions with an effective field theory description might exist. Such hierarchies appear once some mild time dependence is switched on, in which case certain quasi-de Sitter solutions may be found without a violation of the swampland criterion.

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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 6,215 input tokens.

What the abstract itself states, as probabilities: claims first 0.47 · states limitation 0.91 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.42 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v4. Results and the main claim are underlined; .

Recently a swampland criterion has been proposed that rules out de Sitter vacua in string theory. Such a criterion should hold at all points in the field space and especially at points where the system is on-shell. However there has not been any attempt to examine the swampland criterion against explicit equations of motion. In this paper we study four-dimensional de Sitter and quasi-de Sitter solutions using dimensionally reduced M-theory. While on one hand all classical sources that could allow for solutions with de Sitter isometries are ruled out, the quantum corrections, on the other hand, are found to allow for de Sitter solutions provided certain constraints are satisfied. A careful study however shows that generically such a constrained system does not allow for an effective field theory description in four-dimensions. Nevertheless, if some hierarchies between the various quantum pieces could be found, certain solutions with an effective field theory description might exist. Such hierarchies appear once some mild time dependence is switched on, in which case certain quasi-de Sitter solutions may be found without a violation of the swampland criterion.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Recently a swampland criterion has been proposed that rules out de Sitter vacua in string theory. background 1.00 0.03 0.03 asserted 0.97
s1 Such a criterion should hold at all points in the field space and especially at points where the system is on-shell. background 0.96 0.06 0.03 asserted 0.72
s2 However there has not been any attempt to examine the swampland criterion against explicit equations of motion. gap 1.00 0.07 0.02 asserted 1.00
s3 In this paper we study four-dimensional de Sitter and quasi-de Sitter solutions using dimensionally reduced M-theory. contribution 0.85 0.90 0.04 asserted 0.98
s4 While on one hand all classical sources that could allow for solutions with de Sitter isometries are ruled out, the quantum corrections, on the other hand, are found to allow for de Sitter solutions provided certain constraints are satisfied. result 1.00 0.93 0.37 asserted 0.96
s5 A careful study however shows that generically such a constrained system does not allow for an effective field theory description in four-dimensions. result 0.87 0.89 0.40 asserted 0.97
s6 Nevertheless, if some hierarchies between the various quantum pieces could be found, certain solutions with an effective field theory description might exist. result 0.66 0.61 0.13 hedged possibility 0.77
s7 Such hierarchies appear once some mild time dependence is switched on, in which case certain quasi-de Sitter solutions may be found without a violation of the swampland criterion. result 0.96 0.82 0.39 hedged possibility 0.90

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read
  • arXiv listing abstract v4
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Potential V (φ) from leading α 0 correction with positive ξ (i.e. negative χ). The lack of minimum at finite volume indicates that there is no stable background about which to compute non-perturbative corrections, as suggested in [7]. However one may still study the perturbative dynamics in this unstable background, since despite the non-existence of a stable background solution, there do exists rolling solutions. With this in mind, we now turn to the swampland conjecture. Importantly, note that ∇V is defined as q g ij∂φiV ∂φjV , where and hence depends on metric on the kinetic fiel

Figures reproduced from arXiv:1808.07498 by the authors.

References
How the literature uses it

54 arXiv papers cite this in 142 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 90 sentences without a confident label

Builds on it 2 papers
Uses its method or tool 1 paper
  • This has been used in [ref] , and one of the benefits of such a procedure is the order-by-order expansion of the on-shell degrees of freedom that renders the $g_s$ and $M_p$ hierarchies transparent.

    de Sitter Vacua in the String Landscape · Coherent states and the Schwinger-Dyson equations · 0.97

Compares with it 1 paper
  • Since the internal space remains time-independent, we can only study the four-dimensional metric, which transforms to: ds^2 = 1Λ|t|^2[-dt^2 + e^f(tt_0)^4 (dx_1^2 + dx_2^2 + dx_3^2)] → 1Λ|t'|^2(-dt'^2 + dx_1^2 + dx_2^2 + dx_3^2) , where the RHS is surprisingly similar to the four-dimensional metric that we considered earlier in [ref] as well as in [ref] provided we use $t'$ instead of $t$.

    de Sitter Vacua in the String Landscape · Kasner-de Sitter type solutions and EFT description · 0.95

Cites it as support 4 papers
  • In the absence of quantum corrections, even if we allow fluxes, branes, anti-branes and/or orientifold planes, neither of the two backgrounds can solve the sugra equations of motion as was shown in [ref] and [ref] .

    de Sitter Vacua in the String landscape: La Petite Version · How hard is to get a de Sitter vacuum in string theory? · 0.99

  • These theories then truly belong to the swampland [ref] as shown in [ref] .

    de Sitter Vacua in the String Landscape · Discussions and conclusions · 0.96

  • However as our earlier works [ref] and the present paper will justify, this is not an insurmountable problem.

    de Sitter Space as a Glauber-Sudarshan State · Why getting de Sitter space is a hard problem? · 0.96

Cites it as background 34 papers

What it cites · 51 sentences without a confident label

Builds on 1 paper
  • This immediately tells us that the lower bound in the presence of multiple fields can be expressed as: c_o|b| ≤ |∇V|V, where $|b|$ and $|∇V|$ are defined in the way described earlier, and one may express the left hand side of the inequality [ref] simply as $c$ of [ref] .

    De Sitter Space and the Swampland · Bounds on the potential and the swampland conjecture · 0.92

Compares with 2 papers
  • The precise metric is [ref] : ds_8^2 = g_mndy^mdy^nΛ^1/3 |t|^2/3 + Λ^2/3 |t|^4/3 |dz|^2, where one could see that as time progresses the size of the six-dimensional base increases whereas the size of the fiber torus shrinks.

    de Sitter Vacua in Type IIB String Theory: Classical Solutions and Quantum Corrections · Vacua with de Sitter isometries and their M-theory uplifts · 0.92

  • We can further rearrange [ref] to take the following suggestive form: |∇V|V ≥ - 1V √(g^ab ∂_0ϕ_a ∂_0ϕ_b) |∂V∂t |, which surprisingly looks like the bound proposed in [ref] if we can identify the right hand side of the inequality to $c$ of [ref] .

    De Sitter Space and the Swampland · Bounds on the potential and the swampland conjecture · 0.81

Cites as support 1 paper
  • The lack of minimum at finite volume indicates that there is no stable background about which to compute non-perturbative corrections, as suggested in [ref] .

    Supersymmetry Breaking by Fluxes · String Theory corrections to Kahler Potential and the Swampland · 0.99

Cites as background 12 papers
  • As such $κ^2T_2$ takes care of the dimensions of the topological and the brane terms (see [ref] for more details).

    de Sitter Vacua in Type IIB String Theory: Classical Solutions and Quantum Corrections · Equations of motion and quantum effects from M-theory · 0.89

  • Starting with the supergravity work of Gibbons [ref] and continued by Maldacena-Nunez [ref] , no-go theorems for dS have been formulated with ever increasing breadth [ref] (see also [ref] for related discussions).

    What if string theory has no de Sitter vacua? · Introduction · 0.99

  • Starting with the supergravity work of Gibbons [ref] and continued by Maldacena-Nunez [ref] , no-go theorems for dS have been formulated with ever increasing breadth [ref] (see also [ref] for related discussions).

    Constraints on String Cosmology · Introduction · 0.99

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.