we-solve (beta)

Phys-31-A1 · revision r1 · on Phys-31

OpenAI claim summary for Phys-31

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: partially solved. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

The equality-classification theorem proves the optimal one-bound-state constant for every 1/2<gamma<3/2, includes the scalar m=1 target, and further characterizes all finite-matrix extremizers. Its integrability class is the full L^(gamma+1/2) nonnegative potential class. For every 1/2<gamma<3/2 and every nonnegative L^(gamma+1/2) scalar potential, the theorem identifies the full negative-eigenvalue moment constant with the predicted one-bound-state value and exhibits an extremizer. No truncated spectral sum or smaller exponent range is used. The matrix theorem proves the optimal predicted one-dimensional constant for every 1/2<gamma<3/2 and every finite matrix dimension m; scalar m=1 is exactly the problem statement target, while matrix dimensions are additional scope. The claimed conclusion supplies the requested case and extends it in the directions just specified.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. One-Dimensional Lieb-Thirring Constants
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Result 1.
  5. Result 2.
  6. Result 3.
  7. Outline of the argument
  8. Formal verification
  9. Status caveat
  10. Sources

One-Dimensional Lieb-Thirring Constants

OpenAI's claim

The linked manuscripts present the following claims by OpenAI: All equality cases of that matrix inequality are claimed to be channels in a constant unitary basis, each either zero or a scalar single-state soliton; The scalar one-dimensional Lieb--Thirring optimal constant is claimed to be the one-bound-state value for every $1/2<\gamma<3/2$; The same sharp constant is claimed for Hermitian positive matrix potentials of every finite size, even when values at different points fail to commute. Together they give a claimed affirmative answer in the matching scope.

Mathematical statement of the claimed result

Result 1.
Fix a finite matrix size $m\ge1$, $1/2<\gamma<3/2$, and $p=\gamma+1/2$. For measurable Hermitian $W(x)\ge0$ with $\int_{\mathbb R}\operatorname{tr}(W^p)<\infty$, form $H_W=-d^2/dx^2-W$ by its $H^1$ quadratic form. The source claims \[ \sum_{\lambda_j(H_W)<0}|\lambda_j|^\gamma \le C_\gamma\int_{\mathbb R}\operatorname{tr}(W^p),\quad C_\gamma=\left(\frac{\gamma-1/2}{\gamma+1/2}\right)^{\gamma-1/2} \frac{\Gamma(\gamma+1)}{\sqrt\pi\Gamma(\gamma+3/2)}. \] Writing $r=(\gamma-1/2)^{-1}$, equality occurs exactly for a constant unitary $U$, $0\le k\le m$, $a_j>0$, $x_j\in\mathbb R$, and \[ W(x)=U\operatorname{diag}(w_1(x),\ldots,w_k(x),0,\ldots,0)U^*,\quad w_j(x)=(r+1)a_j^2\operatorname{sech}^2(ra_j(x-x_j)) \] almost everywhere. Each nonzero channel has just the negative eigenvalue $-a_j^2$, and $k=0$ means the zero potential.
Result 2.
For $1/2<\gamma<3/2$ and $W\ge0$ in $L^{\gamma+1/2}(\mathbb R)$, put $H_{-W}=-d^2/dx^2-W$. Counting negative eigenvalues with multiplicity, the source claims \[ \sum_{\lambda_j<0}|\lambda_j|^\gamma\le C_\gamma\int_{\mathbb R}W^{\gamma+1/2},\quad C_\gamma=\left(\frac{\gamma-1/2}{\gamma+1/2}\right)^{\gamma-1/2} \frac{\Gamma(\gamma+1)}{\sqrt\pi\Gamma(\gamma+3/2)}. \] This constant is optimal. An equality potential is $W(x)=(r+1)\operatorname{sech}^2(rx)$, $r=(\gamma-1/2)^{-1}$.
Result 3.
Let $m\ge1$ be finite, $1/2<\gamma<3/2$, and $W:\mathbb R\to\mathbb C^{m\times m}$ be measurable, Hermitian, and positive semidefinite, with $\int\operatorname{tr}(W^{\gamma+1/2})<\infty$. For the form-defined operator $H_W=-d^2/dx^2-W$, the claim is \[ \sum_{\lambda_j(H_W)<0}|\lambda_j|^\gamma\le C_\gamma\int_{\mathbb R}\operatorname{tr}(W^{\gamma+1/2}),\quad C_\gamma=\left(\frac{\gamma-1/2}{\gamma+1/2}\right)^{\gamma-1/2} \frac{\Gamma(\gamma+1)}{\sqrt\pi\Gamma(\gamma+3/2)}. \] The constant is sharp for each $m$, witnessed by $W(x)=\operatorname{diag}((r+1)\operatorname{sech}^2(rx),0,\ldots,0)$, $r=(\gamma-1/2)^{-1}$.

Outline of the argument

The action estimate is refined to keep each convexity and trace defect. Vanishing defects force pointwise matrix relations and fixed invariant channels, after which the scalar differential equations identify the independent soliton scales and centers.

A finite-interval action inequality is obtained through a regularized matrix field and a rank-one comparison. Matrix paths with prescribed endpoints bound the action, which is integrated into the full negative-eigenvalue moment inequality; scalar solitons provide sharpness.

An integrated trace inequality controls a regularized matrix path without simultaneous diagonalization. The endpoint action estimate gives the complete negative-spectrum moment bound, and embedding a scalar one-bound-state channel shows the dimension-independent constant cannot improve.

Formal verification

For family 262, the documented result is the sharp scalar one-dimensional inequality in the intermediate exponent range, including all negative eigenvalues. The matrix and full equality-classification companions are not selected. The listed Comparator files are LiebThirring.lean. Named declarations include OAI.SharpLiebThirring.sharp_lieb_thirring. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources