Analytic solution for the nondegenerate quantum control problem

We present an analytic solution for the nondegenerate quantum control problem, i.e., the transfer of a deliberate amount of population, 0%-100%, between arbitrary initial Psi(t)> and final Psi'(t)> states, which can be expanded in terms of nondegenerate energy eigenstates k>. The solution constitutes a robust two-photon multicomponent adiabatic passage, via an intermediate eigenstate 0>, which relies on three types of "null states."     

Simulation of ultrasonic pulse propagation, distortion, and attenuation in the human chest wall

A finite-difference time-domain model for ultrasonic pulse propagation through soft tissue has been extended to incorporate absorption effects as well as longitudinal-wave propagation in cartilage and bone. This extended model has been used to simulate ultrasonic propagation through anatomically detailed representations of chest wall structure. The inhomogeneous chest wall tissue is represented by two-dimensional maps determined by staining chest wall cross sections to distinguish between tissue types, digitally scanning the stained cross sections, and mapping each pixel of the scanned images to fat, muscle, connective tissue, cartilage, or bone. Each pixel of the tissue map is then assigned a sound speed, density, and absorption value determined from published measurements and assumed to be representative of the local tissue type. Computational results for energy level fluctuations and arrival time fluctuations show qualitative agreement with measurements performed on the same specimens, but show significantly less waveform distortion than measurements. Visualization of simulated tissue-ultrasound interactions in the chest wall shows possible mechanisms for image aberration in echocardiography, including effects associated with reflection and diffraction caused by rib structures. A comparison of distortion effects for varying pulse center frequencies shows that, for soft tissue paths through the chest wall, energy level and waveform distortion increase markedly with rising ultrasonic frequency and that arrival-time fluctuations increase to a lesser degree.     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.

     

On parallel asynchronous high-order solutions of parabolic PDEs

In achieving significant speed-up on parallel machines, a major obstacle is the overhead associated with synchronizing the concurrent processes. This paper presents high-orderparallel asynchronous schemes, which are schemes that are specifically designed to minimize the associated synchronization overhead of a parallel machine in solving parabolic PDEs. They are asynchronous in the sense that each processor is allowed to advance at its own speed. Thus, these schemes are suitable for single (or multi) user shared memory or (message passing) MIMD multiprocessors. Our approach is demonstrated for the solution of the multidimensional heat equation, of which we present a spatial second-order Parametric Asynchronous Finite-Difference (PAFD) scheme. The well-known synchronous schemes are obtained as its special cases. This is a generalization and expansion of the results in [5] and [7]. The consistency, stability and convergence of this scheme are investigated in detail. Numerical tests show that although PAFD provides the desired order of accuracy, its efficiency is inadequate when performed on each grid point.In an alternative approach that uses domain decomposition, the problem domain is divided among the processors. Each processor computes its subdomain mostly independently, while the PAFD scheme provides the solutions at the subdomains' boundaries. We use high-order finite-difference implicit scheme within each subdomain and determine the values at subdomains' boundaries by the PAFD scheme. Moreover, in order to allow larger time-step, we use remote neighbors' values rather than those of the immediate neighbors. Numerical tests show that this approach provides high efficiency and in the case which uses remote neighbors' values an almost linear speedup is achieved. Schemes similar to the PAFD can be developed for other types of equations [3].This research was supported by the fund for promotion of research at the Technion.     

The numerical radius and specttural matrices

In this paper we investigate spectral matrices, i.e., matrices with equal spectral and numerical radii. Various characterizations and properties of these matrices are given.     

Some concepts of positive dependence for bivariate interchangeable distributions

In this work we consider some familiar and some new concepts of positive dependence for interchangeable bivariate distributions. By characterizing distributions which are positively dependent according to some of these concepts, we indicate real situations in which these concepts arise naturally. For the various families of positively dependent distributions we prove some closure properties and demonstrate all the possible logical relations. Some inequalities are shown and applied to determine whether under- (or over-) estimates, of various probabilistic quantities, occur when a positively dependent distribution is assumed (falsely) to be the product of its marginals (that is, when two positively dependent random variables are assumed, falsely, to be independent). Specific applications in reliability theory, statistical mechanics and reversible Markov processes are discussed. This work was partially supported by National Science Foundation GP-30707X1. It is part of the author's Ph.D. dissertation prepared at the University of Rochester and supervised by A. W. Marshall. Now at Indiana University.