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.
Refined de Sitter conjecture for positive scalar potentials
Open four-dimensional Einstein-frame conjecture for UV-complete quantum-gravity scalar EFTs on a declared controlled range. The gradient-or-negative-unit-direction alternative includes N=0 explicitly without assigning an empty-spectrum eigenvalue; universal constants are proposed, not measured or proved.
Open problem
Use the earlier four-dimensional Einstein-frame scalar-EFT and swampland-claim data: a finite-dimensional smooth scalar target of dimension , smooth positive-definite metric , smooth potential , and constant reduced Planck mass . The EFT is required to arise from a specified ultraviolet-complete quantum-gravity theory on its declared controlled field range. The gradient norm is . Write for the covariant Hessian at , using the Levi-Civita connection of . For , is the least eigenvalue of the -self-adjoint endomorphism with components .
The conjecture proposes universal dimensionless constants , independent of the point and of the family limit in the declared theory class, such that at every controlled point with , either or there exists with and . For the second alternative is equivalent to . For the unit-tangent set is empty, so the second alternative is false, while . Thus the conjecture excludes a positive potential in a controlled zero-scalar EFT as well; it never assigns a fictitious eigenvalue to the zero vector space. The constants are proposed to be of order one in the claim datum's sense; no numerical values or proof of their existence are asserted.
In target coordinates with mass dimension one, is dimensionless, , , and , so the displayed ratios are dimensionless. The same constants and both alternatives are part of this conjecture; the original gradient-only version is a different statement.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Obied et al., PDF pp. 1–3; Ooguri–Palti–Shiu–Vafa, PDF pp. 1–5; and Lehnert, §II.D, PDF pp. 14–15. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8), and its dS section distinguishes counterexamples to the original gradient-only form from the refined form. The primary sources give conditional arguments and evidence in restricted regimes under extra assumptions but do not establish the universal refined statement. The constants, admissible theory class and control conditions remain unsettled in this bounded record. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search; the conjecture is not an equation of motion or an observation.
Depends on
Dependency tree · 2 levels
Sources
- De Sitter Space 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
- Nathan Benjamin Agmon, Alek Bedroya, Monica Jinwoo Kang, and Cumrun Vafa, Lectures on the string landscape and the Swampland, arXiv:2212.06187v2