Ballistic spin transport in exciton gases

Traditional spintronics relies on spin transport by charge carriers, such as electrons in semiconductor crystals. This brings several complications: the Pauli principle prevents the carriers from moving with the same speed; Coulomb repulsion leads to rapid dephasing of electron flows. Spin-optronics is a valuable alternative to traditional spintronics. In spin-optronic devices the spin currents are carried by electrically neutral bosonic quasi-particles: excitons or exciton-polaritons. They can form highly coherent quantum liquids and carry spins over macroscopic distances. The price to pay is a finite life-time of the bosonic spin carriers. We present the theory of exciton ballistic spin transport which may be applied to a range of systems where bosonic spin transport has been reported, in particular, to indirect excitons in coupled GaAs/AlGaAs quantum wells. We describe the effect of spin-orbit interaction of electrons and holes on the exciton spin, account for the Zeeman effect induced by external magnetic fields, long range and short range exchange splittings of the exciton resonances. We also consider exciton transport in the non-linear regime and discuss the definitions of exciton spin current, polarization current and spin conductivity.Comment: 16 pages, 10 figures to be published in Phys. Rev.

Rashba-control for the spin excitation of a fully spin polarized vertical quantum dot

Far infrared radiation absorption of a quantum dot with few electrons in an orthogonal magnetic field could monitor the crossover to the fully spin polarized state. A Rashba spin-orbit coupling can tune the energy and the spin density of the first excited state which has a spin texture carrying one extra unit of angular momentum. The spin orbit coupling can squeeze a flipped spin density at the center of the dot and can increase the gap in the spectrum.Comment: 4 pages, 5 figure

Formal Verification Integration Approach for DSML

International audienceThe application of formal methods (especially, model check- ing and static analysis techniques) for the verification of safety critical embedded systems has produced very good results and raised the inter- est of system designers up to the application of these technologies in real size projects. However, these methods usually rely on specific verifica- tion oriented formal languages that most designers do not master. It is thus mandatory to embed the associated tools in automated verification toolchains that allow designers to rely on their usual domain-specific modeling languages (DSMLs) while enjoying the benefits of these power- ful methods. More precisely, we propose a language to formally express system requirements and interpret verification results so that system designers (DSML end-users) avoid the burden of learning some formal verification technologies. Formal verification is achieved through trans- lational semantics. This work is based on a metamodeling pattern for executable DSML that favors the definition of generative tools and thus eases the integration of tools for new DSML

"Wet-to-Dry" Conformational Transition of Polymer Layers Grafted to Nanoparticles in Nanocomposite

The present communication reports the first direct measurement of the conformation of a polymer corona grafted around silica nano-particles dispersed inside a nanocomposite, a matrix of the same polymer. This measurement constitutes an experimental breakthrough based on a refined combination of chemical synthesis, which permits to match the contribution of the neutron silica signal inside the composite, and the use of complementary scattering methods SANS and SAXS to extract the grafted polymer layer form factor from the inter-particles silica structure factor. The modelization of the signal of the grafted polymer on nanoparticles inside the matrix and the direct comparison with the form factor of the same particles in solution show a clear-cut change of the polymer conformation from bulk to the nanocomposite: a transition from a stretched and swollen form in solution to a Gaussian conformation in the matrix followed with a compression of a factor two of the grafted corona. In the probed range, increasing the interactions between the grafted particles (by increasing the particle volume fraction) or between the grafted and the free matrix chains (decreasing the grafted-free chain length ratio) does not influence the amplitude of the grafted brush compression. This is the first direct observation of the wet-to-dry conformational transition theoretically expected to minimize the free energy of swelling of grafted chains in interaction with free matrix chains, illustrating the competition between the mixing entropy of grafted and free chains, and the elastic deformation of the grafted chains. In addition to the experimental validation of the theoretical prediction, this result constitutes a new insight for the nderstanding of the general problem of dispersion of nanoparticles inside a polymer matrix for the design of new nanocomposites materials

The program is the model: Enabling [email protected]

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-36089-3_7Revised Selected Papers of 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012The increasing application of Model-Driven Engineering in a wide range of domains, in addition to pure code generation, raises the need to manipulate models at runtime, as part of regular programs. Moreover, certain kinds of programming tasks can be seen as model transformation tasks, and thus we could take advantage of model transformation technology in order to facilitate them. In this paper we report on our works to bridge the gap between regular programming and model transformation by enabling the manipulation of Java APIs as models. Our approach is based on the specification of a mapping between a Java API (e.g., Swing) and a meta-model describing it. A model transformation definition is written against the API meta-model and we have built a compiler that generates the corresponding Java bytecode according to the mapping. We present several application scenarios and discuss the mapping between object-oriented meta-modelling and the Java object system. Our proposal has been validated by a prototype implementation which is also contributed.Work funded by the Spanish Ministry of Economy and Competitivity (TIN2011-24139), and the R&D programme of Madrid Region (S2009/TIC-1650)

Spin Exciton in quantum dot with spin orbit coupling in high magnetic field

Coulomb interactions of few ($N$) electrons confined in a disk shaped quantum dot, with a large magnetic field $B=B^*$ applied in the z-direction (orthogonal to the dot), produce a fully spin polarized ground state. We numerically study the splitting of the levels corresponding to the multiplet of total spin $S=N/2$ (each labeled by a different total angular momentum $J_z$) in presence of an electric field parallel to $B$, coupled to $S$ by a Rashba term. We find that the first excited state is a spin exciton with a reversed spin at the origin. This is reminiscent of the Quantum Hall Ferromagnet at filling one which has the skyrmion-like state as its first excited state. The spin exciton level can be tuned with the electric field and infrared radiation can provide energy and angular momentum to excite it.Comment: 9 pages, 9 figures. submitted to Phys.Rev.

Multifractality of Drop Breakup in Air-blast Nozzle Atomization Process

The multifractal nature of drop breakup in air-blast nozzle atomization process has been studied. We apply the multiplier method to extract the negative and the positive parts of the f(alpha) curve with the data of drop size distribution measured using Dual PDA. A random multifractal model with the multiplier triangularly distributed is proposed to characterize the breakup of drops. The agreement of the left part of the multifractal spectra between the experimental result and the model is remarkable. The cause of the distinction of the right part of the f(alpha) curve is argued. The fact that negative dimensions arise in the current system means that the spatial distribution of the drops yielded by the high-speed jet fluctuates from sample to sample. On other words, the spatial concentration distribution of the disperse phase in the spray zone fluctuates momentarily showing intrinsic randomness

Acoustic Phonon-Assisted Resonant Tunneling via Single Impurities

We perform the investigations of the resonant tunneling via impurities embedded in the AlAs barrier of a single GaAs/AlGaAs heterostructure. In the $I(V)$ characteristics measured at 30mK, the contribution of individual donors is resolved and the fingerprints of phonon assistance in the tunneling process are seen. The latter is confirmed by detailed analysis of the tunneling rates and the modeling of the resonant tunneling contribution to the current. Moreover, fluctuations of the local structure of the DOS (LDOS) and Fermi edge singularities are observed.Comment: accepted in Phys. Rev.

Solving Constraints in Model Transformations

Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations - as a pathway to wide spread use of our approach - and describes the corresponding model transformation engine. In particular, the paper will illustrate the use of constraint programming for the specification of attribute values in target models, and provide a qualitative evaluation of the benefit drawn from constraints integrated with QVT Relations