OpenFrontiers
← Back to the index
OP-3089Partially solvedMathematical physics

Ionization conjecture for atoms

For the nonrelativistic Coulomb Hamiltonian of fermionic spin-1/2 electrons and a fixed point nucleus of charge ZZ, prove that the maximal number of bound electrons satisfies Nc(Z)≤Z+CN_c(Z)\le Z+C, with CC independent of ZZ.

Source-reported statusAs of 2026-09-04Source & evidence ↓

Problem statement

For the nonrelativistic Coulomb Hamiltonian of fermionic spin-1/2 electrons and a fixed point nucleus of charge ZZ, prove that the maximal number of bound electrons satisfies Nc(Z)≤Z+CN_c(Z)\le Z+C, with CC independent of ZZ.

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Background

The question is how many electrons a nucleus of charge ZZ can bind. Physically atoms bind at most one or two extra electrons, so one expects Nc(Z)−ZN_c(Z)-Z to stay bounded. Proving this from the many-body Schrödinger operator H=∑i(−Δi−Z/∣xi∣)+∑i<j1/∣xi−xj∣H=\sum_i(-\Delta_i-Z/|x_i|)+\sum_{i<j}1/|x_i-x_j| is the ionization conjecture.

What is known: Zhislin proved that a neutral or positive net charge always binds (Nc(Z)≥ZN_c(Z)\ge Z). On the upper side, Ruskai and Sigal showed Nc(Z)N_c(Z) is finite; Lieb's elegant argument gives Nc(Z)<2Z+1N_c(Z)<2Z+1, and asymptotic results (Lieb–Sigal–Simon–Thirring, Fefferman–Seco) show Nc(Z)/Z→1N_c(Z)/Z\to1 as Z→∞Z\to\infty. Nam later improved the bound to roughly Nc(Z)≤1.22 Z+3Z1/3N_c(Z)\le 1.22\,Z + 3Z^{1/3}.

The conjectured sharp form Nc(Z)≤Z+CN_c(Z)\le Z+C has been proved in mean-field surrogates: Solovej established it for Hartree–Fock theory, and analogous statements hold in Thomas–Fermi–type and reduced density-matrix models. For the full many-electron Schrödinger operator it remains open; the obstruction is controlling electron–electron screening rigorously without a self-consistent mean field.

Preprint progress (2025): Hundertmark, Pattakos and Schulz report Nc(Z)<1.1185Z+O(Z1/3)N_c(Z)<1.1185Z+O(Z^{1/3}). This improves an explicit finite-ZZ estimate, not the already known asymptotic coefficient one and not the uniform excess-charge conjecture. Uniform ionization-energy and radius bounds are related but separate targets.

Progress & source assessment

Source catalogue review: 4 September 2026. Improved indicates partial progress, including qualified preprint claims.

preprint: An improved explicit ionization bound, not a proof of uniformly bounded excess charge. Evidence

References
  1. [1]Lieb, 'Bound on the maximum negative ionization of atoms and molecules', PRA 29, 3018 (1984) link
  2. [2]Solovej, 'The ionization conjecture in Hartree–Fock theory', Ann. of Math. 158 (2003) link
  3. [3]Nam, 'New bounds on the maximum ionization of atoms', Comm. Math. Phys. 312 (2012) link
  4. [4]Lieb & Seiringer, 'The Stability of Matter in Quantum Mechanics' (CUP, 2010) link
  5. [5]Hundertmark, Pattakos & Schulz, improved ionization bound (2025 preprint) link
  6. [6]Solovej, Quantissima lectures on the ionization conjecture (2025) link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.