Wave Functions and Energies of Magnetopolarons in Semiconductor Quantum Wells

The classification of magnetopolarons in semiconductor quantum wells (QW) is represented. Magnetopolarons appear due to the Johnson - Larsen effect. The wave functions of usual and combined magnetopolarons are obtained by the diodanalization of the Schrodinger equation.Comment: 7 pages, 2 figure

Finding Finite Models in Multi-Sorted First-Order Logic

This work extends the existing MACE-style finite model finding approach to multi-sorted first order logic. This existing approach iteratively assumes increasing domain sizes and encodes the related ground problem as a SAT problem. When moving to the multi-sorted setting each sort may have a different domain size, leading to an explosion in the search space. This paper focusses on methods to tame that search space. The key approach adds additional information to the SAT encoding to suggest which domains should be grown. Evaluation of an implementation of techniques in the Vampire theorem prover shows that they dramatically reduce the search space and that this is an effective approach to find finite models in multi-sorted first order logic.Comment: SAT 201

Laplace transformations of hydrodynamic type systems in Riemann invariants: periodic sequences

The conserved densities of hydrodynamic type system in Riemann invariants satisfy a system of linear second order partial differential equations. For linear systems of this type Darboux introduced Laplace transformations, generalising the classical transformations in the scalar case. It is demonstrated that Laplace transformations can be pulled back to the transformations of the corresponding hydrodynamic type systems. We discuss periodic Laplace sequences of with the emphasize on the simplest nontrivial case of period 2. For 3-component systems in Riemann invariants a complete discription of closed quadruples is proposed. They turn to be related to a special quadratic reduction of the (2+1)-dimensional 3-wave system which can be reduced to a triple of pairwize commuting Monge-Ampere equations. In terms of the Lame and rotation coefficients Laplace transformations have a natural interpretation as the symmetries of the Dirac operator, associated with the (2+1)-dimensional n-wave system. The 2-component Laplace transformations can be interpreted also as the symmetries of the (2+1)-dimensional integrable equations of Davey-Stewartson type. Laplace transformations of hydrodynamic type systems originate from a canonical geometric correspondence between systems of conservation laws and line congruences in projective space.Comment: 22 pages, Late

On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

Cutting Edge Geometry Effect on Plastic Deformation of Titanium Alloy

The paper presents experimental studies of ОТ4 titanium alloy machining with cutting edges of various geometry parameters. Experiments were performed at a low speed by the scheme of free cutting. Intensity of plastic shear strain was set for defining of cutting edge geometry effect on machining. Images of chip formed are shown. Estimation of strain magnitude was accomplished with digital image correlation method. Effect of rake angle and cutting edge angle has been studied. Depth of deformed layer and the area of the plastic strain is determine. Results showed that increasing the angle of the cutting edge inclination results in a change the mechanism of chip formation

Holstein polarons in a strong electric field: delocalized and stretched states

The coherent dynamics of a Holstein polaron in strong electric fields is considered under different regimes. Using analytical and numerical analysis, we show that even for small hopping constant and weak electron-phonon interaction, the original discrete Wannier-Stark (WS) ladder electronic states are each replaced by a semi-continuous band if a resonance condition is satisfied between the phonon frequency and the ladder spacing. In this regime, the original localized WS states can become {\em delocalized}, yielding both `tunneling' and `stretched' polarons. The transport properties of such a system would exhibit a modulation of the phonon replicas in typical tunneling experiments. The modulation will reflect the complex spectra with nearly-fractal structure of the semi-continuous band. In the off-resonance regime, the WS ladder is strongly deformed, although the states are still localized to a degree which depends on the detuning: Both the spacing between the levels in the deformed ladder and the localization length of the resulting eigenfunctions can be adjusted by the applied electric field. We also discuss the regime beyond small hopping constant and weak coupling, and find an interesting mapping to that limit via the Lang-Firsov transformation, which allows one to extend the region of validity of the analysis.Comment: 10 pages, 13 figures, submitted to PR

DYNAMICS OF MORBIDITY OF POPULATION IN IRKUTSK BETWEEN DURING SOCIO-ECONOMIC REFORMS

This article presents an analysis of disease trends in selected age groups of the population of Irkutsk for the period of 1992-2009 and it is found that most of these trends are dependent on socio-economic factors. Built polynomial regression models revealed significant increase in morbidity of mental disorders in children, diseases of the nervous system and. the digestive system against opposing change prevalence of adolescent and. adult population for the analyzed period

Carbon Supported Polyaniline as Anode Catalyst: Pathway to Platinum-Free Fuel Cells

The effectiveness of carbon supported polyaniline as anode catalyst in a fuel cell (FC) with direct formic acid electrooxidation is experimentally demonstrated. A prototype FC with such a platinum-free composite anode exhibited a maximum room-temperature specific power of about 5 mW/cm2Comment: 11 pages, 3 Postscript figures, atricle tex styl

Resonant X-ray Scattering in Manganites - Study of Orbital Degree of Freedom -

Orbital degree of freedom of electrons and its interplay with spin, charge and lattice degrees of freedom are one of the central issues in colossal magnetoresistive manganites. The orbital degree of freedom has until recently remained hidden, since it does not couple directly to most of experimental probes. Development of synchrotron light sources has changed the situation; by the resonant x-ray scattering (RXS) technique the orbital ordering has successfully been observed . In this article, we review progress in the recent studies of RXS in manganites. We start with a detailed review of the RXS experiments applied to the orbital ordered manganites and other correlated electron systems. We derive the scattering cross section of RXS where the tensor character of the atomic scattering factor (ASF) with respect to the x-ray polarization is stressed. Microscopic mechanisms of the anisotropic tensor character of ASF is introduced and numerical results of ASF and the scattering intensity are presented. The azimuthal angle scan is a unique experimental method to identify RXS from the orbital degree of freedom. A theory of the azimuthal angle and polarization dependence of the RXS intensity is presented. The theoretical results show good agreement with the experiments in manganites. Apart from the microscopic description of ASF, a theoretical framework of RXS to relate directly to the 3d orbital is presented. The scattering cross section is represented by the correlation function of the pseudo-spin operator for the orbital degree of freedom. A theory is extended to the resonant inelastic x-ray scattering and methods to observe excitations of the orbital degree of freedom are proposed.Comment: 47 pages, 24 figures, submitted to Rep. Prog. Phy

Spallation reactions. A successful interplay between modeling and applications

The spallation reactions are a type of nuclear reaction which occur in space by interaction of the cosmic rays with interstellar bodies. The first spallation reactions induced with an accelerator took place in 1947 at the Berkeley cyclotron (University of California) with 200 MeV deuterons and 400 MeV alpha beams. They highlighted the multiple emission of neutrons and charged particles and the production of a large number of residual nuclei far different from the target nuclei. The same year R. Serber describes the reaction in two steps: a first and fast one with high-energy particle emission leading to an excited remnant nucleus, and a second one, much slower, the de-excitation of the remnant. In 2010 IAEA organized a worskhop to present the results of the most widely used spallation codes within a benchmark of spallation models. If one of the goals was to understand the deficiencies, if any, in each code, one remarkable outcome points out the overall high-quality level of some models and so the great improvements achieved since Serber. Particle transport codes can then rely on such spallation models to treat the reactions between a light particle and an atomic nucleus with energies spanning from few tens of MeV up to some GeV. An overview of the spallation reactions modeling is presented in order to point out the incomparable contribution of models based on basic physics to numerous applications where such reactions occur. Validations or benchmarks, which are necessary steps in the improvement process, are also addressed, as well as the potential future domains of development. Spallation reactions modeling is a representative case of continuous studies aiming at understanding a reaction mechanism and which end up in a powerful tool.Comment: 59 pages, 54 figures, Revie