Thermodynamic Fluid–Solid Phase Transitions

Thermodynamic Fluid–Solid Phase Transitions

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.

Definitions and conventions.

In the hard-sphere model, configurations whose particle centers are closer than the sphere diameter are forbidden; allowed configurations otherwise have no pair energy. The thermodynamic limit sends volume and particle number to infinity at fixed density or fixes chemical potential. A fluid--solid phase transition concerns distinct macroscopic equilibrium phases and a thermodynamic singularity or coexistence criterion; crystalline order and symmetry breaking require specified observables and Gibbs-state notions.

Target retained from the canonical source catalogue.

Catalogue wording retained for traceability.

Can statistical mechanics prove the existence of a thermodynamic fluid-solid phase transition, for example in the hard-sphere model?

Source scope and qualification.

The dimension, ensemble and phase criterion are not fixed by the extracted question. Numerical crystallization or a finite-system packing optimum does not by itself prove the requested thermodynamic transition.

Short English statement

Prove a genuine equilibrium fluid-to-solid phase transition, with hard spheres as a central example.

Research attempt

Model, date and investigated scope.

OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Solved the standard hard-rod configurational integral and pressure as a boundary countercheck; no higher-dimensional fluid–solid transition is proved.

Sources and literature check.

Read the supplied definition, catalogue wording, source qualifications and reference entries for 30003987. The historical source/context and inherited status are retained; no fresh literature or novelty certification is claimed. No external theorem is used without proof in this attempt; explicit model assumptions are distinguished from facts about the source model.

The hard-rod boundary case.

To test whether packing alone produces a thermodynamic singularity, take $N$ indistinguishable rods of length $a>0$ in a one-dimensional interval of length $L>Na$. Ordered left endpoints obey $0\le x_1$, $x_{i+1}\ge x_i+a$, $x_N\le L-a$. Set $y_i=x_i-(i-1)a$. The allowed region becomes the ordered simplex $0\le y_1\le\cdots\le y_N\le L-Na$, whose volume is \[ Z_N^{\rm conf}(L)=\frac{(L-Na)^N}{N!}. \] The simplex volume follows by partitioning the cube into its $N!$ orderings; coincidence sets have zero volume. Differentiation gives $\beta P_N=\partial_L\log Z_N^{\rm conf}=N/(L-Na)$, with inverse temperature $\beta>0$.

Thermodynamic diagnostic.

For $N/L\to\rho\in(0,1/a)$, this tends to $\beta P=\rho/(1-a\rho)$, an analytic function throughout the allowed open density interval. Close packing is a boundary divergence, not an interior coexistence transition in this calculation. Kinetic factors independent of $L$ do not change the pressure.

Remaining target.

This exact elementary one-dimensional result cannot be extrapolated to three-dimensional hard spheres, where crystalline order and coexistence require a different argument. It shows that excluded volume and a packing limit alone are insufficient mechanisms. The first gap is construction of distinct infinite-volume phases or a free-energy singularity in a specified higher-dimensional ensemble. Finite optimal packings and numerical order are not supplied as substitutes.

Verification and adversarial audit.

Checked wall exclusion, the N! ordering factor, L greater than Na, pressure differentiation and analyticity only inside the density interval. This is a GPT-6 Astra Ultra self-audit, not independent human verification. Prompt A drafting followed by prompt B scope/dependency/boundary self-audit. Checked wall exclusion, the N! ordering factor, L greater than Na, pressure differentiation and analyticity only inside the density interval. The remaining gap is: Construct distinct thermodynamic fluid and solid phases or the specified singularity for a higher-dimensional interaction model. Unresolved status and zero original-target completion are retained.

Coordinator checked the ordered-simplex volume, finite pressure and analytic density dependence of the one-dimensional hard-rod model. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.

Python 3 and local file-reading/writing tools for manuscript serialization and structural checks; mathematical calculations were symbolic reasoning, with 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. Construct distinct thermodynamic fluid and solid phases or the specified singularity for a higher-dimensional interaction model.

Completion Estimate

COMPLETION: 0% The proved calculation is an elementary auxiliary result or a 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 30003987 (OWR-16632-002). Catalogue curation under CC BY 4.0; definitions and English exposition added locally. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 Emergence of Structures in Particle Systems: Mechanics, Analysis and Computation $2018$, Oberwolfach Reports, DOI 10.4171/owr/2018/49, pp. 2915--2967. Primary report accessed 2026-10-11; relevant PDF pages 37. https://doi.org/10.4171/owr/2018/49.
• S3 Hard-Sphere Crystallization Review (catalogue-listed context; not independently consulted in this preparation). https://link.springer.com/article/10.1007/s10955-024-03349-x.