Probing mechanical quantum coherence with an ultracold-atom meter

We propose a scheme to probe quantum coherence in the state of a nanocantilever based on its magnetic coupling (mediated by a magnetic tip) with a spinor Bose Einstein condensate (BEC). By mapping the BEC into a rotor, its coupling with the cantilever results in a gyroscopic motion whose properties depend on the state of the cantilever: the dynamics of one of the components of the rotor angular momentum turns out to be strictly related to the presence of quantum coherence in the state of the cantilever. We also suggest a detection scheme relying on Faraday rotation, which produces only a very small back-action on the BEC and is thus suitable for a continuous detection of the cantilever's dynamics.

Low pressure carbon dioxide solubility in pure electrolyte solvents for lithium-ion batteries as a function of temperature. Measurement and prediction

Experimental values for the carbon dioxide solubility in eight pure electrolyte solvents for lithium ion batteries – such as ethylene carbonate (EC), propylene carbonate (PC), dimethyl carbonate (DMC), ethyl methyl carbonate (EMC), diethyl carbonate (DEC), ?-butyrolactone (?BL), ethyl acetate (EA) and methyl propionate (MP) – are reported as a function of temperature from (283 to 353) K and atmospheric pressure. Based on experimental solubility data, the Henry’s law constant of the carbon dioxide in these solvents was then deduced and compared with reported values from the literature, as well as with those predicted by using COSMO-RS methodology within COSMOthermX software and those calculated by the Peng–Robinson equation of state implemented into Aspen plus. From this work, it appears that the CO2 solubility is higher in linear carbonates (such as DMC, EMC, DEC) than in cyclic ones (EC, PC, ?BL). Furthermore, the highest CO2 solubility was obtained in MP and EA solvents, which are comparable to the solubility values reported in classical ionicliquids. The precision and accuracy of the experimental values, considered as the per cent of the relative average absolute deviations of the Henry’s law constants from appropriate smoothing equations and from literature values, are close to (1% and 15%), respectively. From the variation of the Henry’s law constants with temperature, the partial molar thermodynamic functions of dissolution such as the standard Gibbs free energy, the enthalpy, and the entropy are calculated, as well as the mixing enthalpy of the solvent with CO2 in its hypothetical liquid state.

Density and viscosity of several pure and water-saturated ionic liquids

Densities and viscosities were measured as a function of temperature for six ionic liquids (1-butyl-3-methylimidazolium hexafluorophosphate, 1-butyl-3-methylimidazolium tetrafluoroborate, 1-butyl-3-methylimidazolium bis(trifluoromethylsulfonyl)imide, 1-ethyl-3-methylimidazolium bis(trifluoromethylsulfonyl)imide, 1-ethyl-3-methylimidazolium ethylsulfate and butyltrimethylammonium bis(trifluoromethylsulfonyl)imide. The density and the viscosity were obtained using a vibrating tube densimeter from Anton Paar and a rheometer from Rheometrics Scientific at temperatures up to 393 K and 388 K with an accuracy of 10-3 g cm-3 and 1%, respectively. The effect of the presence of water on the measured values was also examined by studying both dried and water-saturated samples. A qualitative analysis of the evolution of density and viscosity with cation and anion chemical structures was performed. © The Royal Society of Chemistry 2006.

Excitation of the 3p^4(4s,3d,4p) Ar^+ states during Ar photoionization:Intensity, alignment, and orientation

Ar photoionization is studied using the R-matrix formalism with emphasis on the simultaneous excitation of the residual A^r+ ion. Cross sections have been obtained for excitation of the 3p^4(3d,4s,4p) states. A comparison with experiments having a resolution of 70 meV shows reasonable agreement for the position and shape of resonance structures. The relative magnitude of the resonances proves to be more elusive. The partial cross section for excitation of the 3p^4(3Pe)4p(2P_3/2^o) and (2D_3/2^o) levels is treated in more detail. A comparison of LS-coupling calculations with high-resolution experimental results shows good agreement for both the excitation cross sections and the polarization of the fluorescence. We also predict the orientation for both levels. We demonstrate that the polarization of the fluorescence originating from the (2D_3/2^o) level can be employed to study spin-orbit effects in Ar photoionization.

Scattering theory of multilevel atoms interacting with arbitrary radiation fields

We present a generic transfer matrix approach for the description of the interaction of atoms possessing multiple ground state and excited state sublevels with light fields. This model allows us to treat multi-level atoms as classical scatterers in light fields modified by, in principle, arbitrarily complex optical components such as mirrors, resonators, dispersive or dichroic elements, or filters. We verify our formalism for two prototypical sub-Doppler cooling mechanisms and show that it agrees with the standard literature.

Optical Cooling Using the Dipole Force

The term `laser cooling' is applied to the use of optical means to cool the motional energies of either atoms and molecules, or micromirrors. In the literature, these two strands are kept largely separate; both, however suffer from severe limitations. Laser cooling of atoms and molecules largely relies on the internal level structure of the species being cooled. As a result, only a small number of elements and a tiny number of molecules can be cooled this way. In the case of micromirrors, the problem lies in the engineering of micromirrors that need to satisfy a large number of constraints---these include a high mechanical Q-factor, high reflectivity and very good optical quality, weak coupling to the substrate, etc.---in order to enable efficient cooling. During the course of this thesis, I will draw these two sides of laser cooling closer together by means of a single, generically applicable scattering theory that can be used to explain the interaction between light and matter at a very general level. I use this `transfer matrix' formalism to explore the use of the retarded dipole--dipole interaction as a means of both enhancing the efficiency of micromirror cooling systems and rendering the laser cooling of atoms and molecules less species selective. In particular, I identify the `external cavity cooling' mechanism, whereby the use of an optical memory in the form of a resonant element (such as a cavity), outside which the object to be cooled sits, can potentially lead to the construction of fully integrated optomechanical systems and even two-dimensional arrays of translationally cold atoms, molecules or even micromirrors.

Logics for belief functions on MV-algebras

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism. © 2012 Elsevier Inc. All rights reserved.

Constraint rule-based programming of norms for electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation. © 2008 Springer Science+Business Media, LLC.

Monte Carlo radiation hydrodynamics:Methods, tests and application to Type Ia supernova ejecta

In astrophysical systems, radiation-matter interactions are important in transferring energy and momentum between the radiation field and the surrounding material. This coupling often makes it necessary to consider the role of radiation when modelling the dynamics of astrophysical fluids. During the last few years, there have been rapid developments in the use of Monte Carlo methods for numerical radiative transfer simulations. Here, we present an approach to radiation hydrodynamics that is based on coupling Monte Carlo radiative transfer techniques with finite-volume hydrodynamical methods in an operator-split manner. In particular, we adopt an indivisible packet formalism to discretize the radiation field into an ensemble of Monte Carlo packets and employ volume-based estimators to reconstruct the radiation field characteristics. In this paper the numerical tools of this method are presented and their accuracy is verified in a series of test calculations. Finally, as a practical example, we use our approach to study the influence of the radiation-matter coupling on the homologous expansion phase and the bolometric light curve of Type Ia supernova explosions. © 2012 The Authors Monthly Notices of the Royal Astronomical Society © 2012 RAS.

Using sketch-map coordinates to analyze and bias molecular dynamics simulations

When examining complex problems, such as the folding of proteins, coarse grained descriptions of the system drive our investigation and help us to rationalize the results. Oftentimes collective variables (CVs), derived through some chemical intuition about the process of interest, serve this purpose. Because finding these CVs is the most difficult part of any investigation, we recently developed a dimensionality reduction algorithm, sketch-map, that can be used to build a low-dimensional map of a phase space of high-dimensionality. In this paper we discuss how these machine-generated CVs can be used to accelerate the exploration of phase space and to reconstruct free-energy landscapes. To do so, we develop a formalism in which high-dimensional configurations are no longer represented by low-dimensional position vectors. Instead, for each configuration we calculate a probability distribution, which has a domain that encompasses the entirety of the low-dimensional space. To construct a biasing potential, we exploit an analogy with metadynamics and use the trajectory to adaptively construct a repulsive, history-dependent bias from the distributions that correspond to the previously visited configurations. This potential forces the system to explore more of phase space by making it desirable to adopt configurations whose distributions do not overlap with the bias. We apply this algorithm to a small model protein and succeed in reproducing the free-energy surface that we obtain from a parallel tempering calculation.

Molecular dynamics simulation model for the quantitative assessment of tool wear during single point diamond turning of cubic silicon carbide

Silicon carbide (SiC) is a material of great technological interest for engineering applications concerning hostile environments where silicon-based components cannot work (beyond 623 K). Single point diamond turning (SPDT) has remained a superior and viable method to harness process efficiency and freeform shapes on this harder material. However, it is extremely difficult to machine this ceramic consistently in the ductile regime due to sudden and rapid tool wear. It thus becomes non trivial to develop an accurate understanding of tool wear mechanism during SPDT of SiC in order to identify measures to suppress wear to minimize operational cost.

In this paper, molecular dynamics (MD) simulation has been deployed with a realistic analytical bond order potential (ABOP) formalism based potential energy function to understand tool wear mechanism during single point diamond turning of SiC. The most significant result was obtained using the radial distribution function which suggests graphitization of diamond tool during the machining process. This phenomenon occurs due to the abrasive processes between these two ultra hard materials. The abrasive action results in locally high temperature which compounds with the massive cutting forces leading to sp3–sp2 order–disorder transition of diamond tool. This represents the root cause of tool wear during SPDT operation of cubic SiC. Further testing led to the development of a novel method for quantitative assessment of the progression of diamond tool wear from MD simulations.

Standing wave oscillations in an electrocatalytic reaction

Experimental standing wave oscillations of the interfacial potential across an electrode have been observed in the electrocatalytic oxidation of formic acid on a Pt ring working electrode. The instantaneous potential distribution was monitored by means of equispaced potential microprobes along the electrode. The oscillatory standing waves spontaneously arose from a homogeneous stationary state prior to a Hopf bifurcation if the reference electrode was placed close to the working electrode. Reduced electrolyte concentrations resulted in aperiodic potential patterns, while the presence of a sufficiently large ohmic resistance completely suppressed spatial inhomogeneities. The experimental findings confirm numerical predictions of a reaction-migration formalism: under the chosen geometry, a long-range negative potential coupling between distant points across the ring electrode can lead to oscillatory potential domains of distinct phase. It is further shown that the occurrence of oscillatory standing waves can be rationalized as the electrochemical equivalent of Turing's second bifurcation (wave bifurcation). In the presence of an external resistance, the coupling becomes positive throughout and leads to spatial synchronization.

Testing genuine multipartite nonlocality in phase spacea

We demonstrate genuine three-mode nonlocality based on phase-space formalism. A Svetlichny-type Bell inequality is formulated in terms of the s-parametrized quasiprobability function. We test such a tool using exemplary forms of three-mode entangled states, identifying the ideal measurement settings required for each state. We thus verify the presence of genuine three-mode nonlocality that cannot be reproduced by local or nonlocal hidden variable models between any two out of three modes. In our results, GHZ- and W-type nonlocality can be fully discriminated. We also study the behavior of genuine tripartite nonlocality under the effects of detection inefficiency and dissipation induced by local thermal environments. Our formalism can be useful to test the sharing of genuine multipartite quantum correlations among the elements of some interesting physical settings, including arrays of trapped ions and intracavity ultracold atoms. DOI: 10.1103/PhysRevA.87.022123

Sequential measurement-based quantum computing with memories

We introduce a general scheme for sequential one-way quantum computation where static systems with long-living quantum coherence (memories) interact with moving systems that may possess very short coherence times. Both the generation of the cluster state needed for the computation and its consumption by measurements are carried out simultaneously. As a consequence, effective clusters of one spatial dimension fewer than in the standard approach are sufficient for computation. In particular, universal computation requires only a one-dimensional array of memories. The scheme applies to discrete-variable systems of any dimension as well as to continuous-variable ones, and both are treated equivalently under the light of local complementation of graphs. In this way our formalism introduces a general framework that encompasses and generalizes in a unified manner some previous system-dependent proposals. The procedure is intrinsically well suited for implementations with atom-photon interfaces.