The de Sitter / String Swampland Atlas

A navigable, source-first guide to the de Sitter problem in string theory. It maps how the concepts connect, labels how well each claim is supported, and sends you to the primary literature rather than standing in for it.

Educational research map · non-peer-reviewed orientation tool

Read the working paperZenodo record ↗metadata.json

Built from The de Sitter Problem in the String Swampland: A Verified Literature Map (v2.0, 2026-07-26), archived at DOI 10.5281/zenodo.21603961 (concept DOI 10.5281/zenodo.21603960). Every source below is drawn from that paper’s verified citation set. String theory and M-theory are research frameworks; neither is an experimentally confirmed description of nature, and nothing here should be read as claiming otherwise.

Epistemic legend — how to read the labels

Established result
A mathematical construction, derivation, or experimental measurement that the relevant community treats as settled. It says what was shown, not that any larger claim built on it follows.
Active research
A genuinely open question under current technical dispute. Competent researchers disagree, the disagreement is technical rather than rhetorical, and no side has closed it.
Conjecture
A precisely stated proposal that is motivated by evidence and argument but has not been derived or proved. It may be true; it is not established.
Speculative interpretation
A scenario built on top of one or more unproved conjectures, often combined with phenomenological input. Interesting and testable in places, but several inferential steps from established ground.

A label describes the standing of a claim, not its importance. Nothing on this page is labelled “established” unless the source material supports that distinction — which here means a defined mathematical construction or a published laboratory measurement, never the question of whether de Sitter vacua exist in string theory.

Concept map — 16 concepts

Select a concept to open its definition, epistemic status, and sources. Arrows show the direction of dependence or derivation, not agreement — several of them mark exactly where the field disagrees. Press Esc to close the panel.

No concept selected. Choose one from the map above to see its definition, why it matters, its epistemic status, and its sources.

Claim ledger — 12 claims

Each claim is stated in careful language, labelled, explained, sourced to the working paper’s verified citation set, and paired with the limitation that keeps it honest. Read the caution before quoting the claim.

  1. 01Established result · observational framework

    The observed late-time acceleration of the universe is standardly modeled with a small positive cosmological constant, and current data place the dark-energy equation of state near w = −1.

    Why it is stated this way
    This is the empirical anchor of the debate. Both camps accept it: the landscape side tries to reproduce a small positive vacuum energy from string constructions, and the swampland side has to explain the same observation without a stable de Sitter vacuum.
    Caution
    A successful model is not a proof of mechanism. Whether the vacuum energy is truly constant or slowly rolling is not settled by current bounds. Note also that the discovery-era supernova papers are outside the source map’s verified citation set, so they are not cited here; the sources listed are the in-set works that constrain the equation of state.
    Sources
  2. 02Active research

    Whether string/M-theory admits stable or metastable de Sitter vacua remains an open question, and there is no community consensus.

    Why it is stated this way
    The source map is explicit that the disagreement is technical and genuine, turning on the validity of four-dimensional effective actions, the control of higher-dimensional backreaction, and the trustworthiness of asymptotic regimes. Both camps maintain mathematically sophisticated positions.
    Caution
    Neither this atlas nor its source paper adjudicates the question. Any presentation of either side as settled misrepresents the state of the field.
    Sources
  3. 03Established result

    KKLT is a specific, well-defined proposal for obtaining a de Sitter vacuum: flux and non-perturbative stabilization into a supersymmetric anti-de Sitter minimum, followed by an anti-D3-brane uplift.

    Why it is stated this way
    The construction exists as a definite recipe in the literature and has been the reference point for the field for two decades. Describing what it proposes is uncontroversial.
    Caution
    That the construction is well-defined does not establish that it works. Its validity is the subject of the next two claims.
  4. 04Active research

    Whether the KKLT anti-brane uplift is under parametric ten-dimensional supergravity control is actively debated.

    Why it is stated this way
    Defenders argue that supersymmetry breaking is localized on the anti-D3-brane and that an explicit ten-dimensional analysis reproduces the four-dimensional result. Skeptics argue that explicit ten-dimensional treatments show infrared singularities in the anti-brane backreaction, and that the integrated ten-dimensional equations obstruct the uplift.
    Caution
    This is a live technical dispute between established groups — not a fringe objection to a settled result, and not a refutation either. The existence of a singularity in a given approximation is not the same as its being physical; defenders argue brane polarization resolves it. Citing only one side misrepresents the literature.
    Sources
  5. 05Established result

    The Large Volume Scenario stabilizes Kähler moduli at exponentially large volume, which nominally suppresses α′ and loop corrections.

    Why it is stated this way
    The stabilization mechanism and its large-volume scaling are a definite result of the construction, and the suppression of leading corrections at large volume follows from that scaling.
    Caution
    Nominal suppression of the leading corrections is not the same as parametric control of all of them. That stronger statement is contested.
    Sources
  6. 06Active research

    It has been argued that keeping LVS de Sitter constructions under control requires a negative D3-tadpole exceeding known Calabi-Yau bounds.

    Why it is stated this way
    This is the sharpest quantitative form of the LVS control objection: rather than disputing the scheme in principle, it derives a numerical requirement and compares it with what the known geometries supply.
    Caution
    A parametric constraint against currently known Calabi-Yau bounds is not a no-go theorem. The bound is on what has been catalogued, and the argument is contested by LVS proponents.
    Sources
  7. 07Conjecture

    The de Sitter swampland conjecture proposes that scalar potentials in consistent quantum-gravity effective theories obey a gradient bound |∇V| ≥ c·V, with c of order one.

    Why it is stated this way
    Stating the conjecture is a statement about the literature, not about nature. Its advocates motivate it from the distance conjecture and de Sitter thermodynamics, and it would forbid stable de Sitter minima if correct.
    Caution
    The conjecture has no derivation from a ten-dimensional construction and no proof. It is a proposal under active test, and a refined form was introduced precisely because the original was in tension with known physics.
    Sources
  8. 08Active research

    An order-one value of c has been argued to be in tension with slow-roll inflation and with the observed value of the cosmological constant.

    Why it is stated this way
    This is the main cosmological objection from the landscape side: the same order-one constant that makes the conjecture powerful also makes it hard to reconcile with inflationary phenomenology and with the observed dark-energy sector.
    Caution
    The tension depends on which version of the conjecture is used and on assumptions about the inflationary sector. It is an argument in a live dispute, not a refutation.
    Sources
  9. 09Conjecture

    The Trans-Planckian Censorship Conjecture proposes that sub-Planckian fluctuations never cross the Hubble horizon and freeze, which bounds the lifetime of a de Sitter phase.

    Why it is stated this way
    TCC gives an independent route to swampland-like constraints, replacing "no de Sitter" with "no long-lived de Sitter". It has become central to the post-2019 debate and is treated as its own thread in the source map.
    Caution
    TCC is a conjecture. Skeptics note that the resulting bound forces a low inflation scale, which makes the observed amplitude of primordial perturbations hard to generate without fine-tuning.
    Sources
  10. 10Active research

    If metastable de Sitter vacua are excluded, dark energy would have to be dynamical — a rolling scalar field rather than a constant.

    Why it is stated this way
    Quintessence is the standard fallback if the swampland position is correct, and it is where the conjectures make contact with data that can actually be measured.
    Caution
    This is a conditional claim, not a claim that dark energy is dynamical. Bounds near w = −1 constrain rolling models; one 2023 reanalysis in the source set finds newer data allows slightly more freedom in the criteria rather than tightening the tension, while raising a separate fine-tuning problem from constraints on moduli-electromagnetic couplings.
    Sources
  11. 11Speculative interpretation

    The Dark Dimension scenario ties the dark-energy scale to a Kaluza-Klein scale via the AdS distance conjecture, predicting a single extra dimension of roughly micron size.

    Why it is stated this way
    It is one of the few places in this debate that yields a concrete, near-term testable number, which is why it attracts attention out of proportion to its epistemic footing.
    Caution
    The scenario is built on the AdS distance conjecture — itself unproved — combined with phenomenological input. A testable prediction is not evidence for the premises that generated it.
    Sources
  12. 12Established result · experimental measurement

    Torsion-balance experiments report no deviation from the gravitational inverse-square law down to separations of about 52 micrometres.

    Why it is stated this way
    This is a direct laboratory measurement, published in Physical Review Letters, and one of the few genuinely settled empirical inputs on this map. It constrains any scenario predicting a mesoscopic extra dimension.
    Caution
    A null result bounds the parameter space; it does not exclude the Dark Dimension scenario, whose predicted scale sits near the current experimental frontier. Systematics modeling, not the raw sensitivity, is the practical limit.
    Sources

How to read this atlas

This is a curated orientation layer. It exists to get you to the point where you can read the primary literature yourself, and then to get out of the way. It is not a substitute for those papers, not expert advice, and not a statement of scientific consensus — on the central question it maps, there is no consensus to state.

Source, interpretation, and open question

A source is what a paper actually says.
It can be checked. The identifiers on this page were resolved against arXiv and INSPIRE-HEP during production of the working paper, and the verification is recorded there. Verification means the citation is real and correctly placed — never that its argument is right.
An interpretation is what someone concludes from sources.
Every plain-language definition, every “why it matters”, and every arrow on the concept map is interpretation. It is editorial work by a non-specialist curator and should be weighted accordingly. Where the interpretation could be mistaken for a result, the “what this does not establish” note says so.
An open question is one the field has not closed.
Whether string theory admits controlled metastable de Sitter vacua is the open question this atlas is organized around. Competent researchers hold opposing positions for technical reasons. Anything presenting either answer as settled — including an AI summary of this page — is overstating the evidence.

Two nodes, Holography and Observational cosmology, are included for orientation but are not cited directly in the source map. They are marked as such, and no citation has been attached to them that the source does not support.

There is no chat interface here by design. A retrieval layer that paraphrases contested physics is precisely the tool most likely to flatten a live disagreement into a confident answer.

Source set — 27 works

Every work cited on this page, drawn without exception from the working paper. Entries marked foundational are cited there by journal reference or identifier only; where the paper records no title, none is supplied here.