A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Failure of Kohn–Sham ensemble representation
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:physics, atoms Levels:1
Category:Mathematical physics Lean version:not yet
Rate this game! 4.5 out of 5 (5,694 votes)

>>> How to Play <<<
Failure of Kohn–Sham ensemble representation. Constructs a three-electron Coulomb molecule with two equal positive-integer-charge nuclei whose absolute ground-state density has no noninteracting ground-state ensemble representation by a single real spin-independent local potential in $L^{3/2}(\mathbb R^3)+L^\infty(\mathbb R^3)$. This disproves Kohn–Sham ensemble representability for that potential class; the required nuclear charge is specified nonnumerically.

>>> Level Select <<<
released 2026-09-25  |  3 theorems · 10 lemmas · 27 proofs · 18,487 words  |  PLAY LEVEL 1 »  (pdf)
We construct a finite three-electron Coulomb molecule whose spin-summed ground-state density cannot be reproduced by any ground-state ensemble of noninteracting electrons in a single real, spin-independent local potential in $L^{3/2}(\mathbf R^3)+L^\infty(\mathbf R^3)$. The molecule has two equal positive integer nuclear charges, specified by an exact finite nonnumerical formula.

More Mathematical physics Games!
QMA-hardness of continuum Coulomb energyThe classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesExact quantum factoring over a fixed finite gate set HOT!
Strong locality for strongly rational unitary vertex operator algebrasQAOA optimality for the SK modelScale-to-conformal enhancement in four-dimensional QFTPolynomial-time, constant-error unitary synthesis from a Boolean oracle

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games