The replica ('cloned liquid') computation of Coluzzi, Mézard, Parisi and Verrocchio (J. Chem. Phys. 111, 9039 (1999)) gave a first-principles prediction of the thermodynamic liquid-glass (Kauzmann) transition of a three-dimensional binary soft-sphere mixture: an analytic Kauzmann parameter ΓK≃1.65\Gamma_K \simeq 1.65, to be compared with numerical estimates ΓK≃1.6\Gamma_K \simeq 1.6 (coupled system) and ΓK≃1.75\Gamma_K \simeq 1.75 (entropy crossing) whose errors the authors stated were difficult to evaluate and might be quite large. Later literature completed the Lennard-Jones extension (reproducing the same structure of unresolved discrepancies), found the binary replica liquid theory internally inconsistent in the one-component limit and reformulated it without implementation, showed that hypernetted-chain-level closures still distort the analytic transition temperatures, and pushed equilibrium simulations into the Kauzmann regime only for continuously polydisperse three-dimensional and for two-dimensional models. The problem is therefore still open: determine ΓK\Gamma_K and the configurational entropy Σ(T)\Sigma(T) of the three-dimensional binary mixture glass former with quantified errors - equilibrium numerics with a controlled amorphous-solid entropy, and a replica-theory computation with controlled closure and expansion errors - and confront the two determinations within their error bars.

Background

When a liquid is cooled fast enough to avoid crystallization it becomes a supercooled liquid whose relaxation time grows enormously, and it eventually falls out of equilibrium at the laboratory glass temperature. Whether an underlying equilibrium thermodynamic transition exists deeper below is a central open question of glass physics. Kauzmann observed that the entropy of the supercooled liquid, extrapolated to low temperature, would fall below that of the crystal - the 'entropy crisis' - and proposed that a true thermodynamic glass transition preempts this paradox at a temperature now called the Kauzmann temperature TKT_K. In the random-first-order-transition scenario of mean-field glass theory the transition is driven by exactly this crisis: below a dynamical temperature TDT_D (identified with the mode-coupling crossover, the temperature at which idealized mode-coupling theory predicts a dynamical arrest) the phase space splits into exponentially many long-lived amorphous states, and at TKT_K their degeneracy - the configurational entropy or 'complexity' Σ\Sigma, the entropy per particle associated with the number of distinct amorphous states - vanishes.

Mézard and Parisi (J. Chem. Phys. 111, 1076 (1999)) turned this scenario into a first-principles statistical-mechanical scheme for particle systems: introduce mm replicas of the system, weakly coupled so that they remain in the same amorphous state, compute the free energy of the resulting 'molecular liquid' whose molecules are mm-atom clusters using standard liquid-state theory, and analytically continue to m≤1m \le 1; the Legendre transform of the molecular-liquid free energy with respect to the cage size yields the glass free energy and Σ\Sigma. Coluzzi, Mézard, Parisi and Verrocchio (J. Chem. Phys. 111, 9039 (1999)) generalized this 'replica liquid theory' to binary mixtures, the standard numerical glass formers because the size contrast frustrates crystallization. Their model is a 50:50 mixture of soft spheres with pair potential

Vϵϵ′(r)=(σϵϵ′r)12V^{\epsilon\epsilon'}(r) = \left(\frac{\sigma_{\epsilon\epsilon'}}{r}\right)^{12}

with diameter ratio R=σ++/σ−−=1.2R = \sigma_{++}/\sigma_{--} = 1.2, arithmetic-mean cross diameter σ+−=(σ+++σ−−)/2\sigma_{+-} = (\sigma_{++} + \sigma_{--})/2, concentration c+=c−=1/2c_+ = c_- = 1/2, the diameter normalization (σ++3+2σ+−3+σ−−3)/4=1(\sigma_{++}^3 + 2\sigma_{+-}^3 + \sigma_{--}^3)/4 = 1 (which sets the mean particle diameter to 1), and density ρ=1\rho = 1; all equilibrium thermodynamics then depends on the single scaling variable Γ≡ρT−1/4\Gamma \equiv \rho T^{-1/4}, with the dynamical (mode-coupling) crossover at ΓD≃1.45\Gamma_D \simeq 1.45. The energy scale is absorbed into the temperature, so no separate interaction-strength parameter appears.

The analytic side of the computation rests on two approximations. First, the correlation functions of the replicated ('molecular') liquid are obtained from the hypernetted chain (HNC) closure - an integral-equation approximation relating the pair correlation functions to the pair potential, estimated in the paper to be accurate to better than 10% for two-point quantities - and the three-point functions needed at second order are replaced by the superposition approximation, i.e. the three-point function is factored into a product of pair functions, with an error estimated at about 30%. Second, the glass free energy itself is evaluated in two schemes that should agree: the harmonic resummation, which sums the harmonic vibrations around amorphous minima re-expressed through liquid-state input, and the small-cage expansion, a systematic expansion of the replicated partition function in the cage radii A±A^{\pm} that measure how strongly each species is localized in the glass. Both schemes give ΓK≃1.65\Gamma_K \simeq 1.65.

The numerical side proceeds differently. The equilibrium liquid entropy is obtained by thermodynamic integration of simulated liquid energies - integrating the equilibrium energy along a reversible path from a reference state of known entropy - with a fitted power-law extrapolation below the lowest equilibrable temperature. The amorphous-solid entropy is obtained from the spectrum of the Hessian matrix of second derivatives of the potential energy (the 'instantaneous Hessian'), following the Frenkel-Ladd idea of computing a solid's free energy from its vibrations by coupling it to a reference solid. At the relevant temperatures the instantaneous Hessian has a non-negligible fraction of negative eigenvalues (about 4% near Γ≃1.5\Gamma \simeq 1.5, rising to about 20% at Γ≃1\Gamma \simeq 1), reflecting saddle-dominated regions of the energy landscape, so the harmonic solid entropy is ambiguous and different prescriptions for the negative eigenvalues differ measurably. The crossing of the liquid and solid entropies gives ΓK≃1.75\Gamma_K \simeq 1.75. An independent numerical route couples the system to a frozen reference configuration of itself through a field ϵ(x−xref)2\epsilon(x - x_{\rm ref})^2 (an overlap-field construction) and reads the complexity off the associated free-energy cost, giving ΓK≃1.6\Gamma_K \simeq 1.6.

The three determinations - analytic ≃1.65\simeq 1.65, numerical 1.61.6 and 1.751.75 - are mutually consistent only within errors the authors state are 'difficult to evaluate' and 'might be quite large'. The paper closes by leaving 'for future work both more extensive numerical studies and the improvement of the analytical results, that should allow a more careful comparison', naming the Lennard-Jones binary mixture as the next application; that extension was completed by the same authors in 2000 and reproduced the same structure of results (analytic TK≃0.32T_K \simeq 0.32 versus numerical estimates 0.260.26-0.300.30 for the Kob-Andersen Lennard-Jones mixture, the standard 80:20 size-mismatched Lennard-Jones binary mixture introduced by Kob and Andersen as a numerical glass former), so the open issue was never the existence of the application but the control of errors in both routes.

Problem Statement

Obtain an error-controlled determination of the thermodynamic (Kauzmann) transition of the three-dimensional binary mixture glass former studied in the source work - the 50:50 soft-sphere mixture with pair potential Vϵϵ′(r)=(σϵϵ′/r)12V^{\epsilon\epsilon'}(r) = (\sigma_{\epsilon\epsilon'}/r)^{12}, diameter ratio R=σ++/σ−−=1.2R = \sigma_{++}/\sigma_{--} = 1.2, σ+−=(σ+++σ−−)/2\sigma_{+-} = (\sigma_{++} + \sigma_{--})/2, c+=c−=1/2c_+ = c_- = 1/2, the diameter normalization (σ++3+2σ+−3+σ−−3)/4=1(\sigma_{++}^3 + 2\sigma_{+-}^3 + \sigma_{--}^3)/4 = 1, and density ρ=1\rho = 1 - comprising three jointly required results that serve one objective.

(1) A numerical determination of the Kauzmann point ΓK\Gamma_K and of the complexity Σ(T)\Sigma(T) with a quantified error budget. This requires (a) liquid entropies in the deep-supercooling regime above the mode-coupling crossover ΓD≃1.45\Gamma_D \simeq 1.45 and up to the expected ΓK\Gamma_K (the region where the entropy-crossing estimate ΓK≃1.75\Gamma_K \simeq 1.75 currently rests on a fitted power-law extrapolation from equilibrium data at Γ≲1.5\Gamma \lesssim 1.5), obtained with an explicitly bounded systematic error, and (b) a controlled amorphous-solid entropy in which the ambiguity caused by negative Hessian eigenvalues and anharmonicity is resolved or bounded, so that the spread between the entropy-crossing estimate (≃1.75\simeq 1.75) and the coupled-system estimate (≃1.6\simeq 1.6) is resolved within quoted errors, whether by confirming their agreement or by demonstrating a systematic bias in one of them, together with a finite-size analysis.

(2) An analytic replica-liquid determination of the same quantities whose approximations are systematically controlled or explicitly bounded: the closure used for the replicated liquid's correlation functions (with a controlled or explicitly bounded two-point error; the HNC closure's error was estimated below 10%), the treatment of the three-point functions (with a controlled or explicitly bounded error; the superposition approximation's error was estimated near 30%), and a controlled account of the relation between the harmonic resummation and the small-cage expansion, including whether their agreement at ΓK≃1.65\Gamma_K \simeq 1.65 survives beyond second order.

(3) The quantitative theory-simulation comparison the source paper called a 'more careful comparison': the analytic and numerical determinations of ΓK\Gamma_K and Σ(T)\Sigma(T) must be confronted within their stated error bars, establishing whether the first-principles replica prediction is quantitatively confirmed or falsified for this model.

The common objective is to replace the current determinations, which are mutually consistent only within large unquantified errors, by one that a domain expert can accept or reject on the basis of stated errors. The determination requires controlled errors, and the problem concerns the static theory rather than the dynamical questions (viscosity, TgT_g) that this theory deliberately does not touch.

References

  1. B. Coluzzi, M. Mézard, G. Parisi, P. Verrocchio, 'Thermodynamics of binary mixture glasses', The Journal of Chemical Physics 111, 9039-9052 (1999). DOI: 10.1063/1.480246, https://doi.org/10.1063/1.480246 (preprint: arXiv:cond-mat/9903129, https://arxiv.org/abs/cond-mat/9903129)
  2. M. Mézard, G. Parisi, 'A first-principle computation of the thermodynamics of glasses', The Journal of Chemical Physics 111, 1076-1095 (1999). DOI: 10.1063/1.479193, https://doi.org/10.1063/1.479193
  3. B. Coluzzi, G. Parisi, P. Verrocchio, 'Thermodynamical Liquid-Glass Transition in a Lennard-Jones Binary Mixture', Physical Review Letters 84, 306-309 (2000). DOI: 10.1103/PhysRevLett.84.306, https://doi.org/10.1103/PhysRevLett.84.306 (preprint: arXiv:cond-mat/9906172, https://arxiv.org/abs/cond-mat/9906172)
  4. B. Coluzzi, G. Parisi, P. Verrocchio, 'Lennard-Jones binary mixture: A thermodynamical approach to glass transition', The Journal of Chemical Physics 112, 2933-2944 (2000). DOI: 10.1063/1.480866, https://doi.org/10.1063/1.480866 (preprint: arXiv:cond-mat/9904124, https://arxiv.org/abs/cond-mat/9904124)
  5. W. Kob, H. C. Andersen, 'Scaling Behavior in the β-Relaxation Regime of a Supercooled Lennard-Jones Mixture', Physical Review Letters 73, 1376-1379 (1994). DOI: 10.1103/PhysRevLett.73.1376, https://doi.org/10.1103/PhysRevLett.73.1376
  6. D. Frenkel, A. J. C. Ladd, 'New Monte Carlo method to compute the free energy of arbitrary solids. Application to the fcc and hcp phases of hard spheres', The Journal of Chemical Physics 81, 3188-3193 (1984). DOI: 10.1063/1.448024, https://doi.org/10.1063/1.448024
  7. G. Parisi, F. Zamponi, 'Mean-field theory of hard sphere glasses and jamming', Reviews of Modern Physics 82, 789-845 (2010). DOI: 10.1103/RevModPhys.82.789, https://doi.org/10.1103/RevModPhys.82.789
  8. J. Bomont, J. Hansen, G. Pastore, 'An investigation of the liquid to glass transition using integral equations for the pair structure of coupled replicae', The Journal of Chemical Physics 141, 174505 (2014). DOI: 10.1063/1.4900774, https://doi.org/10.1063/1.4900774
  9. A. Ninarello, L. Berthier, D. Coslovich, 'Models and Algorithms for the Next Generation of Glass Transition Studies', Physical Review X 7, 021039 (2017). DOI: 10.1103/PhysRevX.7.021039, https://doi.org/10.1103/PhysRevX.7.021039
  10. H. Ikeda, K. Miyazaki, A. Ikeda, 'Note: A replica liquid theory of binary mixtures', The Journal of Chemical Physics 145, 216101 (2016). DOI: 10.1063/1.4969072, https://doi.org/10.1063/1.4969072 (preprint: arXiv:1609.08288, https://arxiv.org/abs/1609.08288)
  11. M. Ozawa, G. Parisi, L. Berthier, 'Configurational entropy of polydisperse supercooled liquids', The Journal of Chemical Physics 149, 154501 (2018). DOI: 10.1063/1.5040975, https://doi.org/10.1063/1.5040975 (preprint: arXiv:1805.06017, https://arxiv.org/abs/1805.06017)
  12. J.-M. Bomont, J.-P. Hansen, G. Pastore, 'Revisiting the replica theory of the liquid to ideal glass transition', The Journal of Chemical Physics 150, 154504 (2019). DOI: 10.1063/1.5088811, https://doi.org/10.1063/1.5088811
  13. L. Berthier, M. Ozawa, C. Scalliet, 'Configurational entropy of glass-forming liquids', The Journal of Chemical Physics 150, 160902 (2019). DOI: 10.1063/1.5091961, https://doi.org/10.1063/1.5091961 (preprint: arXiv:1902.07679, https://arxiv.org/abs/1902.07679)
  14. G. Jung, M. Ozawa, G. Biroli, L. Berthier, 'Numerical investigation of the equilibrium Kauzmann transition in a two-dimensional atomistic glass', Proceedings of the National Academy of Sciences 123, e2612355123 (2026). DOI: 10.1073/pnas.2612355123, https://doi.org/10.1073/pnas.2612355123 (preprint: arXiv:2507.03590, https://arxiv.org/abs/2507.03590)