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.

Anharmonicity and asymmetry of Landau levels for a two-dimensional electron gas

We calculate the density of states of a two dimensional electron gas located at the interface of a GaAlAs/GaAs heterojunction. The disorder potential which is generally created by a single doping layer behind a spacer, is here enhanced by the presence of a second delta doped layer of scatterers which can be repulsive or attractive impurities. We have calculated the density of states by means of the Klauder's approximation, in the presence of a magnetic field of arbitrary strength. At low field either band tails or impurity bands are observed for attractive potentials, depending on the impurity concentration. At higher field, impurity bands are observed for both repulsive and attractive potentials. We discuss the effect of such an asymmetrical density of states on the transport properties in the quantum Hall effect regime.Comment: 22 pages, 12 figures. submitted to Phys. Rev.

Using Process Algebra to Statically Analyze Incremental Propagation Graphs

Active Operations are a set of operations that can be composed to build incremental bidirectional OCL-like expressions on collections. Each operation is capable of updating its result (resp. source) when a change occurs on its source (resp. result). The current implementation of active operations relies on the Observer design pattern to propagate changes from each operation to its successors. These relations form an implicit directed acyclic propagation graph. Previous work showed that this approach is limited and alignment issues appear in some situations. Several workarounds were proposed to mitigate these issues. In this work we present a new relational notation to describe propagation graphs. Along with this notation, we also present a new static analysis method of the propagation graph based on process algebra. This new method enables optimizations of the propagation graph not achievable with previous approaches, such as detection of parallelizable sections of the propagation graph or cache optimizations in specific situation

Static analysis of incremental propagation graphs with process algebra

Poster presentation related to OCL workshop 2018International audienc

Definitive chemical evidence for the constitutive ability of Candida albicans serotype A strains to synthesize β-1,2 linked oligomannosides containing up to 14 mannose residues

AbstractWe have previously reported the presence of phosphate bound β-1,2 linked oligomannosides with unusually high degrees of polymerization (DP>7) in the mannan of Candida albicans strain VW32. To confirm this observation, we have prepared these oligomannosides from the mannan of C. albicans strain NIH A 207. Gel filtration chromatography and TLC analysis revealed DP up to 14. For both strains, NMR analysis confirmed the exclusive presence of β-1,2 linkages in the pools of oligomannosides with a DP higher than 6 which presented an average DP of 10.6 (VW32) and 10.4 (NIH A 207). These results are important to consider in relation with the ability of these C. albicans derived oligomannosides to trigger TNFα synthesis according to their DP

Quantum Hall resistance standards from graphene grown by chemical vapor deposition on silicon carbide

Replacing GaAs by graphene to realize more practical quantum Hall resistance standards (QHRS), accurate to within $10^{-9}$ in relative value, but operating at lower magnetic fields than 10 T, is an ongoing goal in metrology. To date, the required accuracy has been reported, only few times, in graphene grown on SiC by sublimation of Si, under higher magnetic fields. Here, we report on a device made of graphene grown by chemical vapour deposition on SiC which demonstrates such accuracies of the Hall resistance from 10 T up to 19 T at 1.4 K. This is explained by a quantum Hall effect with low dissipation, resulting from strongly localized bulk states at the magnetic length scale, over a wide magnetic field range. Our results show that graphene-based QHRS can replace their GaAs counterparts by operating in as-convenient cryomagnetic conditions, but over an extended magnetic field range. They rely on a promising hybrid and scalable growth method and a fabrication process achieving low-electron density devices.Comment: 12 pages, 8 figure

An XQuery-based Model Transformation Language

In this paper we propose a framework for model transformation in XQuery. Our proposal aims to provide the elements for using XQuery as a transformation language. With this aim, our framework provides a mechanism for automatically obtaining an XQuery library for a given meta-model. Meta-models are defined as XML schemas, and the XQuery library serves to query and create elements of an XML Schema. Transformations abstract from XML representation, in the sense of, elements from meta-models are encapsulated by XQuery functions. We have also studied how to use our framework for model validation. Source and target models and transformations are validated by considering constraints. The framework has been tested with a case study of transformation in UML, where the XML-based representation of models is achieved by the standardized language XMI

Vertically coupled double quantum rings at zero magnetic field

Within local-spin-density functional theory, we have investigated the `dissociation' of few-electron circular vertical semiconductor double quantum ring artificial molecules at zero magnetic field as a function of inter-ring distance. In a first step, the molecules are constituted by two identical quantum rings. When the rings are quantum mechanically strongly coupled, the electronic states are substantially delocalized, and the addition energy spectra of the artificial molecule resemble those of a single quantum ring in the few-electron limit. When the rings are quantum mechanically weakly coupled, the electronic states in the molecule are substantially localized in one ring or the other, although the rings can be electrostatically coupled. The effect of a slight mismatch introduced in the molecules from nominally identical quantum wells, or from changes in the inner radius of the constituent rings, induces localization by offsetting the energy levels in the quantum rings. This plays a crucial role in the appearance of the addition spectra as a function of coupling strength particularly in the weak coupling limit.Comment: 18 pages, 8 figures, submitted to Physical Review

Toward a Declarative Language to Generate Explorable Sets of Models

Model transformation has proven to be an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target model from a given source model. However there exists situations where a collection of target models is preferred over a single one. Such situations arise when some choices cannot be encoded in the transformation. In this paper, we introduce an approach that combines model transformation and constraints programming to generate explorable sets of target models from source models. Our approach is built around the notion of the bridge variable that binds target model properties to decision variables. To help users apply the approach, we also introduce a declarative language to write such transformations. We evaluate our approach and language on a case study for diagram visualization