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.
Charge-completeness conjecture
Open state-spectrum charge-completeness conjecture for a compact internal gauge group acting on a full dynamical charge-sector Hilbert space with fixed asymptotic boundary conditions. All finite-total-energy multiparticle, bound, black-hole and wrapped-object sectors count; nondynamical probes and infinite-energy objects do not. The holographic partial result retains its additional assumptions.
Open problem
Fix a compact topological internal gauge group , including its global form. A finite-dimensional representation is a pair where is a finite-dimensional complex vector space and is a continuous group homomorphism; it is irreducible if has no nonzero proper -invariant complex subspace. For this state-spectrum version, use a charge sector with fixed asymptotic boundary conditions in which acts by a strongly continuous unitary representation on the physical dynamical Hilbert space, with all required gauge dressing included. Supply the nonnegative self-adjoint energy operator relative to the stated vacuum; its spectral projections commute with . Count the full spectrum, including multi-particle configurations, bound states, black holes and wrapped extended objects of finite total energy. Exclude nondynamical external probe charges and isolated unwrapped objects of infinite total energy. A representation is realized precisely when there is an injective linear map satisfying for every ; is the finite-energy quadratic-form domain, so . The charge-completeness conjecture says that every finite-dimensional irreducible representation of is realized. For compact with character lattice , this includes every integer-charge representation. The universal conjecture is stronger than the Harlow–Ooguri result for a specified anti-de Sitter/conformal-field-theory holographic pair under its boundary and duality assumptions.
Occurrence in a multi-particle spectrum counts in this formulation. The conjecture concerns every ultraviolet-complete quantum-gravity theory admitting the specified asymptotic charge-sector data; a confined phase without that action requires a different formulation. Completeness does not say the state is light, stable, elementary, or a single-particle asymptotic state. Here AdS/CFT denotes a specified anti-de Sitter quantum-gravity theory and conformal field theory related by the stated holographic duality, with its boundary conditions and duality hypotheses.
Open problem references
Status
Status review dated 2025-09-05: the bounded record is Polchinski, PDF pp. 1–5; Harlow–Ooguri, PDF pp. 1–6; and Lehnert, §II.C, PDF pp. 13–14. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). Polchinski presents completeness as a principle/conjecture. Harlow–Ooguri's conditional argument assumes their asymptotically AdS/CFT setting, a compact internal gauge group with long-range gauge symmetry, and their stated charged-object and holographic hypotheses; their argument then uses the faithful asymptotic action, a Wilson line through the two-sided AdS-Schwarzschild geometry, and representation theory to obtain the irreducible representations. It does not establish the universal assertion for nonholographic backgrounds or every extended-object convention. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search; it is not a logical supplier.
Depends on
Dependency tree · 2 levels
Sources
- Monopoles, Duality, and String Theory
- Constraints on symmetry from holography
- 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