OpenAI reports all equality cases for a sharp matrix Lieb–Thirring bound

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.

Curated contributions 1

Understand the problem ↓

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.

AI involvementAI-led
ImportanceNotable
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

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.

Why it matters

If correct, characterizes every extremal matrix potential in the specified spectral-moment range.

What counts as progress

Which finite-matrix potentials attain equality in the sharp one-dimensional Lieb–Thirring inequality?

Website timeline

Publication dates and editorial changes.