-
Phantom: General Trigger Attacks on Retrieval Augmented Language Generation
Authors:
Harsh Chaudhari,
Giorgio Severi,
John Abascal,
Matthew Jagielski,
Christopher A. Choquette-Choo,
Milad Nasr,
Cristina Nita-Rotaru,
Alina Oprea
Abstract:
Retrieval Augmented Generation (RAG) expands the capabilities of modern large language models (LLMs) in chatbot applications, enabling developers to adapt and personalize the LLM output without expensive training or fine-tuning. RAG systems use an external knowledge database to retrieve the most relevant documents for a given query, providing this context to the LLM generator. While RAG achieves i…
▽ More
Retrieval Augmented Generation (RAG) expands the capabilities of modern large language models (LLMs) in chatbot applications, enabling developers to adapt and personalize the LLM output without expensive training or fine-tuning. RAG systems use an external knowledge database to retrieve the most relevant documents for a given query, providing this context to the LLM generator. While RAG achieves impressive utility in many applications, its adoption to enable personalized generative models introduces new security risks. In this work, we propose new attack surfaces for an adversary to compromise a victim's RAG system, by injecting a single malicious document in its knowledge database. We design Phantom, general two-step attack framework against RAG augmented LLMs. The first step involves crafting a poisoned document designed to be retrieved by the RAG system within the top-k results only when an adversarial trigger, a specific sequence of words acting as backdoor, is present in the victim's queries. In the second step, a specially crafted adversarial string within the poisoned document triggers various adversarial attacks in the LLM generator, including denial of service, reputation damage, privacy violations, and harmful behaviors. We demonstrate our attacks on multiple LLM architectures, including Gemma, Vicuna, and Llama.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
A force field of Li$^+$ , Na$^+$ , K$^+$, Mg$^{2+}$, Ca$^{2+}$, Cl$^-$, and SO$_4^{2-}$ in aqueous solution based on the TIP4P/2005 water model and scaled charges for the ions
Authors:
I. M. Zeron,
J. L. F. Abascal,
C. Vega
Abstract:
In this work, a force field for several ions in water is proposed. In particular, we consider the cations Li$^+$ , Na$^+$ , K$^+$, Mg$^{2+}$, Ca$^{2+}$ and the anions Cl$^-$, and SO$_4^{2-}$ . These ions were selected as they appear in the composition of seawater, and they are also found in biological systems. The force field proposed (denoted as Madrid-2019) is nonpolarizable, and both water mole…
▽ More
In this work, a force field for several ions in water is proposed. In particular, we consider the cations Li$^+$ , Na$^+$ , K$^+$, Mg$^{2+}$, Ca$^{2+}$ and the anions Cl$^-$, and SO$_4^{2-}$ . These ions were selected as they appear in the composition of seawater, and they are also found in biological systems. The force field proposed (denoted as Madrid-2019) is nonpolarizable, and both water molecules and sulfate anions are rigid. For water, we use the TIP4P/2005 model. The main idea behind this work is to further explore the possibility of using scaled charges for describing ionic solutions. Monovalent and divalent ions are modeled using charges of 0.85 and 1.7, respectively (in electron units). The model allows a very accurate description of the densities of the solutions up to high concentrations. It also gives good predictions of viscosities up to 3 m concentrations. Calculated structural properties are also in reasonable agreement with the experiment. We have checked that no crystallization occurred in the simulations at concentrations similar to the solubility limit. A test for ternary mixtures shows that the force field provides excellent performance at an affordable computer cost. In summary, the use of scaled charges, which could be regarded as an effective and simple way of accounting for polarization (at least to a certain extend), improves the overall description of ionic systems in water. However, for purely ionic systems, scaled charges will not adequately describe neither the solid nor the melt.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
In Silico Seawater
Authors:
I. M. Zeron,
M. A. Gonzalez,
E. Errani,
C. Vega,
J. L. F. Abascal
Abstract:
Many important processes affecting the Earth's climate are determined by the physical properties of seawater. Desalination of seawater is a significant source of drinking wate.Since the physical properties of seawater governing these processes depend on the molecular interactions among its components, a deeper knowledge of seawater at the molecular level is needed. However MD studies reporting the…
▽ More
Many important processes affecting the Earth's climate are determined by the physical properties of seawater. Desalination of seawater is a significant source of drinking wate.Since the physical properties of seawater governing these processes depend on the molecular interactions among its components, a deeper knowledge of seawater at the molecular level is needed. However MD studies reporting the physical properties of seawater are currently lacking. This is probably due to the usual perception of the seawater composition being too complex to approach.This point of view ignores the fact that physical properties of seawater are dependent on a single parameter representing the composition, namely the salinity. This is because the relative proportions of any two major constituents of seasalt are always the same. An obstacle to performing MD simulations of seawater could have been the unavailability of a satisfactory force field representing the interactions between water molecules and dissolved substances. This drawback has recently been overcome with the proposal of the Madrid-2019 FF.Here we show for the first time that MD simulations of seawater are feasible. We have performed MD simulations of a system, the composition of which is close to the average composition of standard seawater and with the molecular interactions given by the Madrid-2019 force field. We are able to provide quantitative or semiquantitative predictions for a number of relevant physical properties of seawater for temperatures and salinities from the oceanographic range to those relevant to desalination processes. The computed magnitudes include static (density), dynamical (viscosity and diffusion coefficients), structural (ionic hydration, ion-ion distribution functions) and interfacial (surface tension) properties.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Computation of Electrical Conductivities of Aqueous Electrolyte Solutions: Two Surfaces , One Property
Authors:
S. Blazquez,
J. L. F. Abascal,
J. Lagerweij,
P. Habibi,
P. Dey,
T. J. H. Vlugt,
O. A. Moultos,
C. Vega
Abstract:
In this work, we have computed electrical conductivities at ambient conditions of aqueous NaCl and KCl solutions by using the Einstein-Helfand equation. Common force fields (charge q = 1 e) do not reproduce the experimental values of electrical conductivities, viscosities and diffusion coefficients. Recently, we proposed the idea of using different charges to describe the Potential Energy Surface…
▽ More
In this work, we have computed electrical conductivities at ambient conditions of aqueous NaCl and KCl solutions by using the Einstein-Helfand equation. Common force fields (charge q = 1 e) do not reproduce the experimental values of electrical conductivities, viscosities and diffusion coefficients. Recently, we proposed the idea of using different charges to describe the Potential Energy Surface (PES) and the Dipole Moment Surface (DMS). In this work, we implement this concept. The equilibrium trajectories required to evaluate electrical conductivities (within linear response theory) were obtained by using scaled charges (with the value q = 0.75 e ) to describe the PES. The potential parameters were those of the Madrid-Transport force field, which describe accurately viscosities and diffusion coefficients of these ionic solutions. However, integer charges were used to compute the conductivities (thus describing the DMS). The basic idea is that although the scaled charge describes the ion-water interaction better, the integer charge reflects the value of the charge that is transported due to the electric field. The agreement obtained with experiments is excellent, as for the first time electrical conductivities (and the other transport properties) of NaCl and KCl electrolyte solutions are described with high accuracy for the whole concentration range up to their solubility limit. Finally, we propose an easy way to obtain a rough estimate of the actual electrical conductivity of the potential model under consideration using the approximate Nernst-Einstein equation, which neglects correlations between different ions.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
The Madrid-2019 force field for electrolytes in water using TIP4P/2005 and scaled charges: extension to the ions F$^-$, Br$^-$, I$^-$, Rb$^+$, Cs$^+$
Authors:
Samuel Blazquez,
Maria M. Conde,
Jose L. F. Abascal,
Carlos Vega
Abstract:
In this work, an extension of the Madrid-2019 force field is presented. We have added the cations Rb + and Cs + and the anions F$^-$, Br$^-$ and I$^-$. These ions were the remaining alkaline and halogen ions not previously considered in the Madrid-2019 force field. The force field, denoted as Madrid-2019-Extended, does not include polarizability, and uses the TIP4P/2005 model of water and scaled c…
▽ More
In this work, an extension of the Madrid-2019 force field is presented. We have added the cations Rb + and Cs + and the anions F$^-$, Br$^-$ and I$^-$. These ions were the remaining alkaline and halogen ions not previously considered in the Madrid-2019 force field. The force field, denoted as Madrid-2019-Extended, does not include polarizability, and uses the TIP4P/2005 model of water and scaled charges for the ions. A charge of 0.85 e is assigned to monovalent ions. The force field developed provides an accurate description of the aqueous solution densities over a wide range of concentrations up to the solubility limit of each salt studied. Good predictions of viscosity and diffusion coefficients are obtained for concentrations below 2 m. Structural properties obtained with this force field are also in reasonable agreement with the experiment. The number of contact ion pairs has been controlled to be low so as to avoid precipitation of the system at concentrations close to the experimental solubility limit. A comprehensive comparison of the performance for aqueous solutions of alkaline halides of force fields of electrolytes using scaled and integer charges is now possible. This comparison will help in the future to learn about the benefits and limitations of the use of scaled charges to describe electrolyte solutions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
TMI! Finetuned Models Leak Private Information from their Pretraining Data
Authors:
John Abascal,
Stanley Wu,
Alina Oprea,
Jonathan Ullman
Abstract:
Transfer learning has become an increasingly popular technique in machine learning as a way to leverage a pretrained model trained for one task to assist with building a finetuned model for a related task. This paradigm has been especially popular for $\textit{privacy}$ in machine learning, where the pretrained model is considered public, and only the data for finetuning is considered sensitive. H…
▽ More
Transfer learning has become an increasingly popular technique in machine learning as a way to leverage a pretrained model trained for one task to assist with building a finetuned model for a related task. This paradigm has been especially popular for $\textit{privacy}$ in machine learning, where the pretrained model is considered public, and only the data for finetuning is considered sensitive. However, there are reasons to believe that the data used for pretraining is still sensitive, making it essential to understand how much information the finetuned model leaks about the pretraining data. In this work we propose a new membership-inference threat model where the adversary only has access to the finetuned model and would like to infer the membership of the pretraining data. To realize this threat model, we implement a novel metaclassifier-based attack, $\textbf{TMI}$, that leverages the influence of memorized pretraining samples on predictions in the downstream task. We evaluate $\textbf{TMI}$ on both vision and natural language tasks across multiple transfer learning settings, including finetuning with differential privacy. Through our evaluation, we find that $\textbf{TMI}$ can successfully infer membership of pretraining examples using query access to the finetuned model. An open-source implementation of $\textbf{TMI}$ can be found $\href{https://github.com/johnmath/tmi-pets24}{\text{on GitHub}}$.
△ Less
Submitted 21 March, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
SNAP: Efficient Extraction of Private Properties with Poisoning
Authors:
Harsh Chaudhari,
John Abascal,
Alina Oprea,
Matthew Jagielski,
Florian Tramèr,
Jonathan Ullman
Abstract:
Property inference attacks allow an adversary to extract global properties of the training dataset from a machine learning model. Such attacks have privacy implications for data owners sharing their datasets to train machine learning models. Several existing approaches for property inference attacks against deep neural networks have been proposed, but they all rely on the attacker training a large…
▽ More
Property inference attacks allow an adversary to extract global properties of the training dataset from a machine learning model. Such attacks have privacy implications for data owners sharing their datasets to train machine learning models. Several existing approaches for property inference attacks against deep neural networks have been proposed, but they all rely on the attacker training a large number of shadow models, which induces a large computational overhead.
In this paper, we consider the setting of property inference attacks in which the attacker can poison a subset of the training dataset and query the trained target model. Motivated by our theoretical analysis of model confidences under poisoning, we design an efficient property inference attack, SNAP, which obtains higher attack success and requires lower amounts of poisoning than the state-of-the-art poisoning-based property inference attack by Mahloujifar et al. For example, on the Census dataset, SNAP achieves 34% higher success rate than Mahloujifar et al. while being 56.5x faster. We also extend our attack to infer whether a certain property was present at all during training and estimate the exact proportion of a property of interest efficiently. We evaluate our attack on several properties of varying proportions from four datasets and demonstrate SNAP's generality and effectiveness. An open-source implementation of SNAP can be found at https://github.com/johnmath/snap-sp23.
△ Less
Submitted 21 June, 2023; v1 submitted 25 August, 2022;
originally announced August 2022.
-
Strongly refuting all semi-random Boolean CSPs
Authors:
Jackson Abascal,
Venkatesan Guruswami,
Pravesh K. Kothari
Abstract:
We give an efficient algorithm to strongly refute \emph{semi-random} instances of all Boolean constraint satisfaction problems. The number of constraints required by our algorithm matches (up to polylogarithmic factors) the best-known bounds for efficient refutation of fully random instances. Our main technical contribution is an algorithm to strongly refute semi-random instances of the Boolean…
▽ More
We give an efficient algorithm to strongly refute \emph{semi-random} instances of all Boolean constraint satisfaction problems. The number of constraints required by our algorithm matches (up to polylogarithmic factors) the best-known bounds for efficient refutation of fully random instances. Our main technical contribution is an algorithm to strongly refute semi-random instances of the Boolean $k$-XOR problem on $n$ variables that have $\widetilde{O}(n^{k/2})$ constraints. (In a semi-random $k$-XOR instance, the equations can be arbitrary and only the right-hand sides are random.)
One of our key insights is to identify a simple combinatorial property of random XOR instances that makes spectral refutation work. Our approach involves taking an instance that does not satisfy this property (i.e., is \emph{not} pseudorandom) and reducing it to a partitioned collection of $2$-XOR instances. We analyze these subinstances using a carefully chosen quadratic form as a proxy, which in turn is bounded via a combination of spectral methods and semidefinite programming. The analysis of our spectral bounds relies only on an off-the-shelf matrix Bernstein inequality. Even for the purely random case, this leads to a shorter proof compared to the ones in the literature that rely on problem-specific trace-moment computations.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
Effect of dissolved salt on the anomalies of water at negative pressure
Authors:
Alberto Zaragoza,
Chandra Shekhar Pati Tripathi,
Miguel A. Gonzalez,
José Luis F. Abascal,
Frédéric Caupin,
Chantal Valeriani
Abstract:
Adding salt to water at ambient pressure affects its thermodynamic properties. At low salt concentration, anomalies such as the density maximum are shifted to lower temperature, while at large enough salt concentration they cannot be observed any more. Here we investigate the effect of salt on an anomaly recently observed in pure water at negative pressure: the existence of a sound velocity minimu…
▽ More
Adding salt to water at ambient pressure affects its thermodynamic properties. At low salt concentration, anomalies such as the density maximum are shifted to lower temperature, while at large enough salt concentration they cannot be observed any more. Here we investigate the effect of salt on an anomaly recently observed in pure water at negative pressure: the existence of a sound velocity minimum along isochores. We compare experiments and simulations for an aqueous solution of sodium chloride with molality around $1.2\,\mathrm{mol\,kg^{-1}}$, reaching pressures beyond $-100\,\mathrm{MPa}$. We also discuss the origin of the minima in the sound velocity and emphasize the importance of the relative position of the temperatures of sound velocity and density anomalies.
△ Less
Submitted 20 April, 2020; v1 submitted 29 January, 2020;
originally announced January 2020.
-
A Non-iterative Parallelizable Eigenbasis Algorithm for Johnson Graphs
Authors:
Jackson Abascal,
Amadou Bah,
Mario Banuelos,
David Uminsky,
Olivia Vasquez
Abstract:
We present a new $O(k^2 \binom{n}{k}^2)$ method for generating an orthogonal basis of eigenvectors for the Johnson graph $J(n,k)$. Unlike standard methods for computing a full eigenbasis of sparse symmetric matrices, the algorithm presented here is non-iterative, and produces exact results under an infinite-precision computation model. In addition, our method is highly parallelizable; given access…
▽ More
We present a new $O(k^2 \binom{n}{k}^2)$ method for generating an orthogonal basis of eigenvectors for the Johnson graph $J(n,k)$. Unlike standard methods for computing a full eigenbasis of sparse symmetric matrices, the algorithm presented here is non-iterative, and produces exact results under an infinite-precision computation model. In addition, our method is highly parallelizable; given access to unlimited parallel processors, the eigenbasis can be constructed in only $O(n)$ time given n and k. We also present an algorithm for computing projections onto the eigenspaces of $J(n,k)$ in parallel time $O(n)$.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Critique of Barbosa's "P != NP Proof"
Authors:
Jackson Abascal,
Shir Maimon
Abstract:
We review André Luiz Barbosa's paper "P != NP Proof," in which the classes P and NP are generalized and claimed to be proven separate. We highlight inherent ambiguities in Barbosa's definitions, and show that attempts to resolve this ambiguity lead to flaws in the proof of his main result.
We review André Luiz Barbosa's paper "P != NP Proof," in which the classes P and NP are generalized and claimed to be proven separate. We highlight inherent ambiguities in Barbosa's definitions, and show that attempts to resolve this ambiguity lead to flaws in the proof of his main result.
△ Less
Submitted 19 November, 2017;
originally announced November 2017.
-
A Refutation of Guinea's "Understanding SAT is in P"
Authors:
Jackson Abascal,
Shir Maimon
Abstract:
In this work, we summarize and critique the paper "Understanding SAT is in P" by Alejandro Sánchez Guinea [arXiv:1504.00337]. The paper claims to present a polynomial-time solution for the NP-complete language 3-SAT. We show that Guinea's algorithm is flawed and does not prove 3-SAT is in P.
In this work, we summarize and critique the paper "Understanding SAT is in P" by Alejandro Sánchez Guinea [arXiv:1504.00337]. The paper claims to present a polynomial-time solution for the NP-complete language 3-SAT. We show that Guinea's algorithm is flawed and does not prove 3-SAT is in P.
△ Less
Submitted 12 November, 2017;
originally announced November 2017.
-
Incorporation of prior knowledge of the signal behavior into the reconstruction to accelerate the acquisition of MR diffusion data
Authors:
Juan F P J Abascal,
Manuel Desco,
Juan Parra-Robles
Abstract:
Diffusion MRI measurements using hyperpolarized gases are generally acquired during patient breath hold, which yields a compromise between achievable image resolution, lung coverage and number of b-values. In this work, we propose a novel method that accelerates the acquisition of MR diffusion data by undersampling in both spatial and b-value dimensions, thanks to incorporating knowledge about the…
▽ More
Diffusion MRI measurements using hyperpolarized gases are generally acquired during patient breath hold, which yields a compromise between achievable image resolution, lung coverage and number of b-values. In this work, we propose a novel method that accelerates the acquisition of MR diffusion data by undersampling in both spatial and b-value dimensions, thanks to incorporating knowledge about the signal decay into the reconstruction (SIDER). SIDER is compared to total variation (TV) reconstruction by assessing their effect on both the recovery of ventilation images and estimated mean alveolar dimensions (MAD). Both methods are assessed by retrospectively undersampling diffusion datasets of normal volunteers and COPD patients (n=8) for acceleration factors between x2 and x10. TV led to large errors and artefacts for acceleration factors equal or larger than x5. SIDER improved TV, presenting lower errors and histograms of MAD closer to those obtained from fully sampled data for accelerations factors up to x10. SIDER preserved image quality at all acceleration factors but images were slightly smoothed and some details were lost at x10. In conclusion, we have developed and validated a novel compressed sensing method for lung MRI imaging and achieved high acceleration factors, which can be used to increase the amount of data acquired during a breath-hold. This methodology is expected to improve the accuracy of estimated lung microstructure dimensions and widen the possibilities of studying lung diseases with MRI.
△ Less
Submitted 9 February, 2017;
originally announced February 2017.
-
Closure and Nonclosure Properties of the Compressible and Rankable Sets
Authors:
Jackson Abascal,
Lane A. Hemaspaandra,
Shir Maimon,
Daniel Rubery
Abstract:
The rankable and compressible sets have been studied for more than a quarter of a century, ever since Allender [1] and Goldberg and Sipser [6] introduced the formal study of polynomial-time ranking. Yet even after all that time, whether the rankable and compressible sets are closed under the most important boolean and other operations remains essentially unexplored. The present paper studies these…
▽ More
The rankable and compressible sets have been studied for more than a quarter of a century, ever since Allender [1] and Goldberg and Sipser [6] introduced the formal study of polynomial-time ranking. Yet even after all that time, whether the rankable and compressible sets are closed under the most important boolean and other operations remains essentially unexplored. The present paper studies these questions for both polynomial-time and recursion-theoretic compression and ranking, and for almost every case arrives at a Closed, a Not-Closed, or a Closed-Iff-Well-Known-Complexity-Classes-Collapse result for the given operation. Even though compression and ranking classes are capturing something quite natural about the structure of sets, it turns out that they are quite fragile with respect to closure properties, and many fail to possess even the most basic of closure properties. For example, we show that with respect to the join (aka disjoint union) operation: the P-rankable sets are not closed, whether the semistrongly P-rankable sets are closed is closely linked to whether P = UP $\cap$ coUP, and the strongly P-rankable sets are closed.
△ Less
Submitted 30 October, 2018; v1 submitted 5 November, 2016;
originally announced November 2016.
-
Two-structure thermodynamics for the TIP4P/2005 model of water covering supercooled and deeply stretched regions
Authors:
John W. Biddle,
Rakesh S. Singh,
Evan M. Sparano,
Francesco Ricci,
Miguel A. González,
Chantal Valeriani,
José L. F. Abascal,
Pablo G. Debenedetti,
Mikhail A. Anisimov,
Frédéric Caupin
Abstract:
One of the most promising frameworks for understanding the anomalies of cold and supercooled water postulates the existence of two competing, interconvertible local structures. If the non-ideality in the Gibbs energy of mixing overcomes the ideal entropy of mixing of these two structures, a liquid-liquid phase transition, terminated at a liquid-liquid critical point, is predicted. Various versions…
▽ More
One of the most promising frameworks for understanding the anomalies of cold and supercooled water postulates the existence of two competing, interconvertible local structures. If the non-ideality in the Gibbs energy of mixing overcomes the ideal entropy of mixing of these two structures, a liquid-liquid phase transition, terminated at a liquid-liquid critical point, is predicted. Various versions of the "two-structure equation of state" (TSEOS) based on this concept have shown remarkable agreement with both experimental data for metastable, deeply supercooled water and simulations of molecular water models. However, existing TSEOSs were not designed to describe the negative pressure region and do not account for the stability limit of the liquid state with respect to the vapor. While experimental data on supercooled water at negative pressures may shed additional light on the source of the anomalies of water, such data are very limited. To fill this gap, we have analyzed simulation results for TIP4P/2005, one of the most accurate classical water models available. We have used recently published simulation data, and performed additional simulations, over a broad range of positive and negative pressures, from ambient temperature to deeply supercooled conditions. We show that, by explicitly incorporating the liquid-vapor spinodal into a TSEOS, we are able to match the simulation data for TIP4P/2005 with remarkable accuracy. In particular, this equation of state quantitatively reproduces the lines of extrema in density, isothermal compressibility, and isobaric heat capacity. Contrary to an explanation of the thermodynamic anomalies of water based on a "retracing spinodal", the liquid-vapor spinodal in the present TSEOS continues monotonically to lower pressures upon cooling, influencing but not giving rise to density extrema and other thermodynamic anomalies.
△ Less
Submitted 22 December, 2017; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Molecular mechanism for cavitation in water under tension
Authors:
Georg Menzl,
Miguel A. Gonzalez,
Philipp Geiger,
Frédéric Caupin,
Jose L. F. Abascal,
Chantal Valeriani,
Christoph Dellago
Abstract:
Despite its relevance in biology and engineering, the molecular mechanism driving cavitation in water remains unknown. Using computer simulations, we investigate the structure and dynamics of vapor bubbles emerging from metastable water at negative pressures. We find that in the early stages of cavitation, bubbles are irregularly shaped and become more spherical as they grow. Nevertheless, the fre…
▽ More
Despite its relevance in biology and engineering, the molecular mechanism driving cavitation in water remains unknown. Using computer simulations, we investigate the structure and dynamics of vapor bubbles emerging from metastable water at negative pressures. We find that in the early stages of cavitation, bubbles are irregularly shaped and become more spherical as they grow. Nevertheless, the free energy of bubble formation can be perfectly reproduced in the framework of classical nucleation theory (CNT) if the curvature dependence of the surface tension is taken into account. Comparison of the observed bubble dynamics to the predictions of the macroscopic Rayleigh--Plesset (RP) equation, augmented with thermal fluctuations, demonstrates that the growth of nanoscale bubbles is governed by viscous forces. Combining the dynamical prefactor determined from the RP equation with the free energy of CNT yields an analytical expression for the cavitation rate that reproduces the simulation results very well over a wide range of pressures. Furthermore, our theoretical predictions are in excellent agreement with cavitation rates obtained from inclusion experiments. This suggests that homogeneous nucleation is observed in inclusions, whereas only heterogeneous nucleation on impurities or defects occurs in other experiments.
△ Less
Submitted 5 December, 2016; v1 submitted 10 June, 2016;
originally announced June 2016.
-
An Equation of State For The TIP4P/2005 Model of Water Including Negative Pressures
Authors:
John W. Biddle,
Rakesh S. Singh,
Miguel A. González,
Chantal Valeriani,
José L. F. Abascal,
Pablo G. Debenedetti,
Mikhail A. Anisimov,
Frédéric Caupin
Abstract:
One of the most promising frameworks for understanding the anomalies of cold and especially supercooled water is that of two-structure thermodynamics, in which water is viewed as a non-ideal mixture of two interconvertible local structures. The non-ideality of this mixture may give rise, at very low temperatures, to a liquid-liquid phase transition (LLPT) and a liquid-liquid critical point (LLCP),…
▽ More
One of the most promising frameworks for understanding the anomalies of cold and especially supercooled water is that of two-structure thermodynamics, in which water is viewed as a non-ideal mixture of two interconvertible local structures. The non-ideality of this mixture may give rise, at very low temperatures, to a liquid-liquid phase transition (LLPT) and a liquid-liquid critical point (LLCP), at which thermodynamic response functions diverge. Various versions of the "two-structure equation of state" (TSEOS) based on this concept have shown remarkable agreement with both experimental data in real water and simulation results. However, recent experiments probing supercooled water at negative pressures reveal the inadequacy of extrapolations of equations of state developed for positive pressures, and have begun to shed additional light on the source of the anomalies of supercooled water. We have analyzed simulation results for the TIP4P/2005 model over a broad range of positive and negative pressures from ambient temperature to deep supercooling. We find that by explicitly incorporating a liquid-vapor spinodal into a two-structure equation of state, we are able to match the simulation data in TIP4P/2005 with striking accuracy. In particular, our equation of state reproduces the observed lines of minima and maxima in the density, isothermal compressibility, and isobaric heat capacity. Contrary to scenarios in which a retracing spinodal accounts for the thermodynamic anomalies of water, we find that the liquid-vapor spinodal in this model continues monotonically to lower pressures as temperature is decreased, influencing but not giving rise to the locus of density maxima and other thermodynamic anomalies. We explain the behavior of TIP4P/2005 in terms of two phenomena: the competition between two local structures and a monotonic liquid-vapor spinodal.
△ Less
Submitted 11 November, 2016; v1 submitted 19 May, 2016;
originally announced May 2016.
-
A comprehensive scenario of the thermodynamic anomalies of water using the TIP4P/2005 model
Authors:
Miguel A. Gonzalez,
Chantal Valeriani,
Frederic Caupin,
Jose L. F. Abascal
Abstract:
The striking behavior of water has deserved it to be referred to as an "anomalous" liquid. The water anomalies are greatly amplified in metastable (supercooled/stretched) regions. This makes difficult a complete experimental description since, beyond certain limits, the metastable phase necessarily transforms into the stable one. Theoretical interpretation of the water anomalies could then be base…
▽ More
The striking behavior of water has deserved it to be referred to as an "anomalous" liquid. The water anomalies are greatly amplified in metastable (supercooled/stretched) regions. This makes difficult a complete experimental description since, beyond certain limits, the metastable phase necessarily transforms into the stable one. Theoretical interpretation of the water anomalies could then be based on simulation results of well validated water models. But the analysis of the simulations has not yet reached a consensus. In particular, one of the most popular theoretical scenarios -involving the existence of a liquid-liquid critical point (LLCP)- is disputed by several authors. In this work we propose to use a number of exact thermodynamic relations which can be tested in a region of the phase diagram outside the LLCP thus avoiding the problems associated to the coexistence region. The central property connected to other water anomalies is the locus of temperatures at which the density along isobars attain a maximum (TMD line) or a minimum (TmD), computed via simulations for a successful water model, TIP4P/2005. Next, we have evaluated the vapor-liquid spinodal in the region of large negative pressures. The shape of these curves and their connection to the extrema of response functions (isothermal compressibility and heat capacity at constant pressure) may help to elucidate the validity of the theoretical proposals. In this way we are able to present for the first time a comprehensive scenario of the thermodynamic water anomalies for TIP4P/2005 and their relation to the vapor-liquid spinodal. The overall picture shows a remarkable similarity with the corresponding one for the ST2 water model, for which the existence of a LLCP has been demonstrated in recent years. It also provides a hint as to where the long-sought for extrema in response functions might become accessible to experiments.
△ Less
Submitted 1 August, 2016; v1 submitted 17 May, 2016;
originally announced May 2016.
-
ICT technologies for the refurbishment of wooden structure buildings
Authors:
Ivan Arakistain,
Jose Miguel Abascal,
Oriol Munne
Abstract:
Nowadays, one would think that after years of massive concrete and steel construction in Spain, there are not many wood structure buildings left to be refurbished except for some palaces or cathedrals. However, if we go for a walk and have a look at the old part of any city, we will realize that still most of the buildings have a wood structure. In spite of the fact that the majority of urban regu…
▽ More
Nowadays, one would think that after years of massive concrete and steel construction in Spain, there are not many wood structure buildings left to be refurbished except for some palaces or cathedrals. However, if we go for a walk and have a look at the old part of any city, we will realize that still most of the buildings have a wood structure. In spite of the fact that the majority of urban regulations forbid their demolition, other bad practices such as casting and overloading the wood structure are very common. Considering that we want to reach a standard of sustainable construction, the economical and environmental costs, which are implied by the deficient refurbishment makes it well worth a previous study of the structure, which in most cases represents less than a 1% of the total budget. The main goal of this paper is to present most relevant parts of the whole process of diagnosis of a wood structure building by means of Non-Destructive Testing Techniques. Among the ones to be considered, we could mention the analysis of the building and its surroundings, on-site inspection of the building, structural diagnosis, definition of the corrective actions to be taken, definition of treatments, quality control and a maintenance plan. For the on-site inspection of the building, in the paper we will highlight the use of Non-Destructive methods such as resistograph drilling, X-ray imaging, ultrasound-based testing or moisture measurement. We will provide practical examples of all this. The aim of this paper is to give the audience an overall idea on how a pre-assessment work can enhance the refurbishment of a wood structure building while reducing costs and environmental impact.
△ Less
Submitted 31 January, 2014;
originally announced January 2014.
-
Homogeneous ice nucleation at moderate supercooling from molecular simulation
Authors:
E. Sanz,
C. Vega,
J. R. Espinosa,
R. Caballero-Bernal,
J. L. F. Abascal,
C. Valeriani
Abstract:
Among all the freezing transitions, that of water into ice is probably the most relevant to biology, physics, geology or atmospheric science. In this work we investigate homogeneous ice nucleation by means of computer simulations. We evaluate the size of the critical cluster and the nucleation rate for temperatures ranging between 15K and 35K below melting. We use the TIP4P/2005 and the TIP4P/Ice…
▽ More
Among all the freezing transitions, that of water into ice is probably the most relevant to biology, physics, geology or atmospheric science. In this work we investigate homogeneous ice nucleation by means of computer simulations. We evaluate the size of the critical cluster and the nucleation rate for temperatures ranging between 15K and 35K below melting. We use the TIP4P/2005 and the TIP4P/Ice water models. Both give similar results when compared at the same temperature difference with the model's melting temperature. The size of the critical cluster varies from $\sim$8000 molecules (radius$ = 4$nm) at 15K below melting to $\sim$600 molecules (radius$ = 1.7$nm) at 35K below melting. We use Classical Nucleation Theory (CNT) to estimate the ice-water interfacial free energy and the nucleation free energy barrier. We obtain an interfacial free energy of 29(3)mN/m from an extrapolation of our results to the melting temperature. This value is in good agreement both with experimental measurements and with previous estimates from computer simulations of TIP4P-like models. Moreover, we obtain estimates of the nucleation rate from simulations of the critical cluster at the barrier top. The values we get for both models agree within statistical error with experimental measurements. At temperatures higher than 20K below melting we get nucleation rates slower than the appearance of a critical cluster in all the water of the hydrosphere in the age of the universe. Therefore, our simulations predict that water freezing above this temperature must necessarily be heterogeneous.
△ Less
Submitted 3 December, 2013;
originally announced December 2013.
-
Anomalies in bulk supercooled water at negative pressure
Authors:
Gaël Pallares,
Mouna El Mekki Azouzi,
Miguel Angel Gonzalez,
Juan Luis Aragones,
Jose Luis F. Abascal,
Chantal Valeriani,
Frédéric Caupin
Abstract:
Water is the most familiar liquid, and arguably the most complex. Anomalies of supercooled water have been measured during decades, and competing interpretations proposed. Yet, a decisive experiment remains elusive, because of unavoidable crystallization into ice. We investigate the state of water that is both supercooled and under mechanical tension, or negative pressure. Liquids under negative p…
▽ More
Water is the most familiar liquid, and arguably the most complex. Anomalies of supercooled water have been measured during decades, and competing interpretations proposed. Yet, a decisive experiment remains elusive, because of unavoidable crystallization into ice. We investigate the state of water that is both supercooled and under mechanical tension, or negative pressure. Liquids under negative pressure can be found in plants or fluid inclusions in minerals. Using such water inclusions in quartz, we report the first measurements on doubly metastable water down to $-15^\circ\mathrm{C}$ and around $-100\,\mathrm{MPa}$. We observe sound velocity anomalies that can be reproduced quantitatively with molecular dynamics simulations. These results rule out one proposed scenario for water anomalies, and put further constraints on the remaining ones.
△ Less
Submitted 27 November, 2013; v1 submitted 7 November, 2013;
originally announced November 2013.
-
Wireless sensor network technology for moisture monitoring of wood
Authors:
Ivan Arakistain,
Jose Miguel Abascal,
Oriol Munne
Abstract:
Leaks represent a very important hazard for the buildings and they can affect all sorts of building materials and specially wood due to its hygroscopic properties. Excessive moisture content can affect in a negative way building processes such as the installation of wooden floors or the use of wood as a structural material. Moisture meters can provide prompt and non-destructive determination of wo…
▽ More
Leaks represent a very important hazard for the buildings and they can affect all sorts of building materials and specially wood due to its hygroscopic properties. Excessive moisture content can affect in a negative way building processes such as the installation of wooden floors or the use of wood as a structural material. Moisture meters can provide prompt and non-destructive determination of wood moisture, and as such are among the most useful tools available to wood products manufacturers and scientists. However, a continuous monitoring system is needed in order to avoid excessive moisture content which can damage wooden floors as well as structural wood. Data and procedures are presented in order to develop a suitable monitoring tool based on wireless sensor networks to provide an electronic tool of active security both for the installation of wooden floors and for the proper maintenance of existent buildings which have a timber structure.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Homogeneous bubble nucleation in water at negative pressure: A Voronoi polyhedra analysis
Authors:
Jose L. F. Abascal,
Miguel A. Gonzalez,
Juan L. Aragones,
C. Valeriani
Abstract:
We investigate vapor bubble nucleation in metastable TIP4P/2005 water at negative pressure via the Mean First Passage Time (MFPT) method using the volume of the largest bubble as a local order parameter. We identify the bubbles in the system by means of a Voronoi-based analysis of the Molecular Dynamics trajectories. By comparing the features of the tessellation of liquid water at ambient conditio…
▽ More
We investigate vapor bubble nucleation in metastable TIP4P/2005 water at negative pressure via the Mean First Passage Time (MFPT) method using the volume of the largest bubble as a local order parameter. We identify the bubbles in the system by means of a Voronoi-based analysis of the Molecular Dynamics trajectories. By comparing the features of the tessellation of liquid water at ambient conditions to those of the same system with an empty cavity we are able to discriminate vapor (or interfacial) molecules from the bulk ones. This information is used to follow the time evolution of the largest bubble until the system cavitates at 280 K above and below the spinodal line. At the pressure above the spinodal line, the MFPT curve shows the expected shape for a moderately metastable liquid from which we estimate the bubble nucleation rate and the size of the critical cluster. The nucleation rate estimated using Classical Nucleation Theory turns out to be about 8 order of magnitude lower than the one we compute by means of MFPT. The behavior at the pressure below the spinodal line, where the liquid is thermodynamically unstable, is remarkably different, the MFPT curve being a monotonous function without any inflection point.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Anomalies in water as obtained from computer simulations of the TIP4P/2005 model: density maxima, and density, isothermal compressibility and heat capacity minima
Authors:
Helena L. Pi,
Juan L. Aragones,
Carlos Vega,
Eva G. Noya,
Jose L. F. Abascal,
Miguel A. Gonzalez,
Carl McBride
Abstract:
The so-called thermodynamic anomalies of water form an integral part of the peculiar behaviour of this both important and ubiquitous molecule. In this paper our aim is to establish whether the recently proposed TIP4P/2005 model is capable of reproducing a number of these anomalies. Using molecular dynamics simulations we investigate both the maximum in density and the minimum in the isothermal c…
▽ More
The so-called thermodynamic anomalies of water form an integral part of the peculiar behaviour of this both important and ubiquitous molecule. In this paper our aim is to establish whether the recently proposed TIP4P/2005 model is capable of reproducing a number of these anomalies. Using molecular dynamics simulations we investigate both the maximum in density and the minimum in the isothermal compressibility along a number of isobars. It is shown that the model correctly describes the decrease in the temperature of the density maximum with increasing pressure. At atmospheric pressure the model exhibits an additional minimum in density at a temperature of about 200K, in good agreement with recent experimental work on super-cooled confined water. The model also presents a minimum in the isothermal compressibility close to 310K. We have also investigated the atmospheric pressure isobar for three other water models; the SPC/E and TIP4P models also present a minimum in the isothermal compressibility, although at a considerably lower temperature than the experimental one. For the temperature range considered no such minimum is found for the TIP5P model.
△ Less
Submitted 25 May, 2009;
originally announced May 2009.
-
The range of meta stability of ice-water melting for two simple models of water
Authors:
Carl McBride,
Carlos Vega,
Eduardo Sanz,
Luis G. MacDowell,
Jose L. F. Abascal
Abstract:
A number of crystal structures of water have been `superheated' in Monte Carlo simulations. Two well known models for water were considered; namely the TIP4P model and the SPC/E model. By comparing the fluid-solid coexistence temperature to the temperature at which the solid becomes mechanically unstable and melts it is possible to determine the typical range of temperatures over which is possib…
▽ More
A number of crystal structures of water have been `superheated' in Monte Carlo simulations. Two well known models for water were considered; namely the TIP4P model and the SPC/E model. By comparing the fluid-solid coexistence temperature to the temperature at which the solid becomes mechanically unstable and melts it is possible to determine the typical range of temperatures over which is possible to superheat the ice phases in conventional simulation studies. It is found that the ice phases can be superheated to approximately 90K beyond the fluid-solid coexistence temperature. Beyond this limit they spontaneously melt. This limit appears to depend weakly both on the type of ice phase considered and on the chosen model. Obviously only rigorous free energy calculations can determine the equilibrium fluid-solid coexistence of a model. However, a "rule of thumb" is that, by subtracting 90K from the mechanically stability limit of the the ice phase one is provided with a first guess as to the equilibrium fluid-solid coexistence temperature.
△ Less
Submitted 23 February, 2009;
originally announced February 2009.
-
Determination of phase diagrams via computer simulation: Methodology and applications to water, electrolytes and proteins
Authors:
C. Vega,
E. Sanz,
J. L. F. Abascal,
E. G. Noya
Abstract:
In this review we focus on the determination of phase diagrams by computer simulation with particular attention to the fluid-solid and solid-solid equilibria. The calculation of the free energy of solid phases using the Einstein crystal and Einstein molecule methods are described in detail. It is shown that for the hard spheres solid both methods yield the same results and that free energies of…
▽ More
In this review we focus on the determination of phase diagrams by computer simulation with particular attention to the fluid-solid and solid-solid equilibria. The calculation of the free energy of solid phases using the Einstein crystal and Einstein molecule methods are described in detail. It is shown that for the hard spheres solid both methods yield the same results and that free energies of solid phases present noticeable finite size effects. Finite size corrections can be introduced, although in an approximate way, to correct for the dependence of the free energy on the size of the system. The computation of free energies of solid phases can be extended to molecular fluids. The procedure to compute free energies of solid phases of water (ices Ih, II, III, IV, V, VI, VII, VIII, IX, XI and XII) using the SPC/E and TIP4P models will be described.Other methods to estimate the melting point of a solid, as the direct fluid-solid coexistence or simulations of the free surface of the solid will be discussed. It will be shown that the melting points of ice Ih for several water models, obtained from these two methods and from free energy calculations agree within statistical uncertainty. Phase diagram calculations can help to improve potential models of molecular fluids; for water, the TIP4P/2005 model can be regarded as an improved version of TIP4P. We will also review some recent work on the phase diagram of the simplest ionic model, the restricted primitive model. Although originally devised to describe ionic liquids, the model is becoming quite popular to describe charged colloids. Besides the possibility of obtaining fluid-solid equilibria for simple protein models will be discussed. In these primitive models, the protein is described by a spherical potential with certain anisotropic bonding sites.
△ Less
Submitted 13 January, 2009;
originally announced January 2009.
-
What ice can teach us about water interactions: a critical comparison of the performance of different water models
Authors:
C. Vega,
J. L. F. Abascal,
M. M. Conde,
J. L. Aragones
Abstract:
The performance of several popular water models (TIP3P, TIP4P, TIP5P and TIP4P/2005) is analysed. For that purpose the predictions for ten different properties of water are investigated, namely: 1. vapour-liquid equilibria (VLE) and critical temperature; 2. surface tension; 3. densities of the different solid structures of water (ices); 4. phase diagram; 5. melting point properties; 6. maximum i…
▽ More
The performance of several popular water models (TIP3P, TIP4P, TIP5P and TIP4P/2005) is analysed. For that purpose the predictions for ten different properties of water are investigated, namely: 1. vapour-liquid equilibria (VLE) and critical temperature; 2. surface tension; 3. densities of the different solid structures of water (ices); 4. phase diagram; 5. melting point properties; 6. maximum in density at room pressure and thermal coefficients $α$ and $κ_T$; 7. structure of liquid water and ice; 8. equation of state at high pressures; 9. diffusion coefficient; 10. dielectric constant. For each property, the performance of each model is analysed in detail with a critical discussion of the possible reason of the success or failure of the model. A final judgement on the quality of these models is provided. TIP4P/2005 provides the best description of almost all properties of the list, with the only exception of the dielectric constant. In the second position, TIP5P and TIP4P yield an overall similar performance, and the last place with the poorest description of the water properties is provided by TIP3P. The ideas leading to the proposal and design of the TIP4P/2005 are also discussed in detail. TIP4P/2005 is probably close to the best description of water that can be achieved with a non polarizable model described by a single Lennard-Jones (LJ) site and three charges.
△ Less
Submitted 13 January, 2009;
originally announced January 2009.