The GHS and other correlation inequalities for a class of even ferromagnets

We prove the GHS inequality for families of random variables which arise in certain ferromagnetic models of statistical mechanics and quantum field theory. These include spin –1/2 Ising models, ⁴ field theories, and other continuous spin models. The proofs are based on the properties of a classG ^– of probability measures which contains all measures of the form const exp(–V(x))dx, whereV is even and continuously differentiable anddV/dx is convex on [0, ). A new proof of the GKS inequalities using similar ideas is also given.Supported in part by National Science Foundation Grant MPS 71-02838 A 04.Supported by National Science Foundation Grant MPS 74-24696.Supported in part by National Science Foundation Grant MPS 74-04870.     

Linear relativistic hamiltonians

A 2(2J + 1)-component relativistic Hamiltonian H that describes free particles of mass m and spin J is said to be linear if it has the form $\text{H = h}\text{x}\text{?}\text{·}\text{p}\text{+ gm}$, where $\text{x}\text{\_.}\text{= i[H,}\text{x}\text{]}{}_{\mathrm{?}}$, h is a numerical factor, and g commutes with x and p. All such Hamiltonians are found, provided that the metric is either the unit matrix or ?₃ and provided that the theory is invariant under the discrete symmetries. If the operator Γ in the generator $\text{K}\text{=}\text{1}\text{2}\text{[}\text{x}\text{, H]}{}_{\mathrm{+}}\text{+ Γ}$ of Lorentz boosts is required to be local, there are only two possibilities; either Γ = 0, which generalizes the Dirac spin-$\text{1}\text{2}$ theory, or $\text{Γ = ??}{}_3\text{(}\text{1}\text{2m}\text{)}\text{S × p}$, which generalizes the Sakata-Taketani spin-0 and spin-1 theories. The relationship to linear manifestly covariant equations and its significance is discussed.     

Continual measurements in the spacetime formation of nonrelativistic quantum mechanics

We study the nature and effects of some continual measurements in nonrelativistic quantum mechanics, a concept introduced by R. P. Feynman in his path integral formulation of quantum mechanics. We prove the existence in various senses of mathematically rigorous objects formally equivalent to the path integrals associated with such measurements, by means of both a limiting definition and more general techniques; and we derive some quantitative results concerning the effects on the wave-function and the numerical value of certain associated probabilities.     

CVM modeling of the square Ising lattice with one next-nearest-neighbor interaction

As an analysis of the development of first-order behavior in two-dimensional Ising lattices, the square lattice with antiferromagnetic nearest-neighbor interactions and a ferromagnetic next-nearest-neighbor interaction in the (11) direction has been modeled. The phase diagram was calculated for a range of interaction parameters and imposed fields; the calculations were performed using the cluster variation method (CVM). Analysis of the calculations suggests that no first-order behavior is developed in this system, so that higher dimensionality or connectivities are required before such behavior is developed.     

The symmetry of ground states under perturbation

We consider a two-body potential which has only periodic ground states and prove that it can be perturbed, by an arbitrarily small perturbation, so as to have only aperiodic ground states.Research supported in part by NSF grant MCS 78-01520-A01.     

The effect of a coriolis force on Taylor-Couette flow

Taylor-Couette flow subject to a Coriolis force is studied experimentally and numerically. In the experiment, the Couette apparatus is mounted on a turntable with the axis of the cylinders orthogonal to the rotation vector of the turntable. The Coriolis force stabilizes the fluid against the onset of Taylor vortices and alters the velocity fields, both above and below the transition from the initial flow. At small dimensionless turntable frequencies, the transition yields time-independent Taylor vortices which are tilted with respect to the cylinder axis. At larger there is a direct transition to turbulence. We determine the first-order correction to the classical Couette initial flow, to account for the effects of the Coriolis force, by expanding in powers of. We present numerical results for the axial velocity (the only nonvanishing correction term to order) in the infinite-cylinder approximation.     

On laplace continued fraction for the normal integral

The Laplace continued fraction is derived through a power series. It provides both upper bounds and lower bounds of the normal tail probability % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiqbfA6agzaaraaaaa!3DC0!\[\bar \Phi\](x), it is simple, it converges for x>0, and it is by far the best approximation for x3. The Laplace continued fraction is rederived as an extreme case of admissible bounds of the Mills' ratio, % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiqbfA6agzaaraaaaa!3DC0!\[\bar \Phi\](x)/(x), in the family of ratios of two polynomials subject to a monotone decreasing absolute error. However, it is not optimal at any finite x. Convergence at the origin and local optimality of a subclass of admissible bounds are investigated. A modified continued fraction is proposed. It is the sharpest tail bound of the Mills' ratio, it has a satisfactory convergence rate for x1 and it is recommended for the entire range of x if a maximum absolute error of 10^-4 is required.The efforts of the author were supported by the NSERC of Canada.     

Construction of a real-world bilevel linear programming model of the highway network design problem

The formulation of the highway network design problem (NDP) as a bilevel linear program (BLP) allows more realistic solutions taking into account the reaction of users to improvements made by the system. In this paper, a conceptual framework for the optimization of investments in inter-regional highway networks in developing countries is proposed. The model is applied to the Tunisian network using actual data. Considerable effort was expended to make the implementation as realistic as possible, taking into consideration travel times, operating costs, accident costs, improvement costs, conservation laws, and effects of intra-regional flows. A new formulation allowing the incorporation of any improvement cost functions, including non-convex and non-concave functions, is introduced.     

Space tilings and local isomorphism

We prove for a large class of tilings that, given a finite tile set, if it is possible to tile Euclideann-space with isometric copies of this set, then there is a tiling with the ‘local isomorphism property’. Research supported in part by NSF Grant No. DMS-9001475.     

Stability of strongly continuous representations of abelian semigroups

Part of this work was carried out while the authors were visiting the University of Franche-Comté, Besan?on, and Hokkaido University, Sapporo, respectively