Strain induced coherent dynamics of coupled carriers and Mn spins in a quantum dot

We report on the coherent dynamics of the spin of an individual magnetic atom coupled to carriers in a semiconductor quantum dot which has been investigated by resonant photoluminescence of the positively charged exciton (X+). We demonstrate that a positively charged CdTe/ZnTe quantum dot doped with a single Mn atom forms an ensemble of optical Lambda systems which can be addressed independently. We show that the spin dynamics of the X+Mn complex is dominated by the electron-Mn exchange interaction and report on the coherent dynamics of the electron-Mn spin system that is directly observed in the time domain. Quantum beats reflecting the coherent transfer of population between electron-Mn spin states, which are mixed by an anisotropic strain in the plane of the quantum dot, are clearly observed. We finally highlight that this strain induced coherent coupling is tunable with an external magnetic field

Resonant photoluminescence and dynamics of a hybrid Mn-hole spin in a positively charged magnetic quantum dot

We analyze, through resonant photoluminescence, the spin dynamics of an individual magnetic atom (Mn) coupled to a hole in a semiconductor quantum dot. The hybrid Mn-hole spin and the positively charged exciton in a CdTe/ZnTe quantum dot forms an ensemble of $\Lambda$ systems which can be addressed optically. Auto-correlation of the resonant photoluminescence and resonant optical pumping experiments are used to study the spin relaxation channels in this multilevel spin system. We identified for the hybrid Mn-hole spin an efficient relaxation channel driven by the interplay of the Mn-hole exchange interaction and the coupling to acoustic phonons. We also show that the optical $\Lambda$ systems are connected through inefficient spin-flips than can be enhanced under weak transverse magnetic field. The dynamics of the resonant photoluminescence in a p-doped magnetic quantum dot is well described by a complete rate equation model. Our results suggest that long lived hybrid Mn-hole spin could be obtained in quantum dot systems with large heavy-hole/light-hole splitting

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this purpose, we enrich the feature-oriented language FLan with action rates, which specify the likelihood of exhibiting particular behaviour or of installing features at a specific moment or in a specific order. The enriched language (called PFLan) allows us to specify models of software product lines with probabilistic configurations and behaviour, e.g. by considering a PFLan semantics based on discrete-time Markov chains. The Maude implementation of PFLan is combined with the distributed statistical model checker MultiVeStA to perform quantitative analyses of a simple product line case study. The presented analyses include the likelihood of certain behaviour of interest (e.g. product malfunctioning) and the expected average cost of products.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

SoK: Lending Pools in Decentralized Finance

Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive mechanisms to equilibrate the loan market. This complexity makes the behaviour of lending pools difficult to understand and to predict: indeed, ineffective incentives and attacks could potentially lead to emergent unwanted behaviours. Reasoning about lending pools is made even harder by the lack of executable models of their behaviour: to precisely understand how users interact with lending pools, eventually one has to inspect their implementations, where the incentive mechanisms are intertwined with low-level implementation details. Further, the variety of existing implementations makes it difficult to distill the common aspects of lending pools. We systematize the existing knowledge about lending pools, leveraging a new formal model of interactions with users, which reflects the archetypal features of mainstream implementations. This enables us to prove some general properties of lending pools, and to precisely describe vulnerabilities and attacks. We also discuss the role of lending pools in the broader context of decentralized finance and identify relevant research challenges

Calorimetric and acoustic study of binary mixtures containing an isomeric chlorobutane and butyl ethyl ether or methyl tert-butyl ether

Densities and speeds of sound in the temperature range 283.15-313.15 K have been measured for the binary mixtures formed by an isomeric chlorobutane (1-chlorobutane, 2-chlorobutane, 1-chloro-2-methylpropane, or 2-chloro-2-methylpropane) and butyl ethyl ether or methyl tert-butyl ether. Excess isentropic compressibilities were calculated from the experimental data. Excess enthalpies at T = 298.15 K are also included for the same binary mixtures. All these properties provide an insight into the nature of interactions operating on the present systems. Finally, the Prigogine-Flory-Patterson theory has been used to analyze the H E results and to estimate the isentropic compressibility values of the mixtures at T = 298.15 K

Density functional theory for nearest-neighbor exclusion lattice gasses in two and three dimensions

To speak about fundamental measure theory obliges to mention dimensional crossover. This feature, inherent to the systems themselves, was incorporated in the theory almost from the beginning. Although at first it was thought to be a consistency check for the theory, it rapidly became its fundamental pillar, thus becoming the only density functional theory which possesses such a property. It is straightforward that dimensional crossover connects, for instance, the parallel hard cube system (three-dimensional) with that of squares (two-dimensional) and rods (one-dimensional). We show here that there are many more connections which can be established in this way. Through them we deduce from the functional for parallel hard (hyper)cubes in the simple (hyper)cubic lattice the corresponding functionals for the nearest-neighbor exclusion lattice gases in the square, triangular, simple cubic, face-centered cubic, and body-centered cubic lattices. As an application, the bulk phase diagram for all these systems is obtained.Comment: 13 pages, 13 figures; needs revtex

Lattice density-functional theory of surface melting: the effect of a square-gradient correction

I use the method of classical density-functional theory in the weighted-density approximation of Tarazona to investigate the phase diagram and the interface structure of a two-dimensional lattice-gas model with three phases -- vapour, liquid, and triangular solid. While a straightforward mean-field treatment of the interparticle attraction is unable to give a stable liquid phase, the correct phase diagram is obtained when including a suitably chosen square-gradient term in the system grand potential. Taken this theory for granted, I further examine the structure of the solid-vapour interface as the triple point is approached from low temperature. Surprisingly, a novel phase (rather than the liquid) is found to grow at the interface, exhibiting an unusually long modulation along the interface normal. The conventional surface-melting behaviour is recovered only by artificially restricting the symmetries being available to the density field.Comment: 16 pages, 6 figure

Thermophysical study of 2-acetylthiophene: experimental and modelled results

Several thermophysical properties have been studied for 2-acetylthiophene: (i) vapour pressure was determined at temperatures within 336.16–445.02 K; (ii) density, speed of sound, static permittivity, refractive index, surface tension, and kinematic viscosity were measured at p = 0.1 MPa and at temperatures from 278.15 K (or 283.15 K for the refractive index) to 338.15 K; (iii) volumetric properties were also determined at temperatures in the (283.15–338.15) K range and at pressures up to 65.0 MPa. From these experimental values, different derivative properties have been calculated such as enthalpy of vaporization, isobaric expansibility, isothermal and isentropic compressibility, dipole moment, entropy and enthalpy of surface formation, and dynamic viscosity. All experimental properties were correlated and the results were explained through the intermolecular interactions. Moreover PC-SAFT EoS was used to model the thermodynamic behaviour of the compound. Finally, this EoS combined with the Density Gradient Theory allowed obtaining the influence parameter for the surface tension of 2-acetylthiophene