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.
Anti-de Sitter distance conjecture
Open asymptotic conjecture for a specified d-dimensional AdS family approaching zero curvature, with dimensionless Planck-normalized tower mass; the strong supersymmetric exponent is a separate stronger version.
Open problem
Fix . Here a -dimensional AdS spacetime is a Lorentzian manifold whose Riemann tensor has constant sectional curvature , with convention ; its global quotient/topology and boundary conditions are additional family data. In particular, . In the convention this gives . For a specified sequence or family of such -dimensional AdS quantum-gravity vacua with , an infinite tower is conjectured to have characteristic mass for fixed positive order-one ; the strong version proposes for supersymmetric AdS vacua.
ADC abbreviates the AdS distance conjecture, and is the reduced -dimensional Planck mass of the supplied swampland-claim datum. The parameter has mass dimension two; hence both displayed ratios are dimensionless. The notation refers to asymptotic scaling along the specified family, and the tower species and characteristic gap must be identified. The limit is , not a claim about each individual AdS vacuum. The strong version is restricted to the specified supersymmetric class. The separate no-scale-separation question concerns and is not equivalent to this tower-mass statement.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Lüst–Palti–Vafa, PDF pp. 1–5; Agmon–Bedroya–Kang–Vafa, PDF pp. 198–203; and Lehnert, §II.A, PDF pp. 6–8. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). These sources present the tower scaling as conjectural, distinguish the strong supersymmetric exponent, and discuss examples and qualifications without proving the universal family statement. The separate no-scale-separation proposal is not used as proof. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.