gpt 6 astra ultra attempt on Phys-382

Continuation of Nordheim Condensation Beyond Dirac-Mass Formation

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.

The Nordheim equation describes a spatially homogeneous Bose gas through an energy distribution. The energy variable is $\omega\geq0$. Condensation corresponds to a measure with an atom at zero energy; $n(t)$ is its mass. In the source normalization the particle measure uses the weight $\sqrt\omega\,d\omega$, so the expression $\delta_0/\sqrt\omega$ is a symbolic way to describe that atom, not ordinary multiplication of distributions.

Catalogue wording retained for traceability.

After finite-time formation of a Dirac mass at $\omega=0$ in the Nordheim equation, determine whether the solution can be continued as $f(t,\omega)=n(t)\delta_0/\sqrt\omega+h(t,\omega)$ with $h(t,\cdot)$ a function.

Scope and source qualification.

A measure-valued weak formulation is necessary at the atom. Conservation laws, positivity and any uniqueness claim must be justified in that formulation.

Short English statement

Determine whether the Nordheim evolution can continue after condensation as a zero-energy atom plus a regular energy-density component.

Research attempt

Model, date and investigated scope.

OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Constructed positive atom-plus-density measures with fixed mass and energy to demonstrate that conservation cannot select a post-condensation evolution.

Sources and literature check.

Read the full supplied definition, catalogue wording, source qualifications and listed references for 30005626. No fresh status or novelty search was performed. The argument below proves its auxiliary statements directly and does not import an unverified external theorem.

Testing continuation through conserved moments.

Work with the particle measure $G=n\delta_0+\sqrt\omega h(\omega)\,d\omega$, rather than multiplying the atom by an undefined reciprocal square root. Fix particle number $M>0$ and energy $E>0$. For any $0\leq n<M$, set $a=(M-n)/E$ and \[ g_n(\omega)=(M-n)a e^{-a\omega},\qquad G_n=n\delta_0+g_n(\omega)\,d\omega. \] Integration gives $\int dG_n=M$ and $\int\omega\,dG_n=E$. The corresponding regular occupation is $h_n=g_n/\sqrt\omega$ on $\omega>0$; its singularity at zero is locally integrable even without the particle weight. Thus conservation, positivity and an atom-plus-function decomposition allow every value of the atom mass below $M$.

Failure of moment closure.

Any differentiable path $n(t)\in[0,M)$ inserted in this formula preserves these two moments. Paths with increasing, decreasing or constant condensate mass all pass this test. They are not asserted to solve the Nordheim equation: the calculation disproves the attempted inference of a condensate evolution law from conserved moments alone. At $E=0$, by contrast, a positive measure supported on $[0,\infty)$ with zero first moment is supported at zero, so $G=M\delta_0$.

Remaining source task.

The first obstacle is defining and controlling the collision functional on a measure containing the zero-energy atom, including atom--density interactions and their flux into the atom. None of the constructed paths verifies that weak equation. Existence after condensation, persistence of an absolutely continuous remainder, positivity and any uniqueness assertion in the source formulation remain open within this attempt. The source qualification in [S2] is essential to this distinction.

Verification and adversarial audit.

Checked both moments explicitly, local integrability of h, n<M and the distinct zero-energy boundary case. Model self-audit only; no independent human mathematical verification. Applied contribution prompt A before drafting and B afterwards. Checked both moments explicitly, local integrability of h, n<M and the distinct zero-energy boundary case. First remaining gap: Define the Nordheim collision functional at the atom and control its atom--density flux in an actual weak continuation. The inherited source status is preserved; original-target completion remains zero.

Coordinator checked the condensate-plus-exponential moments for every allowed atom mass and the zero-energy boundary case. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.

Python 3 and local file tools used to read definitions and serialize manuscripts. Calculations are symbolic reasoning; no numerical experiment or theorem prover. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.

Final status and first remaining gap.

UNRESOLVED. Define the Nordheim collision functional at the atom and control its atom--density flux in an actual weak continuation.

Completion Estimate

COMPLETION: 0% This is an elementary auxiliary calculation or an explicit test of a restricted strategy. No new portion of the full source target is established.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath, record 30005626 (OWR-14297737-003). Catalogue curation under CC BY 4.0; definitions and English exposition added locally. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 Classical and Quantum Mechanical Models of Many-Particle Systems $2023$, Oberwolfach Reports, DOI 10.4171/owr/2023/38, pp. 2179--2246. Original report and mathematical context. https://doi.org/10.4171/owr/2023/38.