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.

Single-axion weak-gravity bound for instantons

Physical scope

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 ℏ=c=1 and the four-dimensional Einstein-frame convention MP−2=8πGN. A single axion is a smooth field θ:X→R/(2πZ) with kinetic term −f2gμν∂μθ∂νθ/2, where f>0 is constant on the declared background patch and a=fθ is a local canonical field. Fix a proposed ultraviolet-complete quantum-gravity theory, its Euclidean boundary conditions, and the full set I of its charged instanton sectors: localized nonperturbative Euclidean sources with nonzero amplitudes (possibly with operator insertions), finite real vacuum-subtracted actions Si≥0, and angular dependence einiθ with ni∈Z∖{0}. The charge, boundary conditions, action prescription, and fluctuation/zero-mode treatment are supplied for each i∈I. An arbitrary selected subset of known saddles is not the full set I.

The weak single-axion conjecture asks whether there is at least one i∈I satisfying fSi/∣ni∣≤c0MP. Fix here the macroscopic-semiwormhole reference normalization c0:=6π/4 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 f and MP have mass dimension one; Si,ni,c0 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 Λi4e−Si[1−cos⁡(niθ+δi)] with supplied Λi≥0 of mass dimension one and dimensionless δi; a charged instanton need not generate such a bosonic term. A semiclassical evaluation of Si requires its own controlled saddle expansion and corrections. In particular, Si≫1 is not an extra requirement on the conjectured sector, and no instanton or ultraviolet completion follows from periodicity alone.

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-f 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