Neural networks for modelling and control of a non-linear dynamic system

The authors describe the use of neural nets to model and control a nonlinear second-order electromechanical model of a drive system with varying time constants and saturation effects. A model predictive control structure is used. This is compared with a proportional-integral (PI) controller with regard to performance and robustness against disturbances. Two feedforward network types, the multilayer perceptron and radial-basis-function nets, are used to model the system. The problems involved in the transfer of connectionist theory to practice are discussed

Monoclinic and triclinic phases in higher-order Devonshire theory

Devonshire theory provides a successful phenomenological description of many cubic perovskite ferroelectrics such as BaTiO3 via a sixth-order expansion of the free energy in the polar order parameter. However, the recent discovery of a novel monoclinic ferroelectric phase in the PZT system by Noheda et al. (Appl. Phys. Lett. 74, 2059 (1999)) poses a challenge to this theory. Here, we confirm that the sixth-order Devonshire theory cannot support a monoclinic phase, and consider extensions of the theory to higher orders. We show that an eighth-order theory allows for three kinds of equilibrium phases in which the polarization is confined not to a symmetry axis but to a symmetry plane. One of these phases provides a natural description of the newly observed monoclinic phase. Moreover, the theory makes testable predictions about the nature of the phase boundaries between monoclinic, tetragonal, and rhombohedral phases. A ferroelectric phase of the lowest (triclinic) symmetry type, in which the polarization is not constrained by symmetry, does not emerge until the Devonshire theory is carried to twelfth order. A topological analysis of the critical points of the free-energy surface facilitates the discussion of the phase transition sequences.Comment: 10 pages, with 5 postscript figures embedded. Uses REVTEX and epsf macros. Also available at http://www.physics.rutgers.edu/~dhv/preprints/dv_pzt/index.htm

Creating pseudo Kondo-resonances by field-induced diffusion of atomic hydrogen

In low temperature scanning tunneling microscopy (STM) experiments a cerium adatom on Ag(100) possesses two discrete states with significantly different apparent heights. These atomic switches also exhibit a Kondo-like feature in spectroscopy experiments. By extensive theoretical simulations we find that this behavior is due to diffusion of hydrogen from the surface onto the Ce adatom in the presence of the STM tip field. The cerium adatom possesses vibrational modes of very low energy (3-4meV) and very high efficiency (> 20%), which are due to the large changes of Ce-states in the presence of hydrogen. The atomic vibrations lead to a Kondo-like feature at very low bias voltages. We predict that the same low-frequency/high-efficiency modes can also be observed at lanthanum adatoms.Comment: five pages and four figure

Rb*He_n exciplexes in solid 4_He

We report the observation of emission spectra from Rb*He_n exciplexes in solid 4He. Two different excitation channels were experimentally identified, viz., exciplex formation via laser excitation to the atomic 5P3/2 and to the 5P1/2 levels. While the former channel was observed before in liquid helium, on helium nanodroplets and in helium gas by different groups, the latter creation mechanism occurs only in solid helium or in gaseous helium above 10 Kelvin. The experimental results are compared to theoretical predictions based on the extension of a model, used earlier by us for the description of Cs*He_n exciplexes. We also report the first observation of fluorescence from atomic rubidium in solid helium, and discuss striking differences between the spectroscopic feature of Rb-He and Cs-He systems.Comment: 8 pages, 8 figure

Noncommutative Common Cause Principles in Algebraic Quantum Field Theory

States in algebraic quantum field theory "typically" establish correlation between spacelike separated events. Reichenbach's Common Cause Principle, generalized to the quantum field theoretical setting, offers an apt tool to causally account for these superluminal correlations. In the paper we motivate first why commutativity between the common cause and the correlating events should be abandoned in the definition of the common cause. Then we show that the Noncommutative Weak Common Cause Principle holds in algebraic quantum field theory with locally finite degrees of freedom. Namely, for any pair of projections A, B supported in spacelike separated regions V_A and V_B, respectively, there is a local projection C not necessarily commuting with A and B such that C is supported within the union of the backward light cones of V_A and V_B and the set {C, non-C} screens off the correlation between A and B

New obstructions to symplectic embeddings

In this paper we establish new restrictions on symplectic embeddings of certain convex domains into symplectic vector spaces. These restrictions are stronger than those implied by the Ekeland-Hofer capacities. By refining an embedding technique due to Guth, we also show that they are sharp.Comment: 80 pages, 3 figures, v2: improved exposition and minor corrections, v3: Final version, expanded and improved exposition and minor corrections. The final publication is available at link.springer.co

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances