Calculation of product state distributions from resonance decay via Lanczos subspace filter diagonalization: Application to HO2

Resonance phenomena associated with the unimolecular dissociation of HO2 have been investigated quantum-mechanically by the Lanczos homogeneous filter diagonalization (LHFD) method. The calculated resonance energies, rates (widths), and product state distributions are compared to results from an autocorrelation function-based filter diagonalization (ACFFD) method. For calculating resonance wave functions via ACFFD, an analytical expression for the expansion coefficients of the modified Chebyshev polynomials is introduced. Both dissociation rates and product state distributions of O-2 show strong fluctuations, indicating the dissociation of HO2 is essentially irregular. (C) 2001 American Institute of Physics.

A semi-analytical solution for vibration of rectangular plates with abrupt thickness variation

A semi-analytical analysis of free vibration of plates with cross-sectional discontinuities due to abrupt changes in thickness is presented. A basic square element divided into suitable subdomains dependent upon the positions of these abrupt changes is used as the basic building element, Admissible functions that satisfy the essential or geometric boundary conditions are used to define the transverse deflection of each subdomain. Continuities in the displacement, slope, moment and higher derivatives between adjacent subdomains are enforced at the interconnecting edges. The resulting global energy functional from the proper assembly of the coupled strain and kinetic energy contributions of each subdomain is then minimized via the Ritz procedure to extract the frequencies and mode shapes. Contour plots of a range of new mode shapes are presented for the enhancement of understanding the dynamic behavior of this class of plates, (C) 2001 Elsevier Science Ltd, All rights reserved.

A(2)((2)) parafermions: a new conformal field theory

A new parafermionic algebra associated with the homogeneous space A(2)((2))/U(1) and its corresponding Z-algebra have been recently proposed. In this paper, we give a free boson representation of the A(2)((2)) parafermion algebra in terms of seven free fields. Free field realizations of the parafermionic energy-momentum tensor and screening currents are also obtained. A new algebraic structure is discovered, which contains a W-algebra type primary field with spin two. (C) 2002 Published by Elsevier Science B.V.

Riddling and invariance for discontinuous maps preserving Lebesgue measure

In this paper we use the mixture of topological and measure-theoretic dynamical approaches to consider riddling of invariant sets for some discontinuous maps of compact regions of the plane that preserve two-dimensional Lebesgue measure. We consider maps that are piecewise continuous and with invertible except on a closed zero measure set. We show that riddling is an invariant property that can be used to characterize invariant sets, and prove results that give a non-trivial decomposion of what we call partially riddled invariant sets into smaller invariant sets. For a particular example, a piecewise isometry that arises in signal processing (the overflow oscillation map), we present evidence that the closure of the set of trajectories that accumulate on the discontinuity is fully riddled. This supports a conjecture that there are typically an infinite number of periodic orbits for this system.

Set-valued Markov chains and negative semitrajectories of discretized dynamical systems

Computer simulation of dynamical systems involves a phase space which is the finite set of machine arithmetic. Rounding state values of the continuous system to this grid yields a spatially discrete dynamical system, often with different dynamical behaviour. Discretization of an invertible smooth system gives a system with set-valued negative semitrajectories. As the grid is refined, asymptotic behaviour of the semitrajectories follows probabilistic laws which correspond to a set-valued Markov chain, whose transition probabilities can be explicitly calculated. The results are illustrated for two-dimensional dynamical systems obtained by discretization of fractional linear transformations of the unit disc in the complex plane.

Efficient simulation of a Tandem Jackson Network

The two-node tandem Jackson network serves as a convenient reference model for the analysis and testing of different methodologies and techniques in rare event simulation. In this paper we consider a new approach to efficiently estimate the probability that the content of the second buffer exceeds some high level L before it becomes empty, starting from a given state. The approach is based on a Markov additive process representation of the buffer processes, leading to an exponential change of measure to be used in an importance sampling procedure. Unlike changes of measures proposed and studied in recent literature, the one derived here is a function of the content of the first buffer. We prove that when the first buffer is finite, this method yields asymptotically efficient simulation for any set of arrival and service rates. In fact, the relative error is bounded independent of the level L; a new result which is not established for any other known method. When the first buffer is infinite, we propose a natural extension of the exponential change of measure for the finite buffer case. In this case, the relative error is shown to be bounded (independent of L) only when the second server is the bottleneck; a result which is known to hold for some other methods derived through large deviations analysis. When the first server is the bottleneck, experimental results using our method seem to suggest that the relative error is bounded linearly in L.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Branching processes and computational collapse of discretized unimodal mappings

In computer simulations of smooth dynamical systems, the original phase space is replaced by machine arithmetic, which is a finite set. The resulting spatially discretized dynamical systems do not inherit all functional properties of the original systems, such as surjectivity and existence of absolutely continuous invariant measures. This can lead to computational collapse to fixed points or short cycles. The paper studies loss of such properties in spatial discretizations of dynamical systems induced by unimodal mappings of the unit interval. The problem reduces to studying set-valued negative semitrajectories of the discretized system. As the grid is refined, the asymptotic behavior of the cardinality structure of the semitrajectories follows probabilistic laws corresponding to a branching process. The transition probabilities of this process are explicitly calculated. These results are illustrated by the example of the discretized logistic mapping.

Multiple axon guidance cues establish the olfactory topographic map: how do these cues interact?

Each primary olfactory neuron stochastically expresses one of similar to1000 odorant receptors. The total population of these neurons therefore consists of similar to1,000 distinct subpopulations, each of which are mosaically dispersed throughout one of four semi-annular zones in the nasal cavity. The axons of these different subpopulations are initially intermingled within the olfactory nerve. However, upon reaching the olfactory bulb, they sort out and converge so that axons expressing the same odorant receptor typically target one or two glomeruli. The spatial location of each of these 1800 glomeruli are topographically-fixed in the olfactory bulb and are invariant from animal to animal. Thus, while odorant receptors are expressed mosaically by neurons throughout the olfactory neuroepithelium their axons sort out, converge and target the same glomerulus within the olfactory bulb. How is such precise and reproducible topographic targeting generated? While some of the mechanisms governing the growth cone guidance of olfactory sensory neurons are understood, the cues responsible for homing axons to their target site remain elusive.

The embryonic development of the bodywall and nervous system of the cestode flatworm Hymenolepis diminuta

Cestodes (tapeworms) are a derived, parasitic clade of the phylum Platyhelminthes (flatworms). The cestode body wall represents an adaptation to its endoparasitic lifestyle. The epidermis forms a nonciliated syncytium, and both muscular and nervous system are reduced. Morphological differences between cestodes and free-living flatworms become apparent already during early embryogenesis. Cestodes have a complex life cycle that begins with an infectious larva, called the oncosphere. In regard to cell number, cestode oncospheres are among the simplest multicellular organisms, containing in the order of 50-100 cells. As part of our continuing effort to analyze embryonic development in flatworms, we describe here the staining pattern obtained with acTub in embryos and larvae of the cestode Hymenolepis diminuta and, briefly, the monogenean Neoheterocotyle rhinobatidis. In addition, we labeled the embryonic musculature of Hymenolepis with phalloidin. In Hymenolepis embryos, two different cell types that we interpret as neurons and epidermal gland cells express acTub. There exist only two neurons that develop close to the midline at the anterior pole of the embryo. The axons of these two neurons project posteriorly into the center of the oncosphere, where they innervate the complex of muscles that is attached to the booklets. In addition to neurons, acTub labels a small and invariant set of epidermal gland cells that develop at superficial positions, anteriorly adjacent to the neurons, in the dorsal midline, and around the posteriorly located hooklets. During late stages of embryogenesis they spread and form a complete covering of the embryo. We discuss these data in the broader context of platyhelminth embryology.

New Zealand climate in the Neogene and implications for global atmospheric circulation

New Zealand has a good Neogene plant fossil record. During the Miocene it was without high topography and it was highly maritime, meaning that its climate, and the resulting vegetation, would be controlled dominantly by zonal climate conditions. Its vegetation record during this time suggests the climate passed from an ever-wet and cool but frostless phase in the Early Miocene in which Nothofagus subgenus Brassospora was prominent. Then it became seasonally dry, with vegetation in which palms and Eucalyptus were prominent and fires were frequent, and in the mid-Miocene, it developed a dry-climate vegetation dominated by Casuarinaceae. These changes are reflected in a sedimentological change from acidic to alkaline chemistry and the appearance of regular charcoal in the record. The vegetation then changed again to include a prominent herb component including Chenopodiaceae and Asteraceae. Sphagnum became prominent, and Nothofagus returned, but mainly as the subgenus Fuscospora (presently restricted to temperate climates). This is interpreted as a return to a generally wet, but now cold climate, in which outbreaks of cold polar air and frost were frequent. The transient drying out of a small maritime island and the accompanying vegetation/climate sequence could be explained by a higher frequency of the Sub-Tropical High Pressure (STHP) cells (the descending limbs of the Hadley cells) over New Zealand during the Miocene. This may have resulted from an increased frequency of 'blocking', a synoptic situation which occurs in the region today. An alternative hypothesis, that the global STHP belt lay at a significantly higher latitude in the early Neogene (perhaps 55degreesS) than today (about 30degreesS), is considered less likely because of physical constraints on STHP belt latitude. In either case, the difference between the early Neogene and present situation may have been a response to an increased polar-equatorial temperature gradient. This contrasts with current climate models for the geological past in which the latitude of the High Pressure belt impact is held invariant though geological time. (C) 2003 Elsevier Science B.V. All rights reserved.

Link invariants associated with gauge equivalent solutions of the Yang-Baxter equation: The one-parameter family of minimal typical representations of Uq[gl(2|1)]

In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U-q,[gl(2/1)]. We have implemented MATHEMATICA code to evaluate the invariants for all prime knots up to 10 crossings.