Origins of the Failure of the Activity Virial Series.

We examine the development of the virial equation of state when expressed as a series in the activity with coefficients labeled bn. Using the one-dimensional hard-rod model as a prototype, we consider steps in its development that introduce inaccuracy that leads it to form a divergent series. We discuss the role of volume dependence of the virial coefficients and present expressions and calculations for volume-dependent coefficients bn(V) for the hard-rod model up to n = 200. We examine alternative methods for computing properties from the bn. We recommend that further efforts be made to compute volume-dependent virial coefficients as a means to understand better the virial equation of state and to make it more robust in applications.

Probabilistic computations of virial coefficients of polymeric structures described by rigid configurations of spherical particles: A fundamental extension of the ZENO program.

We describe an extension of the ZENO program for polymer and nanoparticle characterization that allows for precise calculation of the virial coefficients, with uncertainty estimates, of polymeric structures described by arbitrary rigid configurations of hard spheres. The probabilistic method of virial computation used for this extension employs a previously developed Mayer-sampling Monte Carlo method with overlap sampling that allows for a reduction of bias in the Monte Carlo averaging. This capability is an extension of ZENO in the sense that the existing program is also based on probabilistic sampling methods and involves the same input file formats describing polymer and nanoparticle structures. We illustrate the extension's capabilities, demonstrate its accuracy, and quantify the efficiency of this extension of ZENO by computing the second, third, and fourth virial coefficients and metrics quantifying the difficulty of their calculation, for model polymeric structures having several different shapes. We obtain good agreement with literature estimates available for some of the model structures considered.

Virial equation of state as a new frontier for computational chemistry.

The virial equation of state (VEOS) provides a rigorous bridge between molecular interactions and thermodynamic properties. The past decade has seen renewed interest in the VEOS due to advances in theory, algorithms, computing power, and quality of molecular models. Now, with the emergence of increasingly accurate first-principles computational chemistry methods, and machine-learning techniques to generate potential-energy surfaces from them, VEOS is poised to play a larger role in modeling and computing properties. Its scope of application is limited to where the density series converges, but this still admits a useful range of conditions and applications, and there is potential to expand this range further. Recent applications have shown that for simple molecules, VEOS can provide first-principles thermodynamic property data that are competitive in quality with experiment. Moreover, VEOS provides a focused and actionable test of molecular models and first-principles calculations via comparison to experiment. This Perspective presents an overview of recent advances and suggests areas of focus for further progress.

Evaluation of Osmotic Virial Coefficients via Restricted Gibbs Ensemble Simulations, with Support from Gas-Phase Mixture Coefficients.

We present a method for computing osmotic virial coefficients in explicit solvent via simulation in a restricted Gibbs ensemble. Two equivalent phases are simulated at once, each in a separate box at constant volume and temperature and each in equilibrium with a solvent reservoir. For osmotic coefficient BN, a total of N solutes are individually exchanged back and forth between the boxes, and the average distribution of solute numbers between the boxes provides the key information needed to compute BN. Separately, expressions are developed for BN as a series in solvent reservoir density ρ1, with the coefficients of the series expressed in terms of the usual gas-phase mixture coefficients Bij. Normally, the Bij are defined for an infinite volume, but we suggest that the observed dependence of Bij on system size L can be used to estimate L dependence of the BN, allowing them to be computed accurately at L → ∞ while simulating much smaller system sizes than otherwise possible. The methods for N = 2 and 3 are demonstrated for two-component mixtures of size-asymmetric additive hard spheres. The proposed methods are demonstrated to have greater precision than established techniques, for a given amount of computational effort. The ρ1 series for BN when applied by itself is (for this noncondensing model) found to be the most efficient in computing accurate osmotic coefficients for the solvent densities considered here.

Cluster integrals and virial coefficients for realistic molecular models.

We present a concise, general, and efficient procedure for calculating the cluster integrals that relate thermodynamic virial coefficients to molecular interactions. The approach encompasses nonpairwise intermolecular potentials generated from quantum chemistry or other sources; a simple extension permits efficient evaluation of temperature and other derivatives of the virial coefficients. We demonstrate with a polarizable model of water. We argue that cluster-integral methods are a potent yet underutilized instrument for the development and application of first-principles molecular models and methods.

Implementation of harmonically mapped averaging in LAMMPS, and effect of potential truncation on anharmonic properties.

Implementation of the harmonically mapped averaging (HMA) framework in the Large-scale Atomic/Molecular Massively Parallel Simulator (LAMMPS) is presented for on-the-fly computations of the energy, pressure, and heat capacity of crystalline systems during canonical molecular dynamics simulations. HMA has a low central processing unit and storage requirements and is straightforward to use. As a case study, the properties of the Lennard-Jones and embedded-atom model (parameterized for nickel) crystals are computed. The results demonstrate the higher efficiency of the new class compared to the inbuilt LAMMPS classes for calculating these properties. However, HMA loses its effectiveness in systems where diffusion occurs in the crystal, and an example is presented to allow this behavior to be recognized. In addition to its improved precision, HMA is less affected by small errors introduced by having a larger time step in molecular dynamics simulations. We also present an analysis of the effect of potential truncation on anharmonic properties, and show that artifacts of truncation on the HMA averages can be eliminated simply by shifting the potential energy to zero at the truncation radius. Full properties can be obtained by adding easily computed values for the lattice and harmonic properties using the untruncated potential.

Combined temperature and density series for fluid-phase properties. II. Lennard-Jones spheres.

In Paper I [J. R. Elliott, A. J. Schultz, and D. A. Kofke, J. Chem. Phys. 143, 114110 (2015)] of this series, a methodology was presented for computing the coefficients of a power series of the Helmholtz energy in reciprocal temperature, ß, through density series based on cluster integral expansions. Previously, power series in ß were evaluated by thermodynamic perturbation theory (TPT) using molecular simulation of a reference fluid. The present methodology uses cluster integrals to evaluate coefficients of the density expansion at each individual order of temperature. While Paper I [J. R. Elliott, A. J. Schultz, and D. A. Kofke, J. Chem. Phys. 143, 114110 (2015)] developed this methodology for square well (SW) spheres, the present work extends the methodology to Lennard-Jones (LJ) spheres, where the reference fluid is the Weeks-Chandler-Andersen potential. Comparisons of TPT coefficients computed from cluster integrals to those from molecular simulation show good agreement through third order in ß when coefficients are expressed with effective approximants. Notably, the agreement for LJ spheres is much better than for SW spheres although fewer coefficients of the density series (B2-B5) are available than for SW spheres (B2-B6). The coefficients for Bi(ß) of the reference fluid are shown to follow a simple relationship to the virial coefficients of hard sphere fluids, corrected for the temperature dependency of the equivalent hard sphere diameter. This lays the foundation for a correlation of the second virial coefficient of LJ spheres B2(ß) that extrapolates to infinite order in temperature. This correlation of B2(ß) provides a basis for estimating the low density limit of TPT coefficients at all orders in temperature, facilitating a recursive extrapolation formula to estimate TPT coefficients of fourth order and higher over the entire density range. The applicability of the resulting equation of state is demonstrated by computing the thermodynamic properties for LJ spheres and comparing to standard simulation results.

Molecular Calculation of the Critical Parameters of Classical Helium.

We compute the vapor-liquid critical coordinates of a model of helium in which nuclear quantum effects are absent. We employ highly accurate ab initio pair and three-body potentials and calculate the critical parameters rigorously in two ways. First, we calculate the virial coefficients up to the seventh and find the point where an isotherm satisfies the critical conditions. Second, we use Gibbs Ensemble Monte Carlo (GEMC) to calculate the vapor-liquid equilibrium, and extrapolate the phase envelope to the critical point. Both methods yield results that are consistent within their uncertainties. The critical temperature of "classical helium" is 13.0 K (compared to 5.2 K for real helium), the critical pressure is 0.93 MPa, and the critical density is 28.4 mol·L-1, with expanded uncertainties (corresponding to a 95% confidence interval) on the order of 0.1 K, 0.02 MPa, and 0.5 mol·L-1, respectively. The effect of three-body interactions on the location of the critical point is small (lowering the critical temperature by roughly 0.1 K), suggesting that we are justified in ignoring four-body and higher interactions in our calculations. This work is motivated by the use of corresponding-states models for mixtures containing helium (such as some natural gases) at higher temperatures where quantum effects are expected to be negligible; in these situations, the distortion of the critical properties by quantum effects causes problems for the corresponding-states treatment.

Comprehensive high-precision high-accuracy equation of state and coexistence properties for classical Lennard-Jones crystals and low-temperature fluid phases.

We report equilibrium molecular simulation data for the classical Lennard-Jones (LJ) model, covering all thermodynamic states where the crystal is stable, as well as fluid states near coexistence with the crystal; both fcc and hcp polymorphs are considered. These data are used to compute coexistence lines and triple points for equilibrium among the fcc, hcp, and fluid phases. All results are obtained with very high accuracy and precision such that coexistence conditions are obtained with one to two significant figures more than previously reported. All properties are computed in the limit of an infinite cutoff radius of the LJ potential and in the limit of an infinite number of atoms; furthermore, the effect of vacancy defects on the free energy of the crystals is included. Data are fit to a semi-empirical equation of state to within their estimated precision, and convenient formulas for the thermodynamic and coexistence properties are provided. Of particular interest is the liquid-vapor-fcc triple point temperature, which we compute to be 0.694 55 ± 0.000 02 (in LJ units).

Effects of thermostatting in molecular dynamics on anharmonic properties of crystals: Application to fcc Al at high pressure and temperature.

The precision and accuracy of the anharmonic energy calculated in the canonical (NVT) ensemble using three different thermostats (viz., Andersen, Langevin, and Nosé-Hoover) along with no thermostat (i.e., microcanonical, NVE) are compared via application to aluminum crystals at ≈100 GPa for temperatures up to melting (4000 K) using ab initio molecular dynamics (AIMD) simulation. In addition to the role of the thermostat, the effect of using either conventional or the recently introduced harmonically mapped averaging (HMA) method is considered. The effect of AIMD time-step size Δt on the ensemble averages gauges accuracy, while for a given Δt, the stochastic uncertainty (computed using block averaging) provides the metric for precision. We identify the rate of convergence of block averages (with respect to block size) as an important issue in this context, as it imposes a minimum simulation length required to achieve reliable statistics, and it differs considerably among the methods. We observe that HMA with a Langevin thermostat in an NVT simulation shows the best performance, from the point of view of accuracy, precision, and simulation length. In addition, we introduce a novel HMA-based ensemble average for the temperature. In application to NVE simulations, the new formulation exhibits much smaller fluctuations compared to the conventional kinetic-energy approach; however, it provides only marginal improvement in uncertainty due to strong negative correlations exhibited by the conventional form (which acts to reduce its uncertainty but also slows convergence of the block averages).

No system-size anomalies in entropy of bcc iron at Earth's inner-core conditions.

New molecular modeling data show that the entropy of bcc iron exhibits no system-size anomalies, implying that it should be feasible to compute accurate free energies of this system using first-principles methods without requiring a prohibitively large number of atoms. Conclusions are based on rigorous calculations of size-dependent free energies for a Sutton-Chen model of iron previously fit to ab initio calculations, and refute statements recently appearing in the literature indicating that the size of the simulation cell is critical for stabilization of the bcc phase.

Virial Coefficients and Equations of State for Hard Polyhedron Fluids.

Hard polyhedra are a natural extension of the hard sphere model for simple fluids, but there is no general scheme for predicting the effect of shape on thermodynamic properties, even in moderate-density fluids. Only the second virial coefficient is known analytically for general convex shapes, so higher-order equations of state have been elusive. Here we investigate high-precision state functions in the fluid phase of 14 representative polyhedra with different assembly behaviors. We discuss historic efforts in analytically approximating virial coefficients up to B4 and numerically evaluating them to B8. Using virial coefficients as inputs, we show the convergence properties for four equations of state for hard convex bodies. In particular, the exponential approximant of Barlow et al. (J. Chem. Phys. 2012, 137, 204102) is found to be useful up to the first ordering transition for most polyhedra. The convergence behavior we explore can guide choices in expending additional resources for improved estimates. Fluids of arbitrary hard convex bodies are too complicated to be described in a general way at high densities, so the high-precision state data we provide can serve as a reference for future work in calculating state data or as a basis for thermodynamic integration.

Harmonically Assisted Methods for Computing the Free Energy of Classical Crystals by Molecular Simulation: A Comparative Study.

Four methods for calculation of the classical free energy of crystalline systems are compared with respect to their efficiency and accuracy. Two of the methods involve thermodynamic integration along an unphysical path (λ integration, λI), and two involve integration in temperature from the low-temperature harmonic limit (T integration, TI). Specifically, the methods considered are (1) Frenkel-Ladd integration from a noninteracting Einstein crystal reference (ECR-λI); (2) conventional integration in temperature (Conv-TI); (3) integration from an interacting quasi-harmonic reference (QHR-λI); and (4) temperature integration using harmonically mapped averaging to evaluate the integrand (HMA-TI). The latter two methods are "harmonically assisted", meaning that they exploit the harmonic nature of the crystal to greatly reduce fluctuations in the relevant averages. This feature allows them to deliver a result of much higher precision for a given computational effort, compared to ECR-λI and Conv-TI, and with no less accuracy. Regarding the harmonically assisted methods, HMA-TI has several advantages over QHR-λI with respect to the simplicity of the integration path (which promotes a more accurate result), ease of implementation, and usefulness of the data recorded along the integration path.

Calculation of high-order virial coefficients for the square-well potential.

Accurate virial coefficients B_{N}(λ,ɛ) (where ɛ is the well depth) for the three-dimensional square-well and square-step potentials are calculated for orders N=5-9 and well widths λ=1.1-2.0 using a very fast recursive method. The efficiency of the algorithm is enhanced significantly by exploiting permutation symmetry and by storing integrands for reuse during the calculation. For N=9 the storage requirements become sufficiently large that a parallel algorithm is developed. The methodology is general and is applicable to other discrete potentials. The computed coefficients are precise even near the critical temperature, and thus open up possibilities for analysis of criticality of the system, which is currently not accessible by any other means.

Reformulation of Ensemble Averages via Coordinate Mapping.

A general framework is established for reformulation of the ensemble averages commonly encountered in statistical mechanics. This "mapped-averaging" scheme allows approximate theoretical results that have been derived from statistical mechanics to be reintroduced into the underlying formalism, yielding new ensemble averages that represent exactly the error in the theory. The result represents a distinct alternative to perturbation theory for methodically employing tractable systems as a starting point for describing complex systems. Molecular simulation is shown to provide one appealing route to exploit this advance. Calculation of the reformulated averages by molecular simulation can proceed without contamination by noise produced by behavior that has already been captured by the approximate theory. Consequently, accurate and precise values of properties can be obtained while using less computational effort, in favorable cases, many orders of magnitude less. The treatment is demonstrated using three examples: (1) calculation of the heat capacity of an embedded-atom model of iron, (2) calculation of the dielectric constant of the Stockmayer model of dipolar molecules, and (3) calculation of the pressure of a Lennard-Jones fluid. It is observed that improvement in computational efficiency is related to the appropriateness of the underlying theory for the condition being simulated; the accuracy of the result is however not impacted by this. The framework opens many avenues for further development, both as a means to improve simulation methodology and as a new basis to develop theories for thermophysical properties.

Very fast averaging of thermal properties of crystals by molecular simulation.

Knowledge of approximate harmonic behavior of crystals is introduced into a new "mapped averaging" framework to yield alternative expressions for the thermodynamic properties of crystalline systems. The expressions separate the known harmonic behavior from residual averages, which thus encapsulate anharmonic contributions to the properties. With harmonic contributions removed, direct measurement of these anharmonic contributions by molecular simulation can be accomplished without contamination by noise produced by the already-known harmonic behavior. We show with application to the Lennard-Jones model that first-derivative properties (pressure, energy) can be obtained to a given precision via this harmonically mapped averaging at least 10 times faster than by using conventional averaging, and second-derivative properties (e.g., heat capacity) are obtained at least 100 times faster; in more favorable cases, the speedup exceeds a millionfold. Free-energy calculations are accelerated by 50 to 1000 times. Data obtained using these formulations are rigorous and not subject to any added approximation, and in fact are less sensitive to inaccuracies relating to finite-size effects, potential truncation, equilibration, and similar considerations. Moreover, the approach does not require any alteration in how sampling is performed during the simulation, so it may be used with standard Monte Carlo or molecular dynamics methods. However, the mapped averages do require evaluation of first and second derivatives of the intermolecular potential, for evaluation of first and second thermodynamic-derivative properties, respectively. Apart from its usefulness to simulation, the formalism developed here may constitute a basis for new theoretical treatments of crystals.

Combined temperature and density series for fluid-phase properties. I. Square-well spheres.

Cluster integrals are evaluated for the coefficients of the combined temperature- and density-expansion of pressure: Z = 1 + B2(ß) η + B3(ß) η(2) + B4(ß) η(3) + ⋯, where Z is the compressibility factor, η is the packing fraction, and the B(i)(ß) coefficients are expanded as a power series in reciprocal temperature, ß, about ß = 0. The methodology is demonstrated for square-well spheres with λ = [1.2-2.0], where λ is the well diameter relative to the hard core. For this model, the B(i) coefficients can be expressed in closed form as a function of ß, and we develop appropriate expressions for i = 2-6; these expressions facilitate derivation of the coefficients of the ß series. Expanding the B(i) coefficients in ß provides a correspondence between the power series in density (typically called the virial series) and the power series in ß (typically called thermodynamic perturbation theory, TPT). The coefficients of the ß series result in expressions for the Helmholtz energy that can be compared to recent computations of TPT coefficients to fourth order in ß. These comparisons show good agreement at first order in ß, suggesting that the virial series converges for this term. Discrepancies for higher-order terms suggest that convergence of the density series depends on the order in ß. With selection of an appropriate approximant, the treatment of Helmholtz energy that is second order in ß appears to be stable and convergent at least to the critical density, but higher-order coefficients are needed to determine how far this behavior extends into the liquid.

Communication: Analytic continuation of the virial series through the critical point using parametric approximants.

The mathematical structure imposed by the thermodynamic critical point motivates an approximant that synthesizes two theoretically sound equations of state: the parametric and the virial. The former is constructed to describe the critical region, incorporating all scaling laws; the latter is an expansion about zero density, developed from molecular considerations. The approximant is shown to yield an equation of state capable of accurately describing properties over a large portion of the thermodynamic parameter space, far greater than that covered by each treatment alone.

Eighth to sixteenth virial coefficients of the Lennard-Jones model.

We calculated virial coefficients BN, 8 ≤ N ≤ 16, of the Lennard-Jones (LJ) model using both the Mayer-sampling Monte Carlo method and direct generation of configurations, with Wheatley's algorithm for summation of clusters. For N = 8, 24 values are reported, and for N = 9, 12 values are reported, both for temperatures T in the range 0.6 ≤ T ≤ 40.0 (in LJ units). For each N in 10 ≤ N ≤ 16, one to four values are reported for 0.6 ≤ T ≤ 0.9. An approximate functional form for the temperature dependence of BN was developed, and fits of LJ BN(T) based on this form are presented for each coefficient, 4 ≤ N ≤ 9, using new and previously reported data.