Lattices contained in planar orders are planar

The covering graph of a lattice which is contained in an ordered set with a planar covering graph is itself planar.Presented by R. W. Quackenbush.     

Optimal inspection and perfect repair

Models are developed for decision making about monitoring andmaintenance of systems whose performance through time is describedby a general stochastic process. The system is monitored andpreventive and corrective maintenance actions are carried outin response to the observed system state. The decision processis simplified by using the maximum process as a decision variable.The models developed generalize age replacement models and othersimple maintenance strategies. The approach can deal with failuresthat prevent the system functioning further, and also failuresthat are defined by regulation or economic considerations. Attentionis restricted to perfect repair and inspection, but the structureprovides the framework for further developments.     

Recent developments in algebraic combinatorics

We survey three recent developments in algebraic combinatorics. The first is the theory of cluster algebras and the Laurent phenomenon of Sergey Fomin and Andrei Zelevinsky. The second is the construction of toric Schur functions and their application to computing three-point Gromov-Witten invariants, by Alexander Postnikov. The third development is the construction of intersection cohomology for nonrational fans by Paul Bressler and Valery Lunts and its application by Kalle Karu to the torich-vector of a nonrational polytope. We also briefly discuss the “half hard Lefschetz theorem” of Ed Swartz and its application to matroid complexes. Partially supported by NSF grant #DMS-9988459.     

Tip-induced local anodic oxidation on p-GaAs surface with non-contact atomic force microscopy

Nano-sized oxide structures resulted from localized electrochemical oxidation induced by a negatively biased atomic force microscopy (AFM) tip operated with the non-contact mode were fabricated on p-GaAs(1 0 0) surface. The geometrical characteristics of the oxide patterns and their dependences on various fabrication parameters, e.g., the anodization time, the biased voltages, the tip scanning rates, as well as the formation mechanism and relevant growth kinetics are investigated. Results indicate that the height of the protruded oxide dots grow exponentially as a function of time in the initial stage of oxidation and soon reaches a maximum height depending linearly with the anodized voltages, in according with the behaviors predicted by space charge limited local oxidation mechanism. In addition, selective micro-Auger analysis of the anodized region reveals the formation of Ga(As)O_x, indicating the prominent role played by the field-induced nanometer-size water meniscus in producing the nanometer-scale oxide dots and bumps on p-GaAs(1 0 0) surface.     

The Linear Rational Pseudospectral Method with Preassigned Poles

We present a linear rational pseudospectral (collocation) method with preassigned poles for solving boundary value problems. It consists in attaching poles to the trial polynomial so as to make it a rational interpolant. Its convergence is proved by transforming the problem into an associated boundary value problem. Numerical examples demonstrate that the rational pseudospectral method is often more efficient than the polynomial method.     

Small Exotic Molecules with Bosonic Constituents

We study the stability and the properties of the ground state of neutral systems containing up to four positively charged bosons and their antiparticles. Examples are the di-pionium molecule (π ⁺ π ⁻)², which is almost identical to the positronium molecule (e ⁺ e ⁻)², the tri-pionium (π ⁺ π ⁻)³, and the quadri-pionium (π ⁺ π ⁻)⁴ molecules. We briefly compare our results on the energy to those on the large-N limit of (π ⁺ π ⁻) ^N . We also show that the annihilation probability can be calculated accurately with simple wave functions when one uses the generalized Schwinger rule. Received September 5, 1994; accepted for publication October 15, 1994