On equations for regular languages, finite automata, and sequential networks

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

Resonance-enhanced group delay times in an asymmetric single quantum barrier

It is shown that transmission and reflection group delay times in an asymmetric single quantum barrier are greatly enhanced by the transmission resonance when the energy of incident particles is larger than the height of the barrier. The resonant transmission group delay is of the order of the quasibound state lifetime in the barrier region. The reflection group delay can be either positive or negative, depending on the relative height of the potential energies on the two sides of the barrier. Its magnitude is much larger than the quasibound state lifetime. These predictions have been observed in microwave experiments. (c) 2005 Elsevier B.V. All rights reserved.

Controllable negative and positive group delay in transmission through a single quantum well at finite magnetic fields

We investigate the controllable negative and positive group delay in transmission through a single quantum well at the finite longitudinal magnetic fields. It is shown that the magneto-coupling effect between the longitudinal motion component and the transverse Landau orbits plays an important role in the group delay. The group delay depends not only on the width of potential well and the incident energy, but also on the magnetic-field strengthen and the Landau quantum number. The results show that the group delay can be changed from positive to negative by the modulation of the magnetic field. These interesting phenomena may lead to the tunable quantum mechanical delay line. (c) 2007 Elsevier B.V. All rights reserved.

Transient and nonlinear analysis of slow-light pulse propagation in an optical fiber via stimulated Brillouin scattering

We investigate slow-light pulse propagation in an optical fiber via transient stimulated Brillouin scattering. Space-time evolution of a generating slow-light pulse is numerically calculated by solving three-wave coupled-mode equations between a pump beam, an acoustic wave, and a counterpropagating signal pulse. Our mathematical treatments are applicable to both narrowband and broadband pump cases. We show that the time delay of 85% pulse width can be obtained for a signal pulse of the order of subnanosecond pulse width by using a broadband pump, while the signal pulse is broadened only by 40% of the input signal pulse. The physical origin of the pulse broadening and distortion is explained in terms of the temporal decay of the induced acoustic field. (C) 2009 Optical Society of America