A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Sharp one-dimensional Lieb–Thirring inequalities
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:physics, atoms Levels:3
Category:Mathematical physics Lean version:YES! ✔
Rate this game! 4.4 out of 5 (6,977 votes)

>>> How to Play <<<
Sharp finite-matrix Lieb–Thirring inequalities and all equality cases. Proves the sharp one-dimensional Lieb–Thirring inequality for $1/2\lt \gamma\lt 3/2$ and arbitrary finite-matrix potentials W ≥ 0 with $\int\mathop{\mathrm{tr}}\nolimits (W^{\gamma+1/2})\lt \infty$: the optimal constant is the scalar one-bound-state value, independent of matrix size. All equality cases are direct sums, in one constant unitary basis, of scalar sech2 solitons with independent scales and centers, and zero channels.

>>> Level Select <<<
released 2026-10-05  |  3 theorems · 5 lemmas · 10 proofs · 10,078 words  |  PLAY LEVEL 1 »  (pdf)
We classify all equality cases in the sharp one-dimensional Lieb–Thirring inequality for every finite matrix size and $1/2\lt \gamma\lt 3/2$. For measurable Hermitian positive semidefinite potentials W with $\int_\mathbb R\mathop{\mathrm{tr}}\nolimits (W^{\gamma+1/2})\lt \infty$, equality holds precisely for direct sums, in one constant unitary basis, of scalar one-bound-state solitons and zero channels. The nonzero solitons may have independent scales and centers.
released 2026-10-05  |  3 theorems · 4 lemmas · 9 proofs · 8,296 words  |  PLAY LEVEL 2 »  (pdf)
We prove the sharp one-dimensional Lieb–Thirring inequality for every finite matrix size and every exponent $1/2\lt \gamma\lt 3/2$. The optimal constant is the scalar one-bound-state constant, independently of the matrix size. The inequality bounds the full sum of negative eigenvalue moments for every measurable Hermitian positive semidefinite potential W satisfying $\int_\mathbb R\mathop{\mathrm{tr}}\nolimits (W^{\gamma+1/2})\lt \infty$. The matrices may have arbitrary rank and need not commute at different points.
released 2026-09-23  |  2 theorems · 9 lemmas · 14 proofs · 7,372 words  |  PLAY LEVEL 3 »  (pdf)
We resolve affirmatively the remaining cases of the scalar one-dimensional Lieb–Thirring conjecture: for every $\frac12\lt \gamma\lt \frac32$, the optimal constant is the one-bound-state constant. The estimate holds for every nonnegative potential in $L^{\gamma+1/2}(\mathbb R)$, with all negative eigenvalues included.

More Mathematical physics Games!
Polynomial-time, constant-error unitary synthesis from a Boolean oracleThe optimal randomized–quantum query exponentSpacetime Penrose inequalities and rigidityLocalization and delocalization in the Anderson model
The ionization and generalized ionization conjecturesStrong cosmic censorship near two-ended Kerr data HOT!The two-dimensional gapped area lawExactly three mutually unbiased bases in dimension six HOT!

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