Alphabeta Math
Open problemQuestion: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-11-05
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

Physical scope

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 d≥3. The standard conjectural formulation below is for d≥4; its d=3 case is retained only as a separate conjectural extrapolation. Supply a scalar target T with positive Riemannian metric G, a point s⋆>0 (possibly s⋆=∞), a base point ϕ0∈T, and a continuous path ϕ:[0,s⋆)→T with ϕ(0)=ϕ0 and dist⁡G(ϕ0,ϕ(s))→∞ as s→s⋆. Use canonically normalized scalar fields, so dist⁡G(ϕ0,ϕ(s)) has mass dimension (d−2)/2, and define the dimensionless distance Δϕd(s):=dist⁡G(ϕ0,ϕ(s))/MP,d(d−2)/2 using the reduced d-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 mtower(s). The conjecture is that, for a specified quantum-gravity family along this path, mtower(s)∼m0exp⁡(−αΔϕd(s)) for fixed m0>0 and α>0 as s→s⋆. In d=4, the normalization is Δϕ4=dist⁡G/MP. 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 m0 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.

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 d≥4 and leave possible d=3 applicability open. Lehnert, PDF p. 2, note 7, questions that applicability. The d=3 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