Local Ward identities and the decay of correlations in ferromagnets

Using local Ward identities we prove a number of correlation inequalities forN-component, isotropically coupled, pair interacting ferromagnets; some for allN2 and some forN=2, 3, 4. These are used to prove a mass gap above the mean field temperature, for allN2. ForN=2, 3, 4 we prove an upper bound on a critical exponent, and a lower bound on the susceptability which diverges asm0.Research partially supported by US National Science Foundation under Grant PHY-7825390 A01.Research partially supported by US National Science Foundation under Grant MCS-78-01885.     

Localization for random Schrödinger operators with correlated potentials

We prove localization at high disorder or low energy for lattice Schrödinger operators with random potentials whose values at different lattice sites are correlated over large distances. The class of admissible random potentials for our multiscale analysis includes potentials with a stationary Gaussian distribution whose covariance functionC(x,y) decays as |x–y|^–, where >0 can be arbitrarily small, and potentials whose probability distribution is a completely analytical Gibbs measure. The result for Gaussian potentials depends on a multivariable form of Nelson's best possible hypercontractive estimate.Partially supported by the NSF under grant PHY8515288Partially supported by the NSF under grant DMS8905627     

Multicomponent field theories and classical rotators

It is shown that aD-component Euclidean quantum field, =(¹,...,^D), with ||⁴+|²| interaction, can be obtained as a limit of (ferromagnetic) classical rotator models; this extends a result of Simon and Griffiths from the caseD=1. For these Euclidean field models, it is then shown that a Lee-Yang theorem applies forD=2 or 3 and that Griffiths' second inequality is valid forD=2; a complete proof is included of a Lee-Yang theorem for plane rotator and classical Heisenberg models. As an application of Griffiths' second inequality forD=2, an interesting relation between the parallel and transverse two-point correlations is obtained.Research supported in part by the National Science Foundation under grant NSF MPS 74-04870.     

Rigorous proof of the high-temperature Josephson inequality for critical exponents

I give a rigorous proof of the high-temperature Josephson inequalitydv 2–, following the original ideas of Josephson. The proof is applicable to a class of models including the ferromagnetic Ising model and the ⁴ lattice field theory.Research supported in part by NSF Grant PHY 78-23952.     

Some rigorous results on the Sherrington-Kirkpatrick spin glass model

We prove that in the high temperature regime (T/J>1) the deviation of the total free energy of the Sherrington-Kirkpatrick (S-K) spin glass model from the easily computed log Av(Z _N ({J})) converges in distribution, asN , to a (shifted) Gaussian variable. Some weak results about the low temperature regime are also obtained.Dedicated to Walter Thirring on his 60^th birthdayResearch supported in part by the NSF grant PHY-8605164. Present address: Courant Institute of Mathematical Sciences, 251 Mercer St., New York, NY 10012, USAResearch supported in part by the NSF grant DMR 86-12369On leave from Institut des Hautes Etudes Scientifiques, Bures-Sur-Yvette, France     

A spin-statistics theorem for composites containing both electric and magnetic charges

The present paper states and proves an asymptotic spin-statistics theorem for composites consisting of electrically and magnetically charged particles. We work in the framework of a nonrelativistic theory, taking as the classical configuration space aU(1) bundle over the space of physical configurations, and as the quantum hilbert space the homogeneous square integrable functions on that bundle. The theorems are proved using a formalism we develop here for treating gauge spaces —U(1) bundles with connections; in particular, two products related to tensor products of vector bundles prove to be extremely useful in displaying the structure of the gauge spaces that naturally arise in this theory.Supported in part by the National Science Foundation under grant number PHY 77-07111Supported in part by the National Science Foundation under grant number PHY 78-24275     

A note on the Ising model in high dimensions

We consider thed-dimensional Ising model with a nearest neighbor ferromagnetic interactionJ(d)=1/4d. We show that asd the+phase (and the — phase) approaches a product measure with density given by the mean field approximation. In particular the spontaneous magnetization converges to its mean field value. A similar result holds for the unique Gibbs measure of the system subject to an external fieldh0.Part of this work was done while this author was visiting Rutgers University, supported by NSF grant DMR-86-12369 and Princeton University, support by NSF grant PHY-85-15288-A01Partially supported by a NSF grant to Cornell UniversityPartially supported by NSF grant DMR 86-12369Supported by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell and by a NSF grant to Cornell University. This author was supported by the NSF grant DMR-86-12369 while visiting Rutgers University (when this work was started). On leave from São Paulo University     

Approximate neutrality of large-Z ions

LetN(Z) denote the number of electrons which a nucleus of chargeZ can bind in non-relativistic quantum mechanics (assuming that electrons are fermions). We prove thatN(Z)/Z1 asZ.Research partially supported by the NSERC under Grant NA7901 and by the USNSF under Grants DMS-8416049 and PHY 85-15288-A01     

Projections of Gibbs measures may be non-Gibbsian

Consider the + phase of the two dimensional nearest neighbor ferromagnetic Ising model at a temperature belowT _c . Let ₊ be the restriction of this measure to a coordinate axis. We prove that there is no one dimensional translation invariant summable interaction for which ₊ is a Gibbs measure. This is proven by showing that if such an interaction existed, ₊ would have large deviation properties different from those it actually has. Percolation methods are used in the proof.Work supported by the U.S. Army Research Office through the Mathematical Sciences Institute at Cornell and by a NSF grant to Cornell. This work was finished while the author was visiting Rutgers University, being supported by the NSF grant 86-12369     

Quantization ofSL(2,R) Chern-Simons theory

In this paper we consider the bosonic sector of the electroweak theory. It has been shown in the work of Ambjorn and Olesen that when the Higgs mass equals to the mass of theZ boson, the model in two dimensions subject to the 't Hooft periodic boundary condition may be reduced to a Bogomol'nyi system and that the solutions of the system are vortices in a dual superconductor. We shall prove using a constrained variational reformulation of the problem the existence of such vortices. Our conditions for the existence of solutions are necessary and sufficient when the vortex numberN=1,2.Research supported in part by NSF grant DMS-88-02858 and DOE grant DE-FG02-86ER250125     

Ground State Energy of the Two-Component Charged Bose Gas

We continue the study of the two-component charged Bose gas initiated by Dyson in 1967. He showed that the ground state energy for N particles is at least as negative as –CN^7/5 for large N and this power law was verified by a lower bound found by Conlon, Lieb and Yau in 1988. Dyson conjectured that the exact constant C was given by a mean-field minimization problem that used, as input, Foldys calculation (using Bogolubovs 1947 formalism) for the one-component gas. Earlier we showed that Foldys calculation is exact insofar as a lower bound of his form was obtained. In this paper we do the same thing for Dysons conjecture. The two-component case is considerably more difficult because the gas is very non-homogeneous in its ground state.Dedicated to Freeman J. Dyson on the occasion of his 80th birthday©2003 by the authors. This article may be reproduced in its entirety for non-commercial purposes.Work partially supported by NSF grant DMS-0111298, by EU grant HPRN-CT-2002-00277, by MaPhySto – A Network in Mathematical Physics and Stochastics, funded by The Danish National Research Foundation, and by grants from the Danish research council.Work partially supported by U.S. National Science Foundation grant PHY01 39984-A01.     

Classical and quantum-mechanical systems of Toda lattice type. I

The structure of the commutant of Laplace operators in the enveloping and Poisson algebra of certain generalized ax +b groups leads (in this article) to a determination of classical and quantum mechanical first integrals to generalized periodic and non-periodic Toda lattices. Certain new Hamiltonian systems of Toda lattice type are also shown to fit in this framework. Finite dimensional Lax forms for the (periodic) Toda lattices are given generalizing results of Flaschke.Research partially supported by NSF grant MCS 79-03223Research partially supported by NSF grant MCS 79-03153     

A nonequilibrium entropy for dynamical systems

It is proposed to define entropy for nonequilibrium ensembles using a method of coarse graining which partitions phase space into sets which typically have zero measure. These are chosen by considering the totality of future possibilities for observation on the system. It is shown that this entropy is necessarily a nondecreasing function of the timet. There is no contradiction with the reversibility of the laws of motion because this method of coarse graining is asymmetric under time reversal. Under suitable conditions (which are stated explicitly) this entropy approaches the equilibrium entropy ast+ and the fine-grained entropy ast–. In particular, the conditions can always be satisfied if the system is aK-system, as in the Sinai billiard models. Some theorems are given which give information about whether it is possible to generate the partition used here for coarse graining from time translates of a finite partition, and at the same time elucidate the connection between our concept of entropy and the entropy invariant of Kolmogorov and Sinai.Research supported in part by NSF grants PHY78-03816 and PHY78-15920.     

The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics

Starting with a relativistic Schrödinger Hamiltonian for neutral gravitating particles, we prove that as the particle numberN and the gravitation constantG0 we obtain the well known semiclassical theory for the ground state of stars. For fermions, the correct limit is to fixGN ^2/3 and the Chandrasekhar formula is obtained. For bosons the correct limit is to fixGN and a Hartree type equation is obtained. In the fermion case we also prove that the semiclassical equation has a unique solution — a fact which had not been established previously.Dedicated to Walter Thirring on his 60^th birthdayWork partially supported by U.S. National Science Foundation grant PHY 85-15288-A01Work supported by Alfred Sloan Foundation dissertation Fellowship     

Long-range order in a simple model of interacting fermions

We consider a model of spinless fermions on a lattice, interacting through a nearest neighbor repulsion. In the half-filled band case and for dimensionsd 2, we rigorously prove that there is long-range order in some domain of the parameters=(k _B T)^–1 andt/U, wheret is the hopping amplitude of the particles,U the strength of their repulsion, and the inverse temperature. Our technique is based on the usual Peierls argument of classical statistical mechanics but fails for the groundstate. We discuss the specific difficulties introduced by the Fermi statistics.Work supported in part by U.S. NSF grant PHY 90-19433-A02.     

Induced modules for vertex operator algebras

For a vertex operator algebraV and a vertex operator subalgebraV which is invariant under an automorphismg ofV of finite order, we introduce ag-twisted induction functor from the category ofg-twistedV-modules to the category ofg-twistedV-modules. This functor satisfies the Frobenius reciprocity and transitivity. The results are illustrated withV being theg-invariants in simpleV orV beingg-rational.The first author was supported by NSF grant DMS-9303374 and a research grant from the Committee on Research, UC Santa Cruz.The second author was supported by NSF grant DMS-9401389.     

Asymptotic neutrality of diatomic molecules

We use the no-binding theorem of Thomas-Fermi theory to prove that a large diatomic molecule is almost neutral. That is to say, that if the total nuclear charge isZ then the numberN of electrons required for the diatomic molecule to be stable satisfies . In contrast to the atomic case the emphasis here is on the lower bound onN. Our analysis will imply a new bound on the size of the molecule. These results are proved in the Born-Oppenheimer approximation. We also give bounds onN which hold for allZ by a very elementary method, not assuming the Born-Oppenheimer approximation.Work supported by a Danish Research Academy fellowship and U.S. National Science Foundation grant PHY-85-15288-A03Adress from September 1989: Department of Mathematics, The University of Michigan, Ann Arbor, Michigan 48109 USA     

Spectral properties of random Schrödinger operators with unbounded potentials

We investigate spectral properties of random Schrödinger operators H = - + _n()(1 + |n|) acting onl ²(Z ^d), where _n are independent random variables uniformly distributed on [0, 1].Research partially supported by a Sloan Doctoral Dissertation Fellowship and NSERC under grant OGP-0007901Research partially supported by NSF grant DMS-9101716     

The short distance behavior of (φ 4)3

We consider the ₃ ⁴ quantum field theory on a torus and study the short distance behavior. We reproduce the standard result that the singularities can be removed by a simple mass renormalization. For the resulting model we give anL _p bound on the short distance regularity of the correlation functions. To obtain these results we develop a systematic treatment of the generating functional for correlations using a renormalization group method incorporating background fields.Research supported by NSF Grant DMS 9102564Research supported by NSF Grant PHY9200278.Research supported by the Natural Sciences and Engineering Research Council of Canada.     

Free fermions and the Alexander-Conway polynomial

We show how the Conway Alexander polynomial arises from theq deformation of (Z ₂ graded)sl(n, n) algebras. In the simplestsl(1, 1) case we then establish connection between classical knot theory and its modern versions based on quantum groups. We first shown how the crystal and the fundamental group of the complement of a knot give rise naturally to the Burau representation of the braid group. The Burau matrix is then transformed into theU _q sl(1, 1) R matrix by going to the exterior power algebra. Using a det=str identity, this allows us to recover the state model of [K2, 89] as well. We also show how theU _q> sl(1, 1) algebra describes free fermions propagating on the knot diagram. We rewrite the Conway Alexander polynomial as a Berezin integral, and thus as an apparently new determinant.Work supported in part by NSF grant no. DMS-8822602Work supported in part by the NSF: grant nos. PYI PHY 86-57788 and PHY 90-00386 and by CNRS, France