OpenAI reports all equality cases for a sharp matrix Lieb–Thirring bound
- Mathematics
For every finite matrix size and 1/2<γ<3/2, a measurable positive semidefinite Hermitian matrix potential saturates the sharp one-dimensional Lieb–Thirring inequality exactly when one constant unitary basis makes it a direct sum of independent one-bound-state scalar sech² profiles and zero channels.