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.
Single-axion weak-gravity bound for instantons
Open four-dimensional fixed-f single-axion WGC with semiwormhole reference constant sqrt(6) pi/4, no varying dilaton, and all charged instanton sectors counted, including sectors with operator insertions. Semiclassical action estimates require separately controlled expansions; neither an instanton nor a potential is inferred from periodicity.
Open problem
Use natural units and the four-dimensional Einstein-frame convention . A single axion is a smooth field with kinetic term , where is constant on the declared background patch and is a local canonical field. Fix a proposed ultraviolet-complete quantum-gravity theory, its Euclidean boundary conditions, and the full set of its charged instanton sectors: localized nonperturbative Euclidean sources with nonzero amplitudes (possibly with operator insertions), finite real vacuum-subtracted actions , and angular dependence with . The charge, boundary conditions, action prescription, and fluctuation/zero-mode treatment are supplied for each . An arbitrary selected subset of known saddles is not the full set .
The weak single-axion conjecture asks whether there is at least one satisfying . Fix here the macroscopic-semiwormhole reference normalization for the four-dimensional axion-gravity system with no varying dilaton; this is a definite proposed version, rather than an adjustable constant fitted to a chosen instanton. A dilaton-dependent bound, other reference normalizations, and multi-axion lattice or convex-hull versions are separate questions.
Here and have mass dimension one; are dimensionless. There is no requirement that the satisfying sector dominate the potential or have unit charge. If a sector has no unsaturated zero modes and produces a scalar-potential harmonic, its term can be written with supplied of mass dimension one and dimensionless ; a charged instanton need not generate such a bosonic term. A semiclassical evaluation of requires its own controlled saddle expansion and corrections. In particular, is not an extra requirement on the conjectured sector, and no instanton or ultraviolet completion follows from periodicity alone.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Arkani-Hamed–Motl–Nicolis–Vafa, PDF pp. 11–12; Palti, PDF pp. 28–31; Lehnert, §II.S, PDF pp. 95–96 and its axion-compatibility note at PDF p. 15, note 54; and Marsh, §2.4 and §§4.1–4.3. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). These sources give conventions, conjectural bounds and model-dependent examples, not a proof of the universal single- or multi-axion statement. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search. The referenced axion definition supplies the fixed- convention used here; this open problem supplies no proof premise.
Selective status supplement dated 2026-11-05: Di Ubaldo–Iliesiu–Lin–Yan, arXiv:2605.05305v1, §§II–V, give a conditional argument from path-integral positivity, contributing perturbatively stable axion wormholes, analytic continuation of boundary axion values, suppression of higher-boundary connected contributions, and an instanton-induced instability. Their §IV also identifies exclusion of those wormholes as a logical alternative. Section V says higher-boundary suppression is difficult to check and does not prove that instanton proliferation restores positivity. Their background-dependent constants do not establish the universal fixed-normalization conjecture above for every ultraviolet completion. This selective supplement assesses that argument and is not an exhaustive later-literature review.
Depends on
Dependency tree · 2 levels
Sources
- Di Ubaldo, Iliesiu, Lin and Yan, Positivity of the gravitational path integral implies the axionic weak gravity conjecture
- Andriolo et al., Duality and Axionic Weak Gravity
- The String Landscape, Black Holes and Gravity as the Weakest Force
- Axion Cosmology
- 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