A route to explain water anomalies from results on an aqueous solution of salt

In this paper we investigate the possibility to detect the hypothesized liquid-liquid critical point of water in supercooled aqueous solutions of salts. Molecular dynamics computer simulations are conducted on bulk TIP4P water and on an aqueous solution of sodium chloride in TIP4P water, with concentration c = 0.67 mol/kg. The liquid-liquid critical point is found both in the bulk and in the solution. Its position in the thermodynamic plane shifts to higher temperature and lower pressure for the solution. Comparison with available experimental data allowed us to produce the phase diagrams of both bulk water and the aqueous solution as measurable in experiments. Given the position of the liquid-liquid critical point in the solution as obtained from our simulations, the experimental determination of the hypothesized liquid-liquid critical point of water in aqueous solutions of salts appears possible.Comment: 5 pages, 6 figures. Accepted for publication on the Journal of Chemical Physics (2010)

Structural Properties of High and Low Density Water in a Supercooled Aqueous Solution of Salt

We consider and compare the structural properties of bulk TIP4P water and of a sodium chloride aqueous solution in TIP4P water with concentration c = 0.67 mol/kg, in the metastable supercooled region. In a previous paper [D. Corradini, M. Rovere and P. Gallo, J. Chem. Phys. 132, 134508 (2010)] we found in both systems the presence of a liquid-liquid critical point (LLCP). The LLCP is believed to be the end point of the coexistence line between a high density liquid (HDL) and a low density liquid (LDL) phase of water. In the present paper we study the different features of water-water structure in HDL and LDL both in bulk water and in the solution. We find that the ions are able to modify the bulk LDL structure, rendering water-water structure more similar to the bulk HDL case. By the study of the hydration structure in HDL and LDL, a possible mechanism for the modification of the bulk LDL structure in the solution is identified in the substitution of the oxygen by the chloride ion in oxygen coordination shells.Comment: 10 pages, 10 figures, 2 tables. Accepted for publication on J. Phys. Chem

Fragile to strong crossover coupled to liquid-liquid transition in hydrophobic solutions

Using discrete molecular dynamics simulations we study the relation between the thermodynamic and diffusive behaviors of a primitive model of aqueous solutions of hydrophobic solutes consisting of hard spheres in the Jagla particles solvent, close to the liquid-liquid critical point of the solvent. We find that the fragile-to-strong dynamic transition in the diffusive behavior is always coupled to the low-density/high-density liquid transition. Above the liquid-liquid critical pressure, the diffusivity crossover occurs at the Widom line, the line along which the thermodynamic response functions show maxima. Below the liquid-liquid critical pressure, the diffusivity crossover occurs when the limit of mechanical stability lines are crossed, as indicated by the hysteresis observed when going from high to low temperature and vice versa. These findings show that the strong connection between dynamics and thermodynamics found in bulk water persists in hydrophobic solutions for concentrations from low to moderate, indicating that experiments measuring the relaxation time in aqueous solutions represent a viable route for solving the open questions in the field of supercooled water.Comment: 6 pages, 4 figures. Accepted for publication on Physical Review

Automated Analysis of MUTEX Algorithms with FASE

In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some transition system. We also compare our approach with others in the literature. The aim of this paper is twofold: on the one hand, we want to demonstrate the applicability of FASE to some concrete, meaningful examples; on the other hand, we want to study the impact of introducing non-blocking behaviours in modelling concurrent systems.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Worldline approach to noncommutative field theory

The study of the heat-trace expansion in noncommutative field theory has shown the existence of Moyal nonlocal Seeley-DeWitt coefficients which are related to the UV/IR mixing and manifest, in some cases, the non-renormalizability of the theory. We show that these models can be studied in a worldline approach implemented in phase space and arrive to a master formula for the $n$-point contribution to the heat-trace expansion. This formulation could be useful in understanding some open problems in this area, as the heat-trace expansion for the noncommutative torus or the introduction of renormalizing terms in the action, as well as for generalizations to other nonlocal operators.Comment: 19 pages, version

Thermodynamic behaviour and structural properties of an aqueous sodium chloride solution upon supercooling

We present the results of a molecular dynamics simulation study of thermodynamic and structural properties upon supercooling of a low concentration sodium chloride solution in TIP4P water and the comparison with the corresponding bulk quantities. We study the isotherms and the isochores for both the aqueous solution and bulk water. The comparison of the phase diagrams shows that thermodynamic properties of the solution are not merely shifted with respect to the bulk. Moreover, from the analysis of the thermodynamic curves, both the spinodal line and the temperatures of maximum density curve can be calculated. The spinodal line appears not to be influenced by the presence of ions at the chosen concentration, while the temperatures of maximum density curve displays both a mild shift in temperature and a shape modification with respect to bulk. Signatures of the presence of a liquid-liquid critical point are found in the aqueous solution. By analysing the water-ion radial distribution functions of the aqueous solution we observe that upon changing density, structural modifications appear close to the spinodal. For low temperatures additional modifications appear also for densities close to that corresponding to a low density configurational energy minimum.Comment: 10 pages, 13 figures, 2 tables. To be published in J. Chem. Phy

Aspects of Quantum Gravity in Cosmology

We review some aspects of quantum gravity in the context of cosmology. In particular, we focus on models with a phenomenology accessible to current and near-future observations, as the early Universe might be our only chance to peep through the quantum gravity realm.Comment: 15 pages, 1 figure. Invited review for Modern Physics Letter A. Version 2: minor typos corrected, few references adde

Experimental evidence of antiproton reflection by a solid surface

We report here experimental evidence of the reflection of a large fraction of a beam of low energy antiprotons by an aluminum wall. This derives from the analysis of a set of annihilations of antiprotons that come to rest in rarefied helium gas after hitting the end wall of the apparatus. A Monte Carlo simulation of the antiproton path in aluminum indicates that the observed reflection occurs primarily via a multiple Rutherford-style scattering on Al nuclei, at least in the energy range 1-10 keV where the phenomenon is most visible in the analyzed data. These results contradict the common belief according to which the interactions between matter and antimatter are dominated by the reciprocally destructive phenomenon of annihilation.Comment: 5 pages with 5 figure