Alphabeta Math
Open problemQuestion: Literature-sourcedProof: 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.

Refined de Sitter conjecture for positive scalar potentials

Physical scope

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 T of dimension N≥0, smooth positive-definite metric G, smooth potential V:T→R, and constant reduced Planck mass MP>0. The EFT is required to arise from a specified ultraviolet-complete quantum-gravity theory on its declared controlled field range. The gradient norm is ∣∇V∣=Gij∂iV∂jV. Write Hp(v,w):=(∇dV)p(v,w) for the covariant Hessian at p∈T, using the Levi-Civita connection of G. For N≥1, λmin⁡(p) is the least eigenvalue of the G-self-adjoint endomorphism with components Gik∇k∇jV.

The conjecture proposes universal dimensionless constants c,c′>0, independent of the point and of the family limit in the declared theory class, such that at every controlled point p with V(p)>0, either MP∣∇V(p)∣/V(p)≥c or there exists v∈TpT with Gp(v,v)=1 and MP2Hp(v,v)/V(p)≤−c′. For N≥1 the second alternative is equivalent to MP2λmin⁡(p)/V(p)≤−c′. For N=0 the unit-tangent set is empty, so the second alternative is false, while ∣∇V∣=0. 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, Gij is dimensionless, [V]=mass4, [∣∇V∣]=mass3, and [λmin⁡]=mass2, 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.

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