Highest Weight Modules of W1+∞, Darboux Transformations and the Bispectral Problem

This paper is a survey of our recent results on the bispectral problem. We describe a new method for constructing bispectral algebras of any rank and illustrate the method by a series of new examples as well as by all previously known ones. Next we exhibit a close connection of the bispectral problem to the representation theory of W1+∞–algerba. This connection allows us to explain and generalise to any rank the result of Magri and Zubelli on the symmetries of the manifold of the bispectral operators of rank and order two.

Backlund-Darboux Transformations in Sato's Grassmannian

We define Bäcklund–Darboux transformations in Sato’s Grassmannian. They can be regarded as Darboux transformations on maximal algebras of commuting ordinary differential operators. We describe the action of these transformations on related objects: wave functions, tau-functions and spectral algebras.

The data type of spatial objects

A spatial object consists of data assigned to points in a space. Spatial objects, such as memory states and three dimensional graphical scenes, are diverse and ubiquitous in computing. We develop a general theory of spatial objects by modelling abstract data types of spatial objects as topological algebras of functions. One useful algebra is that of continuous functions, with operations derived from operations on space and data, and equipped with the compact-open topology. Terms are used as abstract syntax for defining spatial objects and conditional equational specifications are used for reasoning. We pose a completeness problem: Given a selection of operations on spatial objects, do the terms approximate all the spatial objects to arbitrary accuracy? We give some general methods for solving the problem and consider their application to spatial objects with real number attributes. © 2011 British Computer Society.

Using SAT for Combinational Implementation Checking

The problem of checking whether a system of incompletely specified Boolean functions is implemented by the given combinational circuit is considered. The task is reduced to testing out if two given logical descriptions are equivalent on the domain of one of them having functional indeterminacy. We present a novel SAT-based verification method that is used for testing whether the given circuit satisfies all the conditions represented by the system of incompletely specified Boolean functions.

Powers and Logarithms

There are applied power mappings in algebras with logarithms induced by a given linear operator D in order to study particular properties of powers of logarithms. Main results of this paper will be concerned with the case when an algebra under consideration is commutative and has a unit and the operator D satisfies the Leibniz condition, i.e. D(xy) = xDy + yDx for x, y ∈ dom D. Note that in the Number Theory there are well-known several formulae expressed by means of some combinations of powers of logarithmic and antilogarithmic mappings or powers of logarithms and antilogarithms (cf. for instance, the survey of Schinzel S[1].

Canonical Objects in Classes of (n, V)-Groupoids

AMS Subj. Classification: 03C05, 08B20

A Basis for Z-Graded Identities of Matrices over Infinite Fields

2000 Mathematics Subject Classification: 16R10, 16R20, 16R50

Binomial Skew Polynomial Rings, Artin-Schelter Regularity, and Binomial Solutions of the Yang-Baxter Equation

2000 Mathematics Subject Classification: Primary 81R50, 16W50, 16S36, 16S37.

The effect of slow passage in the pulse-pumped quantum dot laser

In recent years, quantum-dot (QD) semiconductor lasers attract significant interest in many practical applications due to their advantages such as high-power pulse generation because to the high gain efficiency. In this work, the pulse shape of an electrically pumped QD-laser under high current is analyzed. We find that the slow rise time of the pulsed pump may significantly affect the high intensity output pulse. It results in sharp power dropouts and deformation of the pulse profile. We address the effect to dynamical change of the phase-amplitude coupling in the proximity of the excited state (ES) threshold. Under 30ns pulse pumping, the output pulse shape strongly depends on pumping amplitude. At lower currents, which correspond to lasing in the ground state (GS), the pulse shape mimics that of the pump pulse. However, at higher currents the pulse shape becomes progressively unstable. The instability is greatest when in proximity to the secondary threshold which corresponds to the beginning of the ES lasing. After the slow rise stage, the output power sharply drops out. It is followed by a long-time power-off stage and large-scale amplitude fluctuations. We explain these observations by the dynamical change of the alpha-factor in the QD-laser and reveal the role of the slowly rising pumping processes in the pulse shaping and power dropouts at higher currents. The modeling is in very good agreement with the experimental observations. © 2014 SPIE.

Dynamical interplay between ground and excited states in quantum dot laser

Full text: Semiconductor quantum dot lasers are attractive for multipletechnological applications in biophotonics. Simultaneous two-state lasing ofground state (GS) and excited state (ES) electrons and holes in QD lasers ispossible under a certain parameter range. It has already been investigated in steady-stateoperations and in dynamical regimes and is currently a subject of the intesiveresearch. It has been shown that the relaxation frequency in the two-state lasingregime is not a function of the total intensity [1], as could be traditionallyexpected.In this work we study damping relaxation oscillations in QD lasersimultaneously operating at two transitions, and find that under variouspumping conditions, the frequency of oscillations may decrease, increase orstay without change in time as shown in Fig1.The studied QD laser structure wasgrown on a GaAs substrate by molecular-beam epitaxy. The active region includedfive layers of self-assembled InAs QDs separated with a GaAs spacer from a5.3nm thick covering layer of InGaAs and processed into 4mm-wide mesa stripe devices. The 2.5mm long lasers withhigh-and antireflection coatings on the rear and front facets lasesimultaneously at the GS (around 1265nm) and ES (around 1190nm) in the wholerange of pumping. Pulsed electrical pumping obtained from a high power (up to2A current) pulse source was used to achieve high output power operation. We simultaneously detect the total output and merely ES output using aBragg filter transmitting the short-wavelength and reflecting the long-wavelengthradiation. Typical QD does not demonstrate relaxation oscillations frequencybecause of the strong damping [2]. It is confirmed for the low (I<0.68A) andhigh (I>1.2 A) range of the pump currents in our experiments. The situationis different for a short range of the medium currents (0.68A

Lie Groups as Four-Dimensional Special Complex Manifolds with Norden Metric

Марта Теофилова - Конструиран е пример на четиримерно специално комплексно многообразие с норденова метрика и постоянна холоморфна секционна кривина чрез двупара-метрично семейство от разрешими алгебри на Ли. Изследвани са кривинните свойства на полученото многообразие. Дадени са необходими и достатъчни усло-вия за разглежданото многообразие да бъде изотропно келерово.

Dropout dynamics in pulsed quantum dot lasers due to mode jumping

We examine the response of a pulse pumped quantum dot laser both experimentally and numerically. As the maximum of the pump pulse comes closer to the excited-state threshold, the output pulse shape becomes unstable and leads to dropouts. We conjecture that these instabilities result from an increase of the linewidth enhancement factor α as the pump parameter comes close to the excitated state threshold. In order to analyze the dynamical mechanism of the dropout, we consider two cases for which the laser exhibits either a jump to a different single mode or a jump to fast intensity oscillations. The origin of these two instabilities is clarified by a combined analytical and numerical bifurcation diagram of the steady state intensity modes.

A Generalized Quasi-Likelihood Estimator for Nonstationary Stochastic Processes−Asymptotic Properties and Examples

2010 Mathematics Subject Classification: 62F12, 62M05, 62M09, 62M10, 60G42.

Convexity around the Unit of a Banach Algebra

2000 Mathematics Subject Classification: Primary: 46B20. Secondary: 46H99, 47A12.

A Note About the Nowicki Conjecture on Weitzenböck Derivations

2000 Mathematics Subject Classification: 13N15, 13A50, 16W25.