Source authenticated

The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9)

Theorem 1.1: there is a universal CC such that for every M≥1M\ge1, all distinct nuclear positions and all real charges zj≥1z_j\ge1 with Z=∑zjZ=\sum z_j, strict binding En<En−1E_n<E_{n-1} implies n≤Z+CMn\le Z+CM, and En=En−1E_n=E_{n-1} for n>Z+CMn>Z+CM. For atoms this is Simon's bounded excess charge. Theorem 1.2: for every integer Z≥1Z\ge1 and every neutral ground state, the radius outside which half an electron remains lies between universal constants. Corollary 1.3: the neutral first ionization energy satisfies c≤I1(Z)≤Cc\le I_1(Z)\le C. Not shown: the value of the constants, relativistic or magnetic models, or the asymptotic (generalized) form, which is the separate generalized ionization entry.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9) · The ionization conjecture

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9) parent of this event

This event attributed to Unreleased internal OpenAI model

Companion: Generalized outer-electron radii of neutral Coulomb atoms evidence for this event

Theorem 1.1: there is a universal CC such that for every M≥1M\ge1, all distinct nuclear positions and all real charges zj≥1z_j\ge1 with Z=∑zjZ=\sum z_j, strict binding En<En−1E_n<E_{n-1} implies n≤Z+CMn\le Z+CM, and En=En−1E_n=E_{n-1} for n>Z+CMn>Z+CM. For atoms this is Simon's bounded excess charge. Theorem 1.2: for every integer Z≥1Z\ge1 and every neutral ground state, the radius outside which half an electron remains lies between universal constants. Corollary 1.3: the neutral first ionization energy satisfies c≤I1(Z)≤Cc\le I_1(Z)\le C. Not shown: the value of the constants, relativistic or magnetic models, or the asymptotic (generalized) form, which is the separate generalized ionization entry. parent of this event

VibeMathed record: The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9) evidence for this event

Companion: Generalized ionization energies for full Coulomb atoms evidence for this event

The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9) evidence for this event

Lewin, Some open mathematical problems concerning charged quantum particles (2025) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9) — Mathematical Frontier Network