Three stable phases and thermodynamic anomaly in a binary mixture of hard particles

Nathann T. Rodrigues; Tiago J. Oliveira

arxiv: 1907.01028 · v1 · pith:L4IZIABJnew · submitted 2019-07-01 · ❄️ cond-mat.soft · cond-mat.stat-mech

Three stable phases and thermodynamic anomaly in a binary mixture of hard particles

Nathann T. Rodrigues , Tiago J. Oliveira This is my paper

Pith reviewed 2026-05-25 11:13 UTC · model grok-4.3

classification ❄️ cond-mat.soft cond-mat.stat-mech

keywords binary mixturehard particlesHusimi latticephase diagramfluid demixingdensity anomalytriple pointcritical point

0 comments

The pith

A binary mixture of point particles and hard cubes on a lattice exhibits fluid-fluid demixing ending at a critical point, a triple point with a solid-like phase, and a density anomaly.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper investigates an athermal model consisting of point-like particles and cubes that exclude first and second neighbors on a simple cubic lattice. Solving the grand-canonical ensemble exactly on a Husimi lattice constructed from these cubes yields a phase diagram with two distinct fluid phases and a solid-like phase that meet at a triple point. The coexistence between the two fluids terminates at a critical point. Additionally, the total particle density displays an anomaly characterized by minima along lines of constant pressure when plotted against particle activity, with the locus of these minima crossing from stable into metastable regions of the diagram.

Core claim

The grand-canonical solution of this model on a Husimi lattice built with cubes reveals a fluid-fluid demixing, yielding a phase diagram with two fluid phases (one of them dominated by small particles - F0) and a solid-like phase coexisting at a triple-point. Moreover, the fluid-fluid coexistence line ends at a critical point. An anomaly in the total density (ρ_T) of particles is also found, which is hallmarked by minima in the isobaric curves of ρ_T versus z0 (or z2). Interestingly, the line of minimum density cross the phase diagram starting inside the region where both fluid phases are stable, passing through the F0 one and ending deep inside its metastable region, in a point where theスピn

What carries the argument

The exact grand-canonical solution of the hard-core binary mixture on the Husimi lattice built with cubes.

If this is right

The model displays fluid-fluid demixing with a critical endpoint.
Three phases coexist at a triple point: two fluids and one solid-like phase.
The total density has minima in isobaric curves versus activity, marking a thermodynamic anomaly.
The minimum-density line traverses stable two-fluid, single-fluid, and metastable regions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the lattice approximation holds, similar demixing and anomalies may appear in three-dimensional colloidal systems with appropriate size ratios.
Absence of attractions implies that entropic effects alone can drive both demixing and density anomalies in hard-particle mixtures.
Extensions to other lattice geometries could test whether the triple point and critical point are robust features of the model.

Load-bearing premise

The Husimi lattice built with cubes provides a sufficiently accurate approximation to the thermodynamics and phase behavior of the underlying simple cubic lattice for the hard-core binary mixture.

What would settle it

Direct Monte Carlo simulations of the same hard-particle mixture on the simple cubic lattice that check for the presence of fluid-fluid coexistence, the triple point, and the density minima at comparable activity values.

read the original abstract

While the realistically modeling of the thermodynamic behavior of fluids usually demands elaborated atomistic models, much have been learned from simplified ones. Here, we investigate a model where point-like particles (with activity $z_0$) are mixed with molecules that exclude their first and second neighbors (i.e., cubes of lateral size $\lambda=\sqrt{3}a$, with activity $z_2$), both placed on the sites of a simple cubic lattice with parameter $a$. Only hard-core interactions exist among the particles, so that the model is athermal. Despite its simplicity, the grand-canonical solution of this model on a Husimi lattice built with cubes revels a fluid-fluid demixing, yielding a phase diagram with two fluid phases (one of them dominated by small particles - $F0$) and a solid-like phase coexisting at a triple-point. Moreover, the fluid-fluid coexistence line ends at a critical point. An anomaly in the total density ($\rho_T$) of particles is also found, which is hallmarked by minima in the isobaric curves of $\rho_T$ versus $z_0$ (or $z_2$). Interestingly, the line of minimum density cross the phase diagram starting inside the region where both fluid phases are stable, passing through the $F0$ one and ending deep inside its metastable region, in a point where the spinodals of both fluid phases cross each other.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Husimi recursion gives a clean fluid-fluid critical point and density anomaly in this athermal mixture, but the mapping to the real cubic lattice stays untested.

read the letter

The paper solves the grand partition function exactly via recursion on a Husimi cactus made of cubes for a binary hard-core mixture: point particles (activity z0) plus larger cubes that block first and second neighbors (z2). It reports two fluid phases that demix, a fluid-fluid critical point, a triple point with a solid-like phase, and an isobaric density anomaly whose minimum line crosses the spinodals into the metastable region. That combination of features is new for this class of lattice models. The recursion itself is standard and internally consistent; the phase boundaries and the location of the density minima follow directly from the equations with no adjustable parameters. The athermal nature keeps the thermodynamics simple and the results reproducible from the stated activities. The main limitation is the approximation itself. The Husimi structure is loop-free, so it cannot capture the closed-path correlations that would appear on the actual simple cubic lattice. The manuscript gives no Monte Carlo data, transfer-matrix checks, or even qualitative comparison on the target lattice, so it is not known whether the fluid-fluid demixing or the crossing of the minimum-density line survive when loops are restored. That gap is real but not fatal for a lattice-model study; many such papers are published with the same caveat. Readers working on lattice gases or on how hard-core exclusions produce anomalies will find the explicit phase diagram and the recursion details useful. The work shows clear, honest engagement with its own equations and the prior literature on similar mixtures. It is worth sending to a serious referee who knows Husimi methods and can judge how much the approximation distorts the reported features.

Referee Report

2 major / 2 minor

Summary. The manuscript solves the grand-canonical partition function exactly via recursion on a Husimi lattice built from cubes for an athermal binary hard-core mixture of point particles (activity z0) and larger cubes (activity z2, excluding first and second neighbors) on the simple cubic lattice. It reports three coexisting phases (two fluids, one small-particle dominated as F0, and a solid-like phase) meeting at a triple point, a fluid-fluid coexistence line terminating at a critical point, and a density anomaly in total density ρ_T with minima along isobars; the line of minimum density crosses from the two-phase region through F0 into the metastable region where the fluid spinodals intersect.

Significance. The recursive solution is parameter-free and yields concrete, falsifiable predictions for phase boundaries and the location of the density-anomaly line directly from the activities z0 and z2. If the Husimi results transfer to the target lattice, the work demonstrates that fluid-fluid demixing and thermodynamic anomalies can arise in a purely hard-core athermal model, providing a benchmark for more elaborate simulations of colloidal or granular mixtures.

major comments (2)

[Abstract and model section] Abstract and § (model definition): The central claims are presented as properties of the binary mixture on the simple cubic lattice, yet all quantitative results (demixing, triple point, critical endpoint, ρ_T minima, and min-density line crossing spinodals) are obtained on the Husimi cactus; no comparison to Monte Carlo, transfer-matrix, or other methods on the cubic lattice is supplied to quantify how well the tree-like structure reproduces loop-induced correlations that control demixing and the anomaly.
[Results (phase diagram and isobars)] Results (phase-diagram and isobar sections): The identification of the solid-like phase and the precise location where the min-density line crosses the spinodals are load-bearing for the reported topology; the criteria used to label phases (e.g., density thresholds or partial partition-function dominance) and to locate spinodals must be stated explicitly so that the stability regions can be reproduced from the recursion relations.

minor comments (2)

[Abstract] Abstract: 'revels' should read 'reveals'; 'much have been learned' should read 'much has been learned'.
[Model definition] Notation: the lattice spacing a and the cube size λ = √3 a should be introduced once with a clear figure or diagram of the excluded-volume rules.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Abstract and model section] Abstract and § (model definition): The central claims are presented as properties of the binary mixture on the simple cubic lattice, yet all quantitative results (demixing, triple point, critical endpoint, ρ_T minima, and min-density line crossing spinodals) are obtained on the Husimi cactus; no comparison to Monte Carlo, transfer-matrix, or other methods on the cubic lattice is supplied to quantify how well the tree-like structure reproduces loop-induced correlations that control demixing and the anomaly.

Authors: We agree that the presentation could be tightened. The model is defined on the simple cubic lattice, but the exact grand-canonical solution is obtained via recursion on the Husimi cactus (a tree-like approximation that eliminates loops). We will revise the abstract and model section to state explicitly that all reported phase boundaries, triple point, critical point, and density-anomaly line are exact results for the Husimi lattice. Direct Monte Carlo or transfer-matrix comparisons on the full cubic lattice lie outside the present scope; the Husimi solution supplies parameter-free, falsifiable predictions that can serve as a benchmark for future lattice simulations. revision: partial
Referee: [Results (phase diagram and isobars)] Results (phase-diagram and isobar sections): The identification of the solid-like phase and the precise location where the min-density line crosses the spinodals are load-bearing for the reported topology; the criteria used to label phases (e.g., density thresholds or partial partition-function dominance) and to locate spinodals must be stated explicitly so that the stability regions can be reproduced from the recursion relations.

Authors: We accept this point. In the revised manuscript we will add explicit criteria in the results section: (i) phases are labeled by which partial partition functions dominate the recursion fixed point (F0 when the small-particle branch dominates, the solid-like phase when the large-particle periodic occupation pattern has the highest weight); (ii) spinodals are located from the divergence of the isothermal compressibility obtained by differentiating the recursion relations with respect to the activities. These additions will make the stability regions and the crossing point fully reproducible from the recursion equations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct recursion on Husimi lattice

full rationale

The paper obtains all reported phase behavior (fluid-fluid demixing, triple point, critical endpoint, and density anomaly) from explicit grand-canonical recursion relations on the Husimi cactus constructed from cubes, with activities z0 and z2 as direct inputs. No parameters are fitted to subsets of data and then relabeled as predictions, no self-definitional loops appear in the equations, and no load-bearing uniqueness theorems or ansatzes are imported via self-citation. The derivation chain is therefore self-contained and does not reduce to its own outputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of the Husimi-lattice recursion as a proxy for the simple-cubic lattice and on the grand-canonical formulation with only hard exclusions; no additional free parameters or invented entities are introduced.

axioms (1)

domain assumption The Husimi lattice built with cubes accurately captures the phase behavior and density anomaly of the simple cubic lattice for this hard-core mixture.
The entire solution and reported phase diagram are obtained exclusively on this approximate lattice.

pith-pipeline@v0.9.0 · 5789 in / 1466 out tokens · 31498 ms · 2026-05-25T11:13:15.628239+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

grand-canonical solution of this model on a Husimi lattice built with cubes reveals a fluid-fluid demixing... anomaly in the total density (ρ_T) ... minima in the isobaric curves
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

recursion relations for the ppf’s ... ratios R(K)1 = A1/A0 ... Jacobian ... largest eigenvalue Λ < 1

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.