Ab initio molecular dynamics simulation of hydrogen fluoride at several thermodynamic states

The effect of machine learning predicted anharmonic frequencies on thermodynamic properties of fluid hydrogen fluoride

Anharmonic effects play a crucial role in determining thermochemical properties of liquids and gases. For such extended phases, the inclusion of anharmonicity in reliable electronic structure methods is computationally extremely demanding, and hence, anharmonic effects are often lacking in thermochemical calculations. In this study, we apply the quantum cluster equilibrium method to transfer density functional theory calculations at the cluster level to the macroscopic, liquid, and gaseous phase of hydrogen fluoride. This allows us to include anharmonicity, either via vibrational self-consistent field calculations for smaller clusters or using a regression model for larger clusters. We obtain the structural composition of the fluid phases in terms of the population of different clusters as well as isobaric heat capacities as an example for thermodynamic properties. We study the role of anharmonicities for these analyses and observe that, in particular, the dominating structural motifs are rather sensitive to the anharmonicity in vibrational frequencies. The regression model proves to be a promising way to get access to anharmonic features, and the extension to more sophisticated machine-learning models is promising.

Hidden Halogen-Bonding Ability of Fluorine Manifesting in the Hydrogen-Bond Configurations of Hydrogen Fluoride

Elucidating how the intermolecular interactions of a covalently bonded fluorine atom are similar to and different from those of the other halogen atoms will be helpful for a better unified understanding of them. In the present study, the case of hydrogen fluoride is theoretically studied from this viewpoint by using the techniques of electron density analysis, molecular dynamics of liquid, and others. It is shown that the extra-point model, which locates an additional charge site on the line extended from (not within) the covalent bond and has been adopted for halogen-bonding systems as a key to the generation of proper stability and directionality, works well also in this case. A significantly bent hydrogen-bond configuration, which is characteristic of the intermolecular interactions of hydrogen fluoride, is reasonably well reproduced, meaning that it is a manifestation of the latent halogen-bonding ability, which is hidden by the strongly electronegative nature.

New Molecular-Mechanics Model for Simulations of Hydrogen Fluoride in Chemistry and Biology

Hydrogen fluoride (HF) is the most polar diatomic molecule and one of the simplest molecules capable of hydrogen-bonding. HF deviates from ideality both in the gas phase and in solution and is thus of great interest from a fundamental standpoint. Pure and aqueous HF solutions are broadly used in chemical and industrial processes, despite their high toxicity. HF is a stable species also in some biological conditions, because it does not readily dissociate in water unlike other hydrogen halides; yet, little is known about how HF interacts with biomolecules. Here, we set out to develop a molecular-mechanics model to enable computer simulations of HF in chemical and biological applications. This model is based on a comprehensive high-level ab initio quantum chemical investigation of the structure and energetics of the HF monomer and dimer; (HF)_n clusters, for n = 3-7; various clusters of HF and H₂O; and complexes of HF with analogs of all 20 amino acids and of several commonly occurring lipids, both neutral and ionized. This systematic analysis explains the unique properties of this molecule: for example, that interacting HF molecules favor nonlinear geometries despite being diatomic and that HF is a strong H-bond donor but a poor acceptor. The ab initio data also enables us to calibrate a three-site molecular-mechanics model, with which we investigate the structure and thermodynamic properties of gaseous, liquid, and supercritical HF in a wide range of temperatures and pressures; the solvation structure of HF in water and of H₂O in liquid HF; and the free diffusion of HF across a lipid bilayer, a key process underlying the high cytotoxicity of HF. Despite its inherent simplifications, the model presented significantly improves upon previous efforts to capture the properties of pure and aqueous HF fluids by molecular-mechanics methods and to our knowledge constitutes the first parameter set calibrated for biomolecular simulations.

The effect of molecular dynamics sampling on the calculated observable gas-phase structures

In this study, we compare the performance of various ab initio molecular dynamics (MD) sampling methods for the calculation of the observable vibrationally-averaged gas-phase structures of benzene, naphthalene and anthracene molecules. Nose-Hoover (NH), canonical and quantum generalized-Langevin-equation (GLE) thermostats as well as the a posteriori quantum correction to the classical trajectories have been tested and compared to the accurate path-integral molecular dynamics (PIMD), static anharmonic vibrational calculations as well as to the experimental gas electron diffraction data. Classical sampling methods neglecting quantum effects (NH and canonical GLE thermostats) dramatically underestimate vibrational amplitudes for the bonded atom pairs, both C-H and C-C, the resulting radial distribution functions exhibit nonphysically narrow peaks. This deficiency is almost completely removed by taking the quantum effects on the nuclei into account. The quantum GLE thermostat and a posteriori correction to the canonical GLE and NH thermostatted trajectories capture most vibrational quantum effects and closely reproduce computationally expensive PIMD and experimental radial distribution functions. These methods are both computationally feasible and accurate and are therefore recommended for calculations of the observable gas-phase structures. A good performance of the quantum GLE thermostat for the gas-phase calculations is encouraging since its parameters have been originally fitted for the condensed-phase calculations. Very accurate molecular structures can be predicted by combining the equilibrium geometry obtained at a high level of electronic structure theory with vibrational amplitudes and corrections calculated using MD driven by a lower level of electronic structure theory.

Quantum mechanical force field for hydrogen fluoride with explicit electronic polarization

The explicit polarization (X-Pol) theory is a fragment-based quantum chemical method that explicitly models the internal electronic polarization and intermolecular interactions of a chemical system. X-Pol theory provides a framework to construct a quantum mechanical force field, which we have extended to liquid hydrogen fluoride (HF) in this work. The parameterization, called XPHF, is built upon the same formalism introduced for the XP3P model of liquid water, which is based on the polarized molecular orbital (PMO) semiempirical quantum chemistry method and the dipole-preserving polarization consistent point charge model. We introduce a fluorine parameter set for PMO, and find good agreement for various gas-phase results of small HF clusters compared to experiments and ab initio calculations at the M06-2X/MG3S level of theory. In addition, the XPHF model shows reasonable agreement with experiments for a variety of structural and thermodynamic properties in the liquid state, including radial distribution functions, interaction energies, diffusion coefficients, and densities at various state points.

Understanding the solubility of triamino-trinitrobenzene in hydrous tetramethylammonium fluoride: a first principles molecular dynamics simulation study

With the aim to understand the relatively high solubility of 1,3,5-triamino-2,4,6-trinitrobenzene (TATB), an important energetic material with a high degree of inter- and intra-molecular hydrogen bonding, in fluoride anion containing ionic liquids (ILs), first principles molecular dynamics simulations in the isobaric-isothermal ensemble were carried out for a system using hydrous tetramethylammonium fluoride as the prototypical solvent. Simulations initiated from both molecular TATB and its Meisenheimer complex (i.e., a σ-complex of the fluoride and the electrophilic ring of TATB) yield a Zundel-type complex where a proton is shared between an amino group and an F(-) ion, whereas the Meisenheimer complex is found to be only transiently stable. An analysis of the electronic structure probing the Wannier function centers supports the finding of a proton-sharing complex with a three-center four-electron like bond. The Zundel-type complex also yields an electronic absorption spectrum consistent with the experimentally observed color change. This study provides evidence that the remarkable solubility of otherwise hard-to-dissolve molecular crystals in ILs can be aided by chemical modification of the solute.

When is a molecule properly solvated by a continuum model or in a cluster ansatz? A first-principles simulation of alanine hydration

In order to test the validity of the cluster ansatz approach as well as of the continuum model approach and to learn about the solvation shell, we carried out first-principles molecular dynamics simulations of the alanine hydration. Our calculations contained one alanine molecule dissolved in 60 water molecules. Dipole moments of individual molecules were derived by means of maximally localized Wannier functions. We observed an average dipole moment of about 16.0 D for alanine and of about 3.3 D for water. In particular, the average water dipole moment in proximity of alanine's COO(-) group decayed continously with increasing distance, while, surprisingly, close to the CH3 and NH3+ group, the dipole moment first rose before its value dropped. In a cluster ansatz approach, we considered snapshots of alanine surrounded by different water molecule shells. The dipole moments from the cluster approaches utilizing both maximally localized Wannier functions as well as natural population analysis served to approximate the dipole moments of the total trajectory. Sufficient convergence of the cluster ansatz approach is found for either of the two solvent shells around the polar groups and one solvent shell around the apolar groups or two solvent shells around the polar groups surrounded by a dieletric continuum.

Hydration Behavior of Alkyl Amines and Their Corresponding Protonated Forms. 1. Ammonia and Methylamine

The structure and dynamics of hydration of ammonia/ammonium and methylamine/methylammonium systems have been studied by Car-Parrinello molecular dynamics simulation. While methylamine interacts weakly with the aqueous environment, the interaction of ammonia is found to be much stronger than expected. Both protonated species show a highly structured first solvation sphere. The solvent exchange mechanisms for all species were also investigated, along with the geometry of the hydration spheres. Comparison of these exchange mechanisms with that published for the ammonium ion shows only a minor difference. Analysis of the respective distribution functions has allowed insight into the thermodynamics of solvation for both systems. The calculated pKa values (9.23/10.65) correspond very closely with the published experimental values of 9.25 and 10.65.

Segregation of Inorganic Ions at Surfaces of Polar Nonaqueous Liquids

We present a short review of recent computational and experimental studies on surfaces of solutions of inorganic salts in polar nonaqueous solvents. These investigations complement our knowledge of aqueous interfaces and show that liquids such as formamide, liquid ammonia, and ethylene glycol can also surface-segregate large polarizable anions like iodide, albeit less efficiently than water. For liquids whose surfaces are covered with hydrophobic groups (e.g. methanol), the surface-ion effect all but disappears. Based on the present data a general picture of inorganic-ion solvation at the solution-vapor interface of polar liquids is outlined.

Effective force field for liquid hydrogen fluoride from ab initio molecular dynamics simulation using the force-matching method

A recently developed force-matching method for obtaining effective force fields for condensed matter systems from ab initio molecular dynamics (MD) simulations has been applied to fit a simple nonpolarizable two-site pairwise force field for liquid hydrogen fluoride. The ab initio MD in this case was a Car-Parrinello (CP) MD simulation of 64 HF molecules at nearly ambient conditions within the Becke-Lee-Yang-Parr approximation to the electronic density functional theory. The force-matching procedure included a fit of short-ranged nonbonded forces, bonded forces, and atomic partial charges. The performance of the force-match potential was examined for the gas-phase dimer and for the liquid phase at various temperatures. The model was able to reproduce correctly the bent structure and energetics of the gas-phase dimer, while the results for the structural properties, self-diffusion, vibrational spectra, density, and thermodynamic properties of liquid HF were compared to both experiment and the CP MD simulation. The force-matching model performs well in reproducing nearly all of the liquid properties as well as the aggregation behavior at different temperatures. The model is computationally cheap and compares favorably to many more computationally expensive potential energy functions for liquid HF.

Observation of fractional Stokes-Einstein behavior in the simplest hydrogen-bonded liquid

Quasielastic neutron scattering has been used to investigate the single-particle dynamics of hydrogen fluoride across its entire liquid range at ambient pressure. For T>230 K, translational diffusion obeys the celebrated Stokes-Einstein relation, in agreement with nuclear magnetic resonance studies. At lower temperatures, we find significant deviations from the above behavior in the form of a power law with exponent xi=-0.71+/-0.05. More striking than the above is a complete breakdown of the Debye-Stokes-Einstein relation for rotational diffusion. Our findings provide the first experimental verification of fractional Stokes-Einstein behavior in a hydrogen-bonded liquid, in agreement with recent computer simulations [S. R. Becker, Phys. Rev. Lett. 97, 055901 (2006)10.1103/PhysRevLett.97.055901].

On the variation of the structure of liquid deuterium fluoride with temperature

The structure of liquid deuterium fluoride has been measured using pulsed neutron diffraction and high energy x-ray diffraction techniques as a function of temperature. The neutron experiments were performed at T=296+/-2 K, 246+/-2 K, and 193+/-2 K and the x-ray measurements carried out at 296+/-2 K and 195+/-2 K. The x-ray pair correlation functions, which are dominated by fluorine-fluorine interactions, show the first peak at approximately 2.53+/-0.05 A remains very nearly invariant with decreasing temperature. Peaks around 4.5 and 5.0 A also appear at both temperatures in the x-ray data. In contrast, the intermolecular peaks in the total neutron pair correlation function show that significant systematic local structural changes occur as the temperature is lowered. The first intermolecular peak position shortens from 1.64+/-0.05 A at 296 K to 1.56+/-0.05 A at 195 K. Although there are overlapping contributions from the intermolecular hydrogen-fluorine and hydrogen-hydrogen correlations, it is clear that the temperature dependent structural changes are largely due to a rearrangement of the deuterium atom positions in the fluid. By comparison with partial structure factor data the hydrogen bonds appear to become more linear at lower temperatures.

First principles simulation of a superionic phase of hydrogen fluoride (HF) at high pressures and temperatures

We have conducted ab initio molecular dynamics simulations of hydrogen fluoride (HF) at pressures of 5-66 GPa along the 900 K isotherm. We predict a superionic phase at 33 GPa, where the fluorine atoms are fixed in a bcc lattice while the hydrogen atoms diffuse rapidly with a diffusion constant between 2 x 10(-5) and 5 x 10(-5)cm(2)s. We find that a transformation from asymmetric to symmetric hydrogen bonding occurs in HF at 66 GPa and 900 K. With superionic HF we have discovered a model system where symmetric hydrogen bonding occurs at experimentally achievable conditions. Given previous results on superionic H(2)O [Goldman et al., Phys. Rev. Lett. 94, 217801 (2005)] and NH(3) [Cavazzoni et al., Science 283, 44 (1999)], we conclude that high P, T superionic phases of electronegative element hydrides could be common.

Ab Initio Molecular Dynamics Study of a Mixture of HF(aq) and HCl(aq)†

We have studied a mixture of HF and HCl molecules in water using Car-Parrinello ab initio molecular dynamics (CPMD). We have done simulations with 1 HF and 3 HCl molecules, 3 HF and 4 HCl, 6 HF and 8 HCl (6/8 simulation), and 14 HF molecules. All simulations consist of 32 molecules, and they were 10-96 ps long. The HF dissociation probability was around 30%, and HCl's was more than 90%. The solvation of the HF molecule was much better than the solvation of HCl. The solvation environment of F, both the F- ion and the F in HF, did not depend much on the acids concentration, whereas the Cl coordination numbers were rather sensitive to the concentration. In the 6/8 simulation, all XH-Y (X, Y = F, Cl) type molecules were observed and the FH-F was the most probable. In general, the molecular structures in mixed aqueous acid systems were similar to the pure HF(aq) and HCl(aq) systems.

Development of a new polarizable potential model of hydrogen fluoride and comparison with other effective models in liquid and supercritical states

Development of a new polarizable potential of hydrogen fluoride through the reparametrization of the JV-P model is presented: The length of the H-F bond has been shortened and the other parameters of the model have been readjusted accordingly. The structural, thermodynamic, and liquid-vapor equilibrium properties of the new model are compared with those of other effective potential models of HF as well as with experimental data in a broad range of thermodynamic states, from near-freezing to supercritical conditions. It is found that although the reparametrization does not change the structural properties of the HF model noticeably at the level of the pair correlations, it improves the reproduction of the thermodynamic properties of hydrogen fluoride over the entire range of existence of a thermodynamically stable liquid phase and also that of the vapor-liquid coexistence curve. However, the new model, which still overestimates the close-contact separation of the HF molecules, underestimates the density of the coexisting liquid phase and overestimates the saturation pressure, probably due to the too steep repulsion of the potential function.

Car−Parrinello Molecular Dynamics Simulation of Liquid Formic Acid

First-principles molecular dynamics has been used to investigate the structural, vibrational, and energetic properties of formic acid, formic acid-formate anion dimers, and liquid formic acid in a periodically repeated box with 32 formic acid molecules. We found that in liquid formic acid the hydrogen-bonded clusters mainly consist of linear branching chains. From our simulation, we got good agreement with the available structural and dynamical data. We also studied the proton transfer in the cis-formic acid-formate anion dimer, and we showed that this proton transfer does not have any potential barrier. The hydrogen bonding statistics as well as the mean lifetime of the hydrogen bonds are analyzed.

The Isobutylene−Isobutane Alkylation Process in Liquid HF Revisited

Details on the mechanism of HF catalyzed isobutylene-isobutane alkylation were investigated. On the basis of available experimental data and high-level quantum chemical calculations, a detailed reaction mechanism is proposed taking into account solvation effects of the medium. On the basis of our computational results, we explain why the density of the liquid media and stirring rates are the most important parameters to achieve maximum yield of alkylate, in agreement with experimental findings. The ab initio Car-Parrinello molecular dynamics calculations show that isobutylene is irreversibly protonated in the liquid HF medium at higher densities, leading to the ion pair formation, which is shown to be a minimum on the potential energy surface after optimization using periodic boundary conditions. The HF medium solvates preferentially the fluoride anion, which is found as solvated [FHF](-) or solvated F(-.)(HF)(3). On the other hand, the tert-butyl cation is weakly solvated, where the closest HF molecules appear at a distance of about 2.9 Angstrom with the fluorine termination of an HF chain.

Structure of dense hydrogen fluoride gas from neutron diffraction and molecular dynamics simulations

The gas phase of hydrogen fluoride has been investigated by neutron diffraction experiments at three different particle densities. All investigated states are within the liquid-gas coexistence region of hydrogen fluoride. From the obtained diffraction data we deduced information about the local structure of the gas phase, which consists of small agglomerates. This has been expected as liquid hydrogen fluoride forms the strongest hydrogen bonds known. Molecular dynamics simulations with a modified potential have been carried out for all experimentally investigated states. The results confirmed that the size of the formed agglomerates in the gas phase is growing with increasing density of the gas phase.

Trimer Based Polarization as a Multibody Molecular Model. Application to Hydrogen Fluoride

A molecular modeling approach is introduced as a way to treat multibody (more than two molecules) contributions to the intermolecular potential. There are two key features to the method. First, it employs polarizable electrostatics on the molecules, but converges the charges and fields for only three molecules at a time, taken separately for all trimers (three molecules falling within a cutoff distance) in the system. This feature introduces significant computational savings when applied in Monte Carlo simulation (in comparison to a full N-body polarization treatment), as movement of a single molecule does not require re-converging of the polarization of all molecules, and it achieves this without approximations that cause the value of the energy to depend on the history of the simulation. Second, the approach defines the polarization energy in excess of the pairwise contribution, meaning that the trimer energy has subtracted from it the sum of the energies obtained by converging the polarization of each molecule pair in the trimer. This feature is advantageous because it removes the need (often found in polarizable models) to stiffen inappropriately the repulsive part of the pair potential. The polarization contribution is thus a purely three-body potential. The approach is applied to model hydrogen fluoride, which in experiments exhibits unusual properties that have proven difficult to capture well by molecular models. The new HF model is shown to be much more successful than previous modeling efforts in obtaining agreement with a broad range of experimental data (volumetric properties, heat effects, molecular structure, and vapor-liquid equilibria).

On the Quantum Nature of an Excess Proton in Liquid Hydrogen Fluoride

Liquid hydrogen fluoride consists of chains of hydrogen-bonded molecules. The nature of an excess proton in liquid HF, which is of interest not only for its own sake, but also in relation to super-acid chemistry and to its behavior in water, has been studied using computer simulations. The methodology employed is the density-functional-theory-based path-integral Car-Parrinello ab initio molecular dynamics. The excess proton, which formally exists as a H2F+ or a H2F2+ defect in an HF chain, is found to strongly perturb the chain to which it is attached. Moreover, due to large zero-point energy, the charge defect is largely delocalized over several HF molecules.

Ab initiomolecular-dynamics study of liquid formamide

Properties of neat liquid formamide (HCONH2) have been studied by the combination of gradient-corrected density-functional theory, norm-conserving pseudopotentials, and the adaptive finite-element method. The structural and dynamical quantities have been calculated through molecular dynamics simulations under the Born-Oppenheimer approximation. Satisfactory agreement with experimental data was obtained for both intramolecular and intermolecular properties. Our results are also compared with those of the empirical potential functions to clarify their accuracies.

Nuclear Quantum Effects and Hydrogen Bonding in Liquids

We have employed ab initio path integral molecular dynamics simulations to investigate the role of nuclear quantum effects on the strength of hydrogen bonds in liquid hydrogen fluoride. Nuclear quantum effects are shown to be responsible for a stronger hydrogen bond and an enhanced dipole-dipole interaction, which lead, in turn, to a shortening of the H...F intrachain distance. The simulation results are analyzed in terms of the electronic density shifts with respect to a purely classical treatment of the nuclei. The observed enhanced hydrogen-bond interaction, which arises from a coupling of intra- and intermolecular effects, should be a general phenomenon occurring in all hydrogen-bonded systems.