How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Swampland distance conjecture
Open conjecture in d>=4, with d=3 retained as a separately labelled conjectural extrapolation, about an asymptotic light tower along an infinite-distance limit in a specified quantum-gravity scalar moduli space; it does not assert a proven universal tower type, exponent, finite-distance bound, or cosmological trajectory theorem.
Open problem
Fix an integer spacetime dimension . The standard conjectural formulation below is for ; its case is retained only as a separate conjectural extrapolation. Supply a scalar target with positive Riemannian metric , a point (possibly ), a base point , and a continuous path with and as . Use canonically normalized scalar fields, so has mass dimension , and define the dimensionless distance using the reduced -dimensional Planck mass defined in the claim datum. A tower is an infinite sequence or family of distinct states with a declared characteristic mass gap . The conjecture is that, for a specified quantum-gravity family along this path, for fixed and as . In , the normalization is . Universality, tower type, bounds, finite-distance bounds, and extensions to potential-driven/non-geodesic trajectories are separate unresolved parts.
The scalar kinetic normalization and Planck frame are part of each family datum; a different scalar-coordinate normalization must first be translated to the canonical distance above. The reference mass is fixed and positive for the family, and denotes asymptotic scaling up to factors that do not change the exponential rate. The species counted and the operational definition of the gap must be specified. This claim does not impose a universal numerical lower bound on or select a string, Kaluza–Klein, or other tower.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Ooguri–Vafa, PDF pp. 1–5; Palti, PDF pp. 23–27; Agmon–Bedroya–Kang–Vafa, PDF pp. 138–143 and 198–203; and Lehnert, §II.E, PDF pp. 39–40. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). Within this source set, the asymptotic tower claim is conjectural and the listed examples do not prove it for every quantum-gravity family. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.
Formulation scope: Ooguri–Vafa, §2, PDF p. 3 (printed p. 2), restrict their stated conjectures to finite-Planck-mass quantum-gravity theories in and leave possible applicability open. Lehnert, PDF p. 2, note 7, questions that applicability. The question retained here is therefore an extrapolation, not an attribution of that dimension to the original standard conjecture.
Depends on
Dependency tree · 2 levels
Sources
- On the Geometry of the String Landscape and the Swampland
- Distance and de Sitter Conjectures on the Swampland
- Hitchhiker’s Guide to the Swampland: The Cosmologist’s Handbook to the string-theoretical Swampland Programme
- Eran Palti, The Swampland: Introduction and Review, arXiv:1903.06239v3
- Nathan Benjamin Agmon, Alek Bedroya, Monica Jinwoo Kang, and Cumrun Vafa, Lectures on the string landscape and the Swampland, arXiv:2212.06187v2