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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v4
- 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
Figures
Figures reproduced from arXiv:1808.07498 by the authors.
References
How the literature uses it
54 arXiv papers cite this in 142 sentences
Papers citing it · 90 sentences without a confident label
Builds on it 2 papers
-
We determine the relative scalings of these corrections with the type IIA string coupling, which also tracks their time-dependence, and investigate the possibility of an infinite series of time-independent corrections, such as that found in [ref] .
de Sitter Vacua in the String Landscape · Introduction and summary · 0.85
-
One is to sharpen and expand the ideas behind the EOM-based approach of [ref] and express them in a language of truncated trans-series.
Effective Theories as Truncated Trans-Series and Scale Separated Compactifications · Introduction · 0.89
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
-
In [ref] the viability of de Sitter vacua in type IIB theory were studied from the perspective of its M-theory uplift.
de Sitter Vacua in the String Landscape · Introduction and summary · 0.91
-
In recent work [ref] , the question of realizing de Sitter space was investigated from the equation of motion perspective.
Effective Theories as Truncated Trans-Series and Scale Separated Compactifications · Introduction · 0.81
-
The de Sitter conjecture in [ref] does not contain the part in the parenthesis and it is later refined in [ref] (see also [ref] ).
Topological Eternal Hilltop Inflation and the Swampland Criteria · Introduction · 0.98
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.