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.
Electric weak-gravity conjecture in four dimensions
Open four-dimensional asymptotically flat electric particle WGC for ultraviolet-complete quantum gravity in the displayed Einstein-Maxwell normalization. The qualifying elementary or bound charged excitation is distinct from the classical extremal black-hole reference; lattice, sublattice, tower, magnetic and black-hole-spectrum versions remain separate.
Open problem
Use natural units . On a smooth four-dimensional Lorentzian spacetime with smooth metric of signature , reduced Planck mass , and a smooth compact connection with local real potential one-forms and curvature , take the Einstein–Maxwell action to be Here is the Ricci scalar for , indices are raised with , is the gauge coupling, and the matter covariant derivative is . Fix the global form and normalization of compact so its character lattice is with unit weight and ; this fixes allowed charges without assuming a unit-charge particle exists; equivalently, normalize electric flux by with a fixed sphere orientation. A Reissner–Nordström solution here is a static, spherically symmetric, asymptotically flat electrically charged vacuum solution of this action with no cosmological term; it is extremal when its inner and outer horizon radii coincide. Its mass at charge is . The weak electric particle version of the weak-gravity conjecture asks whether every ultraviolet-complete quantum-gravity theory admitting this asymptotically flat Einstein–Maxwell regime contains at least one charged particle with and . Here a counted particle is a dynamical elementary or bound excitation represented by a propagating charged field in a local effective description valid at its mass scale, rather than a macroscopic horizon geometry. Its rest mass is the stable mass-shell value, or the lower rest-energy threshold with the required soft-photon dressing; the state and infrared mass prescription must be specified. Classical Reissner–Nordström black-hole solutions, including extremal ones, are comparison configurations and do not count as the required particle. Tower, lattice, sublattice and magnetic-cutoff versions are distinct conjectures.
The acronym WGC denotes the weak gravity conjecture. The displayed inequality is non-strict; sharpened versions may require strict inequality. In these conventions and are dimensionless. A rescaling of , the minimal charge, or the Planck convention changes the displayed factors and must be translated before comparison. This fixes the particle version; versions counting quantum-corrected black-hole states need their own spectral and extremality prescription. The claim is about at least one particle in a specified charge sector; it does not assert that every allowed lattice charge is realized or that a superextremal particle occurs at every charge.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Arkani-Hamed–Motl–Nicolis–Vafa, PDF pp. 1–4; Palti, PDF pp. 28–31; and Lehnert, §II.S, PDF pp. 94–96. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). These sources present inequivalent WGC versions and evidence for special classes, but do not prove the universal electric bound as stated here. The reported counterexamples apply to particular formulations/settings and are not silently transferred to this fixed charge/action normalization. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.
Depends on
Dependency tree · 2 levels
Sources
- The String Landscape, Black Holes and Gravity as the Weakest Force
- 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